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
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
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
- 2018
- 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
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
- 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
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
- Udgivet
Open to change: A theory for iterative test-driven modelling
Slaats, Tijs, Debois, S. & Hildebrandt, Thomas Troels, 2018, Business Process Management - 16th International Conference, BPM 2018, Proceedings. Montali, M., Weber, I., Weske, M. & vom Brocke, J. (red.). Springer, s. 31-47 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11080 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- 2017
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
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
- 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
- 2016
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
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
- 2015
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 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
- 2014
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
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
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
- 2013
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
A verification environment for bigraphs
Perrone, G. D., Debois, S. & Hildebrandt, Thomas Troels, 2013, I: Innovations in Systems and Software Engineering. 9, 2, s. 95-104Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2012
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
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
- 2011
- 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
- 2010
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
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