Robert Glück
Professor
- 2024
FLOPS 2024 (Begivenhed)
Glück, Robert (Medlem)
2024Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
HCVS 2024 (Begivenhed)
Glück, Robert (Medlem)
2024Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
LOPSTR 2024 (Begivenhed)
Glück, Robert (Medlem)
2024Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
RC 2024 (Begivenhed)
Glück, Robert (Medlem)
2024Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
Steering Committee of the Logic-Based Program Synthesis and Transformation Symposium (Ekstern organisation)
Glück, Robert (Bestyrelsesmedlem)
2024 → …Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
miniKanren 2024 (Begivenhed)
Glück, Robert (Medlem)
2024Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
- 2023
LOPSTR 2023 (Begivenhed)
Glück, Robert (Formand)
2023Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
PADL 2023 (Begivenhed)
Glück, Robert (Medlem)
2023Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
RC 2023 (Begivenhed)
Glück, Robert (Medlem)
2023Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
- 2022
FLOPS 2022 (Begivenhed)
Glück, Robert (Medlem)
2022Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
GPCE 2022 (Begivenhed)
Glück, Robert (Medlem)
2022Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
PEPM 2022 (Begivenhed)
Glück, Robert (Medlem)
2022Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
RC 2022 (Begivenhed)
Glück, Robert (Medlem)
2022Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
miniKanren 2022 (Begivenhed)
Glück, Robert (Medlem)
2022Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
- 2021
RC 2021 (Begivenhed)
Glück, Robert (Medlem)
2021Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
- 2020
GPCE 2020 (Begivenhed)
Glück, Robert (Medlem)
2020Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
LOPSTR 2020 (Begivenhed)
Glück, Robert (Medlem)
2020Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
PEPM 2020 (Begivenhed)
Glück, Robert (Medlem)
2020Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
RC 2020 (Begivenhed)
Glück, Robert (Medlem)
2020Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
- 2019
GPCE 2019 (Begivenhed)
Glück, Robert (Medlem)
2019Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
PEPM 2019 (Begivenhed)
Glück, Robert (Medlem)
2019Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
RC 2019 (Begivenhed)
Glück, Robert (Medlem)
2019Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
- 2018
FLOPS 2018 (Begivenhed)
Glück, Robert (Medlem)
2018Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
GPCE 2018 (Begivenhed)
Glück, Robert (Medlem)
2018Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
RC 2018 (Begivenhed)
Glück, Robert (Medlem)
2018Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
VPT 2018 (Begivenhed)
Glück, Robert (Medlem)
2018Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
- 2017
PEPM 2017 (Begivenhed)
Glück, Robert (Medlem)
2017Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
RC 2017 (Begivenhed)
Glück, Robert (Medlem)
2017Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
- 2016
LOPSTR 2016 (Begivenhed)
Glück, Robert (Medlem)
2016Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
META 2016 (Begivenhed)
Glück, Robert (Medlem)
2016Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
PEPM 2016 (Begivenhed)
Glück, Robert (Medlem)
2016Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
RC 2016 (Begivenhed)
Glück, Robert (Medlem)
2016Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
- 2015
Management Committee of EU COST Action: Reversible Computation - Extending Horizons of Computing (IC1405) (Ekstern organisation)
Glück, Robert (Medlem)
2015 → 2019Aktivitet: Medlemskab - typer › Medlemskab af forskningsnetværk
- 2013
Steering Committee of the Reversible Computation Conference (Ekstern organisation)
Glück, Robert (Bestyrelsesmedlem)
2013 → …Aktivitet: Medlemskab - typer › Medlemskab af udvalg, råd og nævn
- 2005
New Generation Computing (Tidsskrift)
Glück, Robert (Medlem af redaktionsgruppen)
2005 → …Aktivitet: Peer-review og redaktionelt arbejde - typer › Redaktør af tidsskrift › Formidling
- 2004
IFIP Technical Committee on Software Theory and Practice: Working Group on Program Generation (WG 2.11) (Ekstern organisation)
Glück, Robert (Medlem)
2004 → …Aktivitet: Medlemskab - typer › Medlemskab af forskningsnetværk
ID: 9668
Flest downloads
-
259
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
203
downloads
A categorical foundation for structured reversible flowchart languages
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
117
downloads
Simulation of two-way pushdown automata revisited
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
Udgivet