Comparing Transition Systems with Independence and Asynchronous Transition Systems. - Thomas T. Hildebrandt; Vladimiro Sassone (CONCUR, 1996)

Transition systems with independence and multi-arcs. - Thomas T. Hildebrandt; Vladimiro Sassone (Partial Order Methods in Verification, 1996)

On Plain and Hereditary History-Preserving Bisimulation. - Sibylle B. Fröschle; Thomas T. Hildebrandt (MFCS, 1999)

A Fully abstract presheaf semantics for SCCS with finite delay. - Thomas T. Hildebrandt (CTCS, 1999)

Categorical Models for Fairness: Completion vs Delay. - Thomas T. Hildebrandt (MFCSIT, 2000)

A Calculus of Mobile Resources. - Jens Chr. Godskesen; Thomas T. Hildebrandt; Vladimiro Sassone (CONCUR, 2002)

Preface. - Thomas T. Hildebrandt; Alexander Kurz 001 (CMCIM/GETCO@CONCUR, 2003)

Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay. - Thomas T. Hildebrandt (Theor. Comput. Sci., 2003)

A relational model of non-deterministic dataflow. - Thomas T. Hildebrandt; Prakash Panangaden; Glynn Winskel (Math. Struct. Comput. Sci., 2004)

Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names. - Jens Chr. Godskesen; Thomas T. Hildebrandt (FSTTCS, 2005)

Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names. - Mikkel Bundgaard; Thomas T. Hildebrandt (GT-VC@CONCUR, 2005)

Distributed Reactive XML. - Thomas T. Hildebrandt; Henning Niss; Martin Olsen; Jacob W. Winther (MTCoord@COORDINATION, 2005)

Sortings for Reactive Systems. - Lars Birkedal; Søren Debois; Thomas T. Hildebrandt (CONCUR, 2006)

Formalising Business Process Execution with Bigraphs and Reactive XML. - Thomas T. Hildebrandt; Henning Niss; Martin Olsen (COORDINATION, 2006)

Bigraphical Models of Context-Aware Systems. - Lars Birkedal; Søren Debois; Ebbe Elsborg; Thomas T. Hildebrandt; Henning Niss (FoSSaCS, 2006)

A CPS encoding of name-passing in Higher-order mobile embedded resources. - Mikkel Bundgaard; Thomas T. Hildebrandt; Jens Chr. Godskesen (Theor. Comput. Sci., 2006)

Preface. - Roberto M. Amadio; Thomas T. Hildebrandt (EXPRESS, 2007)

Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources. - Mikkel Bundgaard; Thomas T. Hildebrandt; Jens Chr. Godskesen (SecCO@CONCUR, 2007)

From Paper Based Clinical Practice Guidelines to Declarative Workflow Management. - Karen Marie Lyng; Thomas T. Hildebrandt; Raghava Rao Mukkamala (Business Process Management Workshops, 2008)

On the Construction of Sorted Reactive Systems. - Lars Birkedal; Søren Debois; Thomas T. Hildebrandt (CONCUR, 2008)

Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. - Mikkel Bundgaard; Arne J. Glenstrup; Thomas T. Hildebrandt; Espen Højsgaard; Henning Niss (COORDINATION, 2008)

The Resultmaker Online Consultant: From Declarative Workflow Management in Practice to LTL. - Raghava Rao Mukkamala; Thomas T. Hildebrandt; Janus Boris Tøth (EDOCW, 2008)

Type Systems for Bigraphs. - Ebbe Elsborg; Thomas T. Hildebrandt; Davide Sangiorgi (TGC, 2008)

Preface. - Thomas T. Hildebrandt; Daniele Gorla (EXPRESS, 2008)

Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. - Thomas T. Hildebrandt; Hugo A. López 001 (ICLP, 2009)

A standard-driven implementaion of WS-BPEL 2.0. - Tim Hallwyl; Fritz Henglein; Thomas T. Hildebrandt (SAC, 2010)

From Dynamic Condition Response Structures to Büchi Automata. - Raghava Rao Mukkamala; Thomas T. Hildebrandt (TASE, 2010)

Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. - David Raymond Christiansen; Marco Carbone; Thomas T. Hildebrandt (WS-FM, 2010)

A Logic for Choreographies - Marco Carbone; Davide Grohmann; Thomas T. Hildebrandt; Hugo A. López 001 (PLACES, 2010)

Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs - Thomas T. Hildebrandt; Raghava Rao Mukkamala (PLACES, 2010)

