| Publication | Date of Publication | Type |
|---|
| Lazy narrowing in a graph machine | 2022-08-16 | Paper |
| Qualified logic programming with bivalued predicates | 2016-05-20 | Paper |
| A Transformation-based implementation for CLP with qualification and proximity | 2014-04-16 | Paper |
| A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme | 2014-01-24 | Paper |
| A proposal for the cooperation of solvers in constraint functional logic programming | 2013-12-20 | Paper |
| Constraint functional logic programming revisited | 2013-09-20 | Paper |
| A declarative debugging system for lazy functional logic programs | 2013-07-24 | Paper |
| A declarative semantics for CLP with qualification and proximity | 2010-08-19 | Paper |
| On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP | 2009-10-19 | Paper |
| Qualified Computations in Functional Logic Programming | 2009-07-24 | Paper |
| Quantitative Logic Programming Revisited | 2008-04-11 | Paper |
| Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming | 2008-04-11 | Paper |
| Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming | 2008-03-11 | Paper |
| Functional and Logic Programming | 2007-09-25 | Paper |
| A new generic scheme for functional logic programming with constraints | 2007-05-21 | Paper |
| Constraint Logic Programming with Hereditary Harrop formulas | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4452630 | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766766 | 2002-07-22 | Paper |
| A declarative framework for object-oriented programming with genetic inheritance | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763637 | 2002-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2762632 | 2002-01-09 | Paper |
| Polymorphic types in functional logic programming | 2001-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940928 | 2000-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940936 | 2000-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4494367 | 2000-08-10 | Paper |
| An approach to declarative programming based on a rewriting logic | 1999-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4283237 | 1996-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4283239 | 1994-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281598 | 1994-03-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4202938 | 1993-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4038667 | 1993-05-18 | Paper |
| Logic programming with functions and predicates: The language Babel | 1992-08-13 | Paper |
| Hoare's logic for nondeterministic regular programs: A nonstandard approach | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3490935 | 1989-01-01 | Paper |
| Some general incompleteness results for partial correctness logics | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3476792 | 1987-01-01 | Paper |
| Some questions about expressiveness and relative completeness in Hoare's logic | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3696488 | 1985-01-01 | Paper |
| EINE SYNTAKTISCH‐ALGEBRAISCHE METHODE ZUR KONSTRUKTION VON MODELLEN | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3964533 | 1981-01-01 | Paper |
