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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Holger Bock Axelsen