Tijs Slaats
Orcid: 0000-0001-6244-6970Affiliations:
- University of Copenhagen, Denmark
According to our database1,
Tijs Slaats
authored at least 75 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
A Two-Layer Blockchain Sharding Protocol Leveraging Safety and Liveness for Enhanced Performance.
IACR Cryptol. ePrint Arch., 2024
2023
Complexity in declarative process models: Metrics and multi-modal assessment of cognitive load.
Expert Syst. Appl., December, 2023
Comput. Ind., April, 2023
MWPoW+: A Strong Consensus Protocol for Intra-Shard Consensus in Blockchain Sharding.
ACM Trans. Internet Techn., 2023
A two-dimensional sharding model for access control and data privilege management of blockchain.
Simul. Model. Pract. Theory, 2023
Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs.
Proceedings of the IEEE/ACM International Conference on Software and System Processes, 2023
Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023
Proceedings of the Business Process Management Forum, 2023
Proceedings of the Business Process Management - 21st International Conference, 2023
Proceedings of the Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), 2023
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023
2022
Int. J. Softw. Tools Technol. Transf., 2022
Machine Learning and Asylum Adjudications: From Analysis of Variations to Outcome Predictions.
IEEE Access, 2022
BERMUDA: Participatory Mapping of Domain Activities to Event Data via System Interfaces.
Proceedings of the Process Mining Workshops, 2022
Proceedings of the Financial Cryptography and Data Security. FC 2022 International Workshops, 2022
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022
Proceedings of the Business Process Management Workshops, 2022
2021
Exploring how users engage with hybrid process artifacts based on declarative process models: a behavioral analysis based on eye-tracking and think-aloud.
Softw. Syst. Model., 2021
Preface to the Special Issue on Process Querying and Declarative, Decision and Hybrid Approaches to Processes 2019.
J. Data Semant., 2021
BERMUDA: Towards Maintainable Traceability of Events for Trustworthy Analysis of Non-process-aware Information Systems.
EMISA Forum, 2021
On the Declarative Paradigm in Hybrid Business Process Representations: A Conceptual Framework and a Systematic Literature Study (Extended Abstract).
EMISA Forum, 2021
Proceedings of the Coordination Models and Languages, 2021
Proceedings of the Business Process Management - 19th International Conference, 2021
Proceedings of the Business Process Management - 19th International Conference, 2021
Proceedings of the Business Process Management Workshops, 2021
2020
J. Data Semant., 2020
On the declarative paradigm in hybrid business process representations: A conceptual framework and a systematic literature study.
Inf. Syst., 2020
EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers.
Proceedings of the ICSSP '20: International Conference on Software and System Processes, 2020
Proceedings of the Integrated Formal Methods - 16th International Conference, 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
Understanding Quality in Declarative Process Modeling Through the Mental Models of Experts.
Proceedings of the Business Process Management - 18th International Conference, 2020
2019
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019
Proceedings of the Conceptual Modeling - 38th International Conference, 2019
Proceedings of the Conceptual Modeling - 38th International Conference, 2019
Proceedings of the Advanced Information Systems Engineering, 2019
Exploring the Understandability of a Hybrid Process Design Artifact Based on DCR Graphs.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2019
2018
ACM Trans. Manag. Inf. Syst., 2018
Replication, refinement & reachability: complexity in dynamic condition-response graphs.
Acta Informatica, 2018
Proceedings of the Advances in Conceptual Modeling, 2018
Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018
Proceedings of the Business Process Management - 16th International Conference, 2018
Evaluating the Understandability of Hybrid Process Model Representations Using Eye Tracking: First Insights.
Proceedings of the Business Process Management Workshops, 2018
Proceedings of the Business Information Systems - 21st International Conference, 2018
Proceedings of the Business Process Management Cases, 2018
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
2016
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.
Log. Methods Comput. Sci., 2016
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016
Proceedings of the BPM Demo Track 2016 Co-located with the 14th International Conference on Business Process Management (BPM 2016), 2016
2015
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 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
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
Proceedings of the Business Process Management - 12th International Conference, 2014
Proceedings of the Business Process Management - 12th International Conference, 2014
2013
Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs.
J. Log. Algebraic Methods Program., 2013
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
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013
Proceedings of the BPM Demo sessions 2013, Beijing, China, August 26-30, 2013, 2013
Proceedings of the Business Process Management - 11th International Conference, 2013
Proceedings of the Business Process Management - 11th International Conference, 2013
Proceedings of the Business Process Management - 11th International Conference, 2013
2011
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011
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