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
1322008
Reversible arithmetic logic unit for quantum arithmetic
MK Thomsen, R Glück, HB Axelsen
Journal of Physics A: Mathematical and Theoretical 43, 382002, 2010
952010
What do reversible programs compute?
H Axelsen, R Glück
Foundations of Software Science and Computational Structures, 42-56, 2011
642011
Reversible machine code and its abstract processor architecture
HB Axelsen, R Glück, T Yokoyama
International Computer Science Symposium in Russia, 56-69, 2007
642007
Towards a reversible functional language
T Yokoyama, HB Axelsen, R Glück
International Workshop on Reversible Computation, 14-29, 2011
572011
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
482008
A reversible processor architecture and its reversible logic design
MK Thomsen, HB Axelsen, R Glück
International Workshop on Reversible Computation, 30-42, 2011
322011
Clean translation of an imperative reversible programming language
HB Axelsen
International Conference on Compiler Construction, 144-163, 2011
302011
A simple and efficient universal reversible Turing machine
H Axelsen, R Glück
Language and Automata Theory and Applications, 117-128, 2011
262011
Fundamentals of reversible flowchart languages
T Yokoyama, HB Axelsen, R Glück
Theoretical Computer Science 611, 87-115, 2016
222016
Reversible representation and manipulation of constructor terms in the heap
HB Axelsen, R Glück
International Conference on Reversible Computation, 96-109, 2013
222013
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
202015
Parallelization of reversible ripple-carry adders
MK Thomsen, HB Axelsen
Parallel Processing Letters 19 (2), 205-222, 2009
202009
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
172017
Reversible multi-head finite automata characterize reversible logarithmic space
HB Axelsen
International Conference on Language and Automata Theory and Applications …, 2012
162012
On reversible Turing machines and their function universality
HB Axelsen, R Glück
Acta Informatica 53 (5), 509-543, 2016
152016
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
152015
Elements of a reversible object-oriented language
UP Schultz, HB Axelsen
International Conference on Reversible Computation, 153-159, 2016
142016
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
112012
Optimizing Reversible Simulation of Injective Functions
T Yokoyma, HB Axelsen, R Glück
Journal of Multiple-Valued Logic and Soft Computing 18 (1), 5-25, 2012
112012
The system can't perform the operation now. Try again later.
Articles 1–20