default search action

combined dblp search
author search
venue search
publication search

ask others

Thomas T. Hildebrandt

Thomas Troels Hildebrandt

> Home > Persons

Person information

affiliation: University of Copenhagen, Denmark
affiliation (former): IT University of Copenhagen, Denmark

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/dgov/OlsenHFWL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dgov/OlsenHFWL24
Henrik Palmer Olsen, Thomas Troels Hildebrandt, Asbjørn William Ammitzbøll Flügge, Cornelius Wiesener, Matthias Smed Larsen:
The Right to Transparency in Public Governance: Freedom of Information and the Use of Artificial Intelligence by Public Agencies. Digit. Gov. Res. Pract. 5(1): 8:1-8:15 (2024)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/BasinDH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/BasinDH24
David A. Basin, Søren Debois, Thomas T. Hildebrandt:
Proactive enforcement of provisions and obligations. J. Comput. Secur. 32(3): 247-289 (2024)
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/CosmaCHLRS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/CosmaCHLRS24
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: 440-455
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/icpm/ChristfortRFHS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpm/ChristfortRFHS24
Axel Kjeld Fjelrad Christfort, Andrey Rivkin, Dirk Fahland, Thomas T. Hildebrandt, Tijs Slaats:
Discovery of Object-Centric Declarative Models. ICPM 2024: 121-128
[i4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-10906
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-10906
Hugo A. López, Thomas T. Hildebrandt:
Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review. CoRR abs/2410.10906 (2024)
2023
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/CosmaHS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/CosmaHS23
Vlad Paul Cosma, Thomas T. Hildebrandt, Tijs Slaats:
Transforming Dynamic Condition Response Graphs to Safe Petri Nets. Petri Nets 2023: 417-439
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/Hildebrandt0S23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/Hildebrandt0S23
Thomas T. Hildebrandt, Hugo A. López, Tijs Slaats:
Declarative Choreographies with Time and Data. BPM (Forum) 2023: 73-89
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/ispw/XuSDH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/XuSDH23
Yibin Xu, Tijs Slaats, Boris Düdder, Thomas Troels Hildebrandt:
Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs. ICSSP 2023: 70-80
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/GeraldoSH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/GeraldoSH23
Eduardo Geraldo, João Costa Seco, Thomas T. Hildebrandt:
Data-Dependent Confidentiality in DCR Graphs. PPDP 2023: 7:1-7:13
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/EshghieAAHS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/EshghieAAHS23
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider:
Capturing Smart Contract Design with DCR Graphs. SEFM 2023: 106-125
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-04581
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-04581
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider:
Capturing Smart Contract Design with DCR Graphs. CoRR abs/2305.04581 (2023)
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-08254
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-08254
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider:
CLawK: Monitoring Business Processes in Smart Contracts. CoRR abs/2305.08254 (2023)
2022
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/is/HildebrandtDRM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/is/HildebrandtDRM22
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: 101902 (2022)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BackSHM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BackSHM22
Christoffer Olling Back, Tijs Slaats, Thomas Troels Hildebrandt, Morten Marquard:
DisCoveR: accurate and efficient discovery of declarative process models. Int. J. Softw. Tools Technol. Transf. 24(4): 563-587 (2022)
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/debs/ZuckmantelZDH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/debs/ZuckmantelZDH22
Tilman Zuckmantel, Yongluan Zhou, Boris Düdder, Thomas T. Hildebrandt:
Event-based data-centric semantics for consistent data management in microservices. DEBS 2022: 97-102
[c84]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icpm/CosmaHGS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpm/CosmaHGS22
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: 127-139
2021
[j19]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/emisa/CosmaHS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/emisa/CosmaHS21
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): 33-34 (2021)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/pacmhci/FluggeHM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmhci/FluggeHM21
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): 40:1-40:23 (2021)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/pacmhci/PetersenCHH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmhci/PetersenCHH21
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): 102:1-102:26 (2021)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/AndaloussiZBSHW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/AndaloussiZBSHW21
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): 1437-1464 (2021)
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/NormanDSH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/NormanDSH21
Håkon Normann, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt:
Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes. BPM 2021: 161-178
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/HildebrandtNMDS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/HildebrandtNMDS21
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: 362-374
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/chitaly/PetersenCHM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chitaly/PetersenCHM21
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: 13:1-13:8
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/GalrinhoSDHNS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/GalrinhoSDHNS21
Leandro Galrinho, João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Håkon Normann, Tijs Slaats:
ReGraDa: Reactive Graph Data. COORDINATION 2021: 188-205
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/ecscw/NielsenKHBGSOHM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecscw/NielsenKHBGSOHM21
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:
Confronting Asylum Decision-making through Prototyping Sensemaking of Data and Participation. ECSCW 2021
2020
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/cscw/PetersenCH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cscw/PetersenCH20
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): 303-333 (2020)
[c78]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/LopezDSH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/LopezDSH20
Hugo A. López, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt:
Business Process Compliance Using Reference Models of Law. FASE 2020: 378-399
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/group/FluggeHM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/group/FluggeHM20
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: 111-114
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/DeboisLSAH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/DeboisLSAH20
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: 368-386
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/ispw/HildebrandtACDH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispw/HildebrandtACDH20
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: 155-164
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/nordichi/MollerSH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nordichi/MollerSH20
Naja L. Holten Møller, Irina Shklovski, Thomas T. Hildebrandt:
Shifting Concepts of Value: Designing Algorithmic Decision-Support Systems for Public Services. NordiCHI 2020: 70:1-70:12
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-10085
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-10085
Christoffer Olling Back, Tijs Slaats, Thomas Troels Hildebrandt, Morten Marquard:
DisCoveR: Accurate & Efficient Discovery of Declarative Process Models. CoRR abs/2005.10085 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/HildebrandtJN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/HildebrandtJN19
Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann:
A stable non-interleaving early operational semantics for the pi-calculus. J. Log. Algebraic Methods Program. 104: 227-253 (2019)
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/AndaloussiBSPHW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/AndaloussiBSPHW19
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: 69-84
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/er/SantoroSHB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/SantoroSHB19
Flávia Maria Santoro, Tijs Slaats, Thomas T. Hildebrandt, Fernanda Baião:
DCR-KiPN a Hybrid Modeling Approach for Knowledge-Intensive Processes. ER 2019: 153-161
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/HildebrandtSLDC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HildebrandtSLDC19
Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone:
Declarative Choreographies and Liveness. FORTE 2019: 129-147
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/2019fo
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/2019fo
Thomas T. Hildebrandt, Boudewijn F. van Dongen, Maximilian Röglinger, Jan Mendling:
Business Process Management Forum - BPM Forum 2019, Vienna, Austria, September 1-6, 2019, Proceedings. Lecture Notes in Business Information Processing 360, Springer 2019, ISBN 978-3-030-26642-4 [contents]
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/2019
Thomas T. Hildebrandt, Boudewijn F. van Dongen, Maximilian Röglinger, Jan Mendling:
Business Process Management - 17th International Conference, BPM 2019, Vienna, Austria, September 1-6, 2019, Proceedings. Lecture Notes in Computer Science 11675, Springer 2019, ISBN 978-3-030-26618-9 [contents]
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/indiaSE/2019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indiaSE/2019
Ravindra Naik, Santonu Sarkar, Thomas T. Hildebrandt, Atul Kumar, Richa Sharma:
Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), ISEC 2019, Pune, India, February 14-16, 2019. ACM 2019, ISBN 978-1-4503-6215-3 [contents]
2018
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/DeboisHS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/DeboisHS18
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats:
Replication, refinement & reachability: complexity in dynamic condition-response graphs. Acta Informatica 55(6): 489-520 (2018)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/jlp/HildebrandtM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/HildebrandtM18
Thomas T. Hildebrandt, Marino Miculan:
Guest editors' foreword. J. Log. Algebraic Methods Program. 95: 147 (2018)
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/SlaatsDH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/SlaatsDH18
Tijs Slaats, Søren Debois, Thomas T. Hildebrandt:
Open to Change: A Theory for Iterative Test-Driven Modelling. BPM 2018: 31-47
[c69]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/bpm/LopezDHM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/LopezDHM18
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: 66-70
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/AndaloussiSBHW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/AndaloussiSBHW18
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: 475-481
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/Hildebrandt18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/Hildebrandt18
Thomas Troels Hildebrandt:
EcoKnow: Effective, Co-Created & Compliant Adaptive Case Management for Knowledge Workers. EDOC Workshops 2018: 9-11
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/SecoDHS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/SecoDHS18
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: 75-84
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/BasinDH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/BasinDH18
David A. Basin, Søren Debois, Thomas T. Hildebrandt:
On Purpose and by Necessity: Compliance Under the GDPR. Financial Cryptography 2018: 20-37
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/18/DeboisHMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/18/DeboisHMS18
Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats:
Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit. Business Process Management Cases 2018: 397-412
2017
[c64]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/bir/HildebrandtDSM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bir/HildebrandtDSM17
Thomas T. Hildebrandt, Søren Debois, Tijs Slaats, Morten Marquard:
Managing Complexity in Process Digitalisation with Dynamic Condition Response Graphs. BIR Workshops 2017
[c63]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/bpm/HeuckHLMNSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/HeuckHLMNSW17
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: 124-134
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/candt/ChristensenH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/candt/ChristensenH17
Lars Rune Christensen, Thomas T. Hildebrandt:
Modelling Cooperative Work at a Medical Department: Full paper. C&T 2017: 46-55
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/lata/HildebrandtJN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lata/HildebrandtJN17
Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann:
A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus. LATA 2017: 51-63
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/DeboisHLU17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/DeboisHLU17
Søren Debois, Thomas T. Hildebrandt, Paw Høvsgaard Laursen, Kenneth Ry Ulrik:
Declarative process mining for DCR graphs. SAC 2017: 759-764
[e5]
- view
- export record
  dblp key:
  - conf/bpm/2017i
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/2017i
Marco Brambilla, Thomas T. Hildebrandt:
Proceedings of the BPM 2017 Industry Track co-located with the 15th International Conference on Business Process Management (BPM 2017), Barcelona, Spain, September 10-15, 2017. CEUR Workshop Proceedings 1985, CEUR-WS.org 2017 [contents]
2016
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DeboisHSY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DeboisHSY15
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)
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/CarboneHPW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/CarboneHPW16
Marco Carbone, Thomas T. Hildebrandt, Joachim Parrow, Matthias Weidlich:
Editorial. Formal Aspects Comput. 28(4): 529-530 (2016)
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/NormannJH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/NormannJH16
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): 368-398 (2016)
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/ant/DeboisHS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ant/DeboisHS16
Søren Debois, Thomas T. Hildebrandt, Lene Sandberg:
Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans. ANT/SEIT 2016: 1295-1300
[c58]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/bpm/DeboisHMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/DeboisHMS16
Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats:
The DCR Graphs Process Portal. BPM (Demos) 2016: 7-11
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/BasinDH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/BasinDH16
David A. Basin, Søren Debois, Thomas T. Hildebrandt:
In the Nick of Time: Proactive Prevention of Obligation Violations. CSF 2016: 120-134
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoc/EshuisDSH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/EshuisDSH16
Rik Eshuis, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt:
Deriving Consistent GSM Schemas from DCR Graphs. ICSOC 2016: 467-482
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/Hildebrandt16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/Hildebrandt16
Thomas T. Hildebrandt:
Flexible, adaptable, and compliant business systems with dynamic condition response graphs. ForMABS@ASE 2016: 1
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/2015
Thomas T. Hildebrandt, António Ravara, Jan Martijn E. M. van der Werf, Matthias Weidlich:
Web Services, Formal Methods, and Behavioral Types - 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9421, Springer 2016, ISBN 978-3-319-33611-4 [contents]
2015
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/DeboisHS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/DeboisHS15
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats:
Concurrency and Asynchrony in Declarative Workflows. BPM 2015: 72-89
[c53]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/bpm/DeboisHMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/DeboisHMS15
Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats:
Hybrid process technologies in the financial sector. BPM (Industry Track) 2015: 107-119
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DeboisHS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DeboisHS15
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: 143-160
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DeboisHMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DeboisHMS15
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: 54-57
2014
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/CattaniHV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/CattaniHV14
Gian Luca Cattani, Thomas T. Hildebrandt, Daniele Varacca:
Preface. Theor. Comput. Sci. 546: 1-2 (2014)
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/DeboisHS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/DeboisHS14
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats:
Hierarchical Declarative Modelling with Refinement and Sub-processes. BPM 2014: 18-33
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/DeboisHSM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/DeboisHSM14
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: 126-133
[c48]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/forte/DeboisHSY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/DeboisHSY14
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida:
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. FORTE 2014: 1-16
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/mobilecloud/YuTWGHG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mobilecloud/YuTWGHG14
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: 67-76
[c46]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/NormannPH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NormannPH14
Håkon Normann, Cristian Prisacariu, Thomas T. Hildebrandt:
Concurrency Models with Causality and Events as Psi-calculi. ICE 2014: 4-20
2013
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/FaithfullPH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/FaithfullPH12
Alexander John Faithfull, Gian Perrone, Thomas T. Hildebrandt:
Big Red: A Development Environment for Bigraphs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 61 (2013)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/PerroneDH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/PerroneDH13
Gian Perrone, Søren Debois, Thomas T. Hildebrandt:
A verification environment for bigraphs. Innov. Syst. Softw. Eng. 9(2): 95-104 (2013)
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/HildebrandtMSZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/HildebrandtMSZ13
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): 164-185 (2013)
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/SlaatsMHM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/SlaatsMHM13
Tijs Slaats, Raghava Rao Mukkamala, Thomas T. Hildebrandt, Morten Marquard:
Exformatics Declarative Case Management Workflows as DCR Graphs. BPM 2013: 339-354
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/MukkamalaHS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/MukkamalaHS13
Raghava Rao Mukkamala, Thomas T. Hildebrandt, Tijs Slaats:
Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs. EDOC 2013: 127-136
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/fhies/CarboneCNNHS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhies/CarboneCNNHS13
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: 59-68
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/foal/HildebrandtMSZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foal/HildebrandtMSZ13
Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats, Francesco Zanitti:
Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs. FOAL 2013: 19-24
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/HildebrandtMMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/HildebrandtMMS13
Thomas T. Hildebrandt, Morten Marquard, Raghava Rao Mukkamala, Tijs Slaats:
Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management. OTM Workshops 2013: 166-171
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BravettiCHLMPZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BravettiCHLMPZ13
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: 3-14
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/WangH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/WangH13
Wusheng Wang, Thomas T. Hildebrandt:
Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems. WS-FM 2013: 127-146
2012
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/debs/HildebrandtZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/debs/HildebrandtZ12
Thomas T. Hildebrandt, Francesco Zanitti:
A process-oriented event-based programming language. DEBS 2012: 377-378
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/fhies/HenriksenNHYH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhies/HenriksenNHYH12
Anders Starcke Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz Henglein:
Trustworthy Pervasive Healthcare Services via Multiparty Session Types. FHIES 2012: 124-141
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/PerroneDH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/PerroneDH12
Gian Perrone, Søren Debois, Thomas T. Hildebrandt:
A model checker for Bigraphs. SAC 2012: 1320-1325
[c35]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1207-4270
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-4270
Marco Carbone, Thomas T. Hildebrandt, Gian Perrone, Andrzej Wasowski:
Refinement for Transition Systems with Responses. FIT 2012: 48-55
2011
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/HildebrandtMS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/HildebrandtMS11
Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats:
Designing a Cross-Organizational Case Management System Using Dynamic Condition Response Graphs. EDOC 2011: 161-170
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/fhies/HildebrandtMS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhies/HildebrandtMS11
Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats:
Declarative Modelling and Safe Distribution of Healthcare Workflows. FHIES 2011: 39-56
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/fsen/HildebrandtMS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsen/HildebrandtMS11
Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats:
Nested Dynamic Condition Response Graphs. FSEN 2011: 343-350
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/HildebrandtMS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/HildebrandtMS11
Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats:
Safe Distribution of Declarative Processes. SEFM 2011: 237-252
[c30]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1106-4091
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-4091
Gian Perrone, Søren Debois, Thomas T. Hildebrandt:
Bigraphical Refinement. Refine@FM 2011: 20-36
2010
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/HildebrandtG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/HildebrandtG10
Thomas T. Hildebrandt, Daniele Gorla:
Preface to special issue: Expressiveness in Concurrency 2008. Math. Struct. Comput. Sci. 20(1): 1-2 (2010)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/HallwylHH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/HallwylHH10
Tim Hallwyl, Fritz Henglein, Thomas T. Hildebrandt:
A standard-driven implementaion of WS-BPEL 2.0. SAC 2010: 2472-2476
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/MukkamalaH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/MukkamalaH10
Raghava Rao Mukkamala, Thomas T. Hildebrandt:
From Dynamic Condition Response Structures to Büchi Automata. TASE 2010: 187-190
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/ChristiansenCH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/ChristiansenCH10
David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt:
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. WS-FM 2010: 146-160
[c26]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-4159
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-4159
Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López:
A Logic for Choreographies. PLACES 2010: 29-43
[c25]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1110-4161
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1110-4161
Thomas T. Hildebrandt, Raghava Rao Mukkamala:
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs. PLACES 2010: 59-73

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/HildebrandtL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/HildebrandtL09
Thomas T. Hildebrandt, Hugo A. López:
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. ICLP 2009: 417-431
[e3]
- view
- export record
  dblp key:
  - conf/express/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/express/2008
