Robert Glück

Robert Glück

Professor

ORCID: 0000-0001-6990-3935

Udgivelsesår:
Alle
1 - 8 ud af 8Pr. side: 10
Sortering: Udgivelsesdato
  1. 2016
  2. Udgivet

    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. (red.). Springer, s. 52-67 16 s. (Lecture notes in computer science, Bind 9803).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  3. Udgivet

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt

  4. Udgivet

    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. (red.). Springer, s. 113-124 (Lecture Notes in Computer Science; Nr. 9705).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  5. Udgivet

    Fundamentals of reversible flowchart languages

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt

  6. Udgivet

    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. (red.). University of Pereslavl, s. 26-31

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  7. Udgivet

    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. (red.). Springer, s. 130-148 19 s. (Lecture notes in computer science, Bind 9609).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  8. Udgivet

    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. (red.). University of Pereslavl, s. 32-51 20 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  9. Udgivet

    On reversible Turing machines and their function universality

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › fagfællebedømt

ID: 9668