| Publication | Date of Publication | Type |
|---|
A freeness and sharing analysis of logic programs based on a pre-interpretation
Static Analysis | 2022-02-16 | Paper |
Graphs with coloring redundant edges
Electronic Journal of Graph Theory and Applications | 2021-08-16 | Paper |
Redundant disequalities in the Latin square problem
Constraints | 2015-06-15 | Paper |
Lightweight dynamic symmetry breaking
Constraints | 2015-04-29 | Paper |
A method for detecting symmetries in constraint models and its generalisation
Constraints | 2015-04-29 | Paper |
Redundant Sudoku rules
Theory and Practice of Logic Programming | 2014-05-30 | Paper |
\textsc{Tor}: modular search with hookable disjunction
Science of Computer Programming | 2014-03-25 | Paper |
Delimited continuations for Prolog
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
| Automatic implication checking for CHR constraints | 2013-12-04 | Paper |
Representation sharing for Prolog
Theory and Practice of Logic Programming | 2013-08-22 | Paper |
On the implementation of the probabilistic logic programming language ProbLog
Theory and Practice of Logic Programming | 2011-06-15 | Paper |
Guard Reasoning in the Refined Operational Semantics of CHR
Constraint Handling Rules | 2009-03-26 | Paper |
A Flexible Search Framework for CHR
Constraint Handling Rules | 2009-03-26 | Paper |
CHR for Imperative Host Languages
Constraint Handling Rules | 2009-03-26 | Paper |
The Correspondence Between the Logical Algorithms Language and CHR
Logic Programming | 2009-03-05 | Paper |
On the Efficient Execution of ProbLog Programs
Logic Programming | 2009-01-22 | Paper |
Towards Typed Prolog
Logic Programming | 2009-01-22 | Paper |
Aggregates for CHR through Program Transformation
Logic-Based Program Synthesis and Transformation | 2009-01-22 | Paper |
Two WAM Implementations of Action Rules
Logic Programming | 2009-01-22 | Paper |
TCHR: a framework for tabled CLP
Theory and Practice of Logic Programming | 2008-07-23 | Paper |
A Novel Approach For Detecting Symmetries in CSP Models
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-05-27 | Paper |
Improving Prolog programs: Refactoring for Prolog
Theory and Practice of Logic Programming | 2008-03-27 | Paper |
Memory Reuse for CHR
Logic Programming | 2008-03-11 | Paper |
Incremental copying garbage collection for WAM-based Prolog systems
Theory and Practice of Logic Programming | 2007-10-09 | Paper |
Fast Frequent Querying with Lazy Control Flow Compilation
Theory and Practice of Logic Programming | 2007-07-12 | Paper |
Improving PARMA trailing
Theory and Practice of Logic Programming | 2007-02-13 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Checking modes of HAL programs
Theory and Practice of Logic Programming | 2006-01-03 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
10.1162/153244304773936027
CrossRef Listing of Deleted DOIs | 2004-11-23 | Paper |
| scientific article; zbMATH DE number 2090527 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2090518 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2090528 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1950446 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1942451 (Why is no real title available?) | 2003-06-30 | Paper |
| scientific article; zbMATH DE number 1759245 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1753138 (Why is no real title available?) | 2002-06-10 | Paper |
| scientific article; zbMATH DE number 1696866 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1487941 (Why is no real title available?) | 2001-05-06 | Paper |
| scientific article; zbMATH DE number 1508930 (Why is no real title available?) | 2000-09-18 | Paper |
On Delphi lemmas and other memoing techniques for deterministic logic programs
The Journal of Logic Programming | 1998-03-17 | Paper |
Semantics-based program analysis for logic-based languages using XSB
International Journal on Software Tools for Technology Transfer. STTT | 1998-01-01 | Paper |
Partial translation: towards a portable and efficient prolog implementation technology
The Journal of Logic Programming | 1997-07-28 | Paper |
Analyzing logic programs using “prop”-ositional logic programs and a magic wand
The Journal of Logic Programming | 1997-04-17 | Paper |
| scientific article; zbMATH DE number 512896 (Why is no real title available?) | 1994-07-28 | Paper |
A fine-grained parallel memory compaction algorithm
Journal of Parallel and Distributed Computing | 1994-05-15 | Paper |
| scientific article; zbMATH DE number 3995047 (Why is no real title available?) | 1987-01-01 | Paper |
The Purification of Completely Positive Maps
Bulletin of the London Mathematical Society | 1982-01-01 | Paper |
Implementable positive maps on standard forms
Journal of Functional Analysis | 1980-01-01 | Paper |
Completely positive quasi-free maps of the CCR-algebra
Reports on Mathematical Physics | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3676597 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3676597 (Why is no real title available?) | 1979-01-01 | Paper |
Homogeneous perturbed classical states and equilibrium conditions
Communications in Mathematical Physics | 1978-01-01 | Paper |
Completely positive maps on the CCR-algebra
Letters in Mathematical Physics | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3576170 (Why is no real title available?) | 1977-01-01 | Paper |
