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
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