Robert Glück
Robert Glück

Professor

Flest downloads

  1. 218 downloads
    Udgivet

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

    Publikation: Bog/antologi/afhandling/rapportAntologiForskning

  2. 79 downloads
    Udgivet

    A categorical foundation for structured reversible flowchart languages

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  3. 44 downloads
    Udgivet

    Simulation of two-way pushdown automata revisited

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

  4. 40 downloads
    Udgivet

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

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

ID: 9668