Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Member of:


    1. Published

      '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, p. 1-8 13 p. (ACM International Conference Proceeding Series).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    2. 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 journalJournal articleResearchpeer-review

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

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    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, p. 377-378 2 p.

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    5. Published

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

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

      Research output: Contribution to journalJournal articleResearchpeer-review

    6. 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 journalJournal articleResearchpeer-review

    7. Published

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

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

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    8. 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 proceedingArticle in proceedingsResearchpeer-review

    9. Published

      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. (eds.). Springer, p. 127-139 (Lecture Notes in Business Information Processing, Vol. 468 LNBIP).

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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

      Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Previous 1 2 3 4 5 6 Next

    ID: 191341554