Tijs Slaats

Tijs Slaats

Associate Professor


  1. 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

  2. Published

    RESEDA: Declaring live event-driven computations as reactive semi-structured data

    Costa Seco, J., Debois, S., Hildebrandt, Thomas Troels & Slaats, Tijs, 14 Nov 2018, Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018. IEEE, p. 75-84 10 p. 8536151

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

  3. Live sessions with responses

    Carbone, M., Hildebrandt, T. & Slaats, Tijs, 2013, Proceedings of the 1st International Workshop on Behavioural Types: BEAT'13. Bravetti, M., Dezani-Ciancaglini, M., Drossopoulou, S., Gay, S., Hüttel, H., Kobayashi, N., Ravara, A. & Rehof, J. (eds.). p. 28-30 3 p.

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

  4. Published

    Proceedings - Second International Symposium on Foundations and Applications of Blockchain (FAB): University of Southern California, Los Angeles, California, April 5, 2019

    Barahmand, S. (ed.), Ghandeharizadeh, S., Krishnamachari, B., Lugones, D. (ed.), Nambiar, R. & Slaats, Tijs, 2019, University of Southern California. 53 p.

    Research output: Book/ReportBookResearch

  5. Published

    Entropy as a Measure of Log Variability

    Back, Christoffer Olling, Debois, S. & Slaats, Tijs, 14 Jun 2019, In: Journal on Data Semantics. 8, 2, p. 129–156 28 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  6. Published

    Towards an Empirical Evaluation of Imperative and Declarative Process Mining

    Back, Christoffer Olling, Debois, S. & Slaats, Tijs, 2018, Advances in Conceptual Modelling: ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME Xi’an, China, October 22–25, 2018 Proceedings. Springer, p. 191-198 8 p. Chapter 24. (Lecture Notes in Computer Science, Vol. 11158).

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

  7. Published

    Towards an Entropy-Based Analysis of Log Variability

    Back, Christoffer Olling, Debois, S. & Slaats, Tijs, 2018, Business Process Management Workshops: BPM 2017 International Workshops, Barcelona, Spain, September 10–11, 2017, Revised Papers. Teniente, E. & Weidlich, M. (eds.). Springer, p. 53-70 (Lecture Notes in Business Information Processing, Vol. 308).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  8. Published

    Imperative versus Declarative Process Mining: An Empirical Comparison

    Back, Christoffer Olling, Debois, S. & Slaats, Tijs, 2020, Department of Computer Science, University of Copenhagen, 14 p.

    Research output: Working paperResearch

  9. E-pub ahead of print

    DisCoveR: accurate and efficient discovery of declarative process models

    Back, Christoffer Olling, Slaats, Tijs, Hildebrandt, Thomas Troels & Marquard, M., 2022, (E-pub ahead of print) In: International Journal on Software Tools for Technology Transfer. 25 p.

    Research output: Contribution to journalJournal articleResearchpeer-review

  10. Published

    Exploring how users engage with hybrid process artifacts based on declarative process models: a behavioral analysis based on eye-tracking and think-aloud

    Abbad Andaloussi, A., Zerbato, F., Burattin, A., Slaats, Tijs, Hildebrandt, Thomas Troels & Weber, B., 2021, In: Software and Systems Modeling. 20, p. 1437–1464

    Research output: Contribution to journalJournal articleResearchpeer-review

ID: 161900503