Concepedia

Søren Debois

SD

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.

ORCID

Publications per year

2010–2020

16

Publications

16

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

, , +14

A model checker for Bigraphs

Gian Perrone, Søren Debois, Thomas Hildebrandt · 2012 · 59 citations

, , +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

, , +16

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

Søren Debois, Thomas Hildebrandt, Tijs Slaats · Acta Informatica · 2017 · 29 citations · Full text

, , +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

, , +16

1–5 of 16