Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Member of:

    ORCID: 0000-0002-7435-5563

    Publication year:
    All
    1 - 10 out of 13Page size: 10
    Sort by: 1st author
    1. 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

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

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

    4. Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans

      Debois, S., Hildebrandt, Thomas Troels & Sandberg, L., 2016, In: Procedia Computer Science. 83, p. 1295–1300

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

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

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

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

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

    7. Published

      Selected Papers of BPM 2019 - Editorial to the Special Issue

      Hildebrandt, Thomas Troels, Dongen, B. F. V., Röglinger, M. & Mendling, J., 2022, In: Information Systems. 104, 2 p., 101902.

      Research output: Contribution to journal › Editorial › Research

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

    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. Declarative event based models of concurrency and refinement in psi-calculi

      Normann, H., Johansen, C. & Hildebrandt, Thomas Troels, 2015, In: Journal of Logic and Algebraic Programming. 85, 3, p. 368-398 30 p.

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

    Previous 1 2 Next

    ID: 191341554