Tijs Slaats

Tijs Slaats

Lektor

ORCID: 0000-0001-6244-6970

Udgivelsesår:
Alle
1 - 25 ud af 80Pr. side: 25
Sortering: Udgivelsesdato
  1. 2008

  2. Computer supported mobile adaptive business processes for 3gERP systems

    Hildebrandt, T., Glenstrup, A. J., Bundgaard, M., Højsgaard, E., Hallwyl, T., Slaats, Tijs, Nilsson, M. & Schmidt, K., 2008. 9 s.

    Publikation: Konferencebidrag › Paper › Forskning

  3. 2011

  4. 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. (red.). IT-Universitetet i København, s. 31-36 6 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

  5. 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. (red.). Springer, s. 39-56 18 s. (Lecture notes in computer science, Bind 7151).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  6. 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, s. 161-170 10 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  7. 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. (red.). Springer, s. 343-350 8 s. (Lecture notes in computer science, Bind 7141).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  8. 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. (red.). Springer, s. 237-252 16 s. (Lecture notes in computer science, Bind 7041).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  9. 2013

  10. 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. (red.). 5 s. (CEUR Workshop Proceedings, Bind 1021).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  11. Contracts for cross-organizational workflows as timed dynamic condition response graphs

    Hildebrandt, Thomas Troels, Mukkamala, R. R., Slaats, Tijs & Zanitti, F., 2013, I: Journal of Logical and Algebraic Methods in Programming. 82, 5-7, s. 164-185 22 s.

    Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

  12. 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. (red.). Springer, s. 307-322 16 s. (Lecture notes in computer science, Bind 8094).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  13. 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. (red.). Springer, s. 166-171 6 s. (Lecture notes in computer science, Bind 8186).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  14. 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. (red.). Springer, s. 339-354 16 s. (Lecture notes in computer science, Bind 8094).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  15. 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. (red.). s. 28-30 3 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  16. Mixing paradigms for more comprehensible models

    Westergaard, M. & Slaats, Tijs, 2013, Business Process Management: 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings. Daniel, F., Wang, J. & Weber, B. (red.). Springer, s. 283-290 8 s. (Lecture notes in computer science, Bind 8094).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  17. Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs

    Hildebrandt, T., Mukkamala, R. R., Slaats, Tijs & Zanitti, F., 2013, Proceedings of the 12th workshop on Foundations of Aspect-oriented Languages. Association for Computing Machinery, s. 19-24 6 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  18. Towards trustworthy adaptive case management with dynamic condition response graphs

    Mukkamala, R. R., Hildebrandt, T. & Slaats, Tijs, 2013, 2013 17th IEEE International Enterprise Distributed Object Computing Conference (EDOC). IEEE, s. 127-136 10 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  19. 2014

  20. A case for declarative process modelling: agile development of a grant application system.

    Debois, S., Hildebrandt, Thomas Troels, Slaats, Tijs & Marquard, M., 2014, 2014 IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW). IEEE, s. 126-133 8 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  21. Hierarchical declarative modelling with refinement and sub-processes

    Debois, S., Hildebrandt, T. & Slaats, Tijs, 2014, Business Process Management: 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings. Sadiq, S., Soffer, P. & Völzer, H. (red.). Springer, s. 18-33 16 s. (Lecture notes in computer science, Bind 8659).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  22. The automated discovery of hybrid processes

    Maggi, F. M., Slaats, Tijs & Reijers, H. A., 2014, Business Process Management: 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings. Sadiq, S., Soffer, P. & Völzer, H. (red.). Springer, s. 392-399 8 s. (Lecture notes in computer science, Bind 8659).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  23. Type checking liveness for collaborative processes with bounded and unbounded recursion

    Debois, S., Hildebrandt, Thomas Troels, Slaats, Tijs & Yoshida, N., 2014, 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. Ábrahám, E. & Palamidessi, C. (red.). Springer, s. 1-16 16 s. (Lecture notes in computer science, Bind 8461).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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., Hildebrandt, Thomas Troels, Slaats, Tijs & Marquard, M., 2015, Proceedings of the Second International Workshop on Software Engineering Research and Industrial Practice. IEEE, s. 54-57 4 s.

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  26. Concurrency and asynchrony in declarative workflows

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  27. Flexible process notations for cross-organizational case management systems

    Slaats, Tijs, 2015, IT-Universitetet i København. 275 s.

    Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

  28. Hybrid process technologies in the financial sector

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, Tijs, 2015, 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). Mendling, J. & vom Brocke, J. (red.). s. 107-119 13 s. (CEUR Workshop Proceedings, Bind 1439).

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

  29. Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes

    Debois, S., Hildebrandt, T. & Slaats, Tijs, 2015, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Bjørner, N. & de Boer, F. (red.). Springer, s. 143-160 18 s. (Lecture notes in computer science, Bind 9109).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  30. The analysis of a real life declarative process

    Debois, S. & Slaats, Tijs, 2015, 2015 IEEE Symposium Series on Computational Intelligence. IEEE, s. 1374-1382 9 s.

    Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt

Forrige 1 2 3 4 Næste

ID: 161900503