Concepedia

Joachim Schimpf

JS

Statistics

Publications

4

Citations

146

H-Index

4

Active since

1989

Affiliations

Imperial College London(Current)

Joachim Schimpf is an author at Imperial College London specializing in formal methods, automated reasoning, and logic programming.

Top concepts

EngineeringFormal MethodsComputer ScienceLogic ProgrammingAutomated ReasoningSoftware DesignFormal VerificationSystems EngineeringComputer EngineeringProgramming Languages

Publications per year

1989–2011

4

Publications

4

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

SEPIA - An Extendible Prolog System.

Micha Meier, Abderrahmane Aggoun, David Chan et al. · IFIP Congress · 1989 · 38 citations

Computational Logic, Extendible Prolog System, Engineering +5

Finding the Right Hybrid Algorithm – A Combinatorial Meta-Problem

Mark Wallace, Joachim Schimpf · Annals of Mathematics and Artificial Intelligence · 2002 · 26 citations

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–4 of 4