Holger Bock Axelsen

Department of Physics, Mathematics and Informatics — BY

Computer Science · Physical Sciences

15h-index783citations38works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Quantum Computing Algorithms and Architecture(25), Computability, Logic, AI Algorithms(18), Parallel Computing and Optimization Techniques(8), semigroups and automata theory(7), Quantum-Dot Cellular Automata(7)

Publications38 total

Reversible Shrinking Two-Pushdown Automata
Justus-Liebig-Universität Gießen·2022Open Access
Boosting Reversible Pushdown and Queue Machines by Preprocessing
International Journal of Foundations of Computer Science·2020· 1 cited
The Degree of Irreversibility in Deterministic Finite Automata
International Journal of Foundations of Computer Science·2017· 3 cited
Join inverse categories and reversible recursion
Journal of Logical and Algebraic Methods in Programming·2016· 28 cited
On reversible Turing machines and their function universality
Acta Informatica·2016· 17 cited
Boosting Reversible Pushdown Machines by Preprocessing
Lecture notes in computer science·2016· 5 cited
Reversible Shrinking Two-Pushdown Automata
Lecture notes in computer science·2016· 3 cited
The Degree of Irreversibility in Deterministic Finite Automata
Lecture notes in computer science·2016· 2 cited
A Classical Propositional Logic for Reasoning About Reversible Logic Circuits
Lecture notes in computer science·2016
Elements of a Reversible Object-Oriented Language
Lecture notes in computer science·2016· 15 cited
Join Inverse Categories as Models of Reversible Recursion
Lecture notes in computer science·2016· 8 citedOpen Access
Interpretation and programming of the reversible functional language RFUN
2015· 21 cited
Fundamentals of reversible flowchart languages
Theoretical Computer Science·2015· 45 cited
Programming Techniques for Reversible Comparison Sorts
Lecture notes in computer science·2015· 9 cited
Towards a Domain-Specific Language for Reversible Assembly Sequences
Lecture notes in computer science·2015· 17 cited
Programming techniques for reversible comparison sorts
Lecture notes in computer science·2015
A Hierarchy of Fast Reversible Turing Machines
Lecture notes in computer science·2015· 9 cited
Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform
ACM Journal on Emerging Technologies in Computing Systems·2014· 2 cited
Reversible Representation and Manipulation of Constructor Terms in the Heap
Lecture notes in computer science·2013· 15 cited
Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1
Lecture notes in computer science·2013· 9 cited
page 1 of 2Next →

Frequent Co-authors

Robert Glück(18), Tetsuo Yokoyama(10), Michael Kirkedal Thomsen(10), Martin Kutrib(7), Andreas Malcher(5), Robin Kaarsgaard(3), Markus Holzer(3), Ulrik Pagh Schultz(2), Matthias Wendlandt(2), Eva Rotenberg(2), Alexis De Vos(2), Johan Sund Laursen(1), Lars‐Peter Ellekilde(1), Sebastian Jakobi(1), James Cranch(1), Stéphane Burignat(1), Torben Ægidius Mogensen(1)