Robert Glück

Robert Glück

Professor

Member of:


    1. 2016
    2. Published

      A classical propositional logic for reasoning about reversible logic circuits

      Axelsen, H. B., Glück, Robert & Kaarsgaard, R., 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. (eds.). Springer, p. 52-67 16 p. (Lecture notes in computer science, Vol. 9803).

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

    3. Published

      A linear-time self-interpreter of a reversible imperative language

      Glück, Robert & Yokoyama, T., 2016, In: Computer Software. 33, 3, p. 108-128 21 p.

      Research output: Contribution to journalJournal articlepeer-review

    4. Published

      A practical simulation result for two-way pushdown automata

      Glück, Robert, 2016, Implementation and Application of Automata: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings. Han, Y-S. & Salomaa, K. (eds.). Springer, p. 113-124 (Lecture Notes in Computer Science; No. 9705).

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

    5. Published

      Fundamentals of reversible flowchart languages

      Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2016, In: Theoretical Computer Science. 611, p. 87-115 29 p.

      Research output: Contribution to journalJournal articlepeer-review

    6. Published

      Introduction to Valentin Turchin’s cybernetic foundation of mathematics

      Glück, Robert & Klimov, A. V., 2016, Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation. Klimov, A. V. & Romanenko, S. A. (eds.). University of Pereslavl, p. 26-31

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

    7. Published

      Maximally-polyvariant partial evaluation in polynomial time

      Glück, Robert, 2016, 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. Mazzara, M. & Voronkov, A. (eds.). Springer, p. 130-148 19 p. (Lecture notes in computer science, Vol. 9609).

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

    8. Published

      Nonlinear configurations for superlinear speedup by supercompilation

      Glück, Robert, Klimov, A. V. & Nepeivoda, A. N., 2016, Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation. Klimov, A. V. & Romanenko, S. A. (eds.). University of Pereslavl, p. 32-51 20 p.

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

    9. Published

      On reversible Turing machines and their function universality

      Axelsen, H. B. & Glück, Robert, 2016, In: Acta Informatica. 53, 5, p. 509-543 35 p.

      Research output: Contribution to journalJournal articlepeer-review

    ID: 9668