Tijs Slaats

Tijs Slaats

Tenure track adjunkt


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

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

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

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

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

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

  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 tidsskriftKonferenceartikel

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

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

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

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

  24. 2015
  25. Bridging the valley of death : a success story on Danish funding schemes paving a path from technology readiness Level 1 to 9. / Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs; Marquard, Morten.

    Proceedings of the Second International Workshop on Software Engineering Research and Industrial Practice. IEEE, 2015. s. 54-57.

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

  26. Concurrency and asynchrony in declarative workflows. / Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs.

    Business Process Management: 13th International Conference, BPM 2015; Innsbruck; Austria; 31 August 2015 through 3 September 2015. red. / J. Recker; M. Weidlich; H. R. Motahari-Nezhad. Springer, 2015. s. 72-89 (Lecture notes in computer science, Bind 9253).

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

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

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

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

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

Forrige 1 2 Næste

ID: 161900503