Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Medlem af:


    1. 2023
    2. Udgivet

      Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs

      Xu, Yibin, Slaats, Tijs, Duedder, Boris & Hildebrandt, Thomas Troels, maj 2023, 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP). IEEE, s. 70-80

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    3. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    4. 2022
    5. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    6. 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–587

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    7. Udgivet

      Event-based data-centric semantics for consistent data management in microservices

      Zuckmantel, Tilman, Duedder, Boris, Zhou, Yongluan & Hildebrandt, Thomas Troels, 2022, DEBS '22: Proceedings of the 16th ACM International Conference on Distributed and Event-Based Systems. Association for Computing Machinery, s. 97-102

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    8. 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 tidsskriftLeder

    9. 2021
    10. Udgivet

      'Thinking problematically' as a resource for AI design in politicised contexts

      Petersen, A. C. M., Cohn, M. L., Hildebrandt, Thomas Troels & Møller, Naja Holten, 2021, CHItaly 2021 - Frontiers of HCI: Proceedings of the 14th Biannual Conference of the Italian SIGCHI Chapter. Association for Computing Machinery, s. 1-8 13 s. (ACM International Conference Proceeding Series).

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    11. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    12. 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–1464

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    13. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    14. 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-235

      Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

    15. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    16. 2020
    17. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    18. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    19. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    20. 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--164

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    21. 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 70

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    22. Udgivet

      The Role of Discretion in the Age of Automation

      Petersen, A. C. M., Christensen, L. R. & Hildebrandt, Thomas Troels, 2020, I: Computer Supported Cooperative Work: CSCW: An International Journal. 29, 3, s. 303-333 31 s.

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    23. 2019
    24. 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 tidsskriftTidsskriftartikelfagfællebedømt

    25. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    26. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    27. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    28. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    29. Udgivet
    30. 2018
    31. 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. 8536098

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    32. 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. 8536151

      Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    33. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    34. Udgivet

      Replication, refinement & reachability: complexity in dynamic condition-response graphs

      Debois, S., Hildebrandt, Thomas Troels & Slaats, Tijs, 2018, I: Acta Informatica. 55, s. 489–520

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    35. 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 tidsskriftKonferenceartikelfagfællebedømt

    36. 2017
    37. 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/rapportBidrag til bog/antologiForskningfagfællebedømt

    38. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    39. 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/rapportBidrag til bog/antologiForskningfagfællebedømt

    40. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    41. 2016
    42. 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/rapportBidrag til bog/antologiFormidling

    43. 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–1300

      Publikation: Bidrag til tidsskriftKonferenceartikelfagfællebedømt

    44. 2015
    45. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    46. 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 tidsskriftTidsskriftartikelfagfællebedømt

    47. 2014
    48. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    49. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    50. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    51. 2013
    52. 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-104

      Publikation: Bidrag til tidsskriftTidsskriftartikelfagfællebedømt

    53. 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 tidsskriftKonferenceartikelfagfællebedømt

    54. 2012
    55. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    56. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    57. 2011
    58. 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 tidsskriftTidsskriftartikelfagfællebedømt

    59. 2010
    60. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    61. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    62. 2009
    63. 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/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

    64. 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/rapportRapport

    65. 2008
    66. 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/rapportRapport

    Forrige 1 2 Næste

    ID: 191341554