Thomas Troels Hildebrandt
TitleCited byYear
Declarative event-based workflow as distributed dynamic condition response graphs
TT Hildebrandt, RR Mukkamala
arXiv preprint arXiv:1110.4161, 2011
1672011
Bigraphical models of context-aware systems
L Birkedal, S Debois, E Elsborg, T Hildebrandt, H Niss
International Conference on Foundations of Software Science and Computation …, 2006
1202006
A Calculus of Mobile Resources*
JC Godskesen, T Hildebrandt, V Sassone
International Conference on Concurrency Theory, 272-287, 2002
702002
Nested dynamic condition response graphs
T Hildebrandt, RR Mukkamala, T Slaats
International conference on fundamentals of software engineering, 343-350, 2011
682011
Bisimulation congruences for Homer—a calculus of higher order mobile embedded resources
T Hildebrandt, JC Godskesen, M Bundgaard
Technical Report TR-2004–52, 2004
602004
A model checker for bigraphs
G Perrone, S Debois, TT Hildebrandt
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1320-1325, 2012
562012
A relational model of non-deterministic dataflow
TT Hildebrandt, P Panangaden, G Winskel
Mathematical Structures in Computer Science 14 (5), 613-649, 2004
52*2004
Exformatics declarative case management workflows as DCR graphs
T Slaats, RR Mukkamala, T Hildebrandt, M Marquard
Business process management, 339-354, 2013
482013
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
462008
Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs.
TT Hildebrandt, RR Mukkamala, T Slaats, F Zanitti
J. Log. Algebr. Program. 82 (5-7), 164-185, 2013
402013
Extending howe’s method to early bisimulations for typed mobile embedded resources with local names
JC Godskesen, T Hildebrandt
International Conference on Foundations of Software Technology and …, 2005
38*2005
On plain and hereditary history-preserving bisimulation
SB Fröschle, TT Hildebrandt
International Symposium on Mathematical Foundations of Computer Science, 354-365, 1999
371999
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
352011
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
352006
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
332010
Formalizing higher-order mobile embedded business processes with binding bigraphs
M Bundgaard, AJ Glenstrup, T Hildebrandt, E Højsgaard, H Niss
International Conference on Coordination Languages and Models, 83-99, 2008
332008
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
322013
Safe distribution of declarative processes
T Hildebrandt, RR Mukkamala, T Slaats
International Conference on Software Engineering and Formal Methods, 237-252, 2011
312011
Bigraphical semantics of higher-order mobile embedded resources with local names
M Bundgaard, T Hildebrandt
Electronic Notes in Theoretical Computer Science 154 (2), 7-29, 2006
312006
Bigraphical programming languages for pervasive computing
L Birkedal, M Bundgaard, TC Damgaard, S Debois, E Elsborg, ...
Proceedings of Pervasive 2006 International Workshop on Combining Theory and …, 2006
312006
The system can't perform the operation now. Try again later.
Articles 1–20