Robert Glück
Professor
ORCID: 0000-0001-6990-3935
1 - 2 out of 2Page size: 10
- 2024
- Published
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. (eds.). Association for Computing Machinery, p. 119-133 15 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
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. (eds.). Springer, p. 94-102 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14680 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 9668
Most downloads
-
269
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology › Research
Published -
207
downloads
A categorical foundation for structured reversible flowchart languages
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
122
downloads
Simulation of two-way pushdown automata revisited
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Published