Concepedia
Statistics
Publications
16
Citations
1K
H-Index
12
Active since
2010
Affiliations
IT University of Copenhagen(Current)
University of Copenhagen
Technical University of Denmark
Søren Debois is an author at IT University of Copenhagen specializing in computing, computer science, and formal methods.
Publications per year
2010–2020
Blockchains for Business Process Management - Challenges and Opportunities
Jan Mendling, Ingo Weber, Wil M. P. van der Aalst et al. · ACM Transactions on Management Information Systems · 2018 · 696 citations · Full text
Business, Information Technology, Management Information Systems +14
A model checker for Bigraphs
Gian Perrone, Søren Debois, Thomas Hildebrandt · 2012 · 59 citations
Computing, Computer Science, Formal Methods +16
A Graphical Approach to Progress for Structured Communication in Web Services
Marco Carbone, Søren Debois · Electronic Proceedings in Theoretical Computer Science · 2010 · 32 citations · Full text
Replication, refinement & reachability: complexity in dynamic condition-response graphs
Søren Debois, Thomas Hildebrandt, Tijs Slaats · Acta Informatica · 2017 · 29 citations · Full text
Computing, Computer Science, Computer Systems +8
A Case for Declarative Process Modelling: Agile Development of a Grant Application System
Søren Debois, Thomas Hildebrandt, Tijs Slaats et al. · 2014 · 28 citations
Computing, Project Management, Systems Engineering +16
1–5 of 16