Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Member of:


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

    2. Published

      Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes

      Normann, H., Debois, S., Slaats, Tijs & Hildebrandt, Thomas Troels, 2021, Business Process Management - 19th International Conference, BPM 2021, Proceedings. Polyvyanyy, A., Wynn, M. T., Van Looy, A. & Reichert, M. (eds.). Springer, p. 161-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12875 LNCS).

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

    3. Published

      Confronting Asylum Decision-making through Prototyping Sensemaking of Data and Participation

      Nielsen, Trine Rask, Katsikouli, Panagiota, Høgenhaug, Anna Murphy, Byrne, William Hamilton, Gammeltoft-Hansen, Thomas, Slaats, Tijs, Olsen, Henrik Palmer, Hildebrandt, Thomas Troels & Møller, Naja Holten, 2021, Proceedings of the 19th European Conference on Computer-Supported Cooperative Work, ECSCW 2021k: The International Venue on Practice-centred Computing on the Design of Cooperation Technologies, . European Society for Socially Embedded Technologies, 10 p. (Reports of the European Society for Socially Embedded Technologies; No. ECSCW, Vol. 2021).

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

    4. Published

      Shifting Concepts of Value: Designing Algorithmic Decision-Support Systems for Public Services

      Møller, Naja Holten, Shklovski, Irina & Hildebrandt, Thomas Troels, 2020, NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society. Association for Computing Machinery, p. 1-12 70

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

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

    6. The Process Highlighter: From Texts to Declarative Processes and Back

      López-Acosta, H., Hildebrandt, Thomas Troels, Debois, S. & Marquard, M., 2018, In: CEUR Workshop Proceedings. p. 66-70 5 p.

      Research output: Contribution to journalConference articleResearchpeer-review

    7. Published

      Business process compliance using reference models of law

      López, H. A., Debois, S., Slaats, Tijs & Hildebrandt, Thomas Troels, 2020, Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Wehrheim, H. & Cabot, J. (eds.). Springer, p. 378-399 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12076).

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

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

    9. Published

      EcoKnow: Effective, Co-Created & Compliant Adaptive Case Management for Knowledge Workers

      Hildebrandt, Thomas Troels, 14 Nov 2018, Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference Workshops, EDOCW 2018. IEEE, p. 9-11 3 p. 8536098

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

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

    ID: 191341554