Thomas Troels Hildebrandt
Professor
- Published
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. (eds.). Springer, p. 417-439 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13929 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Type Systems for Bigraphs
Elsborg, E., Hildebrandt, Thomas Troels & Sangiorgi, D., 2008, Copenhagen: IT-Universitetet i København. 39 p. (I T University. Technical Report Series; No. TR-2008-110).Research output: Book/Report › Report › Research
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. (eds.). Springer, p. 1-16 16 p. (Lecture notes in computer science, Vol. 8461).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Types for secure pattern matching with local knowledge in universal concurrent constraint programming
Hildebrandt, Thomas Troels & López, H. A., 14 Sep 2009, Logic Programming - 25th International Conference, ICLP 2009, Proceedings. p. 417-431 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 5649 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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 paper › Research
- 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-235Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- 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 proceeding › Article in proceedings › Research › peer-review
ID: 191341554
Most downloads
-
936
downloads
What's in the Box? The Legal Requirement of Explainability in Computationally Aided Decision-Making in Public Administration
Research output: Working paper › Research
Published -
358
downloads
Business process compliance using reference models of law
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
185
downloads
Confronting Asylum Decision-making through Prototyping Sensemaking of Data and Participation
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published