Thomas T. Hildebrandt

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 43

Top Venues

BPM

BPM (Industry Track)

J. Log. Algebraic Methods Program.

FORTE

Publications

Vlad Paul Cosma, Axel Kjeld Fjelrad Christfort, Thomas T. Hildebrandt, Xixi Lu, Hajo A. Reijers, Tijs Slaats
Improving Simplicity by Discovering Nested Groups in Declarative Models. CAiSE (2024)
David A. Basin, Søren Debois, Thomas T. Hildebrandt
Proactive enforcement of provisions and obligations. J. Comput. Secur. 32 (3) (2024)
Eduardo Geraldo, João Costa Seco, Thomas T. Hildebrandt
Data-Dependent Confidentiality in DCR Graphs. PPDP (2023)
Thomas T. Hildebrandt, Hugo A. López, Tijs Slaats
Declarative Choreographies with Time and Data. BPM (Forum) (2023)
Vlad Paul Cosma, Thomas T. Hildebrandt, Tijs Slaats
Transforming Dynamic Condition Response Graphs to Safe Petri Nets. Petri Nets (2023)
Vlad Paul Cosma, Thomas T. Hildebrandt, Christopher H. Gyldenkærne, Tijs Slaats
BERMUDA: Participatory Mapping of Domain Activities to Event Data via System Interfaces. ICPM Workshops (2022)
Thomas T. Hildebrandt, Boudewijn F. van Dongen, Maximilian Röglinger, Jan Mendling
Selected Papers of BPM 2019 - Editorial to the Special Issue. Inf. Syst. 104 (2022)
Vlad Paul Cosma, Thomas T. Hildebrandt, Tijs Slaats
BERMUDA: Towards Maintainable Traceability of Events for Trustworthy Analysis of Non-process-aware Information Systems. EMISA Forum 41 (1) (2021)
Anette C. M. Petersen, Marisa Leavitt Cohn, Thomas T. Hildebrandt, Naja L. Holten Møller
'Thinking Problematically' as a Resource for AI Design in Politicised Contexts. CHItaly (2021)
Anette C. M. Petersen, Lars Rune Christensen, Richard Harper, Thomas T. Hildebrandt
"We Would Never Write That Down": Classifications of Unemployed and Data Challenges for AI. Proc. ACM Hum. Comput. Interact. 5 (CSCW1) (2021)
Amine Abbad Andaloussi, Francesca Zerbato, Andrea Burattin, Tijs Slaats, Thomas T. Hildebrandt, Barbara Weber
Exploring how users engage with hybrid process artifacts based on declarative process models: a behavioral analysis based on eye-tracking and think-aloud. Softw. Syst. Model. 20 (5) (2021)
Asbjørn Ammitzbøll Flügge, Thomas T. Hildebrandt, Naja L. Holten Møller
Street-Level Algorithms and AI in Bureaucratic Decision-Making: A Caseworker Perspective. Proc. ACM Hum. Comput. Interact. 5 (CSCW1) (2021)
Thomas T. Hildebrandt, Håkon Normann, Morten Marquard, Søren Debois, Tijs Slaats
Decision Modelling in Timed Dynamic Condition Response Graphs with Data. Business Process Management Workshops (2021)
Håkon Norman, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt
Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes. BPM (2021)
Leandro Galrinho, João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Håkon Norman, Tijs Slaats
ReGraDa: Reactive Graph Data. COORDINATION (2021)
Anette Chelina Møller Petersen, Lars Rune Christensen, Thomas T. Hildebrandt
The Role of Discretion in the Age of Automation. Comput. Support. Cooperative Work. 29 (3) (2020)
Hugo A. López, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt
Business Process Compliance Using Reference Models of Law. FASE (2020)
Asbjørn William Ammitzbøll Flügge, Thomas T. Hildebrandt, Naja L. Holten Møller
Algorithmic Decision Making in Public Services: A CSCW-Perspective. GROUP (Companion) (2020)
Thomas T. Hildebrandt, Amine Abbad Andaloussi, Lars Rune Christensen, Søren Debois, Nicklas Pape Healy, Hugo A. López, Morten Marquard, Naja L. Holten Møller, Anette C. M. Petersen, Tijs Slaats, Barbara Weber
EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers. ICSSP (2020)
Søren Debois, Hugo A. López, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt
Chain of Events: Modular Process Models for the Law. IFM (2020)
Naja L. Holten Møller, Irina Shklovski, Thomas T. Hildebrandt
Shifting Concepts of Value: Designing Algorithmic Decision-Support Systems for Public Services. NordiCHI (2020)
Flávia Maria Santoro, Tijs Slaats, Thomas T. Hildebrandt, Fernanda Baião
DCR-KiPN a Hybrid Modeling Approach for Knowledge-Intensive Processes. ER (2019)
Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone
Declarative Choreographies and Liveness. FORTE (2019)
Amine Abbad Andaloussi, Andrea Burattin, Tijs Slaats, Anette Chelina Møller Petersen, Thomas T. Hildebrandt, Barbara Weber
Exploring the Understandability of a Hybrid Process Design Artifact Based on DCR Graphs. BPMDS/EMMSAD@CAiSE (2019)
David A. Basin, Søren Debois, Thomas T. Hildebrandt
On Purpose and by Necessity: Compliance Under the GDPR. Financial Cryptography (2018)
Tijs Slaats, Søren Debois, Thomas T. Hildebrandt
Open to Change: A Theory for Iterative Test-Driven Modelling. BPM (2018)
João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta. EDOC (2018)
Thomas T. Hildebrandt, Marino Miculan
Guest editors' foreword. J. Log. Algebraic Methods Program. 95 (2018)
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
Replication, refinement & reachability: complexity in dynamic condition-response graphs. Acta Informatica 55 (6) (2018)
Amine Abbad Andaloussi, Tijs Slaats, Andrea Burattin, Thomas T. Hildebrandt, Barbara Weber
Evaluating the Understandability of Hybrid Process Model Representations Using Eye Tracking: First Insights. Business Process Management Workshops (2018)
Hugo A. López, Søren Debois, Thomas T. Hildebrandt, Morten Marquard
The Process Highlighter: From Texts to Declarative Processes and Back. BPM (Dissertation/Demos/Industry) (2018)
Emil Heuck, Thomas T. Hildebrandt, Rasmus Kiaerulff Lerche, Morten Marquard, Håkon Normann, Rasmus Iven Strømsted, Barbara Weber
Digitalising the General Data Protection Regulation with Dynamic Condition Response Graphs. BPM (Industry Track) (2017)
Thomas T. Hildebrandt, Søren Debois, Tijs Slaats, Morten Marquard
Managing Complexity in Process Digitalisation with Dynamic Condition Response Graphs. BIR Workshops (2017)
Søren Debois, Thomas T. Hildebrandt, Paw Høvsgaard Laursen, Kenneth Ry Ulrik
Declarative process mining for DCR graphs. SAC (2017)
Lars Rune Christensen, Thomas T. Hildebrandt
Modelling Cooperative Work at a Medical Department: Full paper. C&T (2017)
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. Log. Methods Comput. Sci. 12 (1) (2016)
Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats
The DCR Graphs Process Portal. BPM (Demos) (2016)
David A. Basin, Søren Debois, Thomas T. Hildebrandt
In the Nick of Time: Proactive Prevention of Obligation Violations. CSF (2016)
Rik Eshuis, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt
Deriving Consistent GSM Schemas from DCR Graphs. ICSOC (2016)
Marco Carbone, Thomas T. Hildebrandt, Joachim Parrow, Matthias Weidlich
Editorial. Formal Aspects Comput. 28 (4) (2016)
Søren Debois, Thomas T. Hildebrandt, Lene Sandberg
Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans. ANT/SEIT (2016)
Thomas T. Hildebrandt
Flexible, adaptable, and compliant business systems with dynamic condition response graphs. ForMABS@ASE (2016)
Håkon Normann, Christian Johansen, Thomas T. Hildebrandt
Declarative event based models of concurrency and refinement in psi-calculi. J. Log. Algebraic Methods Program. 85 (3) (2016)
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes. FM (2015)
Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats
Hybrid process technologies in the financial sector. BPM (Industry Track) (2015)
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
Concurrency and Asynchrony in Declarative Workflows. BPM (2015)
Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats
Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9. SER&IP@ICSE (2015)
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
Hierarchical Declarative Modelling with Refinement and Sub-processes. BPM (2014)
Lian Yu, Wei-Tek Tsai, Xin Wei, Jerry Zeyu Gao, Thomas T. Hildebrandt, Xiao Qun Guo
Modeling and Analysis of Mobile Cloud Computing Based on Bigraph Theory. MobileCloud (2014)
Gian Luca Cattani, Thomas T. Hildebrandt, Daniele Varacca
Preface. Theor. Comput. Sci. 546 (2014)
Håkon Normann, Cristian Prisacariu, Thomas T. Hildebrandt
Concurrency Models with Causality and Events as Psi-calculi. ICE (2014)
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. FORTE (2014)
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Morten Marquard
A Case for Declarative Process Modelling: Agile Development of a Grant Application System. EDOC Workshops (2014)
Wusheng Wang, Thomas T. Hildebrandt
Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems. WS-FM (2013)
Thomas T. Hildebrandt, Morten Marquard, Raghava Rao Mukkamala, Tijs Slaats
Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management. OTM Workshops (2013)
Tijs Slaats, Raghava Rao Mukkamala, Thomas T. Hildebrandt, Morten Marquard
Exformatics Declarative Case Management Workflows as DCR Graphs. BPM (2013)
Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats, Francesco Zanitti
Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs. J. Log. Algebraic Methods Program. 82 (5-7) (2013)
Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro
Towards Global and Local Types for Adaptation. SEFM Workshops (2013)
Raghava Rao Mukkamala, Thomas T. Hildebrandt, Tijs Slaats
Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs. EDOC (2013)
Gian Perrone, Søren Debois, Thomas T. Hildebrandt
A verification environment for bigraphs. Innov. Syst. Softw. Eng. 9 (2) (2013)
Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats, Francesco Zanitti
Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs. FOAL (2013)
Marco Carbone, Anders Skovbo Christensen, Flemming Nielson, Hanne Riis Nielson, Thomas T. Hildebrandt, Martin Sølvkjær
ICT-powered Health Care Processes - (Position Paper). FHIES (2013)
Alexander John Faithfull, Gian Perrone, Thomas T. Hildebrandt
Big Red: A Development Environment for Bigraphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 61 (2013)
Gian Perrone, Søren Debois, Thomas T. Hildebrandt
A model checker for Bigraphs. SAC (2012)
Thomas T. Hildebrandt, Francesco Zanitti
A process-oriented event-based programming language. DEBS (2012)
Anders Starcke Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz Henglein
Trustworthy Pervasive Healthcare Services via Multiparty Session Types. FHIES (2012)
Marco Carbone, Thomas T. Hildebrandt, Gian Perrone, Andrzej Wasowski
Refinement for Transition Systems with Responses FIT (2012)
Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats
Declarative Modelling and Safe Distribution of Healthcare Workflows. FHIES (2011)
Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats
Designing a Cross-Organizational Case Management System Using Dynamic Condition Response Graphs. EDOC (2011)
Gian Perrone, Søren Debois, Thomas T. Hildebrandt
Bigraphical Refinement Refine@FM (2011)
Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats
Nested Dynamic Condition Response Graphs. FSEN (2011)
Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats
Safe Distribution of Declarative Processes. SEFM (2011)
Thomas T. Hildebrandt, Raghava Rao Mukkamala
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs PLACES (2010)
Tim Hallwyl, Fritz Henglein, Thomas T. Hildebrandt
A standard-driven implementaion of WS-BPEL 2.0. SAC (2010)
Thomas T. Hildebrandt, Daniele Gorla
Preface to special issue: Expressiveness in Concurrency 2008. Math. Struct. Comput. Sci. 20 (1) (2010)
Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López
A Logic for Choreographies PLACES (2010)
David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. WS-FM (2010)
Raghava Rao Mukkamala, Thomas T. Hildebrandt
From Dynamic Condition Response Structures to Büchi Automata. TASE (2010)
Thomas T. Hildebrandt, Hugo A. López
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. ICLP (2009)
Karen Marie Lyng, Thomas T. Hildebrandt, Raghava Rao Mukkamala
From Paper Based Clinical Practice Guidelines to Declarative Workflow Management. Business Process Management Workshops (2008)
Thomas T. Hildebrandt, Daniele Gorla
Preface. EXPRESS (2008)
Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Højsgaard, Henning Niss
Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. COORDINATION (2008)
Lars Birkedal, Søren Debois, Thomas T. Hildebrandt
On the Construction of Sorted Reactive Systems. CONCUR (2008)
Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi
Type Systems for Bigraphs. TGC (2008)
Raghava Rao Mukkamala, Thomas T. Hildebrandt, Janus Boris Tøth
The Resultmaker Online Consultant: From Declarative Workflow Management in Practice to LTL. EDOCW (2008)
Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen
Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources. Electron. Notes Theor. Comput. Sci. 194 (1) (2007)
Roberto M. Amadio, Thomas T. Hildebrandt
Preface. EXPRESS (2007)
Thomas T. Hildebrandt, Henning Niss, Martin Olsen
Formalising Business Process Execution with Bigraphs and Reactive XML. COORDINATION (2006)
Mikkel Bundgaard, Thomas T. Hildebrandt
Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names. Electron. Notes Theor. Comput. Sci. 154 (2) (2006)
Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss
Bigraphical Models of Context-Aware Systems. FoSSaCS (2006)
Thomas T. Hildebrandt, Henning Niss, Martin Olsen, Jacob W. Winther
Distributed Reactive XML. Electron. Notes Theor. Comput. Sci. 150 (1) (2006)
Lars Birkedal, Søren Debois, Thomas T. Hildebrandt
Sortings for Reactive Systems. CONCUR (2006)
Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen
A CPS encoding of name-passing in Higher-order mobile embedded resources. Theor. Comput. Sci. 356 (3) (2006)
Jens Chr. Godskesen, Thomas T. Hildebrandt
Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names. FSTTCS (2005)
Thomas T. Hildebrandt, Alexander Kurz
Preface. Electron. Notes Theor. Comput. Sci. 100 (2004)
Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel
A relational model of non-deterministic dataflow. Math. Struct. Comput. Sci. 14 (5) (2004)
Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen
A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources. EXPRESS (2004)
Thomas T. Hildebrandt
Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay. Theor. Comput. Sci. 294 (1/2) (2003)
Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone
A Calculus of Mobile Resources. CONCUR (2002)
Thomas T. Hildebrandt
Categorical Models for Fairness: Completion vs Delay. Electron. Notes Theor. Comput. Sci. 40 (2000)

Thomas T. Hildebrandt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas T. Hildebrandt