Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Medlem af:


    1. 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 tidsskriftKonferenceartikelForskningfagfællebedømt

    2. Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs

      Hildebrandt, Thomas Troels & Mukkamala, R. R., 2010, Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs. s. 59-73 (Electronic Proceedings in Theoretical Computer Science).

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

    3. Udgivet

      Types for secure pattern matching with local knowledge in universal concurrent constraint programming

      Hildebrandt, Thomas Troels & López, H. A., 14 sep. 2009, Logic Programming - 25th International Conference, ICLP 2009, Proceedings. s. 417-431 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 5649 LNCS).

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

    4. Udgivet

      Declarative Choreographies with Time and Data

      Hildebrandt, Thomas Troels, López, H. A. & Slaats, Tijs, 2023, Business Process Management Forum - BPM 2023 Forum, Proceedings. Di Francescomarino, C., Burattin, A., Janiesch, C. & Sadiq, S. (red.). Springer, s. 73-89 17 s. (Lecture Notes in Business Information Processing, Bind 490 LNBIP).

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

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

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

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

    8. Udgivet

      A stable non-interleaving early operational semantics for the pi-calculus

      Hildebrandt, Thomas Troels, Johansen, C. & Normann, H., 2019, I: Journal of Logical and Algebraic Methods in Programming. 104, s. 227-253 27 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    9. Udgivet

      EcoKnow: Effective, Co-Created & Compliant Adaptive Case Management for Knowledge Workers

      Hildebrandt, Thomas Troels, 14 nov. 2018, Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference Workshops, EDOCW 2018. IEEE, s. 9-11 3 s. 8536098

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

    10. Expert System

      Hildebrandt, Thomas Troels & Cattani, G. L., 23 okt. 2016, The International Encyclopedia of Communication Theory and Philosophy. Jensen, K. B., Craig, R. T., Pooley, J. D. & Rothenbuhler, E. W. (red.). Wiley, Bind 1-4. (The Wiley Blackwell-ICA International Encyclopedias of Communication).

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiFormidling

    ID: 191341554