A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog. - Kish Shen; David H. D. Warren (SLP, 1987)

A Simulation Study of Or- and and Independent And-parallelism. - Kish Shen; Manuel V. Hermenegildo (ISLP, 1991)

Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent And-Parallel Scheme (DDAS). - Kish Shen (JICSLP, 1992)

An Overview of DASWAM - An Implementation of DDAS. - Kish Shen (IJCSLP Workshop on Concurrent and Parallel Implementations, 1992)

Studies of and/or parallelism in Prolog. - Kish Shen (1992)

Implementing Dynamic Dependent And-Parallelism. - Kish Shen (ICLP, 1993)

Divided We Stand: Parallel Distributed Stack Memory Management. - Kish Shen; Manuel V. Hermenegildo (ICLP-Workshops on Implementation of Logic Programming Systems, 1993)

Improving the Execution of Dependent And-Parallel Prolog DDAS. - Kish Shen (PARLE, 1994)

Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs. - Kish Shen; Manuel V. Hermenegildo (Euro-Par, Vol. II, 1996)

Initial Results of the Parallel Implementation of DASWAM. - Kish Shen (JICSLP, 1996)

High-level characteristics of or- and independent and-parallelism in prolog. - Kish Shen; Manuel V. Hermenegildo (Int. J. Parallel Program., 1996)

Overview of Daswam: Exploitation of Dependent and-Parallelism. - Kish Shen (J. Log. Program., 1996)

Instant Replay Debugging of Concurrent Logic Programs. - Kish Shen; Steve Gregory (New Gener. Comput., 1996)

Lower-bound Time-complexity Analysis of Logic Programs. - Andy King; Kish Shen; Florence Benoy (ILPS, 1997)

Distance: A New Metric for Controlling Granularity for Parallel Execution. - Kish Shen; Vítor Santos Costa; Andy King (J. Funct. Log. Program., 1999)

A High-Level Generic Interface to External Programming Languages for ECLiPSe. - Kish Shen; Joachim Schimpf; Stefano Novello; Josh Singer (PADL, 2002)

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". - Mark Wallace 001; Joachim Schimpf; Kish Shen; Warwick Harvey (Constraints An Int. J., 2004)

Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming. - Kish Shen; Joachim Schimpf (CP, 2005)

ECLiPSe - from LP to CLP - Joachim Schimpf; Kish Shen (CoRR, 2010)

ECLiPSe - From LP to CLP. - Joachim Schimpf; Kish Shen (Theory Pract. Log. Program., 2012)