Preface to special issue: Expressiveness in Concurrency 2008. - Thomas T. Hildebrandt; Daniele Gorla (Math. Struct. Comput. Sci., 2010)

Designing a Cross-Organizational Case Management System Using Dynamic Condition Response Graphs. - Thomas T. Hildebrandt; Raghava Rao Mukkamala; Tijs Slaats (EDOC, 2011)

Declarative Modelling and Safe Distribution of Healthcare Workflows. - Thomas T. Hildebrandt; Raghava Rao Mukkamala; Tijs Slaats (FHIES, 2011)

Nested Dynamic Condition Response Graphs. - Thomas T. Hildebrandt; Raghava Rao Mukkamala; Tijs Slaats (FSEN, 2011)

Safe Distribution of Declarative Processes. - Thomas T. Hildebrandt; Raghava Rao Mukkamala; Tijs Slaats (SEFM, 2011)

Bigraphical Refinement - Gian Perrone; Søren Debois; Thomas T. Hildebrandt (Refine@FM, 2011)

A process-oriented event-based programming language. - Thomas T. Hildebrandt; Francesco Zanitti (DEBS, 2012)

Trustworthy Pervasive Healthcare Services via Multiparty Session Types. - Anders Starcke Henriksen; Lasse Nielsen; Thomas T. Hildebrandt; Nobuko Yoshida; Fritz Henglein (FHIES, 2012)

A model checker for Bigraphs. - Gian Perrone; Søren Debois; Thomas T. Hildebrandt (SAC, 2012)

Refinement for Transition Systems with Responses - Marco Carbone; Thomas T. Hildebrandt; Gian Perrone; Andrzej Wasowski (FIT, 2012)

Exformatics Declarative Case Management Workflows as DCR Graphs. - Tijs Slaats; Raghava Rao Mukkamala; Thomas T. Hildebrandt; Morten Marquard (BPM, 2013)

Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs. - Raghava Rao Mukkamala; Thomas T. Hildebrandt; Tijs Slaats (EDOC, 2013)

ICT-powered Health Care Processes - (Position Paper). - Marco Carbone; Anders Skovbo Christensen; Flemming Nielson; Hanne Riis Nielson; Thomas T. Hildebrandt; Martin Sølvkjær (FHIES, 2013)

Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs. - Thomas T. Hildebrandt; Raghava Rao Mukkamala; Tijs Slaats; Francesco Zanitti (FOAL, 2013)

Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management. - Thomas T. Hildebrandt; Morten Marquard; Raghava Rao Mukkamala; Tijs Slaats (OTM Workshops, 2013)

Towards Global and Local Types for Adaptation. - Mario Bravetti; Marco Carbone; Thomas T. Hildebrandt; Ivan Lanese; Jacopo Mauro; Jorge A. Pérez 001; Gianluigi Zavattaro (SEFM Workshops, 2013)

Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems. - Wusheng Wang; Thomas T. Hildebrandt (WS-FM, 2013)

