Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Member of:

    ORCID: 0000-0002-7435-5563

    Publication year:
    All
    31 - 40 out of 57Page size: 10
    Sort by: 1st author

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

    2. Published

      Data-Dependent Confidentiality in DCR Graphs

      Geraldo, E., Seco, J. C. & Hildebrandt, Thomas Troels, 2023, Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023). Association for Computing Machinery, 13 p. 7

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

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

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

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

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

    7. A case for declarative process modelling: agile development of a grant application system.

      Debois, S., Hildebrandt, Thomas Troels, Slaats, Tijs & Marquard, M., 2014, 2014 IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW). IEEE, p. 126-133 8 p.

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

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

    Previous 1 2 3 4 5 6 Next

    ID: 191341554