Thomas Troels Hildebrandt
Professor
- 2019
- 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 tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
DCR-KiPN a hybrid modeling approach for knowledge-intensive processes
Santoro, F., Slaats, Tijs, Hildebrandt, Thomas Troels & Baiao, F., 2019, Conceptual Modeling - 38th International Conference, ER 2019, Proceedings. Laender, A. H. F., Pernici, B., Lim, E-P. & de Oliveira, J. P. M. (red.). Springer VS, s. 153-161 9 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11788 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Declarative Choreographies and Liveness
Hildebrandt, Thomas Troels, Slaats, Tijs, López, H. A., Debois, S. & Carbone, M., 2019, Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings. Pérez, J. A. & Yoshida, N. (red.). Springer, s. 129-147 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11535 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Evaluating the Understandability of Hybrid Process Model Representations Using Eye Tracking: First Insights
Abbad Andaloussi, A., Slaats, Tijs, Burattin, A., Hildebrandt, Thomas Troels & Weber, B., 2019, Business Process Management Workshops - BPM 2018 International Workshops, Revised Papers. Daniel, F., Sheng, Q. Z. & Motahari, H. (red.). Springer, s. 475-481 7 s. (Lecture Notes in Business Information Processing, Bind 342).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Exploring the Understandability of a Hybrid Process Design Artifact Based on DCR Graphs
Abbad Andaloussi, A., Burattin, A., Slaats, Tijs, Petersen, A. C. M., Hildebrandt, Thomas Troels & Weber, B., 2019, Enterprise, Business-Process and Information Systems Modeling - 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Proceedings. Gulden, J., Reinhartz-Berger, I., Zdravkovic, J. & Schmidt, R. (red.). Springer, s. 69-84 (Lecture Notes in Business Information Processing, Bind 352).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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 s. (iCourts Working Paper Series; Nr. 162 ).Publikation: Working paper › Forskning
ID: 191341554
Flest downloads
-
935
downloads
What's in the Box? The Legal Requirement of Explainability in Computationally Aided Decision-Making in Public Administration
Publikation: Working paper › Forskning
Udgivet -
358
downloads
Business process compliance using reference models of law
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
183
downloads
Confronting Asylum Decision-making through Prototyping Sensemaking of Data and Participation
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet