| Publication | Date of Publication | Type |
|---|
| Equivalence Checking of Non-deterministic Operations | 2023-03-30 | Paper |
| Higher-order narrowing with definitional trees | 2022-12-09 | Paper |
| From Logic to Functional Logic Programs | 2022-09-30 | Paper |
| Logic programs with equational type specifications | 2022-08-16 | Paper |
| Combining Static and Dynamic Contract Checking for Curry | 2020-11-16 | Paper |
| Combining static and dynamic contract checking for Curry | 2018-09-06 | Paper |
| Default rules for Curry | 2017-11-09 | Paper |
| CurryCheck: checking properties of Curry programs | 2017-10-13 | Paper |
| Transforming Boolean equalities into constraints | 2017-06-01 | Paper |
| Specialization of inductively sequential functional logic programs | 2016-09-01 | Paper |
| Strongly sequential and inductively sequential term rewriting systems | 2016-06-09 | Paper |
| From Boolean Equalities to Constraints | 2016-02-05 | Paper |
| A needed narrowing strategy | 2015-12-17 | Paper |
| Lazy call-by-value evaluation | 2014-07-21 | Paper |
| Improving Lazy Non-Deterministic Computations by Demand Analysis | 2014-02-25 | Paper |
| Reporting failures in functional logic programs | 2014-01-24 | Paper |
| Towards translating embedded Curry to C | 2013-08-27 | Paper |
| An operational semantics for declarative multi-paradigm languages | 2013-08-23 | Paper |
| Reduction strategies for declarative programming | 2013-07-24 | Paper |
| Functional Logic Programming: From Theory to Curry | 2013-04-19 | Paper |
| Declarative processing of semistructured web data | 2012-08-29 | Paper |
| Transforming Functional Logic Programs into Monadic Functional Programs | 2011-05-27 | Paper |
| Multi-paradigm Declarative Languages | 2009-03-05 | Paper |
| Declarative Programming with Function Patterns | 2009-01-15 | Paper |
| Run-Time Profiling of Functional Logic Programs | 2008-04-24 | Paper |
| Overlapping Rules and Logic Variables in Functional Logic Programs | 2008-03-11 | Paper |
| A Virtual Machine for Functional Logic Computations | 2007-10-23 | Paper |
| Operational semantics for declarative multi-paradigm languages | 2007-10-19 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Dynamic predicates in functional logic programs | 2006-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3372485 | 2006-02-21 | Paper |
| Specialization of functional logic programs based on needed narrowing | 2006-02-08 | Paper |
| FUNCTIONAL PEARL Concurrent distinct choices | 2005-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413065 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4409152 | 2003-06-30 | Paper |
| A residualizing semantics for the partial evaluation of functional logic programs. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767032 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766794 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763647 | 2002-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763381 | 2002-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729761 | 2001-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2736364 | 2001-08-29 | Paper |
| An evaluation semantics for narrowing-based functional logic languages | 2001-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944888 | 2000-12-12 | Paper |
| The integration of functions into logic programming: From theory to practice | 2000-08-14 | Paper |
| Higher-order narrowing with definitional trees | 1999-06-28 | Paper |
| Lazy narrowing with simplification | 1998-11-01 | Paper |
| Analysis of residuating logic programs | 1997-03-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281583 | 1994-03-10 | Paper |
| Horn clause programs with polymorphic types: Semantics and resolution | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3200537 | 1989-01-01 | Paper |
