| 2005 |
| 17 | EE | Kish Shen,
Joachim Schimpf:
Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming.
CP 2005: 622-636 |
| 2004 |
| 16 | EE | Mark Wallace,
Joachim Schimpf,
Kish Shen,
Warwick Harvey:
On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's "A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains".
Constraints 9(1): 5-34 (2004) |
| 2002 |
| 15 | EE | Kish Shen,
Joachim Schimpf,
Stefano Novello,
Josh Singer:
A High-Level Generic Interface to External Programming Languages for ECLiPSe.
PADL 2002: 262-279 |
| 1999 |
| 14 | | Kish Shen,
Vítor Santos Costa,
Andy King:
Distance: A New Metric for Controlling Granularity for Parallel Execution.
Journal of Functional and Logic Programming 1999(Special Issue 1): (1999) |
| 1998 |
| 13 | | Kish Shen,
Vítor Santos Costa,
Andy King:
Distance: A New Metric for Controlling Granularity for Parallel Execution.
IJCSLP 1998: 85-99 |
| 1997 |
| 12 | | Andy King,
Kish Shen,
Florence Benoy:
Lower-bound Time-complexity Analysis of Logic Programs.
ILPS 1997: 261-275 |
| 1996 |
| 11 | | Kish Shen,
Manuel V. Hermenegildo:
Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs.
Euro-Par, Vol. II 1996: 635-639 |
| 10 | | Kish Shen:
Initial Results of the Parallel Implementation of DASWAM.
JICSLP 1996: 513-527 |
| 9 | | Kish Shen:
Overview of Daswam: Exploitation of Dependent and-Parallelism.
J. Log. Program. 29(1-3): 245-293 (1996) |
| 8 | | Kish Shen,
Steve Gregory:
Instant Replay Debugging of Concurrent Logic Programs.
New Generation Comput. 14(1): 79-107 (1996) |
| 1994 |
| 7 | | Kish Shen:
Improving the Execution of Dependent And-Parallel Prolog DDAS.
PARLE 1994: 438-452 |
| 1993 |
| 6 | | Kish Shen:
Implementing Dynamic Dependent And-Parallelism.
ICLP 1993: 167-183 |
| 5 | | Kish Shen,
Manuel V. Hermenegildo:
Divided We Stand: Parallel Distributed Stack Memory Management.
ICLP-Workshops on Implementation of Logic Programming Systems 1993: 185-201 |
| 1992 |
| 4 | | Kish Shen:
An Overview of DASWAM - An Implementation of DDAS.
IJCSLP Workshop on Concurrent and Parallel Implementations 1992 |
| 3 | | Kish Shen:
Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent And-Parallel Scheme (DDAS).
JICSLP 1992: 717-731 |
| 1991 |
| 2 | | Kish Shen,
Manuel V. Hermenegildo:
A Simulation Study of Or- and and Independent And-parallelism.
ISLP 1991: 135-151 |
| 1987 |
| 1 | | Kish Shen,
David H. D. Warren:
A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog.
SLP 1987: 45-68 |