| 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 | 271 | 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 | 140 | 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 | 109 | 2018 |
| 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 | 95 | 2020 |
| A model checker for bigraphs G Perrone, S Debois, TT Hildebrandt Proceedings of the 27th annual ACM symposium on applied computing, 1320-1325, 2012 | 91 | 2012 |
| Nested dynamic condition response graphs T Hildebrandt, RR Mukkamala, T Slaats International conference on fundamentals of software engineering, 343-350, 2011 | 86 | 2011 |
| A Calculus of Mobile Resources* JC Godskesen, T Hildebrandt, V Sassone International Conference on Concurrency Theory, 272-287, 2002 | 78 | 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 | 75 | 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 | 73 | 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 | 70 | 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 | 64 | 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 | 56 | 2008 |
| A relational model of non-deterministic dataflow TT Hildebrandt, P Panangaden, G Winskel Mathematical Structures in Computer Science 14 (5), 613-649, 2004 | 55* | 2004 |
| 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 | 49 | 2020 |
| 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 | 48 | 2010 |
| Big red: A development environment for bigraphs A Faithfull, G Perrone, T Hildebrandt Electronic Communications of the EASST 61, 2013 | 47 | 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 | 46 | 2011 |
| 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 | 44 | 2013 |
| On plain and hereditary history-preserving bisimulation SB Fröschle, TT Hildebrandt International Symposium on Mathematical Foundations of Computer Science, 354-365, 1999 | 44 | 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 | 42 | 2006 |
Tijs SlaatsAssociate Professor at Department of Computer Science, University of Copenhagen在 di.ku.dk 的电子邮件经过验证
