Thomas Troels Hildebrandt
Thomas Troels Hildebrandt
Professor, Computer Science Departement University of Copenhagen
Verifierad e-postadress på di.ku.dk - Startsida
Citeras av
Citeras av
Declarative event-based workflow as distributed dynamic condition response graphs
TT Hildebrandt, RR Mukkamala
In Proceedings of PLACES 2010, arXiv:1110.4161 [cs.LO], EPTCS 69, 59-73, 2011
Bigraphical models of context-aware systems
L Birkedal, S Debois, E Elsborg, T Hildebrandt, H Niss
Foundations of Software Science and Computation Structures: 9th …, 2006
On purpose and by necessity: compliance under the GDPR
D Basin, S Debois, T Hildebrandt
Financial Cryptography and Data Security: 22nd International Conference, FC …, 2018
A model checker for bigraphs
G Perrone, S Debois, TT Hildebrandt
Proceedings of the 27th annual ACM symposium on applied computing, 1320-1325, 2012
Nested dynamic condition response graphs
T Hildebrandt, RR Mukkamala, T Slaats
International conference on fundamentals of software engineering, 343-350, 2011
Shifting concepts of value: Designing algorithmic decision-support systems for public services
N Holten Møller, I Shklovski, TT Hildebrandt
Proceedings of the 11th Nordic Conference on Human-Computer Interaction …, 2020
A Calculus of Mobile Resources*
JC Godskesen, T Hildebrandt, V Sassone
International Conference on Concurrency Theory, 272-287, 2002
Exformatics declarative case management workflows as DCR graphs
T Slaats, RR Mukkamala, T Hildebrandt, M Marquard
Business Process Management: 11th International Conference, BPM 2013 …, 2013
Contracts for cross-organizational workflows as timed dynamic condition response graphs
T Hildebrandt, RR Mukkamala, T Slaats, F Zanitti
The Journal of Logic and Algebraic Programming 82 (5-7), 164-185, 2013
Bisimulation congruences for Homer—a calculus of higher order mobile embedded resources
T Hildebrandt, JC Godskesen, M Bundgaard
Technical Report TR-2004–52, 2004
Street-level algorithms and AI in bureaucratic decision-making: A caseworker perspective
A Ammitzbøll Flügge, T Hildebrandt, NH Møller
Proceedings of the ACM on Human-Computer Interaction 5 (CSCW1), 1-23, 2021
A relational model of non-deterministic dataflow
TT Hildebrandt, P Panangaden, G Winskel
Mathematical Structures in Computer Science 14 (5), 613-649, 2004
From paper based clinical practice guidelines to declarative workflow management
KM Lyng, T Hildebrandt, RR Mukkamala
International Conference on Business Process Management, 336-347, 2008
Formal semantics and implementation of BPMN 2.0 inclusive gateways
DR Christiansen, M Carbone, T Hildebrandt
International Workshop on Web Services and Formal Methods, 146-160, 2010
Towards trustworthy adaptive case management with dynamic condition response graphs
RR Mukkamala, T Hildebrandt, T Slaats
2013 17th IEEE International Enterprise Distributed Object Computing …, 2013
Designing a cross-organizational case management system using dynamic condition response graphs
T Hildebrandt, RR Mukkamala, T Slaats
2011 IEEE 15th international enterprise distributed object computing …, 2011
The role of discretion in the age of automation
ACM Petersen, LR Christensen, TT Hildebrandt
Computer Supported Cooperative Work (CSCW) 29 (3), 303-333, 2020
Big red: A development environment for bigraphs
AJ Faithfull, G Perrone, TT Hildebrandt
Electronic Communications of the EASST 61, 2013
On plain and hereditary history-preserving bisimulation
SB Fröschle, TT Hildebrandt
International Symposium on Mathematical Foundations of Computer Science, 354-365, 1999
Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
S Debois, T Hildebrandt, T Slaats
International Symposium on Formal Methods, 143-160, 2015
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20