Robert Glück

Research output

Research output per year 1990 1994 1996 2000 2002 2012 2016 2019

• 61 Article in proceedings
• 33 Journal article
• 8 Anthology
• 5 Book chapter
• 11 More
  • 4 Editorial
  • 3 Book
  • 2 Conference article
  • 1 Report chapter
  • 1 Paper

Research output per year

Research output per year

Search results

• 2019

  Constructing a binary tree from its traversals by reversible recursion and iteration

  Glück, R. & Yokoyama, T., Jul 2019, In: Information Processing Letters. 147, p. 32-37 6 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Binary trees 100%
  • Binary Tree 89%
  • Recursion 78%
  • Iteration 52%
  • Labels 34%
  5 Citations (Scopus)
• 2018

  A categorical foundation for structured reversible flowchart languages: Soundness and adequacy

  Glück, R. & Kaarsgaard, R., 5 Sept 2018, In: Logical Methods in Computer Science. 14, 3, 38 p., 16.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Soundness 100%
  • Categorical 83%
  • Computer programming languages 80%
  • Language 64%
  • Programming Languages 47%
  6 Citations (Scopus)

• A categorical foundation for structured reversible flowchart languages

  Glück, R. & Kaarsgaard, R., 16 Apr 2018, In: Electronic Notes in Theoretical Computer Science. 336, p. 155-171

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Categorical 100%
  • Computer programming languages 96%
  • Language 77%
  • Semantics 48%
  • Programming Languages 42%
  8 Citations (Scopus)

  73 Downloads (Pure)

• An experiment in ping-pong protocol verification by nondeterministic pushdown automata

  Glück, R., 23 Mar 2018, Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. Proceedings. Gallagher, J. P., van Glabbeek, R. & Serwe, W. (eds.). Open Publishing Association, p. 169-184 (Electronic Proceedings in Theoretical Computer Science, Vol. 268).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Automata theory 100%
  • Network protocols 90%
  • Formal languages 81%
  • Computer programming languages 60%
  • Simulators 47%
  38 Downloads (Pure)

• Data structures and dynamic memory management in reversible languages

  Cservenka, M. H., Glück, R., Haulund, T. & Mogensen, T. Æ., 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Kari, J. & Ulidowski, I. (eds.). Springer, p. 269-285 (Lecture notes in computer science, Vol. 11106).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Data structures 100%
  • Data storage equipment 73%
  • Object oriented programming 46%
  • Computer programming languages 36%
  3 Citations (Scopus)

• Reversible computing: foundations and software: Preface of Special Issue

  Glück, R. & Yokoyama, T., 1 Jul 2018, In: New Generation Computing. 36, 3, p. 143-144

  Research output: Contribution to journal › Editorial
• 2017

  A minimalist’s reversible while language

  Glück, R. & Yokoyama, T., May 2017, In: IEICE Transactions on Information and Systems. E100-D, 5, p. 1026-1034 9 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Structured programming 100%
  • Atoms 68%
  • Dynamic programming 64%
  • Flow control 63%
  • Computer programming languages 60%
  9 Citations (Scopus)

• Implementing reversible object-oriented language features on reversible machines

  Haulund, T., Mogensen, T. Æ. & Glück, R., 2017, Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Phillips, I. & Rahaman, H. (eds.). Springer, p. 66-73 8 p. (Lecture notes in computer science, Vol. 10301).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Polymorphism 100%
  • Object oriented programming 91%
  • Computer hardware 46%
  8 Citations (Scopus)

• Join inverse categories and reversible recursion

  Kaarsgaard, R., Axelsen, H. B. & Glück, R., 1 Feb 2017, In: Journal of Logical and Algebraic Methods in Programming. 87, p. 33-50 18 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Functional programming 100%
  • Join 73%
  • Recursion 73%
  • Functional Programming 58%
  • Categorical 28%
  12 Citations (Scopus)
• 2016

  A classical propositional logic for reasoning about reversible logic circuits

  Axelsen, H. B., Glück, R. & Kaarsgaard, R., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (eds.). Springer, p. 52-67 16 p. (Lecture notes in computer science, Vol. 9803).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Logic circuits 100%
  • Networks (circuits) 48%
  • Boolean algebra 44%
  • Syntactics 30%
  • Acoustic waves 23%

