Tijs Slaats

Tijs Slaats

Associate Professor


  1. Concurrency and asynchrony in declarative workflows

    Debois, S., Hildebrandt, T. & Slaats, Tijs, 2015, Business Process Management: 13th International Conference, BPM 2015; Innsbruck; Austria; 31 August 2015 through 3 September 2015. Recker, J., Weidlich, M. & Motahari-Nezhad, H. R. (eds.). Springer, p. 72-89 18 p. (Lecture notes in computer science, Vol. 9253).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  2. Published

    Chain of Events: Modular Process Models for the Law

    Debois, S., López, Hugo A. , Slaats, Tijs, Andaloussi, A. A. & Hildebrandt, Thomas Troels, 2020, Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. Springer, Vol. 12546. p. 368-386 (Lecture Notes in Computer Science, Vol. 12546).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  3. Bridging the valley of death: a success story on Danish funding schemes paving a path from technology readiness Level 1 to 9

    Debois, S., Hildebrandt, Thomas Troels, Slaats, Tijs & Marquard, M., 2015, Proceedings of the Second International Workshop on Software Engineering Research and Industrial Practice. IEEE, p. 54-57 4 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  4. 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 proceedingArticle in proceedingsResearchpeer-review

  5. 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 proceedingArticle in proceedingsResearchpeer-review

  6. Published

    Replication, refinement & reachability: complexity in dynamic condition-response graphs

    Debois, S., Hildebrandt, T. T. & Slaats, Tijs, 1 Sep 2018, In: Acta Informatica. 55, p. 489–520

    Research output: Contribution to journalJournal articleResearchpeer-review

  7. 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 proceedingArticle in proceedingsResearchpeer-review

  8. 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 journalEditorialResearchpeer-review

  9. 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 proceedingArticle in proceedingsResearchpeer-review

  10. Published

    ReGraDa: Reactive Graph Data

    Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, Thomas Troels, Normann, Håkon & 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 proceedingArticle in proceedingsResearchpeer-review

ID: 161900503