ITU
Søren Debois

Søren Debois

Associate Professor

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4F25-4T91

Phone: +45 72185187

Information Desk: 72185000

View graph of relations

  1. Journal article
  2. Published

    Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

    Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 11 Feb 2016, In: Logical Methods in Computer Science. 12, 1, p. 1-38 38 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  3. Published

    Entropy as a Measure of Log Variability

    Back, C. O., Debois, S. & Slaats, T., 14 Jun 2019, In: Journal on Data Semantics. p. 1-28

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Previous 1 2 3 4 5 Next

ID: 263576