| Automatic approximation for the verification of cryptographic protocols F Oehl, G Cécé, O Kouchnarenko, D Sinclair Formal Aspects of Security, 33-48, 2002 | 24 | 2002 |
| Empowerment and embodiment for collaborative mixed reality systems Y Pan, D Sinclair, K Mitchell Computer Animation and Virtual Worlds 29 (3-4), e1838, 2018 | 21 | 2018 |
| Compressed animated light fields with real-time view-dependent reconstruction C Koniaris, M Kosek, D Sinclair, K Mitchell IEEE Transactions on Visualization and Computer Graphics 25 (4), 1666-1680, 2018 | 16 | 2018 |
| Using example-based reasoning for selective move generation in two player adversarial games D Sinclair Advances in Case-Based Reasoning: 4th European Workshop, EWCBR-98 Dublin …, 1998 | 15 | 1998 |
| Real-time Rendering with Compressed Animated Light Fields. B Koniaris, M Kosek, D Sinclair, K Mitchell Graphics Interface 2, 2017 | 14 | 2017 |
| An object-oriented methodology from requirements to validation D Sinclair, G Clynch, B Stone OOIS’95: 1995 International Conference on Object Oriented Information …, 1996 | 14 | 1996 |
| Semantic analysis of field sports video using a petri-net of audio-visual concepts L Bai, S Lao, AF Smeaton, NE O'Connor, D Sadlier, D Sinclair The Computer Journal 52 (7), 808-823, 2009 | 13 | 2009 |
| Using an object-oriented methodology to bring a hybrid system from initial concept to formal definition D Sinclair Hybrid and Real-Time Systems: International Workshop, HART'97 Grenoble …, 1997 | 11 | 1997 |
| The Dual Brake Inertia Dynamometer—A New Tool for Brake Testing D Sinclair, WF Gulick SAE Transactions, 253-271, 1963 | 11 | 1963 |
| Implementing protocol verification for E-commerce B Aziz, D Gray, G Hamilton, F Oehl, JF Power, D Sinclair | 8 | 2001 |
| Combining two approaches for the verification of cryptographic protocols F Oehl, D Sinclair Workshop Specification, Analysis and Validation for Emerging Technologies in …, 2001 | 7 | 2001 |
| Real-time rendering with compressed animated light fields KJ Mitchell, C Koniaris, ME Kosek, DA Sinclair US Patent 10,636,201, 2020 | 6 | 2020 |
| Combining Isabelle and Timbuk for Cryptographic Protocol Verification F Oehl, D Sinclair Proceedings Workshop on Securité de la Communication sur Internet (SECI 2002 …, 2002 | 6 | 2002 |
| The GST load balancing algorithm for parallel and distributed systems D Sinclair International journal of approximate reasoning 19 (1-2), 39-56, 1998 | 6 | 1998 |
| Modelling and verification of cyber-physical system M Pluska, D Sinclair na, 2010 | 5 | 2010 |
| The Role of Software Engineering in Future Automotive Systems Development S Clarke, B Fitzgerald, P Nixon, K Pohl, K Ryan, D Sinclair, S Thiel SAE International Journal of Passenger Cars-Electronic and Electrical …, 2009 | 5 | 2009 |
| Integrated System Design with an Object-Oriented Methodology EP Mariatos, AN Birbas, MK Birbas, I Karathanasis, M Jadoul, ... Object-Oriented Modeling, 57-75, 1996 | 5 | 1996 |
| IRIDiuM+ deep media storytelling with non-linear light field video M Kosek, B Koniaris, D Sinclair, D Markova, F Rothnie, L Smoot, ... ACM SIGGRAPH 2017 VR Village, 1-2, 2017 | 4 | 2017 |
| Validation of hybrid systems by co-simulation D Sinclair, E Holz, D Witaszek, M Wasowski Hybrid Systems III: Verification and Control 3, 315-326, 1996 | 4 | 1996 |
| Depth codec for real-time, high-quality light field reconstruction KJ Mitchell, C Koniaris, ME Kosek, DA Sinclair US Patent 11,153,550, 2021 | 3 | 2021 |
