| Publication | Date of Publication | Type |
|---|
| Towards clean reversible lossless compression. A reversible programming experiment with zip | 2024-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6197211 | 2024-02-16 | Paper |
| Towards a taxonomy for reversible computation approaches | 2024-01-11 | Paper |
| Towards a dereversibilizer: fewer asserts, statically | 2024-01-11 | Paper |
| Reversible computing from a programming language perspective | 2023-03-24 | Paper |
| Reversible Programs Have Reversible Semantics | 2022-12-07 | Paper |
| Semi-inversion of Conditional Constructor Term Rewriting Systems | 2022-08-25 | Paper |
| From reversible programming languages to reversible metalanguages | 2022-05-17 | Paper |
| A categorical foundation for structured reversible flowchart languages | 2022-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020658 | 2022-01-06 | Paper |
| Towards a Unified Language Architecture for Reversible Object-Oriented Programming | 2021-11-03 | Paper |
| An efficient composition of bidirectional programs by memoization and lazy update | 2021-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994698 | 2021-06-21 | Paper |
| Constructing a binary tree from its traversals by reversible recursion and iteration | 2019-05-10 | Paper |
| Data structures and dynamic memory management in reversible languages | 2018-10-17 | Paper |
| A categorical foundation for structured reversible flowchart languages: Soundness and adequacy | 2018-09-06 | Paper |
| Implementing reversible object-oriented language features on reversible machines | 2018-03-16 | Paper |
| Join inverse categories and reversible recursion | 2017-02-22 | Paper |
| Maximally-Polyvariant Partial Evaluation in Polynomial Time | 2016-12-21 | Paper |
| A Practical Simulation Result for Two-Way Pushdown Automata | 2016-11-09 | Paper |
| A Classical Propositional Logic for Reasoning About Reversible Logic Circuits | 2016-09-09 | Paper |
| On reversible Turing machines and their function universality | 2016-08-22 | Paper |
| A regeneration scheme for generating extensions | 2016-06-01 | Paper |
| Fundamentals of reversible flowchart languages | 2015-12-15 | Paper |
| Bootstrapping Compiler Generators from Partial Evaluators | 2015-12-07 | Paper |
| FROM STANDARD TO NON-STANDARD SEMANTICS BY SEMANTICS MODIFIERS | 2015-04-30 | Paper |
| Reversible Representation and Manipulation of Constructor Terms in the Heap | 2013-12-17 | Paper |
| Towards a Reversible Functional Language | 2012-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5389329 | 2012-04-26 | Paper |
| Self-generating program specializers | 2012-03-27 | Paper |
| A Simple and Efficient Universal Reversible Turing Machine | 2011-06-03 | Paper |
| What Do Reversible Programs Compute? | 2011-05-19 | Paper |
| Reversible arithmetic logic unit for quantum arithmetic | 2010-10-11 | Paper |
| An Universal Resolving Algorithm for Inverse Computation of Lazy Languages | 2010-02-02 | Paper |
| Programming Languages and Systems | 2010-01-05 | Paper |
| An investigation of Jones optimality and BTI-universal specializers | 2009-07-13 | Paper |
| Reversible Flowchart Languages and the Structured Reversible Program Theorem | 2008-08-19 | Paper |
| Reversible Machine Code and Its Abstract Processor Architecture | 2008-06-03 | Paper |
| On Jones-Optimal Specializers: A Case Study Using Unmix | 2008-05-06 | Paper |
| Functional and Logic Programming | 2007-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5472880 | 2006-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808807 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472445 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414738 | 2003-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414734 | 2003-07-27 | Paper |
| The universal resolving algorithm and its correctness: Inverse computation in a functional language | 2002-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3149665 | 2002-09-30 | Paper |
| Program transformation system based on generalized partial computation | 2002-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729910 | 2001-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729911 | 2001-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721101 | 2001-07-01 | Paper |
| Conjunctive partial deduction: foundations, control, algorithms, and experiments | 2000-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4358294 | 1998-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4356835 | 1997-10-05 | Paper |
| A positive supercompiler | 1997-06-04 | Paper |
