Thomas Troels Hildebrandt

Publikation

Publikationer pr. år 2008 2008 2014 2017 2018 2019 2020 2021 2022 2023 2024 2024

• 453 Citationer
• 36 Konferencebidrag i proceedings
• 11 Tidsskriftartikel
• 5 Rapport
• 4 Bidrag til bog/antologi
• 5 Mere
  • 3 Konferenceartikel
  • 1 Leder
  • 1 Working paper

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2024

  Discovery of Object-Centric Declarative Models

  Christfort, A. K. F., Rivkin, A., Fahland, D., Hildebrandt, T. T. & Slaats, T., 2024, Proceedings - 2024 6th International Conference on Process Mining, ICPM 2024. Lu, X., Pufahl, L. & Song, M. (red.). Institute of Electrical and Electronics Engineers Inc., s. 137-144 8 s. (Proceedings - 2024 6th International Conference on Process Mining, ICPM 2024).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Improving Simplicity by Discovering Nested Groups in Declarative Models

  Cosma, V. P., Christfort, A. K. F., Hildebrandt, T. T., Lu, X., Reijers, H. A. & Slaats, T., 2024, Advanced Information Systems Engineering - 36th International Conference, CAiSE 2024, Proceedings. Guizzardi, G., Santoro, F., Mouratidis, H. & Soffer, P. (red.). Springer, s. 440-455 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14663 LNCS).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil
  2 Citationer (Scopus)

  2 Downloads (Pure)

• Proactive enforcement of provisions and obligations

  Basin, D., Debois, S. & Hildebrandt, T., 2024, I: Journal of Computer Security. 32, 3, s. 247-289

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

• Safe design and evolution of smart contracts using dynamic condition response graphs to model generic role-based behaviors

  Xu, Y., Slaats, T., Düdder, B., Troels Hildebrandt, T. & Van Cutsem, T., 2024, (E-pub ahead of print) I: Journal of software: Evolution and Process.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

• The Right to Transparency in Public Governance: Freedom of Information and the Use of Artificial Intelligence by Public Agencies

  Olsen, H. P., Hildebrandt, T. T., Wiesener, C., Larsen, M. S. & Ammitzbøll Flügge, A. W., 12 mar. 2024, I: Digital Government: Research and Practice. 5, 1, 15 s., 8.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil
  1 Citationer (Scopus)

  35 Downloads (Pure)
• 2023

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

  Xu, Y., Slaats, T., Düdder, B. & Hildebrandt, T. T., maj 2023, 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP). IEEE, s. 70-80

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Fil
  1 Citationer (Scopus)

• BERMUDA: Participatory Mapping of Domain Activities to Event Data via System Interfaces

  Cosma, V. P., Hildebrandt, T. T., Gyldenkærne, C. H. & Slaats, T., 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 › peer review

  Åben adgang

  Fil
  15 Downloads (Pure)

• Data-Dependent Confidentiality in DCR Graphs

  Geraldo, E., Seco, J. C. & Hildebrandt, T., 2023, Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023). Association for Computing Machinery, 13 s. 7

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil
  5 Downloads (Pure)

• Declarative Choreographies with Time and Data

  Hildebrandt, T. T., López, H. A. & Slaats, T., 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 › peer review

  Fil
  3 Citationer (Scopus)

• Transforming Dynamic Condition Response Graphs to Safe Petri Nets

  Cosma, V. P., Hildebrandt, T. T. & Slaats, T., 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 › peer review

  Fil
  1 Downloads (Pure)
• 2022

  Decision Modelling in Timed Dynamic Condition Response Graphs with Data

  Hildebrandt, T. T., Normann, H., Marquard, M., Debois, S. & Slaats, T., 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 › peer review
  8 Citationer (Scopus)

• DisCoveR: accurate and efficient discovery of declarative process models

  Back, C. O., Slaats, T., Hildebrandt, T. T. & Marquard, M., 2022, I: International Journal on Software Tools for Technology Transfer. 24, 4, s. 563–587

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
  10 Citationer (Scopus)

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

  Zuckmantel, T., Duedder, B., Zhou, Y. & Hildebrandt, T. T., 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/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil
  39 Downloads (Pure)

