Robert Glück

Robert Glück

Professor

Member of:

    Most downloads

    1. 253 downloads
      Published
    2. 199 downloads
      Published

      A categorical foundation for structured reversible flowchart languages

      Research output: Contribution to journalJournal articlepeer-review

    3. 117 downloads
      Published

      Simulation of two-way pushdown automata revisited

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    4. 104 downloads
      Published

      Reversible computing from a programming language perspective

      Research output: Contribution to journalJournal articlepeer-review

    5. 84 downloads
      Published

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

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    ID: 9668