Robert Glück

Robert Glück

Professor

Flest downloads

  1. 281 downloads
    Udgivet

    Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

  2. 112 downloads
    Udgivet

    A categorical foundation for structured reversible flowchart languages

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  3. 77 downloads
    Udgivet

    Simulation of two-way pushdown automata revisited

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  4. 71 downloads
    Udgivet

    An experiment in ping-pong protocol verification by nondeterministic pushdown automata

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  5. 22 downloads
    Udgivet

    Reversible computing from a programming language perspective (extended abstract)

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

ID: 9668