| 2007 |
| 10 | EE | Enrico Pontelli,
Karen Villaverde,
Hai-Feng Guo,
Gopal Gupta:
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters.
TPLP 7(6): 633-695 (2007) |
| 2006 |
| 9 | EE | David Pengelley,
Inna Pivkina,
Desh Ranjan,
Karen Villaverde:
A project in algorithms based on a primary historical source about catalan numbers.
SIGCSE 2006: 318-322 |
| 8 | EE | Enrico Pontelli,
Karen Villaverde,
Hai-Feng Guo,
Gopal Gupta:
PALS: Efficient Or-Parallelism on Beowulf Clusters
CoRR abs/cs/0607040: (2006) |
| 7 | EE | Enrico Pontelli,
Karen Villaverde,
Hai-Feng Guo,
Gopal Gupta:
Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms.
J. Parallel Distrib. Comput. 66(10): 1267-1293 (2006) |
| 2005 |
| 6 | EE | Kavitha Tupelly,
Vladik Kreinovich,
Karen Villaverde:
Checking If There Exists a Monotonic Function That Is Consistent with the Measurements: An Efficient Algorithm.
Reliable Computing 11(4): 291-312 (2005) |
| 2004 |
| 5 | | Karen Villaverde,
Enrico Pontelli:
An Investigation of Scheduling in Distributed Constraint Logic Programming.
ISCA PDCS 2004: 98-103 |
| 2003 |
| 4 | EE | Karen Villaverde,
Enrico Pontelli,
Hai-Feng Guo,
Gopal Gupta:
A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms.
Euro-Par 2003: 694-703 |
| 2001 |
| 3 | EE | Karen Villaverde,
Enrico Pontelli,
Hai-Feng Guo,
Gopal Gupta:
PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures.
ICLP 2001: 27-42 |
| 2 | EE | Karen Villaverde,
Hai-Feng Guo,
Enrico Pontelli,
Gopal Gupta:
Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems.
ICPP 2001: 287-294 |
| 1998 |
| 1 | EE | Erzsébet Merényi,
Scott A. Starks,
Karen Villaverde:
Hyper-Spectral Satellite Images: Interval Methods May Be Helpful.
Reliable Computing 4(4): 395-397 (1998) |