According to our database1, Søren Debois authored at least 43 papers between 2004 and 2020.
Legend:Book In proceedings Article PhD thesis Other
On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems.
Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020
Smart Contracts for Government Processes: Case Study and Prototype Implementation (Short Paper).
Proceedings of the Financial Cryptography and Data Security, 2020
Proceedings of the Fundamental Approaches to Software Engineering, 2020
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019
Proceedings of the 15th European Dependable Computing Conference, 2019
ACM Trans. Manag. Inf. Syst., 2018
Replication, refinement & reachability: complexity in dynamic condition-response graphs.
Acta Informatica, 2018
Proceedings of the Financial Cryptography and Data Security, 2018
Proceedings of the Advances in Conceptual Modeling, 2018
Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018
Proceedings of the Dissertation Award, 2018
Proceedings of the Business Process Management - 16th International Conference, 2018
Proceedings of the Dissertation Award, 2018
Proceedings of the Business Process Management Workshops, 2018
Proceedings of the Business Process Management Cases, 2018
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the BPM 2017 Industry Track co-located with the 15th International Conference on Business Process Management (BPM 2017), 2017
Proceedings of the Business Process Management Workshops, 2017
Managing Complexity in Process Digitalisation with Dynamic Condition Response Graphs.
Proceedings of the Joint Proceedings of the BIR 2017 pre-BIR Forum, Workshops and Doctoral Consortium co-located with 16th International Conference on Perspectives in Business Informatics Research (BIR 2017), Copenhagen, Denmark, August 28, 2017
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.
Log. Methods Comput. Sci., 2016
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016
Proceedings of the BPM Demo Track 2016 Co-located with the 14th International Conference on Business Process Management (BPM 2016), 2016
Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans.
Proceedings of the 7th International Conference on Ambient Systems, 2016
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015
Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9.
Proceedings of the 2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, 2015
Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes.
Proceedings of the FM 2015: Formal Methods, 2015
Proceedings of the Business Process Management - 13th International Conference, 2015
Proceedings of the Industry Track at the 13th International Conference on Business Process Management 2015 co-located with 13th International Conference on Business Process Management (BPM 2015), 2015
A Case for Declarative Process Modelling: Agile Development of a Grant Application System.
Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, 2014
Proceedings of the Business Process Management - 12th International Conference, 2014
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the Proceedings 15th International Refinement Workshop, 2011
Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications, 2011
Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010
High. Order Symb. Comput., 2008
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
Proceedings of the Foundations of Software Science and Computation Structures, 2006
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004