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
ID: 9668
Flest downloads
-
269
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Udgivet -
207
downloads
A categorical foundation for structured reversible flowchart languages
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Udgivet -
124
downloads
Simulation of two-way pushdown automata revisited
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
Udgivet