Holger Bock Axelsen

According to our database1, Holger Bock Axelsen
  • authored at least 32 papers between 2007 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Join inverse categories and reversible recursion.
J. Log. Algebr. Meth. Program., 2017

2016
Fundamentals of reversible flowchart languages.
Theor. Comput. Sci., 2016

On reversible Turing machines and their function universality.
Acta Inf., 2016

A Classical Propositional Logic for Reasoning About Reversible Logic Circuits.
Proceedings of the Logic, Language, Information, and Computation, 2016

The Degree of Irreversibility in Deterministic Finite Automata.
Proceedings of the Implementation and Application of Automata, 2016

Elements of a Reversible Object-Oriented Language - Work-in-Progress Report.
Proceedings of the Reversible Computation - 8th International Conference, 2016

Boosting Reversible Pushdown Machines by Preprocessing.
Proceedings of the Reversible Computation - 8th International Conference, 2016

Reversible Shrinking Two-Pushdown Automata.
Proceedings of the Language and Automata Theory and Applications, 2016

Join Inverse Categories as Models of Reversible Recursion.
Proceedings of the Foundations of Software Science and Computation Structures, 2016

2015
Towards a Domain-Specific Language for Reversible Assembly Sequences.
Proceedings of the Reversible Computation - 7th International Conference, 2015

A Hierarchy of Fast Reversible Turing Machines.
Proceedings of the Reversible Computation - 7th International Conference, 2015

Interpretation and programming of the reversible functional language RFUN.
Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, 2015

Programming Techniques for Reversible Comparison Sorts.
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014
Designing Garbage-Free Reversible Implementations of the Integer Cosine Transform.
JETC, 2014

2013
Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier.
Proceedings of the Reversible Computation - 5th International Conference, 2013

Reversible Representation and Manipulation of Constructor Terms in the Heap.
Proceedings of the Reversible Computation - 5th International Conference, 2013

2012
Optimizing Reversible Simulation of Injective Functions.
Multiple-Valued Logic and Soft Computing, 2012

Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1.
Proceedings of the Reversible Computation, 4th International Workshop, 2012

Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space.
Proceedings of the Language and Automata Theory and Applications, 2012

Minimizing Garbage Size by Generating Reversible Simulations.
Proceedings of the Third International Conference on Networking and Computing, 2012

2011
Towards a Reversible Functional Language.
Proceedings of the Reversible Computation - Third International Workshop, 2011

A Reversible Processor Architecture and Its Reversible Logic Design.
Proceedings of the Reversible Computation - Third International Workshop, 2011

Time Complexity of Tape Reduction for Reversible Turing Machines.
Proceedings of the Reversible Computation - Third International Workshop, 2011

A Simple and Efficient Universal Reversible Turing Machine.
Proceedings of the Language and Automata Theory and Applications, 2011

What Do Reversible Programs Compute?
Proceedings of the Foundations of Software Science and Computational Structures, 2011

Clean Translation of an Imperative Reversible Programming Language.
Proceedings of the Compiler Construction - 20th International Conference, 2011

2009
Parallelization of Reversible Ripple-Carry Adders.
Parallel Processing Letters, 2009

MicroPower: Towards Low-Power Microprocessors with Reversible Computing.
ERCIM News, 2009

2008
Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder.
Proceedings of the Unconventional Computing, 7th International Conference, 2008

Reversible Flowchart Languages and the Structured Reversible Program Theorem.
Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Principles of a reversible programming language.
Proceedings of the 5th Conference on Computing Frontiers, 2008

2007
Reversible Machine Code and Its Abstract Processor Architecture.
Proceedings of the Computer Science, 2007


  Loading...