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 |