Holger Bock Axelsen
Title
Cited by
Cited by
Year
Principles of a reversible programming language
T Yokoyama, HB Axelsen, R Glück
Proceedings of the 5th Conference on Computing Frontiers, 43-54, 2008
1442008
Reversible arithmetic logic unit for quantum arithmetic
MK Thomsen, R Glück, HB Axelsen
Journal of Physics A: Mathematical and Theoretical 43, 382002, 2010
1042010
What do reversible programs compute?
H Axelsen, R Glück
Foundations of Software Science and Computational Structures, 42-56, 2011
712011
Towards a reversible functional language
T Yokoyama, HB Axelsen, R Glück
International Workshop on Reversible Computation, 14-29, 2011
682011
Reversible machine code and its abstract processor architecture
HB Axelsen, R Glück, T Yokoyama
International Computer Science Symposium in Russia, 56-69, 2007
682007
Reversible flowchart languages and the structured reversible program theorem
T Yokoyama, HB Axelsen, R Glück
International Colloquium on Automata, Languages, and Programming, 258-270, 2008
512008
Clean translation of an imperative reversible programming language
HB Axelsen
International Conference on Compiler Construction, 144-163, 2011
372011
A reversible processor architecture and its reversible logic design
MK Thomsen, HB Axelsen, R Glück
International Workshop on Reversible Computation, 30-42, 2011
362011
Fundamentals of reversible flowchart languages
T Yokoyama, HB Axelsen, R Glück
Theoretical Computer Science 611, 87-115, 2016
282016
A simple and efficient universal reversible Turing machine
H Axelsen, R Glück
Language and Automata Theory and Applications, 117-128, 2011
282011
Towards a domain-specific language for reversible assembly sequences
UP Schultz, JS Laursen, LP Ellekilde, HB Axelsen
International Conference on Reversible Computation, 111-126, 2015
232015
Join inverse categories and reversible recursion
R Kaarsgaard, HB Axelsen, R Glück
Journal of Logical and Algebraic Methods in Programming 87, 33-50, 2017
222017
Reversible representation and manipulation of constructor terms in the heap
HB Axelsen, R Glück
International Conference on Reversible Computation, 96-109, 2013
222013
Parallelization of reversible ripple-carry adders
MK Thomsen, HB Axelsen
Parallel Processing Letters 19 (2), 205-222, 2009
212009
Interpretation and programming of the reversible functional language RFUN
MK Thomsen, HB Axelsen
Proceedings of the 27th Symposium on the Implementation and Application of …, 2015
202015
On reversible turing machines and their function universality
HB Axelsen, R Glück
Acta Informatica 53 (5), 509-543, 2016
182016
Reversible multi-head finite automata characterize reversible logarithmic space
HB Axelsen
International Conference on Language and Automata Theory and Applications …, 2012
182012
Elements of a reversible object-oriented language
UP Schultz, HB Axelsen
International Conference on Reversible Computation, 153-159, 2016
172016
Garbage-Free Reversible Integer Multiplication with Constants of the Form 2 k ±2 l ±1
HB Axelsen, MK Thomsen
International Workshop on Reversible Computation, 171-182, 2012
142012
Join inverse categories as models of reversible recursion
HB Axelsen, R Kaarsgaard
International Conference on Foundations of Software Science and Computation …, 2016
132016
The system can't perform the operation now. Try again later.
Articles 1–20