Robert Glück
Robert Glück

Professor


  1. 2019
  2. Udgivet

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

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  3. 2018
  4. Udgivet

    A categorical foundation for structured reversible flowchart languages

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  5. Udgivet

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

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  6. Udgivet

    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. (red.). Open Publishing Association, s. 169-184 (Electronic Proceedings in Theoretical Computer Science, Bind 268).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  7. Udgivet

    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. (red.). Springer, s. 269-285 (Lecture notes in computer science, Bind 11106).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  8. Udgivet

    Reversible computing: foundations and software: Preface of Special Issue

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

    Publikation: Bidrag til tidsskriftLederForskning

  9. 2017
  10. Udgivet

    A minimalist’s reversible while language

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  11. Udgivet

    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. (red.). Springer, s. 66-73 8 s. (Lecture notes in computer science, Bind 10301).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  12. Udgivet

    Join inverse categories and reversible recursion

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  13. 2016
  14. Udgivet

    A classical propositional logic for reasoning about reversible logic circuits

    Axelsen, H. B., Glück, Robert & Kaarsgaard, Robin, 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. (red.). Springer, s. 52-67 16 s. (Lecture notes in computer science, Bind 9803).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Forrige 1 2 3 4 5 6 7 8 ...12 Næste

ID: 9668