| Publication | Date of Publication | Type |
|---|
| Causal-consistent replay debugging for message passing programs | 2024-02-06 | Paper |
| Towards a taxonomy for reversible computation approaches | 2024-01-11 | Paper |
| Reversible debugging in logic programming | 2023-08-17 | Paper |
| Prefix-based tracing in message-passing concurrency | 2023-05-08 | Paper |
| Computing race variants in message-passing concurrent programming with selective receives | 2022-08-19 | Paper |
| Explanations as programs in probabilistic logic programming | 2022-08-10 | Paper |
| An SMT-based concolic testing tool for logic programs | 2021-07-06 | Paper |
| Reversible computations in logic programming | 2021-07-05 | Paper |
| Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs | 2021-05-21 | Paper |
| Selective Unification in (Constraint) Logic Programming* | 2021-05-20 | Paper |
| Concolic Testing in CLP | 2020-12-13 | Paper |
| Towards Modelling Actor-Based Concurrency in Term Rewriting | 2019-10-24 | Paper |
| Characterizing Compatible View Updates in Syntactic Bidirectionalization | 2019-10-17 | Paper |
| A theory of reversibility for Erlang | 2018-10-01 | Paper |
| Cauder: a causal-consistent reversible debugger for Erlang | 2018-07-09 | Paper |
| Reversible computation in term rewriting | 2017-12-01 | Paper |
| Concolic testing in logic programming | 2017-11-09 | Paper |
| Reversible Term Rewriting | 2017-10-17 | Paper |
| Symbolic execution and thresholding for efficiently tuning fuzzy logic programs | 2017-10-13 | Paper |
| On the completeness of selective unification in concolic testing of logic programs | 2017-10-13 | Paper |
| A reversible semantics for Erlang | 2017-10-13 | Paper |
| Relative termination via dependency pairs | 2017-06-29 | Paper |
| Specialization of inductively sequential functional logic programs | 2016-09-01 | Paper |
| Concolic Execution in Functional Programming by Program Instrumentation | 2016-02-05 | Paper |
| Towards Symbolic Execution in Erlang | 2015-12-03 | Paper |
| Reducing Relative Termination to Dependency Pair Problems | 2015-12-02 | Paper |
| A Finite Representation of the Narrowing Space | 2015-11-30 | Paper |
| Towards Erlang Verification by Term Rewriting | 2015-11-30 | Paper |
| Concolic Execution and Test Case Generation in Prolog | 2015-10-02 | Paper |
| Dynamic Slicing Techniques for Petri Nets | 2015-03-23 | Paper |
| A framework for computing finite SLD trees | 2015-02-27 | Paper |
| Fast narrowing-driven partial evaluation for inductively sequential programs | 2015-01-06 | Paper |
| Lazy call-by-value evaluation | 2014-07-21 | Paper |
| Fast offline partial evaluation of logic programs | 2014-03-13 | Paper |
| Conversion to tail recursion in term rewriting | 2014-02-25 | Paper |
| Static Slicing of Rewrite Systems | 2014-01-24 | Paper |
| Computing More Specific Versions of Conditional Rewriting Systems | 2013-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2843603 | 2013-08-23 | Paper |
| Annotation of logic programs for independent AND-parallelism by partial evaluation | 2013-03-13 | Paper |
| Program Inversion for Tail Recursive Functions | 2012-04-24 | Paper |
| A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs | 2011-05-27 | Paper |
| Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation | 2011-03-04 | Paper |
| Termination of narrowing via termination of rewriting | 2010-05-07 | Paper |
| Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing | 2010-05-04 | Paper |
| Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation | 2010-04-27 | Paper |
| Ensuring the quasi-termination of needed narrowing computations | 2010-01-29 | Paper |
| Dynamic slicing of lazy functional programs based on redex trails | 2009-08-04 | Paper |
| A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs | 2009-03-24 | Paper |
| Fast Offline Partial Evaluation of Large Logic Programs | 2009-03-24 | Paper |
| Automatic Partial Inversion of Inductively Sequential Functions | 2009-03-11 | Paper |
| Preserving Sharing in the Partial Evaluation of Lazy Functional Programs | 2009-01-22 | Paper |
| Run-Time Profiling of Functional Logic Programs | 2008-04-24 | Paper |
| Termination of Narrowing in Left-Linear Constructor Systems | 2008-04-11 | Paper |
| Operational semantics for declarative multi-paradigm languages | 2007-10-19 | Paper |
| Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs | 2007-09-10 | Paper |
| Forward slicing of functional logic programs by partial evaluation | 2007-03-23 | Paper |
| Specialization of functional logic programs based on needed narrowing | 2006-02-08 | Paper |
| Programming Languages and Systems | 2005-09-13 | Paper |
| Cost-augmented partial evaluation of functional logic programs | 2005-03-15 | Paper |
| Rules + strategies for transforming lazy functional logic programs | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808813 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4471989 | 2004-08-03 | Paper |
| Uniform Lazy Narrowing | 2004-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421874 | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413065 | 2003-07-17 | Paper |
| A residualizing semantics for the partial evaluation of functional logic programs. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766777 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767032 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766540 | 2002-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537508 | 2002-07-01 | Paper |
| The narrowing-driven approach to functional logic program specialization | 2002-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763647 | 2002-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4217931 | 1999-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364365 | 1997-11-17 | Paper |
| A compositional semantic basis for the analysis of equational Horn programs | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281615 | 1993-01-01 | Paper |
