Robert Glück

Robert Glück

Professor

ORCID: 0000-0001-6990-3935

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

    An investigation of Jones optimality and BTI-universal specializers

    Glück, Robert, 2008, I: Higher-Order and Symbolic Computation. 21, 3, s. 283-309

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

  3. Udgivet

    Optimized Reversible Binary-Coded Decimal Adders

    Thomsen, Michael Kirkedal & Glück, Robert, 2008, I: Journal of Systems Architecture. 54, 7, s. 697-706 9 s.

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

  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

    Symposium on Partial Evaluation and Semantics-Based Program Manipulation. Proceedings

    Glück, Robert (red.) & Moor, O. D. (red.), 2008, New York: Association for Computing Machinery. 204 s.

    Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › fagfællebedømt

ID: 9668