Staff – University of Copenhagen

Forward this page to a friend Resize Print Bookmark and Share

Department of Computer Science DIKU > Staff

Robert Glück

Robert Glück

Associate Professor

  • Department of Computer Science

    Bygning B, Building: 01-0-016

    2100 København Ø

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

    Universitetsparken 5

    2100 Copenhagen

Member of:

  • The APL Section


  1. 2017
  2. 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.

    Publication: Research - peer-reviewJournal article

  3. 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 (Lecture Notes in Computer Science, Vol. 10301).

    Publication: Research - peer-reviewArticle in proceedings

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

    Publication: Research - peer-reviewJournal article

  5. 2016
  6. 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 (Lecture Notes in Computer Science, Vol. 9803).

    Publication: Research - peer-reviewArticle in proceedings

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

    Publication: Research - peer-reviewJournal article

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

    Publication: Research - peer-reviewJournal article

  9. 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 (Lecture Notes in Computer Science; No. 9705).

    Publication: Research - peer-reviewArticle in proceedings

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

    Publication: Research - peer-reviewArticle in proceedings

  11. Published

    Maximally-polyvariant partial evaluation in polynomial time. / Glück, Robert.

    Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers. ed. / Manuel Mazzara; Andrei Voronkov. Springer, 2016. p. 130-148 (Lecture Notes in Computer Science, Vol. 9609).

    Publication: Research - peer-reviewArticle in proceedings

  12. Published

    Nonlinear configurations for superlinear speedup by supercompilation. / Glück, Robert; Klimov, Andrei V.; Nepeivoda, Antonina N.

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

    Publication: Research - peer-reviewArticle in proceedings

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

ID: 9668