Staff – University of Copenhagen

Robert Glück

Robert Glück

Professor, Associate Professor

  • Department of Computer Science

    Bygning B, Building: 01-0-016

    2100 København Ø

    Universitetsparken 5, 2100 København Ø, Bygning B, Building: 01-0-016

    Phone: +45 29 61 16 55
  • Algorithms and Programming Languages (APL)

    Bygning B, Building: 01-0-016

    2200 København N

    Phone: +45 29 61 16 55
  • Department of Computer Science

    Universitetsparken 5

    2100 Copenhagen

Member of:

  • The APL Section


  1. 2018
  2. Published

    A categorical foundation for structured reversible flowchart languages. / Glück, Robert; Kaarsgaard, Robin.

    In: Electronic Notes in Theoretical Computer Science, Vol. 336, 2018, p. 155-171.

    Research output: Contribution to journalJournal article

  3. Published

    An experiment in ping-pong protocol verification by nondeterministic pushdown automata. / Glück, Robert.

    Models for Formal Analysis of Real Systems, Verification and Program Transformation. Proceedings. ed. / John P. Gallagher; Rob van Glabbeek; Wendelin Serwe. Vol. 268 2018. p. 169-184.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings

  4. 2017
  5. Published

    A minimalist’s reversible while language. / Glück, Robert; Yokoyama, Tetsuo.

    In: IEICE Transactions on Information and Systems, Vol. E100-D, No. 5, 05.2017, p. 1026-1034.

    Research output: Contribution to journalJournal article

  6. Published

    Implementing reversible object-oriented language features on reversible machines. / Haulund, Tue; Mogensen, Torben Ægidius; Glück, Robert.

    Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. ed. / Iain Phillips; Hafizur Rahaman. Springer, 2017. p. 66-73.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings

  7. Published

    Join inverse categories and reversible recursion. / Kaarsgaard, Robin; Axelsen, Holger Bock; Glück, Robert.

    In: Journal of Logical and Algebraic Methods in Programming, Vol. 87, 2017, p. 33-50.

    Research output: Contribution to journalJournal article

  8. 2016
  9. Published

    A classical propositional logic for reasoning about reversible logic circuits. / Axelsen, Holger Bock; Glück, Robert; Kaarsgaard, Robin.

    Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. ed. / Jouko Väänänen; Åsa Hirvonen; Ruy de Queiroz. Springer, 2016. p. 52-67.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings

  10. Published

    On reversible Turing machines and their function universality. / Axelsen, Holger Bock; Glück, Robert.

    In: Acta Informatica, Vol. 53, No. 5, 2016, p. 509-543.

    Research output: Contribution to journalJournal article

  11. Published

    A linear-time self-interpreter of a reversible imperative language. / Glück, Robert; Yokoyama, Tetsuo.

    In: Computer Software, Vol. 33, No. 3, 2016, p. 108-128.

    Research output: Contribution to journalJournal article

  12. Published

    A practical simulation result for two-way pushdown automata. / Glück, Robert.

    Implementation and Application of Automata: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings. ed. / Yo-Sub Han; Kai Salomaa. Springer, 2016. p. 113-124.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings

  13. Published

    Introduction to Valentin Turchin’s cybernetic foundation of mathematics. / Glück, Robert; Klimov, Andrei V.

    Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation. ed. / A. V. Klimov; S. A. Romanenko. University of Pereslavl, 2016. p. 26-31.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings

Previous 1 2 3 4 5 6 7 8 ...12 Next

ID: 9668