Holger Bock Axelsen

Martin Kutrib

Andreas Malcher

J. Autom. Lang. Comb., 2022

2020

Boosting Reversible Pushdown and Queue Machines by Preprocessing.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2020

2017

Join inverse categories and reversible recursion.

[BibT_eX]

[DOI]

Robin Kaarsgaard

J. Log. Algebraic Methods Program., 2017

The Degree of Irreversibility in Deterministic Finite Automata.

[BibT_eX]

[DOI]

Markus Holzer

Martin Kutrib

Int. J. Found. Comput. Sci., 2017

2016

Fundamentals of reversible flowchart languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

On reversible Turing machines and their function universality.

[BibT_eX]

[DOI]

Acta Informatica, 2016

A Classical Propositional Logic for Reasoning About Reversible Logic Circuits.

[BibT_eX]

[DOI]

Robin Kaarsgaard

Proceedings of the Logic, Language, Information, and Computation, 2016

Elements of a Reversible Object-Oriented Language - Work-in-Progress Report.

[BibT_eX]

[DOI]

Ulrik Pagh Schultz

Proceedings of the Reversible Computation - 8th International Conference, 2016

Boosting Reversible Pushdown Machines by Preprocessing.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 8th International Conference, 2016

Reversible Shrinking Two-Pushdown Automata.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2016

Join Inverse Categories as Models of Reversible Recursion.

[BibT_eX]

[DOI]

Robin Kaarsgaard

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2015

Towards a Domain-Specific Language for Reversible Assembly Sequences.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 7th International Conference, 2015

A Hierarchy of Fast Reversible Turing Machines.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 7th International Conference, 2015

Interpretation and programming of the reversible functional language RFUN.

[BibT_eX]

[DOI]

Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, 2015

Programming Techniques for Reversible Comparison Sorts.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform.

[BibT_eX]

[DOI]

Alexis De Vos

Stéphane Burignat

Torben Ægidius Mogensen

Eva Rotenberg

ACM J. Emerg. Technol. Comput. Syst., 2014

2013

Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier.

[BibT_eX]

[DOI]

Eva Rotenberg

James Cranch

Proceedings of the Reversible Computation - 5th International Conference, 2013

Reversible Representation and Manipulation of Constructor Terms in the Heap.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 5th International Conference, 2013

2012

Optimizing Reversible Simulation of Injective Functions.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2012

Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation, 4th International Workshop, 2012

Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2012

Cleaning Up: Garbage-Free Reversible Circuits by Design Languages.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Electronic System Design, 2012

Minimizing Garbage Size by Generating Reversible Simulations.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Networking and Computing, 2012

2011

Towards a Reversible Functional Language.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - Third International Workshop, 2011

A Reversible Processor Architecture and Its Reversible Logic Design.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - Third International Workshop, 2011

Time Complexity of Tape Reduction for Reversible Turing Machines.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - Third International Workshop, 2011

A Simple and Efficient Universal Reversible Turing Machine.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2011

What Do Reversible Programs Compute?

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2011

Clean Translation of an Imperative Reversible Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction - 20th International Conference, 2011

2009

Parallelization of Reversible Ripple-Carry Adders.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2009

MicroPower: Towards Low-Power Microprocessors with Reversible Computing.

[BibT_eX]

[DOI]

Alexis De Vos

ERCIM News, 2009

2008

Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder.

[BibT_eX]

[DOI]

Proceedings of the Unconventional Computing, 7th International Conference, 2008

Reversible Flowchart Languages and the Structured Reversible Program Theorem.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Principles of a reversible programming language.

[BibT_eX]

[DOI]

Proceedings of the 5th Conference on Computing Frontiers, 2008

2007

Reversible Machine Code and Its Abstract Processor Architecture.

[BibT_eX]

[DOI]