Thomas Troels Hildebrandt
Thomas Troels Hildebrandt
Professor, Computer Science Departement University of Copenhagen
Dirección de correo verificada de - Página principal
Citado por
Citado por
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
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
Nested dynamic condition response graphs
T Hildebrandt, RR Mukkamala, T Slaats
International conference on fundamentals of software engineering, 343-350, 2011
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
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
A relational model of non-deterministic dataflow
TT Hildebrandt, P Panangaden, G Winskel
Mathematical Structures in Computer Science 14 (5), 613-649, 2004
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
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
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
Big red: A development environment for bigraphs
A Faithfull, G Perrone, T Hildebrandt
Electronic Communications of the EASST 61, 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
On plain and hereditary history-preserving bisimulation
SB Fröschle, TT Hildebrandt
International Symposium on Mathematical Foundations of Computer Science, 354-365, 1999
Formalising business process execution with bigraphs and Reactive XML
T Hildebrandt, H Niss, M Olsen
International Conference on Coordination Languages and Models, 113-129, 2006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20