Reversible Machine Code and Its Abstract Processor Architecture. - Holger Bock Axelsen; Robert Glück; Tetsuo Yokoyama (CSR, 2007)

Principles of a reversible programming language. - Tetsuo Yokoyama; Holger Bock Axelsen; Robert Glück (Conf. Computing Frontiers, 2008)

Reversible Flowchart Languages and the Structured Reversible Program Theorem. - Tetsuo Yokoyama; Holger Bock Axelsen; Robert Glück (ICALP (2), 2008)

Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder. - Michael Kirkedal Thomsen; Holger Bock Axelsen (UC, 2008)

MicroPower: Towards Low-Power Microprocessors with Reversible Computing. - Holger Bock Axelsen; Robert Glück; Alexis De Vos; Michael Kirkedal Thomsen (ERCIM News, 2009)

Parallelization of Reversible Ripple-Carry Adders. - Michael Kirkedal Thomsen; Holger Bock Axelsen (Parallel Process. Lett., 2009)

Clean Translation of an Imperative Reversible Programming Language. - Holger Bock Axelsen (CC, 2011)

What Do Reversible Programs Compute? - Holger Bock Axelsen; Robert Glück (FoSSaCS, 2011)

A Simple and Efficient Universal Reversible Turing Machine. - Holger Bock Axelsen; Robert Glück (LATA, 2011)

Time Complexity of Tape Reduction for Reversible Turing Machines. - Holger Bock Axelsen (RC, 2011)

A Reversible Processor Architecture and Its Reversible Logic Design. - Michael Kirkedal Thomsen; Holger Bock Axelsen; Robert Glück (RC, 2011)

Towards a Reversible Functional Language. - Tetsuo Yokoyama; Holger Bock Axelsen; Robert Glück (RC, 2011)

Minimizing Garbage Size by Generating Reversible Simulations. - Tetsuo Yokoyama; Holger Bock Axelsen; Robert Glück (ICNC, 2012)

Cleaning Up: Garbage-Free Reversible Circuits by Design Languages. - Michael Kirkedal Thomsen; Holger Bock Axelsen; Robert Glück (ISED, 2012)

Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space. - Holger Bock Axelsen (LATA, 2012)

Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1. - Holger Bock Axelsen; Michael Kirkedal Thomsen (RC, 2012)

Optimizing Reversible Simulation of Injective Functions. - Tetsuo Yokoyama; Holger Bock Axelsen; Robert Glück (J. Multiple Valued Log. Soft Comput., 2012)

Reversible Representation and Manipulation of Constructor Terms in the Heap. - Holger Bock Axelsen; Robert Glück (RC, 2013)

Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier. - Eva Rotenberg; James Cranch; Michael Kirkedal Thomsen; Holger Bock Axelsen (RC, 2013)

Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform. - Alexis De Vos; Stéphane Burignat; Robert Glück; Torben Ægidius Mogensen; Holger Bock Axelsen; Michael Kirkedal Thomsen; Eva Rotenberg; Tetsuo Yokoyama (ACM J. Emerg. Technol. Comput. Syst., 2014)

Programming Techniques for Reversible Comparison Sorts. - Holger Bock Axelsen; Tetsuo Yokoyama (APLAS, 2015)

Interpretation and programming of the reversible functional language RFUN. - Michael Kirkedal Thomsen; Holger Bock Axelsen (IFL, 2015)

A Hierarchy of Fast Reversible Turing Machines. - Holger Bock Axelsen; Sebastian Jakobi; Martin Kutrib; Andreas Malcher (RC, 2015)

Towards a Domain-Specific Language for Reversible Assembly Sequences. - Ulrik Pagh Schultz; Johan Sund Laursen; Lars-Peter Ellekilde; Holger Bock Axelsen (RC, 2015)

Join Inverse Categories as Models of Reversible Recursion. - Holger Bock Axelsen; Robin Kaarsgaard (FoSSaCS, 2016)

Reversible Shrinking Two-Pushdown Automata. - Holger Bock Axelsen; Markus Holzer 001; Martin Kutrib; Andreas Malcher (LATA, 2016)

Boosting Reversible Pushdown Machines by Preprocessing. - Holger Bock Axelsen; Martin Kutrib; Andreas Malcher; Matthias Wendlandt (RC, 2016)

Elements of a Reversible Object-Oriented Language - Work-in-Progress Report. - Ulrik Pagh Schultz; Holger Bock Axelsen (RC, 2016)

A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. - Holger Bock Axelsen; Robert Glück; Robin Kaarsgaard (WoLLIC, 2016)

On reversible Turing machines and their function universality. - Holger Bock Axelsen; Robert Glück (Acta Informatica, 2016)

Fundamentals of reversible flowchart languages. - Tetsuo Yokoyama; Holger Bock Axelsen; Robert Glück (Theor. Comput. Sci., 2016)

The Degree of Irreversibility in Deterministic Finite Automata. - Holger Bock Axelsen; Markus Holzer 001; Martin Kutrib (Int. J. Found. Comput. Sci., 2017)

Join inverse categories and reversible recursion. - Robin Kaarsgaard; Holger Bock Axelsen; Robert Glück (J. Log. Algebraic Methods Program., 2017)

Boosting Reversible Pushdown and Queue Machines by Preprocessing. - Holger Bock Axelsen; Martin Kutrib; Andreas Malcher; Matthias Wendlandt (Int. J. Found. Comput. Sci., 2020)

Reversible Shrinking Two-Pushdown Automata. - Holger Bock Axelsen; Martin Kutrib; Andreas Malcher (J. Autom. Lang. Comb., 2022)