Robert Glück

Professor

Programming Languages and Theory of Computing
Universitetsparken 5, 2100 København Ø
- glueck@di.ku.dk
- https://di.ku.dk
Phone: +4529611655

Member of:

ORCID: 0000-0001-6990-3935

1 - 36 out of 36Page size: 500

10
25
50
100
500

Sort by: Title

FLOPS 2018 (Event)
Glück, Robert (Member)
2018
Activity: Membership types › Membership in committee, council, board
FLOPS 2022 (Event)
Glück, Robert (Member)
2022
Activity: Membership types › Membership in committee, council, board
FLOPS 2024 (Event)
Glück, Robert (Member)
2024
Activity: Membership types › Membership in committee, council, board
GPCE 2018 (Event)
Glück, Robert (Member)
2018
Activity: Membership types › Membership in committee, council, board
GPCE 2019 (Event)
Glück, Robert (Member)
2019
Activity: Membership types › Membership in committee, council, board
GPCE 2020 (Event)
Glück, Robert (Member)
2020
Activity: Membership types › Membership in committee, council, board
GPCE 2022 (Event)
Glück, Robert (Member)
2022
Activity: Membership types › Membership in committee, council, board
HCVS 2024 (Event)
Glück, Robert (Member)
2024
Activity: Membership types › Membership in committee, council, board
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
LOPSTR 2016 (Event)
Glück, Robert (Member)
2016
Activity: Membership types › Membership in committee, council, board
LOPSTR 2020 (Event)
Glück, Robert (Member)
2020
Activity: Membership types › Membership in committee, council, board
LOPSTR 2023 (Event)
Glück, Robert (Chair)
2023
Activity: Membership types › Membership in committee, council, board
LOPSTR 2024 (Event)
Glück, Robert (Member)
2024
Activity: Membership types › Membership in committee, council, board
META 2016 (Event)
Glück, Robert (Member)
2016
Activity: Membership types › Membership in committee, council, board
Management Committee of EU COST Action: Reversible Computation - Extending Horizons of Computing (IC1405) (External organisation)
Glück, Robert (Member)
2015 → 2019
Activity: Membership types › Membership in research network
New Generation Computing (Journal)
Glück, Robert (Member of Editorial Board)
2005 → …
Activity: Peer-review and editorial work types › Editor of Research journal › Communication
PADL 2023 (Event)
Glück, Robert (Member)
2023
Activity: Membership types › Membership in committee, council, board
PEPM 2016 (Event)
Glück, Robert (Member)
2016
Activity: Membership types › Membership in committee, council, board
PEPM 2017 (Event)
Glück, Robert (Member)
2017
Activity: Membership types › Membership in committee, council, board
PEPM 2019 (Event)
Glück, Robert (Member)
2019
Activity: Membership types › Membership in committee, council, board
PEPM 2020 (Event)
Glück, Robert (Member)
2020
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 2016 (Event)
Glück, Robert (Member)
2016
Activity: Membership types › Membership in committee, council, board
RC 2017 (Event)
Glück, Robert (Member)
2017
Activity: Membership types › Membership in committee, council, board
RC 2018 (Event)
Glück, Robert (Member)
2018
Activity: Membership types › Membership in committee, council, board
RC 2019 (Event)
Glück, Robert (Member)
2019
Activity: Membership types › Membership in committee, council, board
RC 2020 (Event)
Glück, Robert (Member)
2020
Activity: Membership types › Membership in committee, council, board
RC 2021 (Event)
Glück, Robert (Member)
2021
Activity: Membership types › Membership in committee, council, board
RC 2022 (Event)
Glück, Robert (Member)
2022
Activity: Membership types › Membership in committee, council, board
RC 2023 (Event)
Glück, Robert (Member)
2023
Activity: Membership types › Membership in committee, council, board
RC 2024 (Event)
Glück, Robert (Member)
2024
Activity: Membership types › Membership in committee, council, board
Steering Committee of the Logic-Based Program Synthesis and Transformation Symposium (External organisation)
Glück, Robert (Board member)
2024 → …
Activity: Membership types › 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)
2018
Activity: Membership types › Membership in committee, council, board
miniKanren 2022 (Event)
Glück, Robert (Member)
2022
Activity: Membership types › Membership in committee, council, board
miniKanren 2024 (Event)
Glück, Robert (Member)
2024
Activity: Membership types › Membership in committee, council, board

ID: 9668

Most downloads

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