Tijs Slaats

Tijs Slaats

Tenure track adjunkt


  1. Nested dynamic condition response graphs. / Hildebrandt, Thomas; Mukkamala, Raghava Rao; Slaats, Tijs.

    Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers. red. / Farhad Arbab; Marjan Sirjani. Springer, 2011. s. 343-350 (Lecture notes in computer science, Bind 7141).

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

  2. Contracts for cross-organizational workflows as timed dynamic condition response graphs. / Hildebrandt, Thomas; Mukkamala, Raghava Rao; Slaats, Tijs; Zanitti, Francesco.

    I: The Journal of Logic and Algebraic Programming, Bind 82, Nr. 5-7, 2013, s. 164-185.

    Publikation: Bidrag til tidsskriftKonferenceartikelForskningfagfællebedømt

  3. Dynamic condition response graphs for trustworthy adaptive case management. / Hildebrandt, Thomas; Marquard, Morten; Mukkamala, Raghava Rao; Slaats, Tijs.

    On the Move to Meaningful Internet Systems: OTM 2013 Workshops: Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings. red. / Yan Tang Demey; Hervé Panetto. Springer, 2013. s. 166-171 (Lecture notes in computer science, Bind 8186).

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

  4. Udgivet

    Managing complexity in process digitalisation with dynamic condition response graphs. / Hildebrandt, Thomas; Debois, Søren; Slaats, Tijs; Marquard, Morten.

    BIR-WS 2017: pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017. red. / Björn Johansson. CEUR-WS.org, 2017. (CEUR Workshop Proceedings, Bind 1898).

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

  5. Designing a cross-organizational case management system using dynamic condition response graphs. / Hildebrandt, Thomas; Mukkamala, Raghava Rao; Slaats, Tijs.

    2011 15th IEEE International Enterprise Distributed Object Computing Conference (EDOC). IEEE, 2011. s. 161-170.

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

  6. Computer supported mobile adaptive business processes for 3gERP systems. / Hildebrandt, Thomas; Glenstrup, Arne John; Bundgaard, Mikkel; Højsgaard, Espen; Hallwyl, Tim; Slaats, Tijs; Nilsson, Magnus; Schmidt, Kjeld.

    2008. Paper præsenteret ved Workshop on 3rd Generation Enterprise Resource Planning Systems, Copenhagen, Danmark.

    Publikation: KonferencebidragPaperForskning

  7. Declarative modelling and safe distribution of healthcare workflows. / Hildebrandt, Thomas; Mukkamala, Raghava Rao; Slaats, Tijs.

    Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers. red. / Zhiming Liu; Alan Wassyng. Springer, 2011. s. 39-56 (Lecture notes in computer science, Bind 7151).

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

  8. Udgivet

    Deriving consistent GSM schemas from DCR graphs. / Eshuis, Rik; Debois, Søren; Slaats, Tijs; Hildebrandt, Thomas.

    Service-oriented computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings. red. / Quan Z. Sheng; Eleni Stroulia; Samir Tata; Sami Bhiri. Springer, 2016. s. 467-482 (Lecture notes in computer science, Bind 9936).

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

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

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

ID: 161900503