Robert Glück

Robert Glück

Professor

Medlem af:

    ORCID: 0000-0001-6990-3935

    Udgivelsesår:
    Alle
    131 - 136 ud af 136Pr. side: 10
    Sortering: 1. forfatter
    1. Udgivet

      Towards a reversible functional language

      Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2012, Reversible Computation: Third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers. De Vos, A. & Wille, R. (red.). Springer, s. 14-29 16 s. (Lecture notes in computer science, Bind 7165).

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

    2. Udgivet

      Optimizing reversible simulation of injective functions

      Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2012, I: Journal of Multiple-Valued Logic and Soft Computing. 18, 1, s. 5-24 20 s.

      Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

    3. Udgivet

      Reversible structured program theorem

      Yokoyama, T. & Glück, Robert, 2006, Nordic Workshop on Programming Theory. Reykjavik University, Iceland, 3 s.

      Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Forskning

    4. Udgivet

      Principles of a reversible programming language

      Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2008, Conference on Computing Frontiers, CF 2008: Proceedings of the 2008 Conference on Computing Frontiers, Ischia, Italy May 5-7, 2008. Association for Computing Machinery, s. 43-54

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

    5. Udgivet

      Reversible flowchart languages and the structured reversible program theorem

      Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2008, Automata, Languages and Programming: 35th International colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings. Part II. Aceto, L., Damgaard, I., Goldberg, L. A., Halldorsson, M. M., Ingolfsdottir, A. & Walukiewicz, I. (red.). Springer, s. 258-270 (Lecture notes in computer science; Nr. 5126).

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

    6. Udgivet

      Minimizing garbage size by generating reversible simulations

      Yokoyama, T., Axelsen, H. B. & Glück, Robert, 2012, Proceedings of the 2012 Third International Conference on Networking and Computing (ICNC). IEEE, s. 379-387 9 s.

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

    Forrige 1...10 11 12 13 14 Næste

    ID: 9668