Concepedia

Kish Shen

KS

Statistics

Publications

6

Citations

162

H-Index

6

Active since

1987

Affiliations

University of Manchester(Current)

Kish Shen is an author at University of Manchester specializing in computer science, engineering, and logic programming.

Top concepts

EngineeringComputer ScienceLogic ProgrammingFormal MethodsParallel ComputingAutomated ReasoningComputer EngineeringParallel ProgrammingSoftware DesignProgram Analysis

Publications per year

1987–2011

6

Publications

6

ECL<sup>i</sup>PS<sup>e</sup> – From LP to CLP

Joachim Schimpf, Kish Shen · Theory and Practice of Logic Programming · 2011 · 67 citations

Constraint Solving, Constraint Programming Applications, Engineering +13

Overview of DASWAM: Exploitation of dependent and-parallelism

Kish Shen · The Journal of Logic Programming · 1996 · 28 citations

Dependent And-parallelism, Engineering, Parallel Complexity Theory +6

A simulation study of or- and independent and-parallelism

Kish Shen, Manuel V. Hermenegildo · UPM Digital Archive (Technical University of Madrid) · 1991 · 24 citations

A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog.

Kish Shen, David H. Warren · SLP · 1987 · 16 citations

Argonne Model, Engineering, Program Analysis +11

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, Joachim Schimpf, Kish Shen et al. · Constraints · 2003 · 15 citations

Mathematical Programming, Constraint Solving, Engineering +8

1–5 of 6