• A linear-time self-interpreter of a reversible imperative language

  Glück, R. & Yokoyama, T., 2016, In: Computer Software. 33, 3, p. 108-128 21 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Flow control 100%
  • Computer programming languages 94%
  • Data structures 85%
  14 Citations (Scopus)

• A practical simulation result for two-way pushdown automata

  Glück, R., 2016, Implementation and Application of Automata: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings. Han, Y-S. & Salomaa, K. (eds.). Springer, p. 113-124 (Lecture Notes in Computer Science; No. 9705).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  2 Citations (Scopus)

• Fundamentals of reversible flowchart languages

  Yokoyama, T., Axelsen, H. B. & Glück, R., 18 Jan 2016, In: Theoretical Computer Science. 611, p. 87-115 29 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Language 100%
  • Computer programming languages 83%
  • Machine oriented languages 72%
  • Turing machines 63%
  • Flow structure 50%
  15 Citations (Scopus)

• Introduction to Valentin Turchin’s cybernetic foundation of mathematics

  Glück, R. & Klimov, A. V., 2016, Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation. Klimov, A. V. & Romanenko, S. A. (eds.). University of Pereslavl, p. 26-31

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• Maximally-polyvariant partial evaluation in polynomial time

  Glück, R., 2016, Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers. Mazzara, M. & Voronkov, A. (eds.). Springer, p. 130-148 19 p. (Lecture notes in computer science, Vol. 9609).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Polynomials 100%
  1 Citation (Scopus)

• Nonlinear configurations for superlinear speedup by supercompilation

  Glück, R., Klimov, A. V. & Nepeivoda, A. N., 2016, Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation. Klimov, A. V. & Romanenko, S. A. (eds.). University of Pereslavl, p. 32-51 20 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• On reversible Turing machines and their function universality

  Axelsen, H. B. & Glück, R., Aug 2016, In: Acta Informatica. 53, 5, p. 509-543 35 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Turing machines 100%
  • Resin transfer molding 73%
  • Semantics 19%
  • Costs 5%
  10 Citations (Scopus)
• 2014

  Designing garbage-free reversible implementations of the integer cosine transform

  De Vos, A., Burignat, S., Glück, R., Mogensen, T. Æ., Axelsen, H. B., Thomsen, M. K., Rotenberg, E. & Yokoyama, T., 1 Oct 2014, In: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 p., 11.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Cosine transforms 100%
  • Inverse transforms 83%
  • Linear transformations 83%
  • Computer hardware 38%
  • Networks (circuits) 36%
  1 Citation (Scopus)
• 2013

  Reversible Computation. Proceedings

  Glück, R. (ed.) & Yokoyama, T. (ed.), 2013, Springer. 241 p. (Lecture notes in computer science, Vol. 7581).

  Research output: Book/Report › Book › Research › peer-review

• Reversible representation and manipulation of constructor terms in the heap

  Axelsen, H. B. & Glück, R., 2013, Reversible Computation. Proceedings. Dueck, G. W. & Miller, D. M. (eds.). Springer, p. 96-109 14 p. (Lecture notes in computer science, Vol. 7948).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Binary trees 100%
  12 Citations (Scopus)