Thomas T. Hildebrandt, Daniele Gorla:
Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008. Electronic Notes in Theoretical Computer Science 242(1), Elsevier 2009 [contents]
2008
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/LyngHM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/LyngHM08
Karen Marie Lyng, Thomas T. Hildebrandt, Raghava Rao Mukkamala:
From Paper Based Clinical Practice Guidelines to Declarative Workflow Management. Business Process Management Workshops 2008: 336-347
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BirkedalDH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BirkedalDH08
Lars Birkedal, Søren Debois, Thomas T. Hildebrandt:
On the Construction of Sorted Reactive Systems. CONCUR 2008: 218-232
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/BundgaardGHHN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/BundgaardGHHN08
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: 83-99
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/RaoHT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/RaoHT08
Raghava Rao Mukkamala, Thomas T. Hildebrandt, Janus Boris Tøth:
The Resultmaker Online Consultant: From Declarative Workflow Management in Practice to LTL. EDOCW 2008: 135-142
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/tgc/ElsborgHS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tgc/ElsborgHS08
Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi:
Type Systems for Bigraphs. TGC 2008: 126-140
[c18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HildebrandtG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HildebrandtG09
Thomas T. Hildebrandt, Daniele Gorla:
Preface. EXPRESS 2008: 1-2
[e2]
- view
- export record
  dblp key:
  - conf/express/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/express/2007
Roberto M. Amadio, Thomas T. Hildebrandt:
Proceedings of the 14th International Workshop on Expressiveness in Concurrency, EXPRESS 2007, Lisbon, Portugal, September 3, 2007. Electronic Notes in Theoretical Computer Science 194(2), Elsevier 2008 [contents]
2007
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AmadioH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AmadioH08
Roberto M. Amadio, Thomas T. Hildebrandt:
Preface. EXPRESS 2007: 1
[c16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BundgaardHG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BundgaardHG07
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. SecCO@CONCUR 2007: 23-38
2006
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BundgaardHG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BundgaardHG06
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): 422-439 (2006)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/BirkedalDH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BirkedalDH06
Lars Birkedal, Søren Debois, Thomas T. Hildebrandt:
Sortings for Reactive Systems. CONCUR 2006: 248-262
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/HildebrandtNO06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/HildebrandtNO06
Thomas T. Hildebrandt, Henning Niss, Martin Olsen:
Formalising Business Process Execution with Bigraphs and Reactive XML. COORDINATION 2006: 113-129
[c13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/BirkedalDEHN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BirkedalDEHN06
Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss:
Bigraphical Models of Context-Aware Systems. FoSSaCS 2006: 187-201
2005
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/GodskesenH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/GodskesenH05
Jens Chr. Godskesen, Thomas T. Hildebrandt:
Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names. FSTTCS 2005: 140-151
[c11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BundgaardH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BundgaardH06
Mikkel Bundgaard, Thomas T. Hildebrandt:
Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names. GT-VC@CONCUR 2005: 7-29
[c10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HildebrandtNOW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HildebrandtNOW06
Thomas T. Hildebrandt, Henning Niss, Martin Olsen, Jacob W. Winther:
Distributed Reactive XML. MTCoord@COORDINATION 2005: 61-80
2004
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/HildebrandtPW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/HildebrandtPW04
Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel:
A relational model of non-deterministic dataflow. Math. Struct. Comput. Sci. 14(5): 613-649 (2004)
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BundgaardHG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BundgaardHG05
Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen:
A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources. EXPRESS 2004: 131-150
[e1]
- view
- export record
  dblp key:
  - conf/getco/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/getco/2003
Thomas T. Hildebrandt, Alexander Kurz, Eric Goubault, Ulrich Fahrenberg:
Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, Interaction, and Mobility, CMCIM 2003, and the Fifth Workshop on Geometric and Topological Methods in Concurrency, GETCO 2003, Satellite Events of CONCUR 2003, Marseille, France, September 6, 2003. Electronic Notes in Theoretical Computer Science 100, Elsevier 2004 [contents]
2003
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Hildebrandt03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Hildebrandt03
Thomas T. Hildebrandt:
Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay. Theor. Comput. Sci. 294(1/2): 151-181 (2003)
[c8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HildebrandtK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HildebrandtK04
Thomas T. Hildebrandt, Alexander Kurz:
Preface. CMCIM/GETCO@CONCUR 2003: 3
2002
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/GodskesenHS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GodskesenHS02
Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone:
A Calculus of Mobile Resources. CONCUR 2002: 272-287
2000
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Hildebrandt00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Hildebrandt00
Thomas T. Hildebrandt:
Categorical Models for Fairness: Completion vs Delay. MFCSIT 2000: 188

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/FroschleH99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/FroschleH99
Sibylle B. Fröschle, Thomas T. Hildebrandt:
On Plain and Hereditary History-Preserving Bisimulation. MFCS 1999: 354-365
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Hildebrandt99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Hildebrandt99
Thomas T. Hildebrandt:
A Fully abstract presheaf semantics for SCCS with finite delay. CTCS 1999: 102-126
1998
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HildebrandtPW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HildebrandtPW98
Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel:
A Relational Model of Non-deterministic Dataflow. CONCUR 1998: 613-628
1996
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HildebrandtS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HildebrandtS96
Thomas T. Hildebrandt, Vladimiro Sassone:
Comparing Transition Systems with Independence and Asynchronous Transition Systems. CONCUR 1996: 84-97
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/dimacs/HildebrandtS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/HildebrandtS96
Thomas T. Hildebrandt, Vladimiro Sassone:
Transition systems with independence and multi-arcs. Partial Order Methods in Verification 1996: 273-288

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.