A verification environment for bigraphsGian Perrone, Søren Debois… · 2013

Entropy as a Measure of Log VariabilityBack, Christoffer Olling; Debois, Søren; Slaats, Tijs · Journal on Data Semantics · 2019

Replication, refinement & reachability: complexity in dynamic condition-response graphsDebois, Søren; Hildebrandt, Thomas T.; Slaats, Tijs · Acta Informatica · 2017

Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response PlansDebois, Søren; Hildebrandt, Thomas; Sandberg, Lene · Procedia Computer Science · 2016

Blockchains for Business Process Management - Challenges and OpportunitiesMendling, Jan; Dustdar, Schahram; Gal, Avigdor; García-Bañuelos, Luciano; Governatori, Guido; Hull, Richard; Rosa, Marcello La; Leopold, Henrik; Leymann, Frank; Recker, Jan; Reichert, Manfred; Weber, Ingo; Reijers, Hajo A.; Rinderle-Ma, Stefanie; Solti, Andreas; Rosemann, Michael; Schulte, Stefan; Singh, Munindar P.; Slaats, Tijs; Staples, Mark; Weber, Barbara; Weidlich, Matthias; Aalst, Wil Van Der; Weske, Mathias; Xu, Xiwei; Zhu, Liming; Brocke, Jan Vom; Cabanillas, Cristina; Daniel, Florian; Debois, Søren; Ciccio, Claudio Di; Dumas, Marlon · ACM Transactions on Management Information Systems · 2018

[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - A model checker for BigraphsPerrone, Gian; Debois, Søren; Hildebrandt, Thomas T. · 2012

[ACM Press the 2004 ACM SIGPLAN symposium - Verona, Italy (2004.08.24-2004.08.25)] Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '04 - Imperative program optimization by partial evaluationDebois, Søren · 2004