Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Member of:


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

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

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

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

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

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

    7. Published

      What's in the Box? The Legal Requirement of Explainability in Computationally Aided Decision-Making in Public Administration

      Olsen, Henrik Palmer, Slosser, Jacob Livingston, Hildebrandt, Thomas Troels & Wiesener, Cornelius, 2019, SSRN: Social Science Research Network, 28 p. (iCourts Working Paper Series; No. 162 ).

      Research output: Working paperResearch

    8. Published

      The Right to Transparency in Public Governance: Freedom of Information and the Use of Artificial Intelligence by Public Agencies

      Olsen, Henrik Palmer, Hildebrandt, Thomas Troels, Wiesener, Cornelius, Larsen, M. S. & Flügge, Asbjørn William Ammitzbøll, 12 Mar 2024, In: Digital Government: Research and Practice. 5, 1, 15 p., 8.

      Research output: Contribution to journalJournal articleResearchpeer-review

    9. Published

      What’s in the Box? The Legal Requirement to Explain Computationally Aided Decision-Making in Public Administration

      Olsen, Henrik Palmer, Slosser, Jacob Livingston & Hildebrandt, Thomas Troels, 2021, Constitutional Challenges in the Algorithmic Society. Cambridge University Press, p. 219-235

      Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

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

    ID: 191341554