Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Medlem af:


    1. Udgivet

      'Thinking problematically' as a resource for AI design in politicised contexts

      Petersen, A. C. M., Cohn, M. L., Hildebrandt, Thomas Troels & Møller, Naja Holten, 2021, CHItaly 2021 - Frontiers of HCI: Proceedings of the 14th Biannual Conference of the Italian SIGCHI Chapter. Association for Computing Machinery, s. 1-8 13 s. (ACM International Conference Proceeding Series).

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

    2. 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 tidsskriftTidsskriftartikelForskningfagfællebedømt

    3. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

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

    5. Udgivet

      A stable non-interleaving early operational semantics for the pi-calculus

      Hildebrandt, Thomas Troels, Johansen, C. & Normann, H., 2019, I: Journal of Logical and Algebraic Methods in Programming. 104, s. 227-253 27 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    6. 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 tidsskriftTidsskriftartikelForskningfagfællebedømt

    7. Udgivet

      Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs

      Xu, Yibin, Slaats, Tijs, Duedder, Boris & Hildebrandt, Thomas Troels, maj 2023, 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP). IEEE, s. 70-80

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

    8. Udgivet

      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, s. 111-114 4 s.

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

    9. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    10. 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, s. 54-57 4 s.

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

    Forrige 1 2 3 4 5 6 Næste

    ID: 191341554