Holger Bock Axelsen

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