Tijs Slaats

Tijs Slaats

Associate Professor


  1. 2011
  2. A formal approach to distributed coordination of healthcare workflows

    Hildebrandt, T., Mukkamala, R. R. & Slaats, Tijs, 2011, Proceedings of the 3rd International Workshop on Infrastructures for Healthcare: global healthcare. Bjørn, P., Kensing, F. & Christensen, L. R. (eds.). IT-Universitetet i København, p. 31-36 6 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  3. Declarative modelling and safe distribution of healthcare workflows

    Hildebrandt, T., Mukkamala, R. R. & Slaats, Tijs, 2011, Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers. Liu, Z. & Wassyng, A. (eds.). Springer, p. 39-56 18 p. (Lecture notes in computer science, Vol. 7151).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  4. Designing a cross-organizational case management system using dynamic condition response graphs

    Hildebrandt, T., Mukkamala, R. R. & Slaats, Tijs, 2011, 2011 15th IEEE International Enterprise Distributed Object Computing Conference (EDOC). IEEE, p. 161-170 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  5. Nested dynamic condition response graphs

    Hildebrandt, T., Mukkamala, R. R. & Slaats, Tijs, 2011, Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers. Arbab, F. & Sirjani, M. (eds.). Springer, p. 343-350 8 p. (Lecture notes in computer science, Vol. 7141).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  6. Safe distribution of declarative processes

    Hildebrandt, T., Mukkamala, R. R. & Slaats, Tijs, 2011, Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Barthe, G., Pardo, A. & Schneider, G. (eds.). Springer, p. 237-252 16 p. (Lecture notes in computer science, Vol. 7041).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  7. 2013
  8. CPN Tools 4: a process modeling tool combining declarative and imperative paradigms

    Westergaard, M. & Slaats, Tijs, 2013, Proceedings of the BPM Demo sessions 2013: co-located with 11th International Conference on Business Process Management (BPM2013). Fauvet, M-C. & van Dongen, B. (eds.). 5 p. (CEUR Workshop Proceedings, Vol. 1021).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  9. Declarative modeling–an academic dream or the future for BPM?

    Reijers, H. A., Slaats, Tijs & Stahl, C., 2013, Business Process Management: 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings. Daniel, F., Wang, J. & Weber, B. (eds.). Springer, p. 307-322 16 p. (Lecture notes in computer science, Vol. 8094).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  10. Dynamic condition response graphs for trustworthy adaptive case management

    Hildebrandt, T., Marquard, M., Mukkamala, R. R. & Slaats, Tijs, 2013, 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. Demey, Y. T. & Panetto, H. (eds.). Springer, p. 166-171 6 p. (Lecture notes in computer science, Vol. 8186).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  11. Exformatics declarative case management workflows as DCR graphs

    Slaats, Tijs, Mukkamala, R. R., Hildebrandt, T. & Marquard, M., 2013, Business Process Management: 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings. Daniel, F., Wang, J. & Weber, B. (eds.). Springer, p. 339-354 16 p. (Lecture notes in computer science, Vol. 8094).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  12. Live sessions with responses

    Carbone, M., Hildebrandt, T. & Slaats, Tijs, 2013, Proceedings of the 1st International Workshop on Behavioural Types: BEAT'13. Bravetti, M., Dezani-Ciancaglini, M., Drossopoulou, S., Gay, S., Hüttel, H., Kobayashi, N., Ravara, A. & Rehof, J. (eds.). p. 28-30 3 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Previous 1 2 3 4 5 6 Next

ID: 161900503