Robert Glück

Professor

Member of:

ORCID: 0000-0001-6990-3935

21 - 30 out of 36Page size: 10

Sort by: Start date

2020
RC 2020 (Event)
Glück, Robert (Member)
2020
Activity: Membership types › Membership in committee, council, board
2021
RC 2021 (Event)
Glück, Robert (Member)
2021
Activity: Membership types › Membership in committee, council, board
2022
FLOPS 2022 (Event)
Glück, Robert (Member)
2022
Activity: Membership types › Membership in committee, council, board
GPCE 2022 (Event)
Glück, Robert (Member)
2022
Activity: Membership types › Membership in committee, council, board
PEPM 2022 (Event)
Glück, Robert (Member)
2022
Activity: Membership types › Membership in committee, council, board
RC 2022 (Event)
Glück, Robert (Member)
2022
Activity: Membership types › Membership in committee, council, board
miniKanren 2022 (Event)
Glück, Robert (Member)
2022
Activity: Membership types › Membership in committee, council, board
2023
LOPSTR 2023 (Event)
Glück, Robert (Chair)
2023
Activity: Membership types › Membership in committee, council, board
PADL 2023 (Event)
Glück, Robert (Member)
2023
Activity: Membership types › Membership in committee, council, board
RC 2023 (Event)
Glück, Robert (Member)
2023
Activity: Membership types › Membership in committee, council, board

ID: 9668

265 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