Staff – University of Copenhagen

Robert Glück

Robert Glück

Professor


  1. 2019
  2. Published

    Constructing a binary tree from its traversals by reversible recursion and iteration. / Glück, Robert; Yokoyama, Tetsuo.

    In: Information Processing Letters, Vol. 147, 2019, p. 32-37.

    Research output: Contribution to journalJournal articleResearchpeer-review

  3. 2018
  4. Published

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

    Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. ed. / Jarkko Kari; Irek Ulidowski. Springer, 2018. p. 269-285.

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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 2017
  10. 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

  11. 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

  12. 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

  13. 2016
  14. 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

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

ID: 9668