Dr. Karen Villaverde
Research

Publications

• D. Jaramillo, K. Villaverde, "Using Alice to Quickly Prototype Video Game Mechanics and Ideas", proceedings of the CAHSI Annual Meeting, pp. 40-42, 2009.

• S. Ganapathineedi, K. Villaverde, "Gaming Mechanics in Alice", proceedings of the CAHSI Annual Meeting, pp. 47-48, 2009.

• K. Villaverde, G. Xiang, "Estimating Variance Under Interval and Fuzzy Uncertainty: Parallel Algorithms", proceedings of the IEEE International Conference on Fuzzy Systems, pp. 1030-1033, 2008.

• K. Villaverde, G. Ornelas, "Beyond Intervals: Phase Transitions Lead to More General Ranges", proceedings of the IEEE Conference of North American Fuzzy Information Processing Society, 2008.

• M. Beheshti, R. Alo, J. Fernandez, A. Gates, D. Ranjan, A. Boadi, K. Villaverde, S. Hug, H. Thiry, L. Baker, "Work in Progress–CS0 Course Implementation in Computer Science", proceedings of the 38th ASEE/IEEE Frontiers in Education Conference, 2008.

• V. Kreinovich, O. Kosheleva, S. Starks, K. Tupelly, G. Dimuro, A. Rocha Costa, K. Villaverde. "From Intervals to Domains: Towards a Gen- eral Description of Validated Uncertainty with Potential Applications to Geospatial and Meteorological Data", Journal of Computational and Applied Mathematics 199, pp 411-417, 2007.

• E. Pontelli, K. Villaverde, H. Guo, G. Gupta. "PALS: Efficient Or-Parallel Execution of Prolog on Beowulf Clusters", Theory and Practice of Logic Programming, vol 7, issue 3, pp 1-63, 2006.

• E. Pontelli, K. Villaverde, H. Guo, G. Gupta. "Stack Splitting: A Technique for Efficient Exploitation of Search Parallelism on Share-Nothing Platforms", Journal of Parallel and Distributed Computing, vol 66, issue 10, pp 1267-1293, 2006.

• D. Pengelley, I. Pivkina, D. Ranjan, K. Villaverde. "Introducing a Primary Historical Source Project in a Discrete Mathematics and Computer Sci- ence Course: Counting Triangulations of a Polygon", 37th Technical Symposium in Computer Science Education, SIGCSE (ACM Interest group on Computer Science Education), pp 318-322, 2006.

• Platon, E., Tupelly, K., Kreinovich, V., Starks, S., Villaverde, K. "Exact Bounds for Interval and Fuzzy Functions Under Monotonocity Constraints, with Potential Applications to Biostratigraphy.", Proceedings of the IEEE International Conference on Fuzzy Systems, pp 891-896, 2005.

• Tupelly, K., Kreinovich, V., Villaverde K. "Checking if there exists a Monotonic Function that Is Consistent with the Measurement Results: An Efficient Algorithm", Reliable Computing, vol 11, pp 291-312, 2005.

• K. Villaverde and V. Kanagiri. "Improvement and Evaluation of an Efficient Methodology to Transform a Classroom Based Course into a Web Based Course", 7th Annual Science, Engineering and Technology Education Conference, New Mexico State University, 2005.

• K. Villaverde and V. Kanagiri. "Improvement and Evaluation of an Efficient Methodology to Transform a Classroom Based Course into a Web Based Course", the Sun Conference On Teaching and Learning on ``What are Your Students Learning-and How Do You Know?", The University of Texas at El Paso, 2005.

• K. Villaverde, D. Ranjan, D. Pengelley, G. Bezhanishvili, H. Leung, J. Lodder, J. Lucero Bryan. "Introducing a Primary Historical Source Project in a Discrete Mathematics and Computer Science Course: Counting Triangulations of a Polygon", 7th Annual Science, Engineering and Technology Education Conference, New Mexico State University, 2005.

• K. Villaverde, D. Ranjan, D. Pengelley, G. Bezhanishvili, H. Leung, J. Lodder, J. Lucero Bryan. "Introducing a Primary Historical Source Project in a Discrete Mathematics and Computer Science Course: Counting Triangulations of a Polygon", the Sun Conference On Teaching and Learning on ``What are Your Students Learning-and How Do You Know?", The University of Texas at El Paso, 2005.

• J. Lucero-Bryan, G. Bezhanishvili, K. Villaverde, D. Ranjan, D. Pengelley, H. Leung, J. Lodder. "Non-Traditional Methodology of Instruction Introducing a Primary Historical Source in an Undergraduate Course in Discrete Mathematics", 7th Annual Science, Engineering and Technology Education Conference, New Mexico State University, 2005.

• J. Lucero-Bryan, G. Bezhanishvili, K. Villaverde, D. Ranjan, D. Pengelley, H. Leung, J. Lodder. "Non-Traditional Methodology of Instruction Introducing a Primary Historical Source in an Undergraduate Course in Discrete Mathematics", the Sun Conference On Teaching and Learning on ``What are Your Students Learning-and How Do You Know?", The University of Texas at El Paso, 2005.

• V. Kreinovich, D. Gracaliz, A. da Rocha Costa, O. Kosheleva, S. Starks, K. Tupelly, and K.Villaverde. "From Intervals to Domains: A General Description of Validated Uncertainty, with Applications to Geospatial and Meterological Data", 11th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Book of Abstracts, pp 72-73, 2004.

