Robert Glück

Robert Glück

Professor


  1. 2020
  2. Published

    Semi-inversion of conditional constructor term rewriting systems

    Kirkeby, M. H. & Glück, Robert, 2020, Logic-based Program Synthesis and Transformation. Gabbrielli, M. (ed.). Springer, p. 243-259 (Lecture Notes in Computer Science, Vol. 12042).

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

  3. 2019
  4. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  5. 2018
  6. Published

    A categorical foundation for structured reversible flowchart languages

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  7. Published

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

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  8. Published

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

    Glück, Robert, 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 proceedingArticle in proceedingsResearchpeer-review

  9. Published

    Data structures and dynamic memory management in reversible languages

    Cservenka, M. H., Glück, Robert, Haulund, T. & Mogensen, Torben Ægidius, 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 proceedingArticle in proceedingsResearchpeer-review

  10. Published

    Reversible computing: foundations and software: Preface of Special Issue

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

    Research output: Contribution to journalEditorialResearch

  11. 2017
  12. Published

    A minimalist’s reversible while language

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  13. Published

    Implementing reversible object-oriented language features on reversible machines

    Haulund, T., Mogensen, Torben Ægidius & Glück, Robert, 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 proceedingArticle in proceedingsResearchpeer-review

  14. Published

    Join inverse categories and reversible recursion

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

    Research output: Contribution to journalJournal articleResearchpeer-review

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

ID: 9668