Tijs Slaats

Tijs Slaats

Tenure track adjunkt


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

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

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

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

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

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

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

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

  12. Declarative modeling–an academic dream or the future for BPM? / Reijers, Hajo A.; Slaats, Tijs; Stahl, Christian.

    Business Process Management: 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings. red. / Florian Daniel; Jianmin Wang; Barbara Weber. Springer, 2013. s. 307-322 (Lecture notes in computer science, Bind 8094).

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

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

  14. Exformatics declarative case management workflows as DCR graphs. / Slaats, Tijs; Mukkamala, Raghava Rao; Hildebrandt, Thomas; Marquard, Morten.

    Business Process Management: 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings. red. / Florian Daniel; Jianmin Wang; Barbara Weber. Springer, 2013. s. 339-354 (Lecture notes in computer science, Bind 8094).

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

  15. Live sessions with responses. / Carbone, Marco; Hildebrandt, Thomas; Slaats, Tijs.

    Proceedings of the 1st International Workshop on Behavioural Types: BEAT'13. red. / Mario Bravetti; Mariangiola Dezani-Ciancaglini; Sophia Drossopoulou; Simon Gay; Hans Hüttel; Naoki Kobayashi; António Ravara; Jakob Rehof. 2013. s. 28-30.

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

  16. Mixing paradigms for more comprehensible models. / Westergaard, Michael; Slaats, Tijs.

    Business Process Management: 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings. red. / Florian Daniel; Jianmin Wang; Barbara Weber. Springer, 2013. s. 283-290 (Lecture notes in computer science, Bind 8094).

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

  17. Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs. / Hildebrandt, Thomas; Mukkamala, Raghava Rao; Slaats, Tijs; Zanitti, Francesco.

    Proceedings of the 12th workshop on Foundations of Aspect-oriented Languages. Association for Computing Machinery, 2013. s. 19-24.

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

  18. Towards trustworthy adaptive case management with dynamic condition response graphs. / Mukkamala, Raghava Rao; Hildebrandt, Thomas; Slaats, Tijs.

    2013 17th IEEE International Enterprise Distributed Object Computing Conference (EDOC). IEEE, 2013. s. 127-136.

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

  19. 2011
  20. A formal approach to distributed coordination of healthcare workflows. / Hildebrandt, Thomas; Mukkamala, Raghava Rao; Slaats, Tijs.

    Proceedings of the 3rd International Workshop on Infrastructures for Healthcare: global healthcare. red. / Pernille Bjørn; Finn Kensing; Lars Rune Christensen. IT-Universitetet i København, 2011. s. 31-36.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

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

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

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

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

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

  25. 2008
  26. 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

Forrige 1 2 Næste

ID: 161900503