Robert Glück

Robert Glück

Professor

Medlem af:

    ORCID: 0000-0001-6990-3935

    Udgivelsesår:
    Alle
    41 - 50 ud af 136Pr. side: 10
    Sortering: Titel
    1. Udgivet

      Controlling conjunctive partial deduction

      Glück, Robert, Jørgensen, J., Martens, B. & Sørensen, M. H., 1996, Programming Languages: Implementations, Logics and Programs. Kuchen, H. & Swierstra, S. D. (red.). Springer Verlag, s. 152-166 (Lecture notes in computer science, Bind 1140).

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

    2. Udgivet

      Data structures and dynamic memory management in reversible languages

      Cservenka, M. H., Glück, Robert, Haulund, T. & Mogensen, Torben Ægidius, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Kari, J. & Ulidowski, I. (red.). Springer, s. 269-285 (Lecture notes in computer science, Bind 11106).

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

    3. Udgivet

      Derivation of deterministic inverse programs based on LR parsing

      Glück, Robert & Kawabe, M., 2004, Functional and Logic Programming. Proceedings. Springer Verlag, s. 291-306 (Lecture notes in computer science, Bind 2998).

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

    4. Udgivet

      Designing garbage-free reversible implementations of the integer cosine transform

      De Vos, A., Burignat, S., Glück, Robert, Mogensen, Torben Ægidius, Axelsen, H. B., Thomsen, Michael Kirkedal, Rotenberg, E. & Yokoyama, T., 2014, I: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 s., 11.

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

    5. Udgivet

      Efficient multi-level generating extensions for program specialization

      Glück, Robert & Jørgensen, J., 1995, Programming Languages: Implementations, Logics and Programs. Springer Verlag, s. 259-278 (Lecture notes in computer science, Bind 982).

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

    6. Udgivet

      Fast binding-time analysis for multi-level specialization

      Glück, Robert & Jørgensen, J., 1996, Perspectives of System Informatics. Bjørner, D., Broy, M. & Pottosin, I. V. (red.). Springer Verlag, s. 261-272 (Lecture notes in computer science, Bind 1181).

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

    7. Fortran program specialization

      Kleinrubatscher, P., Kriegshaber, A., Zöchling, R. & Glück, Robert, 1995, I: SIGPLAN Notices. 30, 4, s. 61-70

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

    8. Udgivet

      Foundations of reversible computation

      Aman, B., Ciobanu, G., Glück, Robert, Kaarsgaard, R., Kari, J., Kutrib, M., Lanese, I., Mezzina, C. A., Mikulski, Ł., Nagarajan, R., Phillips, I., Pinna, G. M., Prigioniero, L., Ulidowski, I. & Vidal, G., 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (red.). Springer VS, s. 1-40 40 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12070 LNCS).

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

    9. Udgivet

      From reversible programming languages to reversible metalanguages

      Glück, Robert, Kaarsgaard, R. & Yokoyama, T., 2022, I: Theoretical Computer Science. 920, s. 46-63 18 s.

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

    10. Udgivet

      From standard to non-standard semantics by semantics modifiers

      Abramov, S. M. & Glück, Robert, 2001, I: International Journal of Foundations of Computer Science. 12, 2, s. 171-211

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

    Forrige 1 2 3 4 5 6 7 8 ...14 Næste

    ID: 9668