default search action
Thomas T. Hildebrandt
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
2020 – today
- 2024
- [j23]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]David A. Basin, Søren Debois, Thomas T. Hildebrandt:
Proactive enforcement of provisions and obligations. J. Comput. Secur. 32(3): 247-289 (2024) - [c92]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]Axel Kjeld Fjelrad Christfort, Andrey Rivkin, Dirk Fahland, Thomas T. Hildebrandt, Tijs Slaats:
Discovery of Object-Centric Declarative Models. ICPM 2024: 121-128 - 2023
- [c90]Vlad Paul Cosma, Thomas T. Hildebrandt, Tijs Slaats:
Transforming Dynamic Condition Response Graphs to Safe Petri Nets. Petri Nets 2023: 417-439 - [c89]Thomas T. Hildebrandt, Hugo A. López, Tijs Slaats:
Declarative Choreographies with Time and Data. BPM (Forum) 2023: 73-89 - [c88]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]Eduardo Geraldo, João Costa Seco, Thomas T. Hildebrandt:
Data-Dependent Confidentiality in DCR Graphs. PPDP 2023: 7:1-7:13 - [c86]Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider:
Capturing Smart Contract Design with DCR Graphs. SEFM 2023: 106-125 - [i3]Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider:
Capturing Smart Contract Design with DCR Graphs. CoRR abs/2305.04581 (2023) - [i2]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]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]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]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]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]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]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]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]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]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]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]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]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]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]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]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]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]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]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]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]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
- 2019
- [j14]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]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]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]Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone:
Declarative Choreographies and Liveness. FORTE 2019: 129-147 - [e8]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]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]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]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]Thomas T. Hildebrandt, Marino Miculan:
Guest editors' foreword. J. Log. Algebraic Methods Program. 95: 147 (2018) - [c70]Tijs Slaats, Søren Debois, Thomas T. Hildebrandt:
Open to Change: A Theory for Iterative Test-Driven Modelling. BPM 2018: 31-47 - [c69]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]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]Thomas Troels Hildebrandt:
EcoKnow: Effective, Co-Created & Compliant Adaptive Case Management for Knowledge Workers. EDOC Workshops 2018: 9-11 - [c66]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]David A. Basin, Søren Debois, Thomas T. Hildebrandt:
On Purpose and by Necessity: Compliance Under the GDPR. Financial Cryptography 2018: 20-37 - [p1]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]Thomas T. Hildebrandt, Søren Debois, Tijs Slaats, Morten Marquard:
Managing Complexity in Process Digitalisation with Dynamic Condition Response Graphs. BIR Workshops 2017 - [c63]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]Lars Rune Christensen, Thomas T. Hildebrandt:
Modelling Cooperative Work at a Medical Department: Full paper. C&T 2017: 46-55 - [c61]Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann:
A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus. LATA 2017: 51-63 - [c60]Søren Debois, Thomas T. Hildebrandt, Paw Høvsgaard Laursen, Kenneth Ry Ulrik:
Declarative process mining for DCR graphs. SAC 2017: 759-764 - [e5]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]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]Marco Carbone, Thomas T. Hildebrandt, Joachim Parrow, Matthias Weidlich:
Editorial. Formal Aspects Comput. 28(4): 529-530 (2016) - [j9]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]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]Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats:
The DCR Graphs Process Portal. BPM (Demos) 2016: 7-11 - [c57]David A. Basin, Søren Debois, Thomas T. Hildebrandt:
In the Nick of Time: Proactive Prevention of Obligation Violations. CSF 2016: 120-134 - [c56]Rik Eshuis, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt:
Deriving Consistent GSM Schemas from DCR Graphs. ICSOC 2016: 467-482 - [c55]Thomas T. Hildebrandt:
Flexible, adaptable, and compliant business systems with dynamic condition response graphs. ForMABS@ASE 2016: 1 - [e4]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]Søren Debois, Thomas T. Hildebrandt, Tijs Slaats:
Concurrency and Asynchrony in Declarative Workflows. BPM 2015: 72-89 - [c53]Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats:
Hybrid process technologies in the financial sector. BPM (Industry Track) 2015: 107-119 - [c52]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]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]Gian Luca Cattani, Thomas T. Hildebrandt, Daniele Varacca:
Preface. Theor. Comput. Sci. 546: 1-2 (2014) - [c50]Søren Debois, Thomas T. Hildebrandt, Tijs Slaats:
Hierarchical Declarative Modelling with Refinement and Sub-processes. BPM 2014: 18-33 - [c49]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]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]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]Håkon Normann, Cristian Prisacariu, Thomas T. Hildebrandt:
Concurrency Models with Causality and Events as Psi-calculi. ICE 2014: 4-20 - 2013
- [j7]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]Gian Perrone, Søren Debois, Thomas T. Hildebrandt:
A verification environment for bigraphs. Innov. Syst. Softw. Eng. 9(2): 95-104 (2013) - [j5]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]Tijs Slaats, Raghava Rao Mukkamala, Thomas T. Hildebrandt, Morten Marquard:
Exformatics Declarative Case Management Workflows as DCR Graphs. BPM 2013: 339-354 - [c44]Raghava Rao Mukkamala, Thomas T. Hildebrandt, Tijs Slaats:
Towards Trustworthy Adaptive Case Management with Dynamic Condition Response Graphs. EDOC 2013: 127-136 - [c43]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]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]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]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]Wusheng Wang, Thomas T. Hildebrandt:
Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems. WS-FM 2013: 127-146 - 2012
- [c38]Thomas T. Hildebrandt, Francesco Zanitti:
A process-oriented event-based programming language. DEBS 2012: 377-378 - [c37]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]Gian Perrone, Søren Debois, Thomas T. Hildebrandt:
A model checker for Bigraphs. SAC 2012: 1320-1325 - [c35]Marco Carbone, Thomas T. Hildebrandt, Gian Perrone, Andrzej Wasowski:
Refinement for Transition Systems with Responses. FIT 2012: 48-55 - 2011
- [c34]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]Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats:
Declarative Modelling and Safe Distribution of Healthcare Workflows. FHIES 2011: 39-56 - [c32]Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats:
Nested Dynamic Condition Response Graphs. FSEN 2011: 343-350 - [c31]Thomas T. Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats:
Safe Distribution of Declarative Processes. SEFM 2011: 237-252 - [c30]Gian Perrone, Søren Debois, Thomas T. Hildebrandt:
Bigraphical Refinement. Refine@FM 2011: 20-36 - 2010
- [j4]Thomas T. Hildebrandt, Daniele Gorla:
Preface to special issue: Expressiveness in Concurrency 2008. Math. Struct. Comput. Sci. 20(1): 1-2 (2010) - [c29]Tim Hallwyl, Fritz Henglein, Thomas T. Hildebrandt:
A standard-driven implementaion of WS-BPEL 2.0. SAC 2010: 2472-2476 - [c28]Raghava Rao Mukkamala, Thomas T. Hildebrandt:
From Dynamic Condition Response Structures to Büchi Automata. TASE 2010: 187-190 - [c27]David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt:
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. WS-FM 2010: 146-160 - [c26]Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López:
A Logic for Choreographies. PLACES 2010: 29-43 - [c25]Thomas T. Hildebrandt, Raghava Rao Mukkamala:
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs. PLACES 2010: 59-73
2000 – 2009
- 2009
- [c24]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]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]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]Lars Birkedal, Søren Debois, Thomas T. Hildebrandt:
On the Construction of Sorted Reactive Systems. CONCUR 2008: 218-232 - [c21]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]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]Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi:
Type Systems for Bigraphs. TGC 2008: 126-140 - [c18]Thomas T. Hildebrandt, Daniele Gorla:
Preface. EXPRESS 2008: 1-2 - [e2]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]Roberto M. Amadio, Thomas T. Hildebrandt:
Preface. EXPRESS 2007: 1 - [c16]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]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]Lars Birkedal, Søren Debois, Thomas T. Hildebrandt:
Sortings for Reactive Systems. CONCUR 2006: 248-262 - [c14]Thomas T. Hildebrandt, Henning Niss, Martin Olsen:
Formalising Business Process Execution with Bigraphs and Reactive XML. COORDINATION 2006: 113-129 - [c13]Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss:
Bigraphical Models of Context-Aware Systems. FoSSaCS 2006: 187-201 - 2005
- [c12]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]Mikkel Bundgaard, Thomas T. Hildebrandt:
Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names. GT-VC@CONCUR 2005: 7-29 - [c10]Thomas T. Hildebrandt, Henning Niss, Martin Olsen, Jacob W. Winther:
Distributed Reactive XML. MTCoord@COORDINATION 2005: 61-80 - 2004
- [j2]Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel:
A relational model of non-deterministic dataflow. Math. Struct. Comput. Sci. 14(5): 613-649 (2004) - [c9]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]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]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]Thomas T. Hildebrandt, Alexander Kurz:
Preface. CMCIM/GETCO@CONCUR 2003: 3 - 2002
- [c7]Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone:
A Calculus of Mobile Resources. CONCUR 2002: 272-287 - 2000
- [c6]Thomas T. Hildebrandt:
Categorical Models for Fairness: Completion vs Delay. MFCSIT 2000: 188
1990 – 1999
- 1999
- [c5]Sibylle B. Fröschle, Thomas T. Hildebrandt:
On Plain and Hereditary History-Preserving Bisimulation. MFCS 1999: 354-365 - [c4]Thomas T. Hildebrandt:
A Fully abstract presheaf semantics for SCCS with finite delay. CTCS 1999: 102-126 - 1998
- [c3]Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel:
A Relational Model of Non-deterministic Dataflow. CONCUR 1998: 613-628 - 1996
- [c2]Thomas T. Hildebrandt, Vladimiro Sassone:
Comparing Transition Systems with Independence and Asynchronous Transition Systems. CONCUR 1996: 84-97 - [c1]Thomas T. Hildebrandt, Vladimiro Sassone:
Transition systems with independence and multi-arcs. Partial Order Methods in Verification 1996: 273-288
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 20:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint