
Søren Debois
Associate Professor
- Computer Science
Department
- Center for Information Security and Trust
Research center
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Building: 4F25-4T91
Information Desk: 72185000
- Journal article › Research › Peer-reviewed
- 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-28Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- 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 Journal › Journal article › Research › peer-review
- 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 Journal › Journal article › Research › peer-review
- 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 Journal › Journal article › Research › peer-review
- Journal article › Research › Not peer-reviewed
- 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 Journal › Journal article › Research
ID: 263576