Tijs Slaats

Tijs Slaats

Lektor


  1. 2024
  2. Udgivet

    A Two-Layer Blockchain Sharding Protocol Leveraging Safety and Liveness for Enhanced Performance

    Xu, Yibin, Zheng, J., Duedder, Boris, Slaats, Tijs & Zhou, Yongluan, 26 feb. 2024, Network and Distributed System Security (NDSS) Symposium 2024.

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

  3. 2023
  4. Udgivet

    Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs

    Xu, Yibin, Slaats, Tijs, Duedder, Boris & Hildebrandt, Thomas Troels, maj 2023, 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP). IEEE, s. 70-80

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

  5. Udgivet

    BERMUDA: Participatory Mapping of Domain Activities to Event Data via System Interfaces

    Cosma, Paul, Hildebrandt, Thomas Troels, Gyldenkærne, C. H. & Slaats, Tijs, 2023, Process Mining Workshops - ICPM 2022 International Workshops, Revised Selected Papers. Montali, M., Senderovich, A. & Weidlich, M. (red.). Springer, s. 127-139 (Lecture Notes in Business Information Processing, Bind 468 LNBIP).

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

  6. Udgivet

    DisCoveR: Process Mining for Knowledge-Intensive Processes with DCR Graphs

    Slaats, Tijs, 2023, I: CEUR Workshop Proceedings. 3424

    Publikation: Bidrag til tidsskriftKonferenceartikelfagfællebedømt

  7. Udgivet

    Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain

    Xu, Yibin, Slaats, Tijs, Duedder, Boris, Debois, S. & Wu, Haiqin, 2023, Financial Cryptography and Data Security. FC 2022 International Workshops. Matsuo, S., Gudgeon, L., Klages-Mundt, A., Perez Hernandez, D., Werner, S., Haines, T., Essex, A., Bracciali, A. & Sala, M. (red.). Springer, s. 583–597 (Lecture Notes in Computer Science, Bind 13412).

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

  8. Udgivet

    Efficient Optimal Alignment Between Dynamic Condition Response Graphs and Traces

    Christfort, Axel Kjeld Fjelrad & Slaats, Tijs, 2023, Business Process Management - 21st International Conference, BPM 2023, Proceedings. Di Francescomarino, C., Burattin, A., Janiesch, C. & Sadiq, S. (red.). Springer, s. 3-19 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14159 LNCS).

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

  9. Udgivet

    Improving Declarative Process Mining with a Priori Noise Filtering

    Christfort, Axel Kjeld Fjelrad, Debois, S. & Slaats, Tijs, 2023, Business Process Management Workshops - BPM 2022 International Workshops, Revised Selected Papers. Cabanillas, C., Garmann-Johnsen, N. F. & Koschmider, A. (red.). Springer, s. 286-297 (Lecture Notes in Business Information Processing, Bind 460 LNBIP).

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

  10. Udgivet

    On predicting and explaining asylum adjudication

    Piccolo, S. A., Gammeltoft-Hansen, Thomas, Katsikouli, Panagiota & Slaats, Tijs, 2023, ICAIL: International Conference on Artificial Intelligence and Law. Association for Computing Machinery, s. 217-226 10 s. (19th International Conference on Artificial Intelligence and Law, ICAIL 2023 - Proceedings of the Conference).

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

  11. 2022
  12. Udgivet

    Poster: Unanimous-Majority - Pushing Blockchain Sharding Throughput to its Limit

    Xu, Yibin, Slaats, Tijs & Duedder, Boris, 7 nov. 2022, CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery (ACM), s. 3495–3497

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

  13. Udgivet

    Decision Modelling in Timed Dynamic Condition Response Graphs with Data

    Hildebrandt, Thomas Troels, Normann, H., Marquard, M., Debois, S. & Slaats, Tijs, 2022, Business Process Management Workshops - BPM 2021 International Workshops, Revised Selected Papers: BPM 2021 International Workshops Rome, Italy, September 6–10, 2021 Revised Selected Papers. Marrella, A. & Weber, B. (red.). Springer, s. 362-374 13 s. (Lecture Notes in Business Information Processing, Bind 436 LNBIP).

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

  14. 2021
  15. Udgivet

    Confronting Asylum Decision-making through Prototyping Sensemaking of Data and Participation

    Nielsen, Trine Rask, Katsikouli, Panagiota, Høgenhaug, Anna Murphy, Byrne, William Hamilton, Gammeltoft-Hansen, Thomas, Slaats, Tijs, Olsen, Henrik Palmer, Hildebrandt, Thomas Troels & Møller, Naja Holten, 2021, Proceedings of the 19th European Conference on Computer-Supported Cooperative Work, ECSCW 2021k: The International Venue on Practice-centred Computing on the Design of Cooperation Technologies, . European Society for Socially Embedded Technologies, 10 s. (Reports of the European Society for Socially Embedded Technologies; Nr. ECSCW, Bind 2021).

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

  16. Udgivet

    ReGraDa: Reactive Graph Data

    Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, Thomas Troels, Norman, H. & Slaats, Tijs, 2021, Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Damiani, F. & Dardha, O. (red.). Springer, s. 188-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12717 LNCS).

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

  17. Udgivet

    Weighing the Pros and Cons: Process Discovery with Negative Examples

    Slaats, Tijs, Debois, S. & Back, C.O., 2021, Business Process Management - 19th International Conference, BPM 2021, Proceedings. Polyvyanyy, A., Wynn, M. T., Van Looy, A. & Reichert, M. (red.). Springer, s. 47-64 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12875 LNCS).

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

  18. Udgivet

    Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes

    Normann, H., Debois, S., Slaats, Tijs & Hildebrandt, Thomas Troels, 2021, Business Process Management - 19th International Conference, BPM 2021, Proceedings. Polyvyanyy, A., Wynn, M. T., Van Looy, A. & Reichert, M. (red.). Springer, s. 161-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12875 LNCS).

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

  19. 2020
  20. Udgivet

    Business process compliance using reference models of law

    López, H. A., Debois, S., Slaats, Tijs & Hildebrandt, Thomas Troels, 2020, Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Wehrheim, H. & Cabot, J. (red.). Springer, s. 378-399 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12076).

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

  21. Udgivet

    Chain of Events: Modular Process Models for the Law

    Debois, S., López, H. A., Slaats, Tijs, Andaloussi, A. A. & Hildebrandt, Thomas Troels, 2020, Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. Springer, Bind 12546. s. 368-386 (Lecture Notes in Computer Science, Bind 12546).

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

  22. Udgivet

    EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers

    Hildebrandt, Thomas Troels, Andaloussi, A. A., Christensen, L. R., Debois, S., Healy, N. P., López, H. A., Marquard, M., Møller, Naja Holten, Petersen, A. C. M., Slaats, Tijs & Weber, B., 2020, ICSSP '20: Proceedings of the International Conference on Software and System Processes. Association for Computing Machinery, s. 155--164

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

  23. Udgivet

    The Impact of Modularization on the Understandability of Declarative Process Models: A Research Model

    Abbad Andaloussi, A., Soffer, P., Slaats, Tijs, Burattin, A. & Weber, B., 2020, Information Systems and Neuroscience - NeuroIS Retreat 2020. Davis, F. D., Riedl, R., vom Brocke, J., Léger, P-M., Randolph, A. B. & Fischer, T. (red.). Springer, s. 133-144 12 s. (Lecture Notes in Information Systems and Organisation, Bind 43).

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

  24. Udgivet

    Understanding quality in declarative process modeling through the mental models of experts

    Abbad Andaloussi, A., Davis, C. J., Burattin, A., López, H. A., Slaats, Tijs & Weber, B., 2020, Business Process Management: 18th International Conference, BPM 2020, Seville, Spain, September 13–18, 2020, Proceedings. Springer, s. 417-434 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12168 ).

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

  25. 2019
  26. Udgivet

    Discovering Responsibilities with Dynamic Condition Response Graphs

    Nekrasaite, V., Parli, A. T., Back, C.O. & Slaats, Tijs, 3 jun. 2019, Advanced Information Systems Engineering: 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings. Giorgini, P. & Weber, B. (red.). 31 udg. Springer, s. 595-610 15 s. (Lecture Notes in Computer Science, Bind 11483).

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

  27. Udgivet

    Exploring the modeling of declarative processes using a hybrid approach

    Abbad Andaloussi, A., Buch-Lorentsen, J., López, H. A., Slaats, Tijs & Weber, B., 1 jan. 2019, Conceptual Modeling - 38th International Conference, ER 2019, Proceedings. Laender, A. H. F., Pernici, B., Lim, E-P. & de Oliveira, J. P. M. (red.). Springer VS, s. 162-170 9 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11788 LNCS).

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

  28. Udgivet

    DCR-KiPN a hybrid modeling approach for knowledge-intensive processes

    Santoro, F., Slaats, Tijs, Hildebrandt, Thomas Troels & Baiao, F., 2019, Conceptual Modeling - 38th International Conference, ER 2019, Proceedings. Laender, A. H. F., Pernici, B., Lim, E-P. & de Oliveira, J. P. M. (red.). Springer VS, s. 153-161 9 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11788 LNCS).

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

  29. Udgivet

    Declarative Choreographies and Liveness

    Hildebrandt, Thomas Troels, Slaats, Tijs, López, H. A., Debois, S. & Carbone, M., 2019, Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings. Pérez, J. A. & Yoshida, N. (red.). Springer, s. 129-147 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11535 LNCS).

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

  30. Udgivet

    Evaluating the Understandability of Hybrid Process Model Representations Using Eye Tracking: First Insights

    Abbad Andaloussi, A., Slaats, Tijs, Burattin, A., Hildebrandt, Thomas Troels & Weber, B., 2019, Business Process Management Workshops - BPM 2018 International Workshops, Revised Papers. Daniel, F., Sheng, Q. Z. & Motahari, H. (red.). Springer, s. 475-481 7 s. (Lecture Notes in Business Information Processing, Bind 342).

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

  31. Udgivet

    Exploring the Understandability of a Hybrid Process Design Artifact Based on DCR Graphs

    Abbad Andaloussi, A., Burattin, A., Slaats, Tijs, Petersen, A. C. M., Hildebrandt, Thomas Troels & Weber, B., 2019, Enterprise, Business-Process and Information Systems Modeling - 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Proceedings. Gulden, J., Reinhartz-Berger, I., Zdravkovic, J. & Schmidt, R. (red.). Springer, s. 69-84 (Lecture Notes in Business Information Processing, Bind 352).

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

  32. 2018
  33. Udgivet

    RESEDA: Declaring live event-driven computations as reactive semi-structured data

    Costa Seco, J., Debois, S., Hildebrandt, Thomas Troels & Slaats, Tijs, 14 nov. 2018, Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018. IEEE, s. 75-84 10 s. 8536151

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

  34. Udgivet

    Collaboration among Adversaries: Distributed Workflow Execution on a Blockchain

    Madsen, M. F., Gaub, M., Høgnason, T., Kirkbro, M. E., Slaats, Tijs & Debois, S., 2018. 8 s.

    Publikation: KonferencebidragPaperForskning

  35. Udgivet

    Mining Hybrid Business Process Models: A Quest for Better Precision

    Schunselaar, D. M. M., Slaats, Tijs, Maggi, F. M., Reijers, H. A. & Van Der Aalst, W. M. P., 2018, Business Information Systems: 21st International Conference, BIS 2018 Berlin, Germany, July 18–20, 2018 Proceedings. Abramowicz, W. & Paschke, A. (red.). Springer, s. 190-205 16 s. (Lecture Notes in Business Information Processing, Bind 320).

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

  36. Udgivet

    Open to change: A theory for iterative test-driven modelling

    Slaats, Tijs, Debois, S. & Hildebrandt, Thomas Troels, 2018, Business Process Management - 16th International Conference, BPM 2018, Proceedings. Montali, M., Weber, I., Weske, M. & vom Brocke, J. (red.). Springer, s. 31-47 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11080 LNCS).

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

  37. Udgivet

    Towards an Empirical Evaluation of Imperative and Declarative Process Mining

    Back, C.O., Debois, S. & Slaats, Tijs, 2018, Advances in Conceptual Modelling: ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME Xi’an, China, October 22–25, 2018 Proceedings. Springer, s. 191-198 8 s. Chapter 24. (Lecture Notes in Computer Science, Bind 11158).

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

  38. 2017
  39. Udgivet

    Managing complexity in process digitalisation with dynamic condition response graphs

    Hildebrandt, T., Debois, S., Slaats, Tijs & Marquard, M., 2017, BIR-WS 2017: pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017. Johansson, B. (red.). CEUR-WS.org, 8 s. (CEUR Workshop Proceedings, Bind 1898).

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

  40. Udgivet

    The DCR graphs process portal

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, Tijs, 2017, Proceedings - BPM 2016 Demonstration Track: Demonstration Track of the 14th International Conference on Business Process Management (BPM 2016) Rio de Janeiro, September 21, 2016. Azevedo, L. G. & Cabanillas, C. (red.). s. 7-11 5 s. (CEUR Workshop Proceedings, Bind 1789).

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

  41. 2016
  42. Udgivet

    Deriving consistent GSM schemas from DCR graphs

    Eshuis, R., Debois, S., Slaats, Tijs & Hildebrandt, T., 2016, Service-oriented computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings. Sheng, Q. Z., Stroulia, E., Tata, S. & Bhiri, S. (red.). Springer, s. 467-482 16 s. (Lecture notes in computer science, Bind 9936).

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

  43. Udgivet

    Forms are declarative processes!

    Marquard, M., Debois, S., Slaats, Tijs & Hildebrandt, T., 2016. 16 s.

    Publikation: KonferencebidragPaperForskning

  44. Udgivet

    The semantics of hybrid process models

    Slaats, Tijs, Schunselaar, D. M. M., Maggi, F. M. & Reijers, H. A., 2016, On the move to meaningful internet systems: OTM 2016 conferences: confederated international conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. Debruyne, C., Panetto, H., Meersman, R., Dillon, T., Kühn, E., O'Sullivan, D. & Ardagna, C. A. (red.). Springer, s. 531-551 21 s.

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

  45. 2015
  46. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  47. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  48. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  49. Web-based modelling and collaborative simulation of declarative processes

    Marquard, M., Shahzad, M. & Slaats, Tijs, 2015, Business Process Management: 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 -- September 3, 2015, Proceedings. Motahari-Nezhad, H. R. & Weidlich, M. (red.). Springer, s. 209-225 17 s.

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

  50. 2014
  51. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  52. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  53. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  54. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  55. 2013
  56. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  57. 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 tidsskriftKonferenceartikelfagfællebedømt

  58. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  59. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  60. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  61. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  62. 2011
  63. 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/rapportKonferencebidrag i proceedingsForskning

  64. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  65. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  66. 2008
  67. 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: KonferencebidragPaperForskning

ID: 161900503