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}\pm 2^{l}\pm 1\)	2015-11-30	Paper
Reversible Representation and Manipulation of Constructor Terms in the Heap	2013-12-17	Paper
Strength of the reversible, garbage-free \(2^{k } \pm 1\) multiplier	2013-12-17	Paper
Towards a reversible functional language	2012-08-20	Paper
Time complexity of tape reduction for reversible Turing machines	2012-08-20	Paper
Reversible multi-head finite automata characterize reversible logarithmic space	2012-06-08	Paper
Optimizing reversible simulation of injective functions	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