Robert Glück

Robert Glück

Professor

Medlem af:

    ORCID: 0000-0001-6990-3935

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

      Towards a Dereversibilizer: Fewer Asserts, Statically

      Reholt, Jonas Wolpers, Glück, Robert & Kruse, M., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (red.). Springer, s. 106-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13960 LNCS).

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

    3. Udgivet

      Towards a Taxonomy for Reversible Computation Approaches

      Glück, Robert, Lanese, I., Mezzina, C. A., Miszczak, J. A., Phillips, I., Ulidowski, I. & Vidal, G., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (red.). Springer, s. 24-39 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13960 LNCS).

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

    4. 2022
    5. Udgivet

      Reversible programming: a case study of two string-matching algorithms

      Glück, Robert & Yokoyama, T., 2022, Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation. Hamilton, G. W., Kahsai, T. & Proietti, M. (red.). arXiv.org, s. 1-13 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 373).

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

    6. 2021
    7. Udgivet

      An inversion tool for conditional term rewriting systems - a case study of Ackermann inversion

      Mikkelsen, M. B., Glück, Robert & Kirkeby, M. H., 2021, Proceedings of the 9th International Workshop on Verification and Program Transformation. Lisitsa, A. & Nemytykh, A. P. (red.). arxiv.org, s. 33-41 9 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 341).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

    8. Udgivet

      Towards a unified language architecture for reversible object-oriented programming

      Hay-Schmidt, L., Glück, Robert, Cservenka, M. H. & Haulund, T., 2021, Reversible Computation.: 13th International Conference, RC 2021 Virtual Event, July 7–8, 2021 Proceedings. Yamashita, S. & Yokoyama, T. (red.). Springer, s. 96-106 11 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12805 LNCS).

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

    9. 2020
    10. Udgivet

      An efficient composition of bidirectional programs by memoization and lazy update

      Tsushima, K., Trong, B. N., Glück, Robert & Hu, Z., 2020, Functional and Logic Programming.: 15th International Symposium, FLOPS 2020 Akita, Japan, September 14–16, 2020 Proceedings. Nakano, K. & Sagonas, K. (red.). Springer, s. 159-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12073 LNCS).

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

    11. Udgivet

      An experiment combining specialization with abstract interpretation

      Gallagher, J. P. & Glück, Robert, 2020, Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. arXiv.org, s. 155-158 4 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 320).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

    12. 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

    13. Udgivet

      Inversion framework: reasoning about inversion by conditional term rewriting systems

      Kirkeby, M. H. & Glück, Robert, 2020, PPDP '20: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery, 14 s.

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

    14. Udgivet

      Reversible computing from a programming language perspective (extended abstract)

      Glück, Robert, 2020, Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers. Springer VS, Bind 2. s. 410-412 3 s. (Lecture Notes in Computer Science, Bind 12233).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

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

    ID: 9668