Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Member of:

    ORCID: 0000-0002-7435-5563

    Publication year:
    All
    1 - 10 out of 54Page size: 10
    Sort by: 1st author
    1. Published

      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. (eds.). Springer, p. 69-84 (Lecture Notes in Business Information Processing, Vol. 352).

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

    2. Published

      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. (eds.). Springer, p. 475-481 7 p. (Lecture Notes in Business Information Processing, Vol. 342).

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

    3. Published

      Exploring how users engage with hybrid process artifacts based on declarative process models: a behavioral analysis based on eye-tracking and think-aloud

      Abbad Andaloussi, A., Zerbato, F., Burattin, A., Slaats, Tijs, Hildebrandt, Thomas Troels & Weber, B., 2021, In: Software and Systems Modeling. 20, p. 1437–1464

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

    4. Published

      DisCoveR: accurate and efficient discovery of declarative process models

      Back, C.O., Slaats, Tijs, Hildebrandt, Thomas Troels & Marquard, M., 2022, In: International Journal on Software Tools for Technology Transfer. 24, 4, p. 563–587

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

    5. Higher-Order Contexts via Games and the Int-Construction

      Birkedal, L., Bundgaard, M., Debois, S., Hildebrandt, Thomas Troels & Grohmann, D., 2009, IT-Universitetet i København. (I T University. Technical Report Series).

      Research output: Book/Report › Report › Research

    6. Formalizing WS-BPEL and Higher Order Mobile Embedded Business Processes in the Bigraphical Programming Languages (BPL) Tool

      Bundgaard, M., Glenstrup, A. J., Hildebrandt, Thomas Troels, Højsgaard, E. & Niss, H., 2008, Copenhagen: IT-Universitetet i København. 45 p. (I T University. Technical Report Series; No. TR-2008-103).

      Research output: Book/Report › Report › Research

    7. On Encoding the Pi-calculus in Higher-Order Calculi

      Bundgaard, M., Hildebrandt, Thomas Troels & Godskesen, J. C., 2008, IT University of Copenhagen: IT-Universitetet i København. 24 p. (I T University. Technical Report Series).

      Research output: Book/Report › Report › Research

    8. Refinement for Transition Systems with Responses

      Carbone, M., Hildebrandt, Thomas Troels, Perrone, G. D. & Wasowski, A., 2012, Proceedings Fourth Workshop on Foundations of Interface Technologies: Electronic Proceedings in Theoretical Computer Science. EPTCS.. Vol. 87.

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

    9. Published

      A Logic for Choreographies

      Carbone, M., Grohmann, D., Hildebrandt, Thomas Troels & López, H. A., 1 Oct 2011, In: Electronic Proceedings in Theoretical Computer Science.

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

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

    Previous 1 2 3 4 5 6 Next

    ID: 191341554