Robert Glück
Professor
- Membership in committee, council, board
Steering Committee of the Reversible Computation Conference (External organisation)
Glück, Robert (Board member)
2013 → …Activity: Membership types › Membership in committee, council, board
VPT 2018 (Event)
Glück, Robert (Member)
2018Activity: Membership types › Membership in committee, council, board
miniKanren 2022 (Event)
Glück, Robert (Member)
2022Activity: Membership types › Membership in committee, council, board
miniKanren 2024 (Event)
Glück, Robert (Member)
2024Activity: Membership types › Membership in committee, council, board
- Membership in research network
IFIP Technical Committee on Software Theory and Practice: Working Group on Program Generation (WG 2.11) (External organisation)
Glück, Robert (Member)
2004 → …Activity: Membership types › Membership in research network
Management Committee of EU COST Action: Reversible Computation - Extending Horizons of Computing (IC1405) (External organisation)
Glück, Robert (Member)
2015 → 2019Activity: Membership types › Membership in research network
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