Thomas Troels Hildebrandt
Professor
- 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
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 how users engage with hybrid process artifacts based on declarative process models: a behavioral analysis based on eye-tracking and think-aloud
Abbad Andaloussi, A., Zerbato, F., Burattin, A., Slaats, Tijs, Hildebrandt, Thomas Troels & Weber, B., 2021, I: Software and Systems Modeling. 20, s. 1437–1464Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
DisCoveR: accurate and efficient discovery of declarative process models
Back, C.O., Slaats, Tijs, Hildebrandt, Thomas Troels & Marquard, M., 2022, I: International Journal on Software Tools for Technology Transfer. 24, 4, s. 563–587Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Higher-Order Contexts via Games and the Int-Construction
Birkedal, L., Bundgaard, M., Debois, S., Hildebrandt, Thomas Troels & Grohmann, D., 2009, IT-Universitetet i København. (I T University. Technical Report Series).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Formalizing WS-BPEL and Higher Order Mobile Embedded Business Processes in the Bigraphical Programming Languages (BPL) Tool
Bundgaard, M., Glenstrup, A. J., Hildebrandt, Thomas Troels, Højsgaard, E. & Niss, H., 2008, Copenhagen: IT-Universitetet i København. 45 s. (I T University. Technical Report Series; Nr. TR-2008-103).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
On Encoding the Pi-calculus in Higher-Order Calculi
Bundgaard, M., Hildebrandt, Thomas Troels & Godskesen, J. C., 2008, IT University of Copenhagen: IT-Universitetet i København. 24 s. (I T University. Technical Report Series).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
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.. Bind 87.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
A Logic for Choreographies
Carbone, M., Grohmann, D., Hildebrandt, Thomas Troels & López, H. A., 1 okt. 2011, I: Electronic Proceedings in Theoretical Computer Science.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
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, s. 46-55 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 127-139 (Lecture Notes in Business Information Processing, Bind 468 LNBIP).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 417-439 23 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13929 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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, s. 75-84 10 s. 8536151Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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, s. 397-412 16 s. (Management for Professionals).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
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. (red.). River Publishers, s. 99-124 26 s. (Communications of the A C M).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
- Udgivet
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, Bind 12546. s. 368-386 (Lecture Notes in Computer Science, Bind 12546).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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, s. 54-57 4 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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, s. 759-764 6 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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, s. 126-133 8 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Replication, refinement & reachability: complexity in dynamic condition-response graphs
Debois, S., Hildebrandt, Thomas Troels & Slaats, Tijs, 2018, I: Acta Informatica. 55, s. 489–520Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans
Debois, S., Hildebrandt, Thomas Troels & Sandberg, L., 2016, I: Procedia Computer Science. 83, s. 1295–1300Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
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. (red.). Springer, s. 1-16 16 s. (Lecture notes in computer science, Bind 8461).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Type Systems for Bigraphs
Elsborg, E., Hildebrandt, Thomas Troels & Sangiorgi, D., 2008, Copenhagen: IT-Universitetet i København. 39 s. (I T University. Technical Report Series; Nr. TR-2008-110).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
- Udgivet
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, s. 111-114 4 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
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. (red.). Springer, s. 188-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12717 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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