Thomas Troels Hildebrandt
Professor
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, p. 377-378 2 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Selected Papers of BPM 2019 - Editorial to the Special Issue
Hildebrandt, Thomas Troels, Dongen, B. F. V., Röglinger, M. & Mendling, J., 2022, In: Information Systems. 104, 2 p., 101902.Research output: Contribution to journal › Editorial › Research
Contracts for cross-organizational workflows as timed dynamic condition response graphs
Hildebrandt, Thomas Troels, Mukkamala, R. R., Slaats, Tijs & Zanitti, F., 2013, In: Journal of Logical and Algebraic Methods in Programming. 82, 5-7, p. 164-185 22 p.Research output: Contribution to journal › Conference article › Research › peer-review
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. p. 59-73 (Electronic Proceedings in Theoretical Computer Science).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
Preliminary Proceedings 15th International Workshop on Expressiveness in Concurrency: EXPRESS'08 Toronto, Canada 23 August 2008
Gorla, D. (ed.) & Hildebrandt, Thomas Troels (ed.), 2008, Copenhagen: IT-Universitetet i København. 127 p. (I T University. Technical Report Series; No. TR-2008-108).Research output: Book/Report › Report › Research
- Published
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 p. 7Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
ReGraDa: Reactive Graph Data
Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, Thomas Troels, Norman, H. & Slaats, Tijs, 2021, Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Damiani, F. & Dardha, O. (eds.). Springer, p. 188-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12717 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Algorithmic decision making in public services: A CSCW-perspective
Flügge, Asbjørn William Ammitzbøll, Hildebrandt, Thomas Troels & Møller, Naja Holten, 2020, GROUP 2020 - Companion of the 2020 ACM International Conference on Supporting Group Work. Association for Computing Machinery, p. 111-114 4 p.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
- Published
Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit
Debois, S., Hildebrandt, Thomas Troels, Marquard, M. & Slaats, Tijs, 2017, Business Process Management Cases: Digital Innovation and Business Transformation in Practice. Springer, p. 397-412 16 p. (Management for Professionals).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
The DCR Workbench: Declarative Choreographies for Collaborative Processes
Debois, S. & Hildebrandt, Thomas Troels, 1 Jun 2017, Behavioural Types: from Theory to Tools. Gay, S. & Ravara, A. (eds.). River Publishers, p. 99-124 26 p. (Communications of the A C M).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
- Published
Chain of Events: Modular Process Models for the Law
Debois, S., López, H. A., Slaats, Tijs, Andaloussi, A. A. & Hildebrandt, Thomas Troels, 2020, Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. Springer, Vol. 12546. p. 368-386 (Lecture Notes in Computer Science, Vol. 12546).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Bridging the valley of death: a success story on Danish funding schemes paving a path from technology readiness Level 1 to 9
Debois, S., Hildebrandt, Thomas Troels, Slaats, Tijs & Marquard, M., 2015, Proceedings of the Second International Workshop on Software Engineering Research and Industrial Practice. IEEE, p. 54-57 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Declarative Process Mining for DCR Graphs
Debois, S., Hildebrandt, Thomas Troels, Laursen, P. H. & Ulrik, K. R., 2017, Proceedings of the Symposium on Applied Computing: SAC '17. New York, NY, USA: Association for Computing Machinery, p. 759-764 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
A case for declarative process modelling: agile development of a grant application system.
Debois, S., Hildebrandt, Thomas Troels, Slaats, Tijs & Marquard, M., 2014, 2014 IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW). IEEE, p. 126-133 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Replication, refinement & reachability: complexity in dynamic condition-response graphs
Debois, S., Hildebrandt, Thomas Troels & Slaats, Tijs, 2018, In: Acta Informatica. 55, p. 489–520Research output: Contribution to journal › Journal article › Research › peer-review
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
Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans
Debois, S., Hildebrandt, Thomas Troels & Sandberg, L., 2016, In: Procedia Computer Science. 83, p. 1295–1300Research output: Contribution to journal › Conference article › Research › peer-review
- Published
RESEDA: Declaring live event-driven computations as reactive semi-structured data
Costa Seco, J., Debois, S., Hildebrandt, Thomas Troels & Slaats, Tijs, 14 Nov 2018, Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018. IEEE, p. 75-84 10 p. 8536151Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- 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
- Published
BERMUDA: Participatory Mapping of Domain Activities to Event Data via System Interfaces
Cosma, Paul, Hildebrandt, Thomas Troels, Gyldenkærne, C. H. & Slaats, Tijs, 2023, Process Mining Workshops - ICPM 2022 International Workshops, Revised Selected Papers. Montali, M., Senderovich, A. & Weidlich, M. (eds.). Springer, p. 127-139 (Lecture Notes in Business Information Processing, Vol. 468 LNBIP).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Modelling Cooperative Work at a Medical Department
Christensen, L. R. & Hildebrandt, Thomas Troels, 2017, C&T '17 Proceedings of the 8th International Conference on Communities and Technologies. Association for Computing Machinery, p. 46-55 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Refinement for Transition Systems with Responses
Carbone, M., Hildebrandt, Thomas Troels, Perrone, G. D. & Wasowski, A., 2012, Proceedings Fourth Workshop on Foundations of Interface Technologies: Electronic Proceedings in Theoretical Computer Science. EPTCS.. Vol. 87.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
A Logic for Choreographies
Carbone, M., Grohmann, D., Hildebrandt, Thomas Troels & López, H. A., 1 Oct 2011, In: Electronic Proceedings in Theoretical Computer Science.Research output: Contribution to journal › Journal article › Research › peer-review
ID: 191341554
Most downloads
-
943
downloads
What's in the Box? The Legal Requirement of Explainability in Computationally Aided Decision-Making in Public Administration
Research output: Working paper
Published -
359
downloads
Business process compliance using reference models of law
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
192
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