Tijs Slaats

Tijs Slaats

Associate Professor

ORCID: 0000-0001-6244-6970

Publication year:
All
41 - 50 out of 55Page size: 10
Sort by: 1st author
  1. Published

    Chain of Events: Modular Process Models for the Law

    Debois, S., López, H. 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 proceeding › Article in proceedings › Research › peer-review

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

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

  4. 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 proceeding › Article in proceedings › Research › peer-review

  5. Published

    Transforming Dynamic Condition Response Graphs to Safe Petri Nets

    Cosma, Paul, Hildebrandt, Thomas Troels & Slaats, Tijs, 2023, Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Proceedings. Gomes, L. & Lorenz, R. (eds.). Springer, p. 417-439 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13929 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  6. Published

    BERMUDA: Participatory Mapping of Domain Activities to Event Data via System Interfaces

    Cosma, Paul, Hildebrandt, Thomas Troels, Gyldenkærne, C. H. & Slaats, Tijs, 2023, Process Mining Workshops - ICPM 2022 International Workshops, Revised Selected Papers. Montali, M., Senderovich, A. & Weidlich, M. (eds.). Springer, p. 127-139 (Lecture Notes in Business Information Processing, Vol. 468 LNBIP).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  7. Published

    Efficient Optimal Alignment Between Dynamic Condition Response Graphs and Traces

    Christfort, Axel Kjeld Fjelrad & Slaats, Tijs, 2023, Business Process Management - 21st International Conference, BPM 2023, Proceedings. Di Francescomarino, C., Burattin, A., Janiesch, C. & Sadiq, S. (eds.). Springer, p. 3-19 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14159 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  8. Published

    Improving Declarative Process Mining with a Priori Noise Filtering

    Christfort, Axel Kjeld Fjelrad, Debois, S. & Slaats, Tijs, 2023, Business Process Management Workshops - BPM 2022 International Workshops, Revised Selected Papers. Cabanillas, C., Garmann-Johnsen, N. F. & Koschmider, A. (eds.). Springer, p. 286-297 (Lecture Notes in Business Information Processing, Vol. 460 LNBIP).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  9. 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 proceeding › Article in proceedings › Research › peer-review

  10. Published

    Towards an Empirical Evaluation of Imperative and Declarative Process Mining

    Back, C.O., 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 proceeding › Article in proceedings › Research › peer-review

Previous 1 2 3 4 5 6 Next

ID: 161900503