Staff – University of Copenhagen

Robert Glück

Robert Glück

Professor

Most downloads

  1. 154 downloads
    Published

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

    Research output: Book/ReportAnthologyResearch

  2. 32 downloads
    Published

    A categorical foundation for structured reversible flowchart languages

    Research output: Contribution to journalJournal articleResearchpeer-review

  3. 20 downloads
    Published

    Simulation of two-way pushdown automata revisited

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

  4. 20 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