Robert Glück

Robert Glück

Professor

Medlem af:

    ORCID: 0000-0001-6990-3935

    Udgivelsesår:
    Alle
    81 - 90 ud af 136Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2009
    2. Udgivet

      Is there a fourth Futamura projection?

      Glück, Robert, 2009, PEPM´09: Proceedings of the 2009 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, s. 51-60 10 s.

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

    3. 2010
    4. Udgivet

      An experiment with the fourth Futamura projection

      Glück, Robert, 2010, Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Pnueli, A., Virbitskaite, I. & Voronkov, A. (red.). Springer, s. 135-150 16 s. (Lecture notes in computer science, Bind 5947).

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

    5. Udgivet

      Reversible arithmetic logic unit for quantum arithmetic

      Thomsen, Michael Kirkedal, Glück, Robert & Axelsen, H. B., 2010, I: Journal of Physics A: Mathematical and Theoretical. 43, 38, 10 s., 382002.

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

    6. Udgivet

      Self-generating program specializers

      Glück, Robert, 2010, I: Information Processing Letters. 110, 17, s. 787-793 7 s.

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

    7. 2011
    8. Udgivet

      A simple and efficient universal reversible Turing machine

      Axelsen, H. B. & Glück, Robert, 2011, Language and Automata Theory and Applications: 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings. Dediu, A-H., Inenaga, S. & Martín-Vide, C. (red.). Springer, s. 117-128 12 s. (Lecture notes in computer science, Bind 6638).

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

    9. Udgivet

      International Workshop on Program Understanding. Proceedings

      Bulyonkov, M. A. (red.) & Glück, Robert (red.), 2011, Novosibirsk, Russia: Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences. 48 s.

      Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

    10. Udgivet

      Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software

      Glück, Robert (red.), Henglein, Fritz (red.), Hu, Z. (red.) & Takeichi, M. (red.), 2011, Department of Computer Science, University of Copenhagen. 280 s. (Department of Computer Science. University of Copenhagen. Technical Report; Nr. 2011/01).

      Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

    11. Udgivet

      Special issue on generative programming and component engineering

      Glück, Robert & Visser, E., 2011, I: Science of Computer Programming. 76, 5, s. 347-348 2 s.

      Publikation: Bidrag til tidsskrift › Leder › Forskning

    12. Udgivet

      What do reversible programs compute?

      Axelsen, H. B. & Glück, Robert, 2011, Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. Hofmann, M. (red.). Springer, s. 42-56 15 s. (Lecture notes in computer science, Bind 6604).

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

    13. 2012
    14. Udgivet

      A reversible processor architecture and its reversible logic design

      Thomsen, Michael Kirkedal, 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. 30-42 13 s. (Lecture notes in computer science, Bind 7165).

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

    Forrige 1...5 6 7 8 9 10 11 12 ...14 Næste

    ID: 9668