• Debroux, P., Boehm J., Modave F., Kreinovich V., Xiang G., Beck K., Tupelly K., Kandathi R., Longpre L., Villaverde, K. "Using 1-D Radar Observations to Detect a Space Explosion Core among the Exploitation Fragments: Sequential and Distributed Algorithms", 11th Digital Signal Processing Workshop and 3rd Workshop on Signal Processing Education, pp 273-277, 2004.

• K. Villaverde and E. Pontelli. "An Investigation of Scheduling in Distributed Constraint Logic Programming", 17th International Conference on Parallel and Distributed Computing Systems, pp 98-123, 2004.

• K. Villaverde, E. Pontelli, H-F. Guo, and G. Gupta, "A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms", 9th International Euro-Par Conference, Parallel Processing, pp 694-703, 2003.

• K. Villaverde. "An Efficient Methodology to Transform a Classroom Based Course into a Web Based Course", The Sun Conference On Teaching and Learning on ``Critical Thinking and Independent Learning", The University of Texas at El Paso, 2003.

• K. Villaverde. "An Efficient Methodology to Transform a Classroom Based Course into a Web Based Course", 5th Annual Science, Engineering and Technology Education Conference, New Mexico State University, http://spacegrant.nmsu.edu/conference/2003, 2003.

• K. Villaverde. "An Efficient Methodology to Exploit OR-Parallelism on Distributed Memory Systems", PhD Dissertation, New Mexico State University, 2002.

• K. Villaverde, H. Guo, E. Pontelli, G. Gupta. "High Performance (Constraint) Logic Programming on the Beowulf Architecture", In Proceedings of the 17th International Conference on Logic Programming, Springer Verlag LNCS 2237, pp 27-42, 2002.

• K. Villaverde, E. Pontelli, H. Guo, G. Gupta. "Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-based AI Systems", In Proceedings of the 2001 International Conference on Parallel Processing, pp 287-294, 2001.

• Villaverde, K., Guo, H., Pontelli, E., Gupta, G. "Incremental Stack-Splitting", In Proceedings of the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages held in conjunction with the First International Conference on Computational Logic, pp 6-21, 2000.

• Villaverde, K. "Survey on Parallel Logic Programming, Distributed Logic Programming, and Scheduling", New Mexico State University, Computer Science Department, Technical report 0010, 2000.

• Villaverde, K., Guo, H., Gupta, G., Pontelli, E. "Incremental Stack-Splitting", New Mexico State University, Computer Science Department, Technical report 0011, 2000.

• Baggett, P., Ehrenfeucht, A., Jungbauer, J., and Villaverde, K. "Designing and testing a multimedia browsing system based on cohesion", In Proceedings of the IASTED International Conference: Computers and Advanced Technology in Education, pp 9-12, 1998.

• Merenyi, E., Starks S., and Villaverde, K. "Hyper-Spectral Satellite Images: Interval Methods May Be Helpful", Reliable Computing, vol 4, pp 395-397, 1998.

• Eick, C. and Villaverde, K. "Robust Algorithms that Locate Local Extrema of a Function of One Variable from Interval Measurement Results: A remark", Reliable Computing 2 (3), pp 213-218, 1996.

• Kreinovich, V. and Villaverde, K. "A Quadratic-Time Algorithm for Smoothing Interval Functions", Reliable Computing, 2 (3), pp 255-264, 1996.

• Villaverde, K. and Kreinovich, V. "Parallel Algorithms that Locate Local Extrema of a Function of One Variable from Interval Measurement Results", In Extended Abstracts of APIC'95 : International Workshop on Applications of Interval Computations, El Paso, TX, Reliable Computing, Supplement, pp 212-219, 1995.

• Deboeck, G., Villaverde, K., and Kreinovich, V. "Interval Methods for Presenting the Performance of Financial Trading Systems", In Extended Abstracts of APIC'95:International Workshop on Applications of Interval Computations, El Paso, TX, Reliable Computing, Supplement, pp 67-70, 1995.

• Villaverde, K. "Linear-Time Algorithm that Locates Local Maxima and Minima of a Function from Given Approximate Measurement Results", University of Texas at El Paso, 1993.

• Villaverde, K. and Kreinovich, V. "A Linear-Time Algorithm that Locates Local Extrema of a Function of One Variable from Interval Measurement Results", Interval Computations 4, pp 176-194, 1993.

• Bernat, A., Cortes, L., Kreinovich, V., and Villaverde, K. "Intelligent Parallel Simulation - a Key to Intractable Problems in Information Processing", In: Proceedings of the 23rd Annual Conference on Modeling and Simulation, vol 23, part 2, pp 959-969, 1992.

• Villaverde K. "How to Locate Maxima and Minima of a Function in Parallel from Approximate Measurement Results", In: V. Kreinovich, B. Traylor, R. Watson (eds.), Abstracts of the First UTEP Computer Science Department Students Conference, El Paso, TX, pp 43-44, 1991.

• Kreinovich, V. and Villaverde, K. "Towards Modal Interval Analysis: How to Compute Maxima and Minima of a Function from Approximate Measurement Results", University of Texas at El Paso, Computer Science Department, Technical Report UTEP-CS-91-9, 1991.

• Villaverde, K. "An algorithm for Planning Collision--Free Paths among Prism Shaped Obstacles", In V. Kreinovich, B. Traylor, R. Watson (eds.), Abstracts of the First UTEP Computer Science Department Students Conference, El Paso, TX, 1991.

• Kosheleva O., Kreinovich V., and Villaverde K. "A Polynomial-Time Algorithm for Calculating the Shapley Vector (Monte-Carlo Method)", University of Texas at El Paso, Computer Science Department, Technical Report UTEP-CS-90-18, 1990.