Tijs Slaats

Tijs Slaats

Associate Professor

Member of:


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

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

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

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

    5. 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 articlepeer-review

    6. 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 proceedingBook chapterResearchpeer-review

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

    8. Published

      The DCR graphs process portal

      Debois, S., Hildebrandt, T., Marquard, M. & Slaats, Tijs, 2017, Proceedings - BPM 2016 Demonstration Track: Demonstration Track of the 14th International Conference on Business Process Management (BPM 2016) Rio de Janeiro, September 21, 2016. Azevedo, L. G. & Cabanillas, C. (eds.). p. 7-11 5 p. (CEUR Workshop Proceedings, Vol. 1789).

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

    9. Published

      The Impact of Modularization on the Understandability of Declarative Process Models: A Research Model

      Abbad Andaloussi, A., Soffer, P., Slaats, Tijs, Burattin, A. & Weber, B., 2020, Information Systems and Neuroscience - NeuroIS Retreat 2020. Davis, F. D., Riedl, R., vom Brocke, J., Léger, P-M., Randolph, A. B. & Fischer, T. (eds.). Springer, p. 133-144 12 p. (Lecture Notes in Information Systems and Organisation, Vol. 43).

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

    10. The analysis of a real life declarative process

      Debois, S. & Slaats, Tijs, 2015, 2015 IEEE Symposium Series on Computational Intelligence. IEEE, p. 1374-1382 9 p.

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

    11. The automated discovery of hybrid processes

      Maggi, F. M., Slaats, Tijs & Reijers, H. A., 2014, Business Process Management: 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings. Sadiq, S., Soffer, P. & Völzer, H. (eds.). Springer, p. 392-399 8 p. (Lecture notes in computer science, Vol. 8659).

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

    12. Published

      The semantics of hybrid process models

      Slaats, Tijs, Schunselaar, D. M. M., Maggi, F. M. & Reijers, H. A., 2016, On the move to meaningful internet systems: OTM 2016 conferences: confederated international conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. Debruyne, C., Panetto, H., Meersman, R., Dillon, T., Kühn, E., O'Sullivan, D. & Ardagna, C. A. (eds.). Springer, p. 531-551 21 p.

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

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

    14. Published

      Towards an Entropy-Based Analysis of Log Variability

      Back, C.O., 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

    15. Towards trustworthy adaptive case management with dynamic condition response graphs

      Mukkamala, R. R., Hildebrandt, T. & Slaats, Tijs, 2013, 2013 17th IEEE International Enterprise Distributed Object Computing Conference (EDOC). IEEE, p. 127-136 10 p.

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

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

    17. Published

      Understanding quality in declarative process modeling through the mental models of experts

      Abbad Andaloussi, A., Davis, C. J., Burattin, A., López, H. A., Slaats, Tijs & Weber, B., 2020, Business Process Management: 18th International Conference, BPM 2020, Seville, Spain, September 13–18, 2020, Proceedings. Springer, p. 417-434 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12168 ).

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

    18. Web-based modelling and collaborative simulation of declarative processes

      Marquard, M., Shahzad, M. & Slaats, Tijs, 2015, Business Process Management: 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 -- September 3, 2015, Proceedings. Motahari-Nezhad, H. R. & Weidlich, M. (eds.). Springer, p. 209-225 17 p.

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

    19. Published

      Weighing the Pros and Cons: Process Discovery with Negative Examples

      Slaats, Tijs, Debois, S. & Back, C.O., 2021, Business Process Management - 19th International Conference, BPM 2021, Proceedings. Polyvyanyy, A., Wynn, M. T., Van Looy, A. & Reichert, M. (eds.). Springer, p. 47-64 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12875 LNCS).

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

    20. Published

      Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes

      Normann, H., Debois, S., Slaats, Tijs & Hildebrandt, Thomas Troels, 2021, Business Process Management - 19th International Conference, BPM 2021, Proceedings. Polyvyanyy, A., Wynn, M. T., Van Looy, A. & Reichert, M. (eds.). Springer, p. 161-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12875 LNCS).

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

    Previous 1 2 3 Next

    ID: 161900503