Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Member of:

    ORCID: 0000-0002-7435-5563

    Publication year:
    All
    1 - 25 out of 57Page size: 25
    1. 2008

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

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

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

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

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

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

    9. 2010

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

    11. From Dynamic Condition Response Structures to Büchi Automata

      Mukkamala, R. R. & Hildebrandt, Thomas Troels, 2010, From Dynamic Condition Response Structures to Büchi Automata. IEEE Computer Society Press, Vol. 0. p. 187-190 4 p.

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

    12. 2011
    13. 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

    14. 2012

    15. A process-oriented event-based programming language

      Hildebrandt, Thomas Troels & Zanitti, F., 2012, Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems. New York, NY, USA: Association for Computing Machinery, p. 377-378 2 p.

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

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

    17. 2013

    18. A verification environment for bigraphs

      Perrone, G. D., Debois, S. & Hildebrandt, Thomas Troels, 2013, In: Innovations in Systems and Software Engineering. 9, 2, p. 95-104

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

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

    20. 2014

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

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

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

    24. 2015

    25. Bridging the valley of death: a success story on Danish funding schemes paving a path from technology readiness Level 1 to 9

      Debois, S., Hildebrandt, Thomas Troels, Slaats, Tijs & Marquard, M., 2015, Proceedings of the Second International Workshop on Software Engineering Research and Industrial Practice. IEEE, p. 54-57 4 p.

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

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

    27. 2016

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

    29. Expert System

      Hildebrandt, Thomas Troels & Cattani, G. L., 23 Oct 2016, The International Encyclopedia of Communication Theory and Philosophy. Jensen, K. B., Craig, R. T., Pooley, J. D. & Rothenbuhler, E. W. (eds.). Wiley, Vol. 1-4. (The Wiley Blackwell-ICA International Encyclopedias of Communication).

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Communication

    30. 2017

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

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

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

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

    35. 2018
    36. 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

    Previous 1 2 3 Next

    ID: 191341554