| Publication | Date of Publication | Type |
|---|
| Equivalence Checking of Non-deterministic Operations | 2023-03-30 | Paper |
| Normalization by leftmost innermost rewriting | 2023-03-09 | Paper |
| Design strategies for rewrite rules | 2023-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013811 | 2021-12-02 | Paper |
| Default rules for Curry | 2017-11-09 | Paper |
| A new functional-logic compiler for Curry: Sprite | 2017-10-13 | Paper |
| Transforming Boolean equalities into constraints | 2017-06-01 | Paper |
| Compiling Collapsing Rules in Certain Constructor Systems | 2016-02-05 | Paper |
| From Boolean Equalities to Constraints | 2016-02-05 | Paper |
| A needed narrowing strategy | 2015-12-17 | Paper |
| Compiling a Functional Logic Language: The Fair Scheme | 2015-11-30 | Paper |
| Implementing functional logic languages using multiple threads and stores | 2015-03-09 | Paper |
| Lazy Context Cloning for Non-Deterministic Graph Rewriting | 2013-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2844053 | 2013-08-27 | Paper |
| Evaluation Strategies for Functional Logic Programming | 2013-07-24 | Paper |
| Improving the Efficiency of Non-Deterministic Computations1 1Supported in part by NSF grants INT-9981317 and CCR-0110496 and by the Spanish Knowledge Society Foundation, the Spanish Research Funding Agency (CICYT) TIC 2001-2705-C03-01, by Acción Integrade Hispano-Italiana HI2000-0161, and the Valencian Research Council under grant GV01-424. | 2013-07-24 | Paper |
| On the correctness of pull-tabbing | 2011-08-16 | Paper |
| Programming with narrowing: a tutorial | 2010-05-05 | Paper |
| Declarative Programming with Function Patterns | 2009-01-15 | Paper |
| On the Correctness of Bubbling | 2008-09-25 | 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 |
| Evaluation strategies for functional logic programming | 2007-10-19 | Paper |
| FUNCTIONAL PEARL Concurrent distinct choices | 2005-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421874 | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4409152 | 2003-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766793 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537513 | 2002-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729761 | 2001-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364366 | 1997-11-17 | Paper |
| A sequential reduction strategy | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4287481 | 1994-04-12 | Paper |
| Modeling and Isomorphisms of Positional Board Games | 1987-01-01 | Paper |
| A recursive algorithm for quick and efficient bit reversing | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4071855 | 1973-01-01 | Paper |
