| 2016 | FOSSACS | Join Inverse Categories as Models of Reversible Recursion. | Holger Bock Axelsen, Robin Kaarsgaard |
| 2016 | LATA | Reversible Shrinking Two-Pushdown Automata. | Holger Bock Axelsen, Markus Holzer, Martin Kutrib, Andreas Malcher |
| 2016 | RC | Boosting Reversible Pushdown Machines by Preprocessing. | Holger Bock Axelsen, Martin Kutrib, Andreas Malcher, Matthias Wendlandt |
| 2016 | RC | Elements of a Reversible Object-Oriented Language - Work-in-Progress Report. | Ulrik Pagh Schultz, Holger Bock Axelsen |
| 2016 | WoLLIC | A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. | Holger Bock Axelsen, Robert Glck, Robin Kaarsgaard |
| 2015 | APLAS | Programming Techniques for Reversible Comparison Sorts. | Holger Bock Axelsen, Tetsuo Yokoyama |
| 2015 | RC | A Hierarchy of Fast Reversible Turing Machines. | Holger Bock Axelsen, Sebastian Jakobi, Martin Kutrib, Andreas Malcher |
| 2015 | RC | Towards a Domain-Specific Language for Reversible Assembly Sequences. | Ulrik Pagh Schultz, Johan Sund Laursen, Lars-Peter Ellekilde, Holger Bock Axelsen |
| 2013 | RC | Reversible Representation and Manipulation of Constructor Terms in the Heap. | Holger Bock Axelsen, Robert Glck |
| 2013 | RC | Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier. | Eva Rotenberg, James Cranch, Michael Kirkedal Thomsen, Holger Bock Axelsen |
| 2012 | LATA | Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space. | Holger Bock Axelsen |
| 2012 | RC | Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 | Holger Bock Axelsen, Michael Kirkedal Thomsen |
| 2011 | CC | Clean Translation of an Imperative Reversible Programming Language. | Holger Bock Axelsen |
| 2011 | FOSSACS | What Do Reversible Programs Compute? | Holger Bock Axelsen, Robert Glck |
| 2011 | LATA | A Simple and Efficient Universal Reversible Turing Machine. | Holger Bock Axelsen, Robert Glck |
| 2011 | RC | Time Complexity of Tape Reduction for Reversible Turing Machines. | Holger Bock Axelsen |
| 2011 | RC | A Reversible Processor Architecture and Its Reversible Logic Design. | Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glck |
| 2011 | RC | Towards a Reversible Functional Language. | Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glck |
| 2008 | ICALP | Reversible Flowchart Languages and the Structured Reversible Program Theorem. | Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glck |
| 2008 | UC | Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder. | Michael Kirkedal Thomsen, Holger Bock Axelsen |
| 2007 | CSR | Reversible Machine Code and Its Abstract Processor Architecture. | Holger Bock Axelsen, Robert Glck, Tetsuo Yokoyama |