Ansatte – Københavns Universitet

Tijs Slaats

Tijs Slaats

Tenure track adjunkt


  1. Udgivet

    Open to change : A theory for iterative test-driven modelling. / Slaats, Tijs; Debois, Søren; Hildebrandt, Thomas.

    Business Process Management - 16th International Conference, BPM 2018, Proceedings. red. / Marco Montali; Ingo Weber; Mathias Weske; Jan vom Brocke. Springer, 2018. s. 31-47.

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

  2. Udgivet

    RESEDA : Declaring live event-driven computations as reactive semi-structured data. / Costa Seco, Joao; Debois, Soren; Hildebrandt, Thomas; Slaats, Tijs.

    Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018. IEEE, 2018. s. 75-84 8536151.

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

  3. Udgivet

    Replication, refinement & reachability : complexity in dynamic condition-response graphs. / Debois, Søren; Hildebrandt, Thomas T.; Slaats, Tijs.

    I: Acta Informatica, Bind 55, 2018, s. 489–520.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  4. Safe distribution of declarative processes. / Hildebrandt, Thomas; Mukkamala, Raghava Rao; Slaats, Tijs.

    Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. red. / Gilles Barthe; Alberto Pardo; Gerardo Schneider. Springer, 2011. s. 237-252.

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

  5. Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. / Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs.

    FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. red. / Nikolaj Bjørner; Frank de Boer. Springer, 2015. s. 143-160.

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

  6. Udgivet

    The DCR graphs process portal. / Debois, Søren; Hildebrandt, Thomas; Marquard, Morten; Slaats, Tijs.

    Proceedings - BPM 2016 Demonstration Track: Demonstration Track of the 14th International Conference on Business Process Management (BPM 2016) Rio de Janeiro, September 21, 2016. red. / Leonardo Guerreiro Azevedo; Cristina Cabanillas. 2017. s. 7-11.

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

  7. The analysis of a real life declarative process. / Debois, Søren; Slaats, Tijs.

    2015 IEEE Symposium Series on Computational Intelligence. IEEE, 2015. s. 1374-1382.

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

  8. The automated discovery of hybrid processes. / Maggi, Fabrizio Maria; Slaats, Tijs; Reijers, Hajo A.

    Business Process Management: 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings. red. / Shazia Sadiq; Pnina Soffer; Hagen Völzer. Springer, 2014. s. 392-399.

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

  9. Udgivet

    The semantics of hybrid process models. / Slaats, Tijs; Schunselaar, Dennis M. M.; Maggi, Fabrizio M.; Reijers, Hajo A.

    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. red. / Christophe Debruyne; Hervé Panetto; Robert Meersman; Tharam Dillon; Eva Kühn; Declan O'Sullivan; Claudio Agostino Ardagna. Springer, 2016. s. 531-551.

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

  10. Udgivet

    Towards an Empirical Evaluation of Imperative and Declarative Process Mining. / Back, Christoffer Olling; Debois, Søren; Slaats, Tijs.

    Advances in Conceptual Modelling: ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME Xi’an, China, October 22–25, 2018 Proceedings. Springer, 2018. s. 191-198 Chapter 24.

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

ID: 161900503