Tijs Slaats

Tijs Slaats

Lektor


  1. Udgivet

    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. (red.). Springer, s. 161-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12875 LNCS).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  2. Udgivet

    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. (red.). Springer, s. 47-64 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12875 LNCS).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  3. 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. (red.). Springer, s. 209-225 17 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  4. Udgivet

    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, s. 417-434 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12168 ).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  5. 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. (red.). Springer, s. 1-16 16 s. (Lecture notes in computer science, Bind 8461).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  6. 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, s. 127-136 10 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  7. Udgivet

    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. (red.). Springer, s. 53-70 (Lecture Notes in Business Information Processing, Bind 308).

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  8. Udgivet

    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, s. 191-198 8 s. Chapter 24. (Lecture Notes in Computer Science, Bind 11158).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  9. Udgivet

    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. (red.). Springer, s. 531-551 21 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  10. Udgivet

    The biggest business process management problems to solve before we die

    Beerepoot, I., Di Ciccio, C., Reijers, H. A., Rinderle-Ma, S., Bandara, W., Burattin, A., Calvanese, D., Chen, T., Cohen, I., Depaire, B., Di Federico, G., Dumas, M., van Dun, C., Fehrer, T., Fischer, D. A., Gal, A., Indulska, M., Isahagian, V., Klinkmüller, C., Kratsch, W. & 22 flere, Leopold, H., Van Looy, A., Lopez, H., Lukumbuzya, S., Mendling, J., Meyers, L., Moder, L., Montali, M., Muthusamy, V., Reichert, M., Rizk, Y., Rosemann, M., Röglinger, M., Sadiq, S., Seiger, R., Slaats, Tijs, Simkus, M., Someh, I. A., Weber, B., Weber, I., Weske, M. & Zerbato, F., 2023, I: Computers in Industry. 146, 14 s., 103837.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  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. (red.). Springer, s. 392-399 8 s. (Lecture notes in computer science, Bind 8659).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  12. The analysis of a real life declarative process

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

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  13. Udgivet

    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. (red.). Springer, s. 133-144 12 s. (Lecture Notes in Information Systems and Organisation, Bind 43).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  14. Udgivet

    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. (red.). s. 7-11 5 s. (CEUR Workshop Proceedings, Bind 1789).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  15. 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. (red.). Springer, s. 143-160 18 s. (Lecture notes in computer science, Bind 9109).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  16. 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. (red.). Springer, s. 237-252 16 s. (Lecture notes in computer science, Bind 7041).

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  17. Udgivet

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

    Debois, S., Hildebrandt, Thomas Troels & Slaats, Tijs, 2018, I: Acta Informatica. 55, s. 489–520

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  18. Udgivet

    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. (red.). Springer, s. 188-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12717 LNCS).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  19. Udgivet

    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, s. 75-84 10 s. 8536151

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  20. Udgivet

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

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

    Publikation: Bog/antologi/afhandling/rapportBogForskning

  21. Udgivet

    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, I: Journal on Data Semantics. 10, 1-2, s. 107 1 s.

    Publikation: Bidrag til tidsskriftLederForskningfagfællebedømt

  22. Udgivet

    Poster: Unanimous-Majority - Pushing Blockchain Sharding Throughput to its Limit

    Xu, Yibin, Slaats, Tijs & Duedder, Boris, 7 nov. 2022, CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), s. 3495–3497

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  23. Udgivet

    Open to change: A theory for iterative test-driven modelling

    Slaats, Tijs, Debois, S. & Hildebrandt, Thomas Troels, 2018, Business Process Management - 16th International Conference, BPM 2018, Proceedings. Montali, M., Weber, I., Weske, M. & vom Brocke, J. (red.). Springer, s. 31-47 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11080 LNCS).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  24. Udgivet

    On the declarative paradigm in hybrid business process representations: A conceptual framework and a systematic literature study

    Abbad Andaloussi, A., Burattin, A., Slaats, Tijs, Kindler, E. & Weber, B., 2020, I: Information Systems. 91, 27 s., 101505.

    Publikation: Bidrag til tidsskriftReviewForskningfagfællebedømt

  25. Udgivet

    On predicting and explaining asylum adjudication

    Piccolo, S. A., Gammeltoft-Hansen, Thomas, Katsikouli, Panagiota & Slaats, Tijs, 2023, ICAIL: International Conference on Artificial Intelligence and Law. Association for Computing Machinery, s. 217-226 10 s. (19th International Conference on Artificial Intelligence and Law, ICAIL 2023 - Proceedings of the Conference).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Forrige 1 2 3 4 Næste

ID: 161900503