| A reversible programming language and its invertible self-interpreter T Yokoyama, R Glück Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007 | 209 | 2007 |
| Principles of a reversible programming language T Yokoyama, HB Axelsen, R Glück Proceedings of the 5th Conference on Computing Frontiers, 43-54, 2008 | 176 | 2008 |
| Towards a reversible functional language T Yokoyama, HB Axelsen, R Glück International Workshop on Reversible Computation, 14-29, 2011 | 105 | 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 |
| Reversible computation and reversible programming languages T Yokoyama Electronic Notes in Theoretical Computer Science 253 (6), 71-81, 2010 | 67 | 2010 |
| Practical energy-aware scheduling for real-time multiprocessor systems G Zeng, T Yokoyama, H Tomiyama, H Takada 2009 15th IEEE International Conference on Embedded and Real-Time Computing …, 2009 | 58 | 2009 |
| 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 |
| Fundamentals of reversible flowchart languages RG Tetsuo Yokoyama, Holger Bock Axelsen Theoretical Computer Science 611, 87-115, 2016 | 53 | 2016 |
| A linear-time self-interpreter of a reversible imperative language R Glück, T Yokoyama Information and Media Technologies 11, 160-180, 2016 | 36 | 2016 |
| Deterministic second-order patterns T Yokoyama, Z Hu, M Takeichi Information Processing Letters 89 (6), 309-314, 2004 | 27 | 2004 |
| A minimalist's reversible while language R Glück, T Yokoyama IEICE TRANSACTIONS on Information and Systems 100 (5), 1026-1034, 2017 | 20 | 2017 |
| Reversible computing from a programming language perspective R Glück, T Yokoyama Theoretical Computer Science 953, 113429, 2023 | 17 | 2023 |
| Programming techniques for reversible comparison sorts HB Axelsen, T Yokoyama Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang …, 2015 | 17 | 2015 |
| Optimizing Reversible Simulation of Injective Functions. T Yokoyama, HB Axelsen, R Glück Journal of Multiple-Valued Logic & Soft Computing 18 (1), 2012 | 16 | 2012 |
| Reversible programs have reversible semantics R Glück, R Kaarsgaard, T Yokoyama Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020 | 14 | 2020 |
| Program optimizations and transformations in calculation form Z Hu, T Yokoyama, M Takeichi Generative and Transformational Techniques in Software Engineering …, 2006 | 14 | 2006 |
| Static task scheduling algorithms based on greedy heuristics for battery-powered DVS systems T Yokoyama, G Zeng, H Tomiyama, H Takada IEICE transactions on information and systems 93 (10), 2737-2746, 2010 | 12 | 2010 |
| Constructing a binary tree from its traversals by reversible recursion and iteration R Glück, T Yokoyama Information Processing Letters 147, 32-37, 2019 | 11 | 2019 |
| Calculation rules for warming-up in fusion transformation T Yokoyama, Z Hu, M Takeichi the 2005 Symposium on Trends in Functional Programming, TFP 2005, Tallinn …, 2005 | 11 | 2005 |
| Deterministic higher-order patterns for program transformation T Yokoyama, Z Hu, M Takeichi Logic Based Program Synthesis and Transformation: 13th International …, 2004 | 9 | 2004 |
Robert GlückDIKU, Department of Computer Science, University of Copenhagen確認したメール アドレス: di.ku.dk
