default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSøren Debois
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j10]Tijs Slaats, Søren Debois, Christoffer Olling Back
, Axel Kjeld Fjelrad Christfort:
Foundations and practice of binary process discovery. Inf. Syst. 121: 102339 (2024)- [j9]David A. Basin, Søren Debois, Thomas T. Hildebrandt:
Proactive enforcement of provisions and obligations. J. Comput. Secur. 32(3): 247-289 (2024) - 2023
- [j8]Axel Kjeld Fjelrad Christfort, Søren Debois:
DCR Syntax and Execution Equivalent Markings. Arch. Formal Proofs 2023 (2023) - 2022
- [c46]Axel Kjeld Fjelrad Christfort, Søren Debois, Tijs Slaats:
Improving Declarative Process Mining with a Priori Noise Filtering. Business Process Management Workshops 2022: 286-297 - [c45]Frederik Haagensen, Søren Debois:
Incentive Alignment Through Secure Computations. BPM 2022: 343-360 - [c44]Yibin Xu, Tijs Slaats, Boris Düdder, Søren Debois, Haiqin Wu:
Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain. Financial Cryptography Workshops 2022: 583-597 - [i3]Yibin Xu, Tijs Slaats, Boris Düdder, Søren Debois, Haiqin Wu:
Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain. CoRR abs/2211.08695 (2022) - [i2]Søren Debois, Fritz Henglein, Morten C. Nielsen, Christian Olesen, Gert Sylvest:
Contract-Backed Digital Cash. CoRR abs/2211.14442 (2022) - 2021
- [j7]Claudio Di Ciccio, Søren Debois, Artem Polyvyanyy, Tijs Slaats, Arthur H. M. ter Hofstede, Jan Vanthienen:
Preface to the Special Issue on Process Querying and Declarative, Decision and Hybrid Approaches to Processes 2019. J. Data Semant. 10(1-2): 107 (2021) - [c43]Tijs Slaats, Søren Debois, Christoffer Olling Back:
Weighing the Pros and Cons: Process Discovery with Negative Examples. BPM 2021: 47-64 - [c42]Håkon Normann, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt:
Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes. BPM 2021: 161-178 - [c41]Thomas T. Hildebrandt, Håkon Normann, Morten Marquard, Søren Debois, Tijs Slaats:
Decision Modelling in Timed Dynamic Condition Response Graphs with Data. Business Process Management Workshops 2021: 362-374 - [c40]Leandro Galrinho, João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Håkon Normann, Tijs Slaats:
ReGraDa: Reactive Graph Data. COORDINATION 2021: 188-205 - [e1]José González Enríquez, Søren Debois, Peter Fettke, Pierluigi Plebani, Inge van de Weerd, Ingo Weber:
Business Process Management: Blockchain and Robotic Process Automation Forum - BPM 2021 Blockchain and RPA Forum, Rome, Italy, September 6-10, 2021, Proceedings. Lecture Notes in Business Information Processing 428, Springer 2021, ISBN 978-3-030-85866-7 [contents] - 2020
- [c39]Hugo A. López, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt:
Business Process Compliance Using Reference Models of Law. FASE 2020: 378-399 - [c38]Magnus Krogsbøll, Liv Hartoft Borre, Tijs Slaats, Søren Debois:
Smart Contracts for Government Processes: Case Study and Prototype Implementation (Short Paper). Financial Cryptography 2020: 676-684 - [c37]Søren Debois, Hugo A. López, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt:
Chain of Events: Modular Process Models for the Law. IFM 2020: 368-386 - [c36]Thomas T. Hildebrandt, Amine Abbad Andaloussi, Lars Rune Christensen, Søren Debois, Nicklas Pape Healy, Hugo A. López, Morten Marquard, Naja L. Holten Møller, Anette C. M. Petersen, Tijs Slaats, Barbara Weber:
EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers. ICSSP 2020: 155-164 - [c35]Mads Frederik Madsen, Søren Debois:
On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems. PODC 2020: 159-168
2010 – 2019
- 2019
- [j6]Christoffer Olling Back, Søren Debois, Tijs Slaats:
Entropy as a Measure of Log Variability. J. Data Semant. 8(2): 129-156 (2019) - [c34]Mads Frederik Madsen, Mikkel Gaub, Malthe Ettrup Kirkbro, Søren Debois:
Transforming Byzantine Faults using a Trusted Execution Environment. EDCC 2019: 63-70 - [c33]Emma Arfelt, David A. Basin, Søren Debois:
Monitoring the GDPR. ESORICS (1) 2019: 681-699 - [c32]Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone:
Declarative Choreographies and Liveness. FORTE 2019: 129-147 - 2018
- [j5]Søren Debois, Thomas T. Hildebrandt, Tijs Slaats:
Replication, refinement & reachability: complexity in dynamic condition-response graphs. Acta Informatica 55(6): 489-520 (2018) - [j4]Jan Mendling, Ingo Weber, Wil M. P. van der Aalst, Jan vom Brocke, Cristina Cabanillas, Florian Daniel, Søren Debois, Claudio Di Ciccio, Marlon Dumas, Schahram Dustdar, Avigdor Gal, Luciano García-Bañuelos, Guido Governatori, Richard Hull, Marcello La Rosa, Henrik Leopold, Frank Leymann, Jan Recker, Manfred Reichert, Hajo A. Reijers, Stefanie Rinderle-Ma, Andreas Solti, Michael Rosemann, Stefan Schulte, Munindar P. Singh, Tijs Slaats, Mark Staples, Barbara Weber, Matthias Weidlich, Mathias Weske, Xiwei Xu, Liming Zhu:
Blockchains for Business Process Management - Challenges and Opportunities. ACM Trans. Manag. Inf. Syst. 9(1): 4:1-4:16 (2018) - [c31]Tijs Slaats, Søren Debois, Thomas T. Hildebrandt:
Open to Change: A Theory for Iterative Test-Driven Modelling. BPM 2018: 31-47 - [c30]Hugo A. López, Søren Debois, Thomas T. Hildebrandt, Morten Marquard:
The Process Highlighter: From Texts to Declarative Processes and Back. BPM (Dissertation/Demos/Industry) 2018: 66-70 - [c29]Rasmus Strømsted, Hugo A. López, Søren Debois, Morten Marquard:
Dynamic Evaluation Forms using Declarative Modeling. BPM (Dissertation/Demos/Industry) 2018: 172-179 - [c28]Tróndur Høgnason, Søren Debois:
DCR Event-Reachability via Genetic Algorithms. Business Process Management Workshops 2018: 301-312 - [c27]João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Tijs Slaats:
RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta. EDOC 2018: 75-84 - [c26]Christoffer Olling Back, Søren Debois, Tijs Slaats:
Towards an Empirical Evaluation of Imperative and Declarative Process Mining. ER Workshops 2018: 191-198 - [c25]David A. Basin, Søren Debois, Thomas T. Hildebrandt:
On Purpose and by Necessity: Compliance Under the GDPR. Financial Cryptography 2018: 20-37 - [p1]Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats:
Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit. Business Process Management Cases 2018: 397-412 - 2017
- [c24]Thomas T. Hildebrandt, Søren Debois, Tijs Slaats, Morten Marquard:
Managing Complexity in Process Digitalisation with Dynamic Condition Response Graphs. BIR Workshops 2017 - [c23]Lasse Hende Norgaard, Jesper Birch Andreasen, Morten Marquard, Søren Debois, Frans Saxbeck Larsen, Vagn Jeppesen:
Declarative Process Models in Government Centric Case and Document Management. BPM (Industry Track) 2017: 38-51 - [c22]Christoffer Olling Back, Søren Debois, Tijs Slaats:
Towards an Entropy-Based Analysis of Log Variability. Business Process Management Workshops 2017: 53-70 - [c21]Søren Debois, Thomas T. Hildebrandt, Paw Høvsgaard Laursen, Kenneth Ry Ulrik:
Declarative process mining for DCR graphs. SAC 2017: 759-764 - [i1]Jan Mendling, Ingo Weber, Wil M. P. van der Aalst, Jan vom Brocke, Cristina Cabanillas, Florian Daniel, Søren Debois, Claudio Di Ciccio, Marlon Dumas, Schahram Dustdar, Avigdor Gal, Luciano García-Bañuelos, Guido Governatori, Richard Hull, Marcello La Rosa, Henrik Leopold, Frank Leymann, Jan Recker, Manfred Reichert, Hajo A. Reijers, Stefanie Rinderle-Ma, Andreas Rogge-Solti, Michael Rosemann, Stefan Schulte, Munindar P. Singh, Tijs Slaats, Mark Staples, Barbara Weber, Matthias Weidlich, Mathias Weske, Xiwei Xu, Liming Zhu:
Blockchains for Business Process Management - Challenges and Opportunities. CoRR abs/1704.03610 (2017) - 2016
- [j3]Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida:
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. Log. Methods Comput. Sci. 12(1) (2016) - [c20]Søren Debois, Thomas T. Hildebrandt, Lene Sandberg:
Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans. ANT/SEIT 2016: 1295-1300 - [c19]Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats:
The DCR Graphs Process Portal. BPM (Demos) 2016: 7-11 - [c18]David A. Basin, Søren Debois, Thomas T. Hildebrandt:
In the Nick of Time: Proactive Prevention of Obligation Violations. CSF 2016: 120-134 - [c17]Rik Eshuis, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt:
Deriving Consistent GSM Schemas from DCR Graphs. ICSOC 2016: 467-482 - 2015
- [c16]Søren Debois, Thomas T. Hildebrandt, Tijs Slaats:
Concurrency and Asynchrony in Declarative Workflows. BPM 2015: 72-89 - [c15]Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats:
Hybrid process technologies in the financial sector. BPM (Industry Track) 2015: 107-119 - [c14]Søren Debois, Thomas T. Hildebrandt, Tijs Slaats:
Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes. FM 2015: 143-160 - [c13]Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats:
Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9. SER&IP@ICSE 2015: 54-57 - [c12]Søren Debois, Tijs Slaats:
The Analysis of a Real Life Declarative Process. SSCI 2015: 1374-1382 - 2014
- [c11]Søren Debois, Thomas T. Hildebrandt, Tijs Slaats:
Hierarchical Declarative Modelling with Refinement and Sub-processes. BPM 2014: 18-33 - [c10]Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Morten Marquard:
A Case for Declarative Process Modelling: Agile Development of a Grant Application System. EDOC Workshops 2014: 126-133 - [c9]Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida:
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. FORTE 2014: 1-16 - 2013
- [j2]Gian Perrone, Søren Debois, Thomas T. Hildebrandt:
A verification environment for bigraphs. Innov. Syst. Softw. Eng. 9(2): 95-104 (2013) - 2012
- [c8]Gian Perrone, Søren Debois, Thomas T. Hildebrandt:
A model checker for Bigraphs. SAC 2012: 1320-1325 - 2011
- [c7]Søren Debois, Arne John Glenstrup, Francesco Zanitti:
Decoupling context-aware services. PerCom Workshops 2011: 450-455 - [c6]Gian Perrone, Søren Debois, Thomas T. Hildebrandt:
Bigraphical Refinement. Refine@FM 2011: 20-36 - 2010
- [c5]Marco Carbone, Søren Debois:
A Graphical Approach to Progress for Structured Communication in Web Services. ICE 2010: 13-27
2000 – 2009
- 2008
- [j1]Søren Debois:
Imperative-program transformation by instrumented-interpreter specialization. High. Order Symb. Comput. 21(1-2): 37-58 (2008) - [c4]Lars Birkedal, Søren Debois, Thomas T. Hildebrandt:
On the Construction of Sorted Reactive Systems. CONCUR 2008: 218-232 - 2006
- [c3]Lars Birkedal, Søren Debois, Thomas T. Hildebrandt:
Sortings for Reactive Systems. CONCUR 2006: 248-262 - [c2]Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss:
Bigraphical Models of Context-Aware Systems. FoSSaCS 2006: 187-201 - 2004
- [c1]Søren Debois:
Imperative program optimization by partial evaluation. PEPM 2004: 113-122
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-05 20:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
