Tijs Slaats

According to our database1, Tijs Slaats authored at least 32 papers between 2011 and 2018.

Collaborative distances :
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Blockchains for Business Process Management - Challenges and Opportunities.
ACM Trans. Management Inf. Syst., 2018

Replication, refinement & reachability: complexity in dynamic condition-response graphs.
Acta Inf., 2018

Mining Hybrid Business Process Models: A Quest for Better Precision.
Proceedings of the Business Information Systems - 21st International Conference, 2018

2017
Blockchains for Business Process Management - Challenges and Opportunities.
CoRR, 2017

Towards an Entropy-Based Analysis of Log Variability.
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

2016
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.
Logical Methods in Computer Science, 2016

The Semantics of Hybrid Process Models.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

Deriving Consistent GSM Schemas from DCR Graphs.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

The DCR Graphs Process Portal.
Proceedings of the BPM Demo Track 2016 Co-located with the 14th International Conference on Business Process Management (BPM 2016), 2016

2015
The Analysis of a Real Life Declarative Process.
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

Web-Based Modelling and Collaborative Simulation of Declarative Processes.
Proceedings of the Business Process Management - 13th International Conference, 2015

Concurrency and Asynchrony in Declarative Workflows.
Proceedings of the Business Process Management - 13th International Conference, 2015

Hybrid process technologies in the financial sector.
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

2014
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

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

The Automated Discovery of Hybrid Processes.
Proceedings of the Business Process Management - 12th International Conference, 2014

Hierarchical Declarative Modelling with Refinement and Sub-processes.
Proceedings of the Business Process Management - 12th International Conference, 2014

2013
Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs.
J. Log. Algebr. Program., 2013

Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Workshops, 2013

Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs.
Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, 2013

Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs.
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

CPN Tools 4: A Process Modeling Tool Combining Declarative and Imperative Paradigms.
Proceedings of the BPM Demo sessions 2013, Beijing, China, August 26-30, 2013, 2013

Mixing Paradigms for More Comprehensible Models.
Proceedings of the Business Process Management - 11th International Conference, 2013

Exformatics Declarative Case Management Workflows as DCR Graphs.
Proceedings of the Business Process Management - 11th International Conference, 2013

Declarative Modeling-An Academic Dream or the Future for BPM?
Proceedings of the Business Process Management - 11th International Conference, 2013

2011
Safe Distribution of Declarative Processes.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Nested Dynamic Condition Response Graphs.
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

Declarative Modelling and Safe Distribution of Healthcare Workflows.
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

Designing a Cross-Organizational Case Management System Using Dynamic Condition Response Graphs.
Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, 2011


  Loading...