Staff – University of Copenhagen

Robert Glück

Robert Glück

Professor, Associate Professor

Member of:

  • The APL Section


  1. 2018
  2. Published

    Data structures and dynamic memory management in reversible languages. / Cservenka, Martin; Glück, Robert; Haulund, Tue; Mogensen, Torben Ægidius.

    Reversible Computation. Proceedings. ed. / Jarkko Kari; Irek Ulidowski. Springer, 2018. p. 269-285.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  3. 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 articleResearchpeer-review

  4. Published

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

    In: Logical Methods in Computer Science, Vol. 14, No. 3, 16, 2018.

    Research output: Contribution to journalJournal articleResearchpeer-review

  5. Published

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

    Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. Proceedings. ed. / John P. Gallagher; Rob van Glabbeek; Wendelin Serwe. Open Publishing Association, 2018. p. 169-184.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  6. Published

    Reversible computing: foundations and software : Preface of Special Issue. / Glück, Robert; Yokoyama, Tetsuo.

    In: New Generation Computing, Vol. 36, No. 3, 2018, p. 143-144.

    Research output: Contribution to journalJournal articleResearch

  7. 2017
  8. 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 articleResearchpeer-review

  9. 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 proceedingsResearchpeer-review

  10. 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 articleResearchpeer-review

  11. 2016
  12. 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 proceedingsResearchpeer-review

  13. 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 articleResearchpeer-review

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

ID: 9668