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

    Imperative-program transformation by instrumented-interpreter specialization

    Debois, S., 15 Apr 2008, In: Higher-Order and Symbolic Computation. 21, 1-2, p. 37-58 22 p.

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

  3. Published

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

    Debois, S., Hildebrandt, T. T. & Slaats, T., 21 Sep 2017, In: Acta Informatica. p. 1-32 32 p.

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

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

  5. Published

    Preface to the special issue on process querying and declarative, decision and hybrid approaches to processes 2019

    Ciccio, C. D., Debois, S., Polyvyanyy, A., Slaats, T., ter Hofstede, A. H. M. & Vanthienen, J., 2021, In: J. Data Semant.. 10, 1, p. 107 1 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearch

  6. 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