Robert Glück
Professor
ORCID: 0000-0001-6990-3935
Most downloads
-
259 downloadsPublished
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology › Research
-
203 downloadsPublished
A categorical foundation for structured reversible flowchart languages
Research output: Contribution to journal › Journal article › Research › peer-review
-
117 downloadsPublished
Simulation of two-way pushdown automata revisited
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
-
107 downloadsPublished
Reversible computing from a programming language perspective
Research output: Contribution to journal › Journal article › Research › peer-review
-
84 downloadsPublished
An experiment in ping-pong protocol verification by nondeterministic pushdown automata
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 9668
Most downloads
-
259
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology › Research
Published -
203
downloads
A categorical foundation for structured reversible flowchart languages
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
117
downloads
Simulation of two-way pushdown automata revisited
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Published