Tijs Slaats
Associate Professor
Software, Data, People & Society
Sigurdsgade 41, 2200 København N.
A case for declarative process modelling: agile development of a grant application system.
Debois, S., Hildebrandt, Thomas Troels, Slaats, Tijs & Marquard, M., 2014, 2014 IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW). IEEE, p. 126-133 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
Debois, S., Hildebrandt, T. & Slaats, Tijs, 2015, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Bjørner, N. & de Boer, F. (eds.). Springer, p. 143-160 18 p. (Lecture notes in computer science, Vol. 9109).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Replication, refinement & reachability: complexity in dynamic condition-response graphs
Debois, S., Hildebrandt, Thomas Troels & Slaats, Tijs, 2018, In: Acta Informatica. 55, p. 489–520Research output: Contribution to journal › Journal article › Research › peer-review
Type checking liveness for collaborative processes with bounded and unbounded recursion
Debois, S., Hildebrandt, Thomas Troels, Slaats, Tijs & Yoshida, N., 2014, Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. Ábrahám, E. & Palamidessi, C. (eds.). Springer, p. 1-16 16 p. (Lecture notes in computer science, Vol. 8461).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Preface to the Special Issue on Process Querying and Declarative, Decision and Hybrid Approaches to Processes 2019
Di Ciccio, C., Debois, S., Polyvyanyy, A., Slaats, Tijs, Hofstede, A. T. & Vanthienen, J., 2021, In: Journal on Data Semantics. 10, 1-2, p. 107 1 p.Research output: Contribution to journal › Editorial › Research › peer-review
- Published
Deriving consistent GSM schemas from DCR graphs
Eshuis, R., Debois, S., Slaats, Tijs & Hildebrandt, T., 2016, Service-oriented computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings. Sheng, Q. Z., Stroulia, E., Tata, S. & Bhiri, S. (eds.). Springer, p. 467-482 16 p. (Lecture notes in computer science, Vol. 9936).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
ReGraDa: Reactive Graph Data
Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, Thomas Troels, Norman, H. & Slaats, Tijs, 2021, Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Damiani, F. & Dardha, O. (eds.). Springer, p. 188-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12717 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Deconstructing Gender in Asylum Categories: An Archival Perspective on a Practice with Limited Access
Gammeltoft-Hansen, Thomas, Kaltenhäuser, Kristin, Møller, Naja Holten & Slaats, Tijs, 2022, In: Proceedings the European Conference on Computer-Supported Cooperative Work. 20, 19 p.Research output: Contribution to journal › Journal article › Research › peer-review
Safe distribution of declarative processes
Hildebrandt, T., Mukkamala, R. R. & Slaats, Tijs, 2011, Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Barthe, G., Pardo, A. & Schneider, G. (eds.). Springer, p. 237-252 16 p. (Lecture notes in computer science, Vol. 7041).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
Declarative modelling and safe distribution of healthcare workflows
Hildebrandt, T., Mukkamala, R. R. & Slaats, Tijs, 2011, Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers. Liu, Z. & Wassyng, A. (eds.). Springer, p. 39-56 18 p. (Lecture notes in computer science, Vol. 7151).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
ID: 161900503
Most downloads
-
480
downloads
Collaboration among Adversaries: Distributed Workflow Execution on a Blockchain
Research output: Contribution to conference › Paper › Research
Published -
358
downloads
Business process compliance using reference models of law
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
335
downloads
The semantics of hybrid process models
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published