Tijs Slaats

Tijs Slaats

Tenure track adjunkt


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

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

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

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

ID: 161900503