• Selected Papers of BPM 2019 - Editorial to the Special Issue

  Hildebrandt, T., Dongen, B. F. V., Röglinger, M. & Mendling, J., 2022, I: Information Systems. 104, 2 s., 101902.

  Publikation: Bidrag til tidsskrift › Leder › Forskning
• 2021

  Confronting Asylum Decision-making through Prototyping Sensemaking of Data and Participation

  Nielsen, T. R., Katsikouli, P., Høgenhaug, A. H., Byrne, W. H., Gammeltoft-Hansen, T., Slaats, T., Olsen, H. P., Hildebrandt, T. T. & Møller, N. L. H., 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 › peer review

  Åben adgang

  Fil
  219 Downloads (Pure)

• 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, T., Hildebrandt, T. T. & Weber, B., 2021, I: Software and Systems Modeling. 20, s. 1437–1464

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil
  15 Citationer (Scopus)

  28 Downloads (Pure)

• ReGraDa: Reactive Graph Data

  Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, T., Norman, H. & Slaats, T., 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 › peer review
  5 Citationer (Scopus)

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

  Petersen, A. C. M., Cohn, M. L., Hildebrandt, T. T. & Møller, N. H., 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/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil
  4 Citationer (Scopus)

  60 Downloads (Pure)

• What’s in the Box? The Legal Requirement to Explain Computationally Aided Decision-Making in Public Administration

  Olsen, H. P., Slosser, J. L. & Hildebrandt, T. T., 2021, Constitutional Challenges in the Algorithmic Society. Cambridge University Press, s. 219-235

  Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

  Åben adgang

  Fil
  109 Downloads (Pure)

• Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes

  Normann, H., Debois, S., Slaats, T. & Hildebrandt, T. T., 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 › peer review
  2 Citationer (Scopus)
• 2020

  Algorithmic decision making in public services: A CSCW-perspective

  Flügge, A. A., Hildebrandt, T. & Møller, N. H., 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 › peer review
  9 Citationer (Scopus)

• Business process compliance using reference models of law

  López, H. A., Debois, S., Slaats, T. & Hildebrandt, T. T., 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 › peer review

  Åben adgang

  Fil
  8 Citationer (Scopus)

  375 Downloads (Pure)

• Chain of Events: Modular Process Models for the Law

  Debois, S., López, H. A., Slaats, T., Andaloussi, A. A. & Hildebrandt, T. T., 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 › peer review
  5 Citationer (Scopus)

• EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers

  Hildebrandt, T. T., Andaloussi, A. A., Christensen, L. R., Debois, S., Healy, N. P., López, H. A., Marquard, M., Møller, N. L. H., Petersen, A. C. M., Slaats, T. & 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/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil
  15 Citationer (Scopus)

  23 Downloads (Pure)

• Shifting Concepts of Value: Designing Algorithmic Decision-Support Systems for Public Services

  Møller, N. L. H., Shklovski, I. & Hildebrandt, T. T., 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/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil
  129 Downloads (Pure)

• The Role of Discretion in the Age of Automation

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
  32 Citationer (Scopus)
• 2019

  A stable non-interleaving early operational semantics for the pi-calculus

  Hildebrandt, T. T., 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 › peer review

  Åben adgang

  Fil
  7 Citationer (Scopus)

  158 Downloads (Pure)

• DCR-KiPN a hybrid modeling approach for knowledge-intensive processes

  Santoro, F., Slaats, T., Hildebrandt, T. T. & 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 › peer review

  Fil
  5 Citationer (Scopus)

• Declarative Choreographies and Liveness

  Hildebrandt, T. T., Slaats, T., 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 › peer review
  7 Citationer (Scopus)

• Evaluating the Understandability of Hybrid Process Model Representations Using Eye Tracking: First Insights

  Abbad Andaloussi, A., Slaats, T., Burattin, A., Hildebrandt, T. T. & 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 › peer review

  Åben adgang

  Fil
  13 Citationer (Scopus)

  66 Downloads (Pure)

