Thomas Troels Hildebrandt

Research output

Research output per year 2008 2008 2014 2016 2017 2018 2019 2019

• 16 Article in proceedings
• 5 Report
• 3 Book chapter
• 3 Journal article
• 4 More
  • 3 Conference article
  • 1 Working paper

Research output per year

Research output per year

Search results

• 2019

  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. (eds.). Springer, p. 129-147 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11535 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

• 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. (eds.). Springer, p. 475-481 7 p. (Lecture Notes in Business Information Processing, Vol. 342).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Public administration 100%
  • Eye tracking 82%
  6 Citations (Scopus)

• 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. (eds.). Springer, p. 69-84 (Lecture Notes in Business Information Processing, Vol. 352).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Process design 100%
  • Eye tracking 36%
  • Industry 13%
  8 Citations (Scopus)

• 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, (iCourts Working Paper Series; No. 162 ).

  Research output: Working paper › Research
• 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, p. 9-11 3 p. 8536098

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • case management 100%
  • digitalization 63%
  • worker 55%
  • regulation 41%
  • Denmark 33%
  2 Citations (Scopus)

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

  Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 2018, Business Process Management Cases. Springer, p. 397-412 16 p. (Communications of the A C M).

  Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  • Visualization 100%
  • Feedback 81%
  • Communication 65%
  25 Downloads (Pure)

• 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. (eds.). Springer, p. 31-47 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11080 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Semantics 100%
  5 Citations (Scopus)

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

  Debois, S., Hildebrandt, T. T. & Slaats, T., 1 Sept 2018, In: Acta Informatica. p. 1-32 32 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Formal languages 100%
  • Information systems 65%
  • Semantics 54%
  • Specifications 52%
  8 Citations (Scopus)

  40 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, p. 75-84 10 p. 8536151

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Industry 100%
  • Semantics 78%
  • Formal languages 71%
  • Spreadsheets 66%
  • Specifications 37%
  4 Citations (Scopus)

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

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

  Research output: Contribution to journal › Conference article › Research › peer-review

  • Mechanics 100%
  • Specifications 74%
  13 Citations (Scopus)

  5 Downloads (Pure)
• 2017

  Declarative Process Mining for DCR Graphs

  Debois, S., Hildebrandt, T. T., Laursen, P. H. & Ulrik, K. R., 3 Apr 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

  • Miners 100%
  • Modeling languages 93%
  13 Citations (Scopus)

  121 Downloads (Pure)

• Modelling Cooperative Work at a Medical Department

  Christensen, L. R. & Hildebrandt, T., 26 Jun 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

  2 Citations (Scopus)

  2 Downloads (Pure)

• The DCR Workbench: Declarative Choreographies for Collaborative Processes

  Debois, S. & Hildebrandt, T., 31 Jul 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

  • Visualization 100%
  • Concretes 87%
  • Specifications 83%
  9 Citations (Scopus)
• 2016

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

  Normann, H., Johansen, C. & Hildebrandt, T., 1 Apr 2016, In: Journal of Logic and Algebraic Programming. 85, 3, p. 368-398 30 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  • Concurrency 100%
  • Process Calculi 92%
  • Diamonds 82%
  • Refinement 72%
  • Calculus 65%
  1 Citation (Scopus)

  15 Downloads (Pure)

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

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

  Research output: Contribution to journal › Conference article › Research › peer-review

  6 Citations (Scopus)

  32 Downloads (Pure)

• Expert System

  Hildebrandt, T. T. & Cattani, G. L., 23 Oct 2016, The International Encyclopedia of Communication Theory and Philosophy. Jensen, K. B., Craig, R. T., Pooley, J. D. & Rothenbuhler, E. W. (eds.). Wiley, Vol. 1-4. (The Wiley Blackwell-ICA International Encyclopedias of Communication).

  Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Communication

  • Expert systems 100%
  • Knowledge based systems 19%
  • Intelligent systems 18%
  • Computer systems 15%
  • Ontology 15%
• 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., 19 Aug 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

  5 Citations (Scopus)
• 2014

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

  Debois, S., Hildebrandt, T., Slaats, T. & Marquard, M., 2 Dec 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

  • Industry 100%
  18 Citations (Scopus)

• Concurrency Models with Causality and Events as Psi-calculi

  Hildebrandt, T., Prisacariu, C. & Norman, H., 26 Oct 2014, Proceedings 7th Interaction and Concurrency Experience. Lanese, I., Lluch-Lafuente, A., Sokolova, A. & Vieira, H. T. (eds.). Vol. 166. p. 4-20 17 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 166).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  1 Citation (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. (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

  • Labels 100%
  • Message passing 62%
  • Acoustic waves 46%
  4 Citations (Scopus)
• 2013

  A verification environment for bigraphs

  Perrone, G. D., Debois, S. & Hildebrandt, T., Jun 2013, In: Innovations in Systems and Software Engineering. 9, 2, p. 95-104

  Research output: Contribution to journal › Journal article › Research › peer-review

  16 Citations (Scopus)

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

  Hildebrandt, T., Mukkamala, R. R., Slaats, T. & 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

  • Work Flow 100%
  • Graph in graph theory 31%
  • Liveness 26%
  • Deadline 26%
  • Process Management 17%
  34 Citations (Scopus)
• 2012

  A process-oriented event-based programming language

  Hildebrandt, T. & 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

  • Computer programming languages 100%
  • Web browsers 42%
  • Specifications 23%
  • Industry 15%
  3 Citations (Scopus)

• Refinement for Transition Systems with Responses

  Carbone, M., Hildebrandt, T., Perrone, G. D. & Wasowski, A., 15 Jul 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

  • Specifications 100%
  3 Citations (Scopus)
• 2010

  Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs

  Hildebrandt, T. & 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

  • Directed graphs 100%
  74 Downloads (Pure)

• From Dynamic Condition Response Structures to Büchi Automata

  Mukkamala, R. R. & Hildebrandt, T., 2010, From Dynamic Condition Response Structures to Büchi Automata. IEEE Computer Society Press, Vol. 0. p. 187-190 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Specifications 100%
  11 Citations (Scopus)

  59 Downloads (Pure)
• 2009

  Higher-Order Contexts via Games and the Int-Construction

  Birkedal, L., Bundgaard, M., Debois, S., Hildebrandt, T. & Grohmann, D., 2009, IT-Universitetet i København. (I T University. Technical Report Series).

  Research output: Book/Report › Report › Research
• 2008

  Formalizing WS-BPEL and Higher Order Mobile Embedded Business Processes in the Bigraphical Programming Languages (BPL) Tool

  Bundgaard, M., Glenstrup, A. J., Hildebrandt, T., Højsgaard, E. & Niss, H., 2008, Copenhagen: IT-Universitetet i København. 45 p. (I T University. Technical Report Series; No. TR-2008-103).

  Research output: Book/Report › Report › Research

• On Encoding the Pi-calculus in Higher-Order Calculi

  Bundgaard, M., Hildebrandt, T. & Godskesen, J. C., 2008, IT University of Copenhagen: IT-Universitetet i København. 24 p. (I T University. Technical Report Series).

  Research output: Book/Report › Report › Research

• Preliminary Proceedings 15th International Workshop on Expressiveness in Concurrency: EXPRESS'08 Toronto, Canada 23 August 2008

  Gorla, D. (ed.) & Hildebrandt, T. (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

• Type Systems for Bigraphs

  Elsborg, E., Hildebrandt, T. & 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