Holger Bock Axelsen

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 12

Top Topics

Deterministic Finite Automata

Functional Language

Top Venues

Int. J. Found. Comput. Sci.

J. Log. Algebraic Methods Program.

Publications

Holger Bock Axelsen, Martin Kutrib, Andreas Malcher
Reversible Shrinking Two-Pushdown Automata. J. Autom. Lang. Comb. 27 (1-3) (2022)
Holger Bock Axelsen, Martin Kutrib, Andreas Malcher, Matthias Wendlandt
Boosting Reversible Pushdown and Queue Machines by Preprocessing. Int. J. Found. Comput. Sci. 31 (8) (2020)
Holger Bock Axelsen, Markus Holzer, Martin Kutrib
The Degree of Irreversibility in Deterministic Finite Automata. Int. J. Found. Comput. Sci. 28 (5) (2017)
Robin Kaarsgaard, Holger Bock Axelsen, Robert Glück
Join inverse categories and reversible recursion. J. Log. Algebraic Methods Program. 87 (2017)
Holger Bock Axelsen, Markus Holzer, Martin Kutrib, Andreas Malcher
Reversible Shrinking Two-Pushdown Automata. LATA (2016)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Fundamentals of reversible flowchart languages. Theor. Comput. Sci. 611 (2016)
Holger Bock Axelsen, Robert Glück, Robin Kaarsgaard
A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. WoLLIC (2016)
Ulrik Pagh Schultz, Holger Bock Axelsen
Elements of a Reversible Object-Oriented Language - Work-in-Progress Report. RC (2016)
Holger Bock Axelsen, Markus Holzer, Martin Kutrib
The Degree of Irreversibility in Deterministic Finite Automata. CIAA (2016)
Holger Bock Axelsen, Robin Kaarsgaard
Join Inverse Categories as Models of Reversible Recursion. FoSSaCS (2016)
Holger Bock Axelsen, Martin Kutrib, Andreas Malcher, Matthias Wendlandt
Boosting Reversible Pushdown Machines by Preprocessing. RC (2016)
Holger Bock Axelsen, Robert Glück
On reversible Turing machines and their function universality. Acta Informatica 53 (5) (2016)
Ulrik Pagh Schultz, Johan Sund Laursen, Lars-Peter Ellekilde, Holger Bock Axelsen
Towards a Domain-Specific Language for Reversible Assembly Sequences. RC (2015)
Holger Bock Axelsen, Sebastian Jakobi, Martin Kutrib, Andreas Malcher
A Hierarchy of Fast Reversible Turing Machines. RC (2015)
Michael Kirkedal Thomsen, Holger Bock Axelsen
Interpretation and programming of the reversible functional language RFUN. IFL (2015)
Holger Bock Axelsen, Tetsuo Yokoyama
Programming Techniques for Reversible Comparison Sorts. APLAS (2015)
Alexis De Vos, Stéphane Burignat, Robert Glück, Torben Ægidius Mogensen, Holger Bock Axelsen, Michael Kirkedal Thomsen, Eva Rotenberg, Tetsuo Yokoyama
Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform. ACM J. Emerg. Technol. Comput. Syst. 11 (2) (2014)
Eva Rotenberg, James Cranch, Michael Kirkedal Thomsen, Holger Bock Axelsen
Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier. RC (2013)
Holger Bock Axelsen, Robert Glück
Reversible Representation and Manipulation of Constructor Terms in the Heap. RC (2013)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Optimizing Reversible Simulation of Injective Functions. J. Multiple Valued Log. Soft Comput. 18 (1) (2012)
Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glück
Cleaning Up: Garbage-Free Reversible Circuits by Design Languages. ISED (2012)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Minimizing Garbage Size by Generating Reversible Simulations. ICNC (2012)
Holger Bock Axelsen, Michael Kirkedal Thomsen
±1. RC (2012)
Holger Bock Axelsen
Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space. LATA (2012)
Holger Bock Axelsen
Clean Translation of an Imperative Reversible Programming Language. CC (2011)
Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glück
A Reversible Processor Architecture and Its Reversible Logic Design. RC (2011)
Holger Bock Axelsen, Robert Glück
What Do Reversible Programs Compute? FoSSaCS (2011)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Towards a Reversible Functional Language. RC (2011)
Holger Bock Axelsen, Robert Glück
A Simple and Efficient Universal Reversible Turing Machine. LATA (2011)
Holger Bock Axelsen
Time Complexity of Tape Reduction for Reversible Turing Machines. RC (2011)
Holger Bock Axelsen, Robert Glück, Alexis De Vos, Michael Kirkedal Thomsen
MicroPower: Towards Low-Power Microprocessors with Reversible Computing. ERCIM News 2009 (79) (2009)
Michael Kirkedal Thomsen, Holger Bock Axelsen
Parallelization of Reversible Ripple-Carry Adders. Parallel Process. Lett. 19 (2) (2009)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Principles of a reversible programming language. Conf. Computing Frontiers (2008)
Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
Reversible Flowchart Languages and the Structured Reversible Program Theorem. ICALP (2) (2008)
Michael Kirkedal Thomsen, Holger Bock Axelsen
Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder. UC (2008)
Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama
Reversible Machine Code and Its Abstract Processor Architecture. CSR (2007)