Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Most downloads

  1. 213 downloads
    Published
  2. 33 downloads

    Declarative Process Mining for DCR Graphs

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

  3. 23 downloads

    Replication, refinement & reachability: complexity in dynamic condition-response graphs

    Research output: Contribution to journalJournal articleResearchpeer-review

  4. 22 downloads
    Published

    A stable non-interleaving early operational semantics for the pi-calculus

    Research output: Contribution to journalJournal articleResearchpeer-review

  5. 17 downloads

    The Process Highlighter: From Texts to Declarative Processes and Back

    Research output: Contribution to journalConference articleResearchpeer-review

ID: 191341554