• Simulation of two-way pushdown automata revisited

  Glück, R., 2013, Semantics, abstract interpretation, and reasoning about programs. Banerjee, A., Danvy, O., Doh, K-G. & Hatcliff, J. (eds.). Vol. 129. p. 250-258 9 p. (Electronic Proceedings in Theoretical Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • Context free languages 100%
  • Polynomials 51%
  • Semantics 45%
  • Data storage equipment 40%
  4 Citations (Scopus)

  45 Downloads (Pure)
• 2012

  A reversible processor architecture and its reversible logic design

  Thomsen, M. K., Axelsen, H. B. & Glück, R., 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (eds.). Springer, p. 30-42 13 p. (Lecture notes in computer science, Vol. 7165).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Logic design 100%
  • Computer programming languages 23%
  14 Citations (Scopus)

• A self-applicable online partial evaluator for recursive flowchart languages

  Glück, R., 1 Jun 2012, In: Software: Practice & Experience. 42, 6, p. 649-673 25 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  5 Citations (Scopus)

• Bootstrapping compiler generators from partial evaluators

  Glück, R., 2012, Perspectives of System Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Clarke, E., Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 125-141 17 p. (Lecture notes in computer science, Vol. 7162).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • projection 100%
  • handwriting 66%
  • present 29%
  • evaluation 24%
  1 Citation (Scopus)

• Cleaning up: garbage-free reversible circuits by design languages

  Thomsen, M. K., Axelsen, H. B. & Glück, R., 1 Jan 2012, 2012 International Symposium on Electronic System Design (ISED). IEEE, p. 6-10 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Logic circuits 100%
  • Cleaning 82%
  • Computer programming languages 79%
  • Networks (circuits) 48%
  1 Citation (Scopus)

• Minimizing garbage size by generating reversible simulations

  Yokoyama, T., Axelsen, H. B. & Glück, R., 2012, Proceedings of the 2012 Third International Conference on Networking and Computing (ICNC). IEEE, p. 379-387 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Sorting 100%
  3 Citations (Scopus)

• Optimizing reversible simulation of injective functions

  Yokoyama, T., Axelsen, H. B. & Glück, R., 2012, In: Journal of Multiple-Valued Logic and Soft Computing. 18, 1, p. 5-24 20 p.

  Research output: Contribution to journal › Conference article › Research › peer-review

  • Injective 100%
  • Simulation 68%
  • Coding 43%
  • Run-length Encoding 37%
  • Encoder 28%
  8 Citations (Scopus)

• Towards a reversible functional language

  Yokoyama, T., Axelsen, H. B. & Glück, R., 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (eds.). Springer, p. 14-29 16 p. (Lecture notes in computer science, Vol. 7165).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Semantics 100%
  • Mathematical operators 67%
  32 Citations (Scopus)
• 2011

  A simple and efficient universal reversible Turing machine

  Axelsen, H. B. & Glück, R., 2011, Language and Automata Theory and Applications: 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings. Dediu, A-H., Inenaga, S. & Martín-Vide, C. (eds.). Springer, p. 117-128 12 p. (Lecture notes in computer science, Vol. 6638).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Turing machines 100%
  • Costs 6%
  • Semantics 5%
  17 Citations (Scopus)

• International Workshop on Program Understanding. Proceedings

  Bulyonkov, M. A. (ed.) & Glück, R. (ed.), 2011, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 48 p.

  Research output: Book/Report › Anthology › Research

• Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software

  Glück, R. (ed.), Henglein, F. (ed.), Hu, Z. (ed.) & Takeichi, M. (ed.), 2011, Department of Computer Science, University of Copenhagen. 280 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 2011/01).

  Research output: Book/Report › Anthology › Research

  208 Downloads (Pure)

• Special issue on generative programming and component engineering

  Glück, R. & Visser, E., 2011, In: Science of Computer Programming. 76, 5, p. 347-348 2 p.

  Research output: Contribution to journal › Editorial

  1 Citation (Scopus)

• What do reversible programs compute?

  Axelsen, H. B. & Glück, R., 2011, Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. Hofmann, M. (ed.). Springer, p. 42-56 15 p. (Lecture notes in computer science, Vol. 6604).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Turing machines 100%
  • Semantics 9%
  32 Citations (Scopus)
• 2010

  An experiment with the fourth Futamura projection

  Glück, R., 2010, Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Pnueli, A., Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 135-150 16 p. (Lecture notes in computer science, Vol. 5947).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  3 Citations (Scopus)

• Reversible arithmetic logic unit for quantum arithmetic

  Thomsen, M. K., Glück, R. & Axelsen, H. B., 24 Sept 2010, In: Journal of Physics A: Mathematical and Theoretical. 43, 38, 10 p., 382002.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • arithmetic and logic units 100%
  • Logic 47%
  • Unit 41%
  • garbage 30%
  • Shape Design 27%
  67 Citations (Scopus)

• Self-generating program specializers

  Glück, R., 15 Aug 2010, In: Information Processing Letters. 110, 17, p. 787-793 7 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  1 Citation (Scopus)
• 2009

  Implementation of an experimental system for automatic program transformation based on generalized partial computation

  Futamura, Y., Konishi, Z. & Glück, R., 2009. 10 p.

  Research output: Contribution to conference › Paper › Research › peer-review

• International Workshop on Program Understanding. Proceedings

  Bulyonkov, M. A. (ed.) & Glück, R. (ed.), 2009, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 63 p.

  Research output: Book/Report › Anthology › Research

