ECL<sup>i</sup>PS<sup>e</sup> - From LP to CLP.
Theory Pract. Log. Program., 2012
Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming.
Proceedings of the Principles and Practice of Constraint Programming, 2005
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 An Int. J., 2004
A High-Level Generic Interface to External Programming Languages for ECLiPSe.
Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002
Distance: A New Metric for Controlling Granularity for Parallel Execution.
J. Funct. Log. Program., 1999
Lower-bound Time-complexity Analysis of Logic Programs.
Proceedings of the Logic Programming, 1997
Instant Replay Debugging of Concurrent Logic Programs.
New Gener. Comput., 1996
Overview of Daswam: Exploitation of Dependent and-Parallelism.
J. Log. Program., 1996
High-level characteristics of or- and independent and-parallelism in prolog.
Int. J. Parallel Program., 1996
Initial Results of the Parallel Implementation of DASWAM.
Proceedings of the Logic Programming, 1996
Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs.
Proceedings of the Euro-Par '96 Parallel Processing, 1996
Improving the Execution of Dependent And-Parallel Prolog DDAS.
Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994
Divided We Stand: Parallel Distributed Stack Memory Management.
Proceedings of the Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems, 1993
Implementing Dynamic Dependent And-Parallelism.
Proceedings of the Logic Programming, 1993
Studies of and/or parallelism in Prolog.
PhD thesis, 1992
An Overview of DASWAM - An Implementation of DDAS.
Proceedings of the Workshop on Concurrent and Parallel Implementations (sessions A and B), 1992
Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent And-Parallel Scheme (DDAS).
Proceedings of the Logic Programming, 1992
A Simulation Study of Or- and and Independent And-parallelism.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991
A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog.
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987