Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Medlem af:


    1. 2013
    2. A verification environment for bigraphs

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

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

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

      Publikation: Bidrag til tidsskriftKonferenceartikelfagfællebedømt

    4. 2012
    5. 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, s. 377-378 2 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

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

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    7. 2011
    8. Udgivet

      A Logic for Choreographies

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

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

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    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, Bind 0. s. 187-190 4 s.

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    12. 2009
    13. Udgivet

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

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

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

      Publikation: Bog/antologi/afhandling/rapportRapport

    15. 2008
    16. 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 s. (I T University. Technical Report Series; Nr. TR-2008-103).

      Publikation: Bog/antologi/afhandling/rapportRapport

    ID: 191341554