Big Red: A Development Environment for Bigraphs. - Alexander John Faithfull; Gian Perrone; Thomas T. Hildebrandt (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

A verification environment for bigraphs. - Gian Perrone; Søren Debois; Thomas T. Hildebrandt (Innov. Syst. Softw. Eng., 2013)

Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs. - Thomas T. Hildebrandt; Raghava Rao Mukkamala; Tijs Slaats; Francesco Zanitti (J. Log. Algebraic Methods Program., 2013)

Hierarchical Declarative Modelling with Refinement and Sub-processes. - Søren Debois; Thomas T. Hildebrandt; Tijs Slaats (BPM, 2014)

A Case for Declarative Process Modelling: Agile Development of a Grant Application System. - Søren Debois; Thomas T. Hildebrandt; Tijs Slaats; Morten Marquard (EDOC Workshops, 2014)

Modeling and Analysis of Mobile Cloud Computing Based on Bigraph Theory. - Lian Yu; Wei-Tek Tsai; Xin Wei; Jerry Zeyu Gao; Thomas T. Hildebrandt; Xiao Qun Guo (MobileCloud, 2014)

Concurrency Models with Causality and Events as Psi-calculi. - Håkon Normann; Cristian Prisacariu; Thomas T. Hildebrandt (ICE, 2014)

Preface. - Gian Luca Cattani; Thomas T. Hildebrandt; Daniele Varacca (Theor. Comput. Sci., 2014)

Hybrid process technologies in the financial sector. - Søren Debois; Thomas T. Hildebrandt; Morten Marquard; Tijs Slaats (BPM (Industry Track), 2015)

Concurrency and Asynchrony in Declarative Workflows. - Søren Debois; Thomas T. Hildebrandt; Tijs Slaats (BPM, 2015)

Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes. - Søren Debois; Thomas T. Hildebrandt; Tijs Slaats (FM, 2015)

Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9. - Søren Debois; Thomas T. Hildebrandt; Morten Marquard; Tijs Slaats (SER&IP@ICSE, 2015)

Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans. - Søren Debois; Thomas T. Hildebrandt; Lene Sandberg (ANT/SEIT, 2016)

The DCR Graphs Process Portal. - Søren Debois; Thomas T. Hildebrandt; Morten Marquard; Tijs Slaats (BPM (Demos), 2016)

In the Nick of Time: Proactive Prevention of Obligation Violations. - David A. Basin; Søren Debois; Thomas T. Hildebrandt (CSF, 2016)

Deriving Consistent GSM Schemas from DCR Graphs. - Rik Eshuis; Søren Debois; Tijs Slaats; Thomas T. Hildebrandt (ICSOC, 2016)

Flexible, adaptable, and compliant business systems with dynamic condition response graphs. - Thomas T. Hildebrandt (ForMABS@ASE, 2016)

Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. - Søren Debois; Thomas T. Hildebrandt; Tijs Slaats; Nobuko Yoshida (Log. Methods Comput. Sci., 2016)

Editorial. - Marco Carbone; Thomas T. Hildebrandt; Joachim Parrow; Matthias Weidlich 001 (Formal Aspects Comput., 2016)

Declarative event based models of concurrency and refinement in psi-calculi. - Håkon Normann; Christian Johansen; Thomas T. Hildebrandt (J. Log. Algebraic Methods Program., 2016)

Managing Complexity in Process Digitalisation with Dynamic Condition Response Graphs. - Thomas T. Hildebrandt; Søren Debois; Tijs Slaats; Morten Marquard (BIR Workshops, 2017)

Digitalising the General Data Protection Regulation with Dynamic Condition Response Graphs. - Emil Heuck; Thomas T. Hildebrandt; Rasmus Kiaerulff Lerche; Morten Marquard; Håkon Normann; Rasmus Iven Strømsted; Barbara Weber (BPM (Industry Track), 2017)

Modelling Cooperative Work at a Medical Department: Full paper. - Lars Rune Christensen; Thomas T. Hildebrandt (C&T, 2017)

Declarative process mining for DCR graphs. - Søren Debois; Thomas T. Hildebrandt; Paw Høvsgaard Laursen; Kenneth Ry Ulrik (SAC, 2017)

Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit. - Søren Debois; Thomas T. Hildebrandt; Morten Marquard; Tijs Slaats (Business Process Management Cases, 2018)

Evaluating the Understandability of Hybrid Process Model Representations Using Eye Tracking: First Insights. - Amine Abbad Andaloussi; Tijs Slaats; Andrea Burattin; Thomas T. Hildebrandt; Barbara Weber (Business Process Management Workshops, 2018)

The Process Highlighter: From Texts to Declarative Processes and Back. - Hugo A. López 001; Søren Debois; Thomas T. Hildebrandt; Morten Marquard (BPM (Dissertation/Demos/Industry), 2018)

Open to Change: A Theory for Iterative Test-Driven Modelling. - Tijs Slaats; Søren Debois; Thomas T. Hildebrandt (BPM, 2018)

EcoKnow: Effective, Co-Created & Compliant Adaptive Case Management for Knowledge Workers. - Thomas Troels Hildebrandt (EDOC Workshops, 2018)

RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta. - João Costa Seco; Søren Debois; Thomas T. Hildebrandt; Tijs Slaats (EDOC, 2018)

On Purpose and by Necessity: Compliance Under the GDPR. - David A. Basin; Søren Debois; Thomas T. Hildebrandt (Financial Cryptography, 2018)

Replication, refinement & reachability: complexity in dynamic condition-response graphs. - Søren Debois; Thomas T. Hildebrandt; Tijs Slaats (Acta Informatica, 2018)

Guest editors' foreword. - Thomas T. Hildebrandt; Marino Miculan (J. Log. Algebraic Methods Program., 2018)

Exploring the Understandability of a Hybrid Process Design Artifact Based on DCR Graphs. - Amine Abbad Andaloussi; Andrea Burattin; Tijs Slaats; Anette Chelina Møller Petersen; Thomas T. Hildebrandt; Barbara Weber (BPMDS/EMMSAD@CAiSE, 2019)

DCR-KiPN a Hybrid Modeling Approach for Knowledge-Intensive Processes. - Flávia Maria Santoro; Tijs Slaats; Thomas T. Hildebrandt; Fernanda Baião (ER, 2019)

Declarative Choreographies and Liveness. - Thomas T. Hildebrandt; Tijs Slaats; Hugo A. López 001; Søren Debois; Marco Carbone (FORTE, 2019)

A stable non-interleaving early operational semantics for the pi-calculus. - Thomas Troels Hildebrandt; Christian Johansen; Håkon Normann (J. Log. Algebraic Methods Program., 2019)

Business Process Compliance Using Reference Models of Law. - Hugo A. López 001; Søren Debois; Tijs Slaats; Thomas T. Hildebrandt (FASE, 2020)

Algorithmic Decision Making in Public Services: A CSCW-Perspective. - Asbjørn William Ammitzbøll Flügge; Thomas T. Hildebrandt; Naja L. Holten Møller (GROUP (Companion), 2020)

Chain of Events: Modular Process Models for the Law. - Søren Debois; Hugo A. López 001; Tijs Slaats; Amine Abbad Andaloussi; Thomas T. Hildebrandt (IFM, 2020)

EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers. - Thomas T. Hildebrandt; Amine Abbad Andaloussi; Lars Rune Christensen; Søren Debois; Nicklas Pape Healy; Hugo A. López 001; Morten Marquard; Naja L. Holten Møller; Anette C. M. Petersen; Tijs Slaats; Barbara Weber (ICSSP, 2020)

Shifting Concepts of Value: Designing Algorithmic Decision-Support Systems for Public Services. - Naja L. Holten Møller; Irina Shklovski; Thomas T. Hildebrandt (NordiCHI, 2020)

DisCoveR: Accurate & Efficient Discovery of Declarative Process Models. - Christoffer Olling Back; Tijs Slaats; Thomas Troels Hildebrandt; Morten Marquard (CoRR, 2020)

The Role of Discretion in the Age of Automation. - Anette Chelina Møller Petersen; Lars Rune Christensen; Thomas T. Hildebrandt (Comput. Support. Cooperative Work., 2020)

Decision Modelling in Timed Dynamic Condition Response Graphs with Data. - Thomas T. Hildebrandt; Håkon Normann; Morten Marquard; Søren Debois; Tijs Slaats (Business Process Management Workshops, 2021)

Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes. - Håkon Normann; Søren Debois; Tijs Slaats; Thomas T. Hildebrandt (BPM, 2021)

'Thinking Problematically' as a Resource for AI Design in Politicised Contexts. - Anette C. M. Petersen; Marisa Leavitt Cohn; Thomas T. Hildebrandt; Naja L. Holten Møller (CHItaly, 2021)

ReGraDa: Reactive Graph Data. - Leandro Galrinho; João Costa Seco; Søren Debois; Thomas T. Hildebrandt; Håkon Normann; Tijs Slaats (COORDINATION, 2021)

Confronting Asylum Decision-making through Prototyping Sensemaking of Data and Participation. - Trine Rask Nielsen; Panagiota Katsikouli; Anna Højberg Høgenhaug; William H. Byrne; Thomas Gammeltoft-Hansen; Tijs Slaats; Henrik Palmer Olsen; Thomas Troels Hildebrandt; Naja L. Holten Møller (ECSCW, 2021)

BERMUDA: Towards Maintainable Traceability of Events for Trustworthy Analysis of Non-process-aware Information Systems. - Vlad Paul Cosma; Thomas T. Hildebrandt; Tijs Slaats (EMISA Forum, 2021)

Street-Level Algorithms and AI in Bureaucratic Decision-Making: A Caseworker Perspective. - Asbjørn Ammitzbøll Flügge; Thomas T. Hildebrandt; Naja L. Holten Møller (Proc. ACM Hum. Comput. Interact., 2021)

"We Would Never Write That Down": Classifications of Unemployed and Data Challenges for AI. - Anette C. M. Petersen; Lars Rune Christensen; Richard Harper 001; Thomas T. Hildebrandt (Proc. ACM Hum. Comput. Interact., 2021)

Exploring how users engage with hybrid process artifacts based on declarative process models: a behavioral analysis based on eye-tracking and think-aloud. - Amine Abbad Andaloussi; Francesca Zerbato; Andrea Burattin; Tijs Slaats; Thomas T. Hildebrandt; Barbara Weber (Softw. Syst. Model., 2021)

Event-based data-centric semantics for consistent data management in microservices. - Tilman Zuckmantel; Yongluan Zhou; Boris Düdder; Thomas T. Hildebrandt (DEBS, 2022)

BERMUDA: Participatory Mapping of Domain Activities to Event Data via System Interfaces. - Vlad Paul Cosma; Thomas T. Hildebrandt; Christopher H. Gyldenkærne; Tijs Slaats (ICPM Workshops, 2022)

Selected Papers of BPM 2019 - Editorial to the Special Issue. - Thomas T. Hildebrandt; Boudewijn F. van Dongen; Maximilian Röglinger; Jan Mendling (Inf. Syst., 2022)

DisCoveR: accurate and efficient discovery of declarative process models. - Christoffer Olling Back; Tijs Slaats; Thomas Troels Hildebrandt; Morten Marquard (Int. J. Softw. Tools Technol. Transf., 2022)

Transforming Dynamic Condition Response Graphs to Safe Petri Nets. - Vlad Paul Cosma; Thomas T. Hildebrandt; Tijs Slaats (Petri Nets, 2023)

Declarative Choreographies with Time and Data. - Thomas T. Hildebrandt; Hugo A. López 001; Tijs Slaats (BPM (Forum), 2023)

Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs. - Yibin Xu; Tijs Slaats; Boris Düdder; Thomas Troels Hildebrandt (ICSSP, 2023)

Data-Dependent Confidentiality in DCR Graphs. - Eduardo Geraldo; João Costa Seco; Thomas T. Hildebrandt (PPDP, 2023)

Capturing Smart Contract Design with DCR Graphs. - Mojtaba Eshghie; Wolfgang Ahrendt; Cyrille Artho; Thomas Troels Hildebrandt; Gerardo Schneider (SEFM, 2023)

CLawK: Monitoring Business Processes in Smart Contracts. - Mojtaba Eshghie; Wolfgang Ahrendt; Cyrille Artho; Thomas Troels Hildebrandt; Gerardo Schneider (CoRR, 2023)

Improving Simplicity by Discovering Nested Groups in Declarative Models. - Vlad Paul Cosma; Axel Kjeld Fjelrad Christfort; Thomas T. Hildebrandt; Xixi Lu 001; Hajo A. Reijers; Tijs Slaats (CAiSE, 2024)

Discovery of Object-Centric Declarative Models. - Axel Kjeld Fjelrad Christfort; Andrey Rivkin; Dirk Fahland; Thomas T. Hildebrandt; Tijs Slaats (ICPM, 2024)

HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts. - Mojtaba Eshghie; Cyrille Artho; Hans Stammler; Wolfgang Ahrendt; Thomas T. Hildebrandt; Gerardo Schneider (ASE, 2024)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review. - Hugo A. López 001; Thomas T. Hildebrandt (CoRR, 2024)

Proactive enforcement of provisions and obligations. - David A. Basin; Søren Debois; Thomas T. Hildebrandt (J. Comput. Secur., 2024)

The Right to Transparency in Public Governance: Freedom of Information and the Use of Artificial Intelligence by Public Agencies. - Henrik Palmer Olsen; Thomas Troels Hildebrandt; Asbjørn William Ammitzbøll Flügge; Cornelius Wiesener; Matthias Smed Larsen (Digit. Gov. Res. Pract., 2024)

DACEO: Declarative Asynchronous Choreographies with General Data-Dependent Event-Ordering and Objects. - Tilman Zuckmantel; Yongluan Zhou; Boris Düdder; Thomas T. Hildebrandt (COORDINATION, 2025)

Human-Centric Hybrid-AI for No-Code Development. - Thiago Rocha Silva; Thomas Troels Hildebrandt (SIGSOFT FSE Companion, 2025)

Static and dynamic techniques for iterative test-driven modelling of Dynamic Condition Response Graphs. - Axel Kjeld Fjelrad Christfort; Vlad Paul Cosma; Søren Debois; Thomas T. Hildebrandt; Tijs Slaats (Data Knowl. Eng., 2025)

Safe design and evolution of smart contracts using dynamic condition response graphs to model generic role-based behaviors. - Yibin Xu; Tijs Slaats; Boris Düdder; Thomas Troels Hildebrandt; Tom Van Cutsem (J. Softw. Evol. Process., 2025)