Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Member of:

    ORCID: 0000-0002-7435-5563

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

    1. 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. (eds.). Springer, p. 1-16 16 p. (Lecture notes in computer science, Vol. 8461).

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

    2. Type Systems for Bigraphs

      Elsborg, E., Hildebrandt, Thomas Troels & Sangiorgi, D., 2008, Copenhagen: IT-Universitetet i København. 39 p. (I T University. Technical Report Series; No. TR-2008-110).

      Research output: Book/Report › Report › Research

    3. Published

      Algorithmic decision making in public services: A CSCW-perspective

      Flügge, Asbjørn William Ammitzbøll, Hildebrandt, Thomas Troels & Møller, Naja Holten, 2020, GROUP 2020 - Companion of the 2020 ACM International Conference on Supporting Group Work. Association for Computing Machinery, p. 111-114 4 p.

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

    4. Published

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

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

    5. Preliminary Proceedings 15th International Workshop on Expressiveness in Concurrency: EXPRESS'08 Toronto, Canada 23 August 2008

      Gorla, D. (ed.) & Hildebrandt, Thomas Troels (ed.), 2008, Copenhagen: IT-Universitetet i København. 127 p. (I T University. Technical Report Series; No. TR-2008-108).

      Research output: Book/Report › Report › Research

    6. Concurrency Models with Causality and Events as Psi-calculi

      Hildebrandt, Thomas Troels, Prisacariu, C. & Norman, H., 2014, Proceedings 7th Interaction and Concurrency Experience. Lanese, I., Lluch-Lafuente, A., Sokolova, A. & Vieira, H. T. (eds.). Vol. 166. p. 4-20 17 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 166).

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › 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. 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

    9. 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. p. 59-73 (Electronic Proceedings in Theoretical Computer Science).

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

    10. Published

      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. p. 417-431 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5649 LNCS).

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

    Previous 1 2 3 4 5 6 Next

    ID: 191341554