Robert Glück

• Presentation
• Research outputs
• Press/Media
• Activities
• Most downloaded

Most downloads

1. 214 downloads

   Published

   Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software

   Research output: Book/Report › Anthology

2. 169 downloads

   Published

   A categorical foundation for structured reversible flowchart languages

   Research output: Contribution to journal › Journal article › peer-review

3. 96 downloads

   Published

   Simulation of two-way pushdown automata revisited

   Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

4. 73 downloads

   Published

   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

5. 22 downloads

   Published

   Reversible computing from a programming language perspective (extended abstract)

   Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research