دنبال کردن
Thomas Troels Hildebrandt
Thomas Troels Hildebrandt
Professor, Computer Science Departement University of Copenhagen
ایمیل تأیید شده در di.ku.dk - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
3072011
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‏
1432006
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‏
1172018
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‏
1072020
A model checker for bigraphs‏
G Perrone, S Debois, TT Hildebrandt‏
Proceedings of the 27th annual ACM symposium on applied computing, 1320-1325, 2012‏
922012
Nested dynamic condition response graphs‏
T Hildebrandt, RR Mukkamala, T Slaats‏
International conference on fundamentals of software engineering, 343-350, 2011‏
902011
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‏
842021
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‏
772013
A Calculus of Mobile Resources*‏
JC Godskesen, T Hildebrandt, V Sassone‏
International Conference on Concurrency Theory, 272-287, 2002‏
772002
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‏
762013
Bisimulation Congruences for Homer: a Calculus of Higher Order Mobile Embedded Resources‏
T Hildebrandt, JC Godskesen, M Bundgaard‏
IT-Universitetet i København, 2004‏
732004
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‏
632020
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‏
582008
A relational model of non-deterministic dataflow‏
TT Hildebrandt, P Panangaden, G Winskel‏
Mathematical Structures in Computer Science 14 (5), 613-649, 2004‏
56*2004
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‏
512011
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‏
512010
Hierarchical declarative modelling with refinement and sub-processes‏
S Debois, T Hildebrandt, T Slaats‏
Business Process Management: 12th International Conference, BPM 2014, Haifa …, 2014‏
462014
Big red: A development environment for bigraphs‏
A Faithfull, G Perrone, T Hildebrandt‏
Electronic Communications of the EASST 61, 2013‏
462013
On plain and hereditary history-preserving bisimulation‏
SB Fröschle, TT Hildebrandt‏
International Symposium on Mathematical Foundations of Computer Science, 354-365, 1999‏
461999
Replication, refinement & reachability: complexity in dynamic condition-response graphs‏
S Debois, TT Hildebrandt, T Slaats‏
Acta Informatica 55 (6), 489-520, 2018‏
452018
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20