| Principles of a reversible programming language T Yokoyama, HB Axelsen, R Glück Proceedings of the 5th Conference on Computing Frontiers, 43-54, 2008 | 154 | 2008 |
| Reversible arithmetic logic unit for quantum arithmetic MK Thomsen, R Glück, HB Axelsen Journal of Physics A: Mathematical and Theoretical 43, 382002, 2010 | 110 | 2010 |
| What do reversible programs compute? H Axelsen, R Glück Foundations of Software Science and Computational Structures, 42-56, 2011 | 72 | 2011 |
| Towards a reversible functional language T Yokoyama, HB Axelsen, R Glück International Workshop on Reversible Computation, 14-29, 2011 | 70 | 2011 |
| Reversible machine code and its abstract processor architecture HB Axelsen, R Glück, T Yokoyama International Computer Science Symposium in Russia, 56-69, 2007 | 70 | 2007 |
| 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 | 48 | 2008 |
| Clean translation of an imperative reversible programming language HB Axelsen International Conference on Compiler Construction, 144-163, 2011 | 40 | 2011 |
| A reversible processor architecture and its reversible logic design MK Thomsen, HB Axelsen, R Glück International Workshop on Reversible Computation, 30-42, 2011 | 38 | 2011 |
| Fundamentals of reversible flowchart languages T Yokoyama, HB Axelsen, R Glück Theoretical Computer Science 611, 87-115, 2016 | 33 | 2016 |
| A simple and efficient universal reversible Turing machine H Axelsen, R Glück Language and Automata Theory and Applications, 117-128, 2011 | 28 | 2011 |
| 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 | 25 | 2015 |
| 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 | 24 | 2017 |
| 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 | 24 | 2015 |
| Reversible representation and manipulation of constructor terms in the heap HB Axelsen, R Glück International Conference on Reversible Computation, 96-109, 2013 | 22 | 2013 |
| Parallelization of reversible ripple-carry adders MK Thomsen, HB Axelsen Parallel Processing Letters 19 (2), 205-222, 2009 | 20 | 2009 |
| On reversible turing machines and their function universality HB Axelsen, R Glück Acta Informatica 53 (5), 509-543, 2016 | 19 | 2016 |
| Reversible multi-head finite automata characterize reversible logarithmic space HB Axelsen International Conference on Language and Automata Theory and Applications …, 2012 | 19 | 2012 |
| Elements of a reversible object-oriented language UP Schultz, HB Axelsen International Conference on Reversible Computation, 153-159, 2016 | 17 | 2016 |
| 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 | 13 | 2012 |
| Join inverse categories as models of reversible recursion HB Axelsen, R Kaarsgaard International Conference on Foundations of Software Science and Computation …, 2016 | 12 | 2016 |
Robert GlückDIKU, Department of Computer Science, University of CopenhagenVerified email at di.ku.dk
