| Principles of a reversible programming language T Yokoyama, HB Axelsen, R Glück Proceedings of the 5th Conference on Computing Frontiers, 43-54, 2008 | 177 | 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 | 137 | 2010 |
| Towards a reversible functional language T Yokoyama, HB Axelsen, R Glück International Workshop on Reversible Computation, 14-29, 2011 | 105 | 2011 |
| What do reversible programs compute? H Axelsen, R Glück Foundations of Software Science and Computational Structures, 42-56, 2011 | 85 | 2011 |
| Reversible machine code and its abstract processor architecture HB Axelsen, R Glück, T Yokoyama Computer Science–Theory and Applications: Second International Symposium on …, 2007 | 84 | 2007 |
| Fundamentals of reversible flowchart languages T Yokoyama, HB Axelsen, R Glück Theoretical computer science 611, 87-115, 2016 | 54 | 2016 |
| Reversible flowchart languages and the structured reversible program theorem T Yokoyama, HB Axelsen, R Glück Automata, Languages and Programming: 35th International Colloquium, ICALP …, 2008 | 54 | 2008 |
| A reversible processor architecture and its reversible logic design MK Thomsen, HB Axelsen, R Glück Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium …, 2012 | 51 | 2012 |
| Clean translation of an imperative reversible programming language HB Axelsen International Conference on Compiler Construction, 144-163, 2011 | 49 | 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 | 43 | 2015 |
| A simple and efficient universal reversible Turing machine H Axelsen, R Glück Language and Automata Theory and Applications, 117-128, 2011 | 39 | 2011 |
| 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 | 33 | 2017 |
| Towards a domain-specific language for reversible assembly sequences UP Schultz, JS Laursen, LP Ellekilde, HB Axelsen Reversible Computation: 7th International Conference, RC 2015, Grenoble …, 2015 | 27 | 2015 |
| Parallelization of reversible ripple-carry adders MK Thomsen, HB Axelsen Parallel Processing Letters 19 (2), 205-222, 2009 | 26 | 2009 |
| On reversible turing machines and their function universality HB Axelsen, R Glück Acta Informatica 53, 509-543, 2016 | 25 | 2016 |
| Reversible representation and manipulation of constructor terms in the heap HB Axelsen, R Glück Reversible Computation: 5th International Conference, RC 2013, Victoria, BC …, 2013 | 25 | 2013 |
| Elements of a Reversible Object-Oriented Language: Work-in-Progress Report UP Schultz, HB Axelsen International Conference on Reversible Computation, 153-159, 2016 | 21 | 2016 |
| Reversible multi-head finite automata characterize reversible logarithmic space HB Axelsen International Conference on Language and Automata Theory and Applications …, 2012 | 21 | 2012 |
| Programming techniques for reversible comparison sorts HB Axelsen, T Yokoyama Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang …, 2015 | 17 | 2015 |
| Join inverse categories as models of reversible recursion HB Axelsen, R Kaarsgaard International Conference on Foundations of Software Science and Computation …, 2016 | 16 | 2016 |
Robert GlückDIKU, Department of Computer Science, University of CopenhagenVerified email at di.ku.dk