Robert Glück

Robert Glück

Professor

Medlem af:

    Flest downloads

    1. 268 downloads
      Udgivet

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

      Publikation: Bog/antologi/afhandling/rapportAntologiForskning

    2. 206 downloads
      Udgivet

      A categorical foundation for structured reversible flowchart languages

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    3. 118 downloads
      Udgivet

      Simulation of two-way pushdown automata revisited

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

    4. 114 downloads
      Udgivet

      Reversible computing from a programming language perspective

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    5. 85 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