Robert Glück
Professor
- 2024
- Udgivet
Partial Evaluation of Reversible Flowchart Programs
Normann, Louis Marott & Glück, Robert, 2024, PEPM 2024 - Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. Keller, G. & Wang, M. (red.). Association for Computing Machinery, s. 119-133 15 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Towards Clean Reversible Lossless Compression
Lyngby, Therese, Nylandsted, R. R., Glück, Robert & Yokoyama, T., 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (red.). Springer, s. 94-102 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14680 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2023
- Udgivet
Logic-Based Program Synthesis and Transformation: 3rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Glück, Robert (red.) & Kafle, B. (red.), 2023, Springer. 211 s. (Lecture Notes in Computer Science, Bind 14330).Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
- Udgivet
Reversible computing from a programming language perspective
Glück, Robert & Yokoyama, T., 2023, I: Theoretical Computer Science. 953, 26 s., 113429.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
- 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
- 2022
- 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
- Udgivet
Making programs reversible with minimal extra data
Glück, Robert & Yokoyama, T., 2022, I: New Generation Computing. 40, 2, s. 467-480Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
- 2021
- 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
ID: 9668
Flest downloads
-
269
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
211
downloads
A categorical foundation for structured reversible flowchart languages
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
132
downloads
Simulation of two-way pushdown automata revisited
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
Udgivet