Tijs Slaats

Tijs Slaats

Tenure track adjunkt


  1. 2015
  2. Flexible process notations for cross-organizational case management systems. / Slaats, Tijs.

    IT-Universitetet i København, 2015. 275 s.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  3. Hybrid process technologies in the financial sector. / Debois, Søren; Hildebrandt, Thomas; Marquard, Morten; Slaats, Tijs.

    BPM-Industry 2015: proceedings of the Industry Track at the 13th International Conference on Business Process Management 2015 co-located with 13th International Conference on Business Process Management (BPM 2015). red. / Jan Mendling; Jan vom Brocke. 2015. s. 107-119 (CEUR Workshop Proceedings, Bind 1439).

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

  4. 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 (Lecture notes in computer science, Bind 9109).

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

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

  6. Web-based modelling and collaborative simulation of declarative processes. / Marquard, Morten; Shahzad, Muhammad; Slaats, Tijs.

    Business Process Management: 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 -- September 3, 2015, Proceedings. red. / Hamid Reza Motahari-Nezhad; Matthias Weidlich. Springer, 2015. s. 209-225.

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

  7. 2014
  8. A case for declarative process modelling : agile development of a grant application system. / Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs; Marquard, Morten.

    2014 IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW). IEEE, 2014. s. 126-133.

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

  9. Hierarchical declarative modelling with refinement and sub-processes. / Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs.

    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. 18-33 (Lecture notes in computer science, Bind 8659).

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

  10. 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 (Lecture notes in computer science, Bind 8659).

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

  11. Type checking liveness for collaborative processes with bounded and unbounded recursion. / Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs; Yoshida, Nobuko.

    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. red. / Erika Ábrahám; Catuscia Palamidessi. Springer, 2014. s. 1-16 (Lecture notes in computer science, Bind 8461).

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

  12. 2013
  13. CPN Tools 4 : a process modeling tool combining declarative and imperative paradigms. / Westergaard, Michael; Slaats, Tijs.

    Proceedings of the BPM Demo sessions 2013: co-located with 11th International Conference on Business Process Management (BPM2013). red. / Marie-Christine Fauvet; Boudewijn van Dongen. 2013. (CEUR Workshop Proceedings, Bind 1021).

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

ID: 161900503