Holger Bock Axelsen

Available identifiers

zbMath Open axelsen.holger-bockDBLP42/2723WikidataQ62050266 ScholiaQ62050266MaRDI QIDQ303694

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5867516	2022-09-14	Paper
Boosting Reversible Pushdown and Queue Machines by Preprocessing	2021-04-19	Paper
The Degree of Irreversibility in Deterministic Finite Automata	2018-02-22	Paper
Join inverse categories and reversible recursion	2017-02-22	Paper
The Degree of Irreversibility in Deterministic Finite Automata	2016-11-09	Paper
A Hierarchy of Fast Reversible Turing Machines	2016-09-30	Paper
Towards a Domain-Specific Language for Reversible Assembly Sequences	2016-09-30	Paper
A Classical Propositional Logic for Reasoning About Reversible Logic Circuits	2016-09-09	Paper
On reversible Turing machines and their function universality	2016-08-22	Paper
Boosting Reversible Pushdown Machines by Preprocessing	2016-08-10	Paper
Join Inverse Categories as Models of Reversible Recursion	2016-06-10	Paper
Reversible Shrinking Two-Pushdown Automata	2016-04-13	Paper
Programming Techniques for Reversible Comparison Sorts	2016-01-08	Paper
Fundamentals of reversible flowchart languages	2015-12-15	Paper
Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1	2015-11-30	Paper
Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier	2013-12-17	Paper
Reversible Representation and Manipulation of Constructor Terms in the Heap	2013-12-17	Paper
Time Complexity of Tape Reduction for Reversible Turing Machines	2012-08-20	Paper
Towards a Reversible Functional Language	2012-08-20	Paper
Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space	2012-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q5389329	2012-04-26	Paper
A Simple and Efficient Universal Reversible Turing Machine	2011-06-03	Paper
What Do Reversible Programs Compute?	2011-05-19	Paper
Reversible arithmetic logic unit for quantum arithmetic	2010-10-11	Paper
Parallelization of reversible ripple-carry adders	2010-09-29	Paper
Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder	2008-12-02	Paper
Reversible Flowchart Languages and the Structured Reversible Program Theorem	2008-08-19	Paper
Reversible Machine Code and Its Abstract Processor Architecture	2008-06-03	Paper

Research outcomes over time

This page was built for person: Holger Bock Axelsen