Thomas Troels Hildebrandt
Professor
- Udgivet
Data-Dependent Confidentiality in DCR Graphs
Geraldo, E., Seco, J. C. & Hildebrandt, Thomas Troels, 2023, Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023). Association for Computing Machinery, 13 s. 7Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Preliminary Proceedings 15th International Workshop on Expressiveness in Concurrency: EXPRESS'08 Toronto, Canada 23 August 2008
Gorla, D. (red.) & Hildebrandt, Thomas Troels (red.), 2008, Copenhagen: IT-Universitetet i København. 127 s. (I T University. Technical Report Series; Nr. TR-2008-108).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Concurrency Models with Causality and Events as Psi-calculi
Hildebrandt, Thomas Troels, Prisacariu, C. & Norman, H., 2014, Proceedings 7th Interaction and Concurrency Experience. Lanese, I., Lluch-Lafuente, A., Sokolova, A. & Vieira, H. T. (red.). Bind 166. s. 4-20 17 s. (Electronic Proceedings in Theoretical Computer Science, Bind 166).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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, s. 377-378 2 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Selected Papers of BPM 2019 - Editorial to the Special Issue
Hildebrandt, Thomas Troels, Dongen, B. F. V., Röglinger, M. & Mendling, J., 2022, I: Information Systems. 104, 2 s., 101902.Publikation: Bidrag til tidsskrift › Leder › Forskning
Contracts for cross-organizational workflows as timed dynamic condition response graphs
Hildebrandt, Thomas Troels, Mukkamala, R. R., Slaats, Tijs & Zanitti, F., 2013, I: Journal of Logical and Algebraic Methods in Programming. 82, 5-7, s. 164-185 22 s.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs
Hildebrandt, Thomas Troels & Mukkamala, R. R., 2010, Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs. s. 59-73 (Electronic Proceedings in Theoretical Computer Science).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. s. 417-431 15 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 5649 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Declarative Choreographies with Time and Data
Hildebrandt, Thomas Troels, López, H. A. & Slaats, Tijs, 2023, Business Process Management Forum - BPM 2023 Forum, Proceedings. Di Francescomarino, C., Burattin, A., Janiesch, C. & Sadiq, S. (red.). Springer, s. 73-89 17 s. (Lecture Notes in Business Information Processing, Bind 490 LNBIP).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers
Hildebrandt, Thomas Troels, Andaloussi, A. A., Christensen, L. R., Debois, S., Healy, N. P., López, H. A., Marquard, M., Møller, Naja Holten, Petersen, A. C. M., Slaats, Tijs & Weber, B., 2020, ICSSP '20: Proceedings of the International Conference on Software and System Processes. Association for Computing Machinery, s. 155--164Publikation: 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
Decision Modelling in Timed Dynamic Condition Response Graphs with Data
Hildebrandt, Thomas Troels, Normann, H., Marquard, M., Debois, S. & Slaats, Tijs, 2022, Business Process Management Workshops - BPM 2021 International Workshops, Revised Selected Papers: BPM 2021 International Workshops Rome, Italy, September 6–10, 2021 Revised Selected Papers. Marrella, A. & Weber, B. (red.). Springer, s. 362-374 13 s. (Lecture Notes in Business Information Processing, Bind 436 LNBIP).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 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
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, s. 9-11 3 s. 8536098Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Expert System
Hildebrandt, Thomas Troels & Cattani, G. L., 23 okt. 2016, The International Encyclopedia of Communication Theory and Philosophy. Jensen, K. B., Craig, R. T., Pooley, J. D. & Rothenbuhler, E. W. (red.). Wiley, Bind 1-4. (The Wiley Blackwell-ICA International Encyclopedias of Communication).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Formidling
- Udgivet
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. (red.). Springer, s. 378-399 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12076).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
The Process Highlighter: From Texts to Declarative Processes and Back
López-Acosta, H., Hildebrandt, Thomas Troels, Debois, S. & Marquard, M., 2018, I: CEUR Workshop Proceedings. s. 66-70 5 s.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
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, Bind 0. s. 187-190 4 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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, s. 1-12 70Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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 s. (Reports of the European Society for Socially Embedded Technologies; Nr. ECSCW, Bind 2021).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Declarative event based models of concurrency and refinement in psi-calculi
Normann, H., Johansen, C. & Hildebrandt, Thomas Troels, 2015, I: Journal of Logic and Algebraic Programming. 85, 3, s. 368-398 30 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 161-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12875 LNCS).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
- Udgivet
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, I: Digital Government: Research and Practice. 5, 1, 15 s., 8.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
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, s. 219-235Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
ID: 191341554
Flest downloads
-
940
downloads
What's in the Box? The Legal Requirement of Explainability in Computationally Aided Decision-Making in Public Administration
Publikation: Working paper › Forskning
Udgivet -
359
downloads
Business process compliance using reference models of law
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Udgivet -
190
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