| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7584596 (Why is no real title available?) | 2022-09-14 | Paper |
Boosting reversible pushdown and queue machines by preprocessing
International Journal of Foundations of Computer Science | 2021-04-19 | Paper |
The degree of irreversibility in deterministic finite automata
International Journal of Foundations of Computer Science | 2018-02-22 | Paper |
Join inverse categories and reversible recursion
Journal of Logical and Algebraic Methods in Programming | 2017-02-22 | Paper |
The degree of irreversibility in deterministic finite automata
Implementation and Application of Automata | 2016-11-09 | Paper |
A hierarchy of fast reversible Turing machines
Reversible Computation | 2016-09-30 | Paper |
Towards a domain-specific language for reversible assembly sequences
Reversible Computation | 2016-09-30 | Paper |
A classical propositional logic for reasoning about reversible logic circuits
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
On reversible Turing machines and their function universality
Acta Informatica | 2016-08-22 | Paper |
Boosting reversible pushdown machines by preprocessing
Reversible Computation | 2016-08-10 | Paper |
Join inverse categories as models of reversible recursion
Lecture Notes in Computer Science | 2016-06-10 | Paper |
Reversible shrinking two-pushdown automata
Language and Automata Theory and Applications | 2016-04-13 | Paper |
Programming techniques for reversible comparison sorts
Programming Languages and Systems | 2016-01-08 | Paper |
Fundamentals of reversible flowchart languages
Theoretical Computer Science | 2015-12-15 | Paper |
Garbage-free reversible integer multiplication with constants of the form \(2^{k}\pm 2^{l}\pm 1\)
Reversible Computation | 2015-11-30 | Paper |
Reversible Representation and Manipulation of Constructor Terms in the Heap
Reversible Computation | 2013-12-17 | Paper |
Strength of the reversible, garbage-free \(2^{k } \pm 1\) multiplier
Reversible Computation | 2013-12-17 | Paper |
Towards a reversible functional language
Reversible Computation | 2012-08-20 | Paper |
Time complexity of tape reduction for reversible Turing machines
Reversible Computation | 2012-08-20 | Paper |
Reversible multi-head finite automata characterize reversible logarithmic space
Language and Automata Theory and Applications | 2012-06-08 | Paper |
| Optimizing reversible simulation of injective functions | 2012-04-26 | Paper |
A simple and efficient universal reversible Turing machine
Language and Automata Theory and Applications | 2011-06-03 | Paper |
What do reversible programs compute?
Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
Reversible arithmetic logic unit for quantum arithmetic
Journal of Physics A: Mathematical and Theoretical | 2010-10-11 | Paper |
Parallelization of reversible ripple-carry adders
Parallel Processing Letters | 2010-09-29 | Paper |
Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder
Unconventional Computing | 2008-12-02 | Paper |
Reversible Flowchart Languages and the Structured Reversible Program Theorem
Automata, Languages and Programming | 2008-08-19 | Paper |
Reversible Machine Code and Its Abstract Processor Architecture
Computer Science – Theory and Applications | 2008-06-03 | Paper |
