Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Member of:

    ORCID: 0000-0002-7435-5563

    Publication year:
    All
    21 - 30 out of 54Page size: 10
    1. 2017

    2. Declarative Process Mining for DCR Graphs

      Debois, S., Hildebrandt, Thomas Troels, Laursen, P. H. & Ulrik, K. R., 2017, Proceedings of the Symposium on Applied Computing: SAC '17. New York, NY, USA: Association for Computing Machinery, p. 759-764 6 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    3. Published

      Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit

      Debois, S., Hildebrandt, Thomas Troels, Marquard, M. & Slaats, Tijs, 2017, Business Process Management Cases: Digital Innovation and Business Transformation in Practice. Springer, p. 397-412 16 p. (Management for Professionals).

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    4. Modelling Cooperative Work at a Medical Department

      Christensen, L. R. & Hildebrandt, Thomas Troels, 2017, C&T '17 Proceedings of the 8th International Conference on Communities and Technologies. Association for Computing Machinery, p. 46-55 10 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    5. The DCR Workbench: Declarative Choreographies for Collaborative Processes

      Debois, S. & Hildebrandt, Thomas Troels, 1 Jun 2017, Behavioural Types: from Theory to Tools. Gay, S. & Ravara, A. (eds.). River Publishers, p. 99-124 26 p. (Communications of the A C M).

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    6. 2018
    7. Published

      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. (eds.). Springer, p. 31-47 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11080 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    8. Published

      Replication, refinement & reachability: complexity in dynamic condition-response graphs

      Debois, S., Hildebrandt, Thomas Troels & Slaats, Tijs, 2018, In: Acta Informatica. 55, p. 489–520

      Research output: Contribution to journal › Journal article › Research › peer-review

    9. The Process Highlighter: From Texts to Declarative Processes and Back

      López-Acosta, H., Hildebrandt, Thomas Troels, Debois, S. & Marquard, M., 2018, In: CEUR Workshop Proceedings. p. 66-70 5 p.

      Research output: Contribution to journal › Conference article › Research › peer-review

    10. Published

      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, p. 9-11 3 p. 8536098

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    11. Published

      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, p. 75-84 10 p. 8536151

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    12. 2019
    13. Published

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

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

      Research output: Contribution to journal › Journal article › Research › peer-review

    Previous 1 2 3 4 5 6 Next

    ID: 191341554