Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Medlem af:

    ORCID: 0000-0002-7435-5563

    Udgivelsesår:
    Alle
    41 - 50 ud af 57Pr. side: 10
    Sortering: 1. forfatter

    1. 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, s. 126-133 8 s.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    2. Udgivet

      Replication, refinement & reachability: complexity in dynamic condition-response graphs

      Debois, S., Hildebrandt, Thomas Troels & Slaats, Tijs, 2018, I: Acta Informatica. 55, s. 489–520

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    3. 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. (red.). Springer, s. 1-16 16 s. (Lecture notes in computer science, Bind 8461).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

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

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

      Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt

    5. Udgivet

      RESEDA: Declaring live event-driven computations as reactive semi-structured data

      Costa Seco, J., Debois, S., Hildebrandt, Thomas Troels & Slaats, Tijs, 14 nov. 2018, Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018. IEEE, s. 75-84 10 s. 8536151

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    6. Udgivet

      Transforming Dynamic Condition Response Graphs to Safe Petri Nets

      Cosma, Paul, Hildebrandt, Thomas Troels & Slaats, Tijs, 2023, Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Proceedings. Gomes, L. & Lorenz, R. (red.). Springer, s. 417-439 23 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13929 LNCS).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    7. Udgivet

      BERMUDA: Participatory Mapping of Domain Activities to Event Data via System Interfaces

      Cosma, Paul, Hildebrandt, Thomas Troels, Gyldenkærne, C. H. & Slaats, Tijs, 2023, Process Mining Workshops - ICPM 2022 International Workshops, Revised Selected Papers. Montali, M., Senderovich, A. & Weidlich, M. (red.). Springer, s. 127-139 (Lecture Notes in Business Information Processing, Bind 468 LNBIP).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    8. 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, s. 46-55 10 s.

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    9. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    10. 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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    Forrige 1 2 3 4 5 6 Næste

    ID: 191341554