• Exploring the Understandability of a Hybrid Process Design Artifact Based on DCR Graphs

  Abbad Andaloussi, A., Burattin, A., Slaats, T., Petersen, A. C. M., Hildebrandt, T. T. & 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 › peer review

  Åben adgang

  Fil
  22 Citationer (Scopus)

  53 Downloads (Pure)

• What's in the Box? The Legal Requirement of Explainability in Computationally Aided Decision-Making in Public Administration

  Olsen, H. P., Slosser, J. L., Hildebrandt, T. T. & Wiesener, C., 2019, SSRN: Social Science Research Network, 28 s. (iCourts Working Paper Series; Nr. 162 ).

  Publikation: Working paper › Forskning

  Åben adgang

  Fil
  1025 Downloads (Pure)
• 2018

  EcoKnow: Effective, Co-Created & Compliant Adaptive Case Management for Knowledge Workers

  Hildebrandt, T. T., 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/rapport › Konferencebidrag i proceedings › Forskning › peer review
  3 Citationer (Scopus)

• Open to change: A theory for iterative test-driven modelling

  Slaats, T., Debois, S. & Hildebrandt, T., 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 › peer review
  19 Citationer (Scopus)

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

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil
  25 Citationer (Scopus)

  222 Downloads (Pure)

• RESEDA: Declaring live event-driven computations as reactive semi-structured data

  Costa Seco, J., Debois, S., Hildebrandt, T. & Slaats, T., 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/rapport › Konferencebidrag i proceedings › Forskning › peer review
  16 Citationer (Scopus)

• The Process Highlighter: From Texts to Declarative Processes and Back

  López-Acosta, H-A., Hildebrandt, T., Debois, S. & Marquard, M., 2018, I: CEUR Workshop Proceedings. s. 66-70 5 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil
  27 Citationer (Scopus)

  50 Downloads (Pure)
• 2017

  Declarative Process Mining for DCR Graphs

  Debois, S., Hildebrandt, T. T., 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 › peer review

  Åben adgang

  Fil
  21 Citationer (Scopus)

  312 Downloads (Pure)

• Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit

  Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 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 › peer review
  26 Downloads (Pure)

• Modelling Cooperative Work at a Medical Department

  Christensen, L. R. & Hildebrandt, T., 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 › peer review

  Åben adgang

  Fil
  2 Citationer (Scopus)

  31 Downloads (Pure)

• The DCR Workbench: Declarative Choreographies for Collaborative Processes

  Debois, S. & Hildebrandt, T., 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 › peer review

  Åben adgang
  15 Citationer (Scopus)
• 2016

  Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans

  Debois, S., Hildebrandt, T. & Sandberg, L., 2016, I: Procedia Computer Science. 83, s. 1295–1300

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil
  9 Citationer (Scopus)

  87 Downloads (Pure)

• Expert System

  Hildebrandt, T. T. & 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, T., Slaats, T. & 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 › peer review
  11 Citationer (Scopus)

• Declarative event based models of concurrency and refinement in psi-calculi

  Normann, H., Johansen, C. & Hildebrandt, T., 2015, I: Journal of Logic and Algebraic Programming. 85, 3, s. 368-398 30 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil
  1 Citationer (Scopus)

  30 Downloads (Pure)
• 2014

  A case for declarative process modelling: agile development of a grant application system.

  Debois, S., Hildebrandt, T., Slaats, T. & 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 › peer review
  21 Citationer (Scopus)

• Concurrency Models with Causality and Events as Psi-calculi

  Hildebrandt, T., 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 › peer review
  1 Citationer (Scopus)

• Type checking liveness for collaborative processes with bounded and unbounded recursion

  Debois, S., Hildebrandt, T., Slaats, T. & 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 › peer review
  4 Citationer (Scopus)
• 2013

  A verification environment for bigraphs

  Bidragets oversatte titel: Et verifikationsmiljø for bigraferPerrone, G. D., Debois, S. & Hildebrandt, T., 2013, I: Innovations in Systems and Software Engineering. 9, 2, s. 95-104

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
  21 Citationer (Scopus)

• Contracts for cross-organizational workflows as timed dynamic condition response graphs

  Hildebrandt, T., Mukkamala, R. R., Slaats, T. & 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 › peer review
  58 Citationer (Scopus)