• Is there a fourth Futamura projection?

  Glück, R., 2009, PEPM´09: Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, p. 51-60 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • projection 100%
  • abstraction 27%
  • specialization 25%
  • equality 21%
  • evaluation 12%
  10 Citations (Scopus)

• MicroPower - Towards Low-power Microprocessors with Reversible Computing

  Axelsen, H. B., Glück, R., De Vos, A. & Thomsen, M. K., 2009, In: ERCIM News. 79, p. 20-21 2 p.

  Research output: Contribution to journal › Journal article › Communication

  • Microprocessor chips 100%
  • Electric power utilization 54%
  • Hearing aids 48%
  • Computer science 37%
  • Heat losses 36%
• 2008

  An investigation of Jones optimality and BTI-universal specializers

  Glück, R., 2008, In: Higher-Order and Symbolic Computation. 21, 3, p. 283-309

  Research output: Contribution to journal › Journal article › Research › peer-review

  2 Citations (Scopus)

• Optimized reversible binary-coded decimal adders

  Thomsen, M. K. & Glück, R., 2008, In: Journal of Systems Architecture. 54, 7, p. 697-706 9 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Adders 100%
  • Logic Synthesis 30%
  • Logic circuits 26%
  • Networks (circuits) 18%
  • Delay circuits 15%
  43 Citations (Scopus)

• Principles of a reversible programming language

  Yokoyama, T., Axelsen, H. B. & Glück, R., 2008, Conference on Computing Frontiers, CF 2008: Proceedings of the 2008 Conference on Computing Frontiers, Ischia, Italy May 5-7, 2008. Association for Computing Machinery, p. 43-54

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Computer programming languages 100%
  • Turing machines 76%
  • High level languages 67%
  • Computer science 54%
  • Fast Fourier transforms 52%
  79 Citations (Scopus)

• Reversible flowchart languages and the structured reversible program theorem

  Yokoyama, T., Axelsen, H. B. & Glück, R., 2008, Automata, Languages and Programming: 35th International colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings. Part II. Aceto, L., Damgaard, I., Goldberg, L. A., Halldorsson, M. M., Ingolfsdottir, A. & Walukiewicz, I. (eds.). Springer, p. 258-270 (Lecture notes in computer science; No. 5126).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Turing machines 100%
  • Flow control 69%
  • Microprocessor chips 64%
  29 Citations (Scopus)

• Symposium on Partial Evaluation and Semantics-Based Program Manipulation. Proceedings

  Glück, R. (ed.) & Moor, O. D. (ed.), 2008, New York: Association for Computing Machinery. 204 p.

  Research output: Book/Report › Anthology › Research › peer-review
• 2007

  A reversible programming language and its invertible self-interpreter

  Yokoyama, T. & Glück, R., 2007, PEPM 2007: Proceedings of the Workshop on Partial Evaluation and Program Manipulation, Nice, France, January 15-16, 2007. Association for Computing Machinery, p. 144-153

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  89 Citations (Scopus)

• A universal resolving algorithm for inverse computation of lazy languages

  Abramov, S. M., Glück, R. & Klimov, Y., 2007, Perspectives of Systems Informatics. Proceedings. Voronkov, A. & Virbitskaite, I. (eds.). Springer, p. 27-40 (Lecture notes in computer science; No. 4378).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  6 Citations (Scopus)

• Proceedings of the 3rd DIKU-IST Workshop on the Foundations of Software

  Glück, R. (ed.) & Hagiya, M. (ed.), 2007, Department of Computer Science, University of Copenhagen. 172 p. (Department of Computer Science. University of Copenhagen. Technical Report; No. 2007/07).

  Research output: Book/Report › Anthology › Research

• Reversible machine code and its abstract processor architecture

  Axelsen, H. B., Glück, R. & Yokoyama, T., 2007, Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings. Diekert, V., Volkov, M. & Voronkov, A. (eds.). Springer, p. 56-69 (Lecture notes in computer science; No. 4649).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  41 Citations (Scopus)
• 2006

  On Jones-optimal specializers: a case study using Unmix

  Gade, J. & Glück, R., 2006, Programming Languages and Systems. Proceedings. Kobayashi, N. (ed.). Springer, p. 406-422 (Lecture notes in computer science, Vol. 4279).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  4 Citations (Scopus)