David Sinclair
Dr
Peer Reviewed Journal
| Year | Publication | |
|---|---|---|
| 2009 | Bai, Liang; Lao, Songyang; Smeaton, Alan F.; O'Connor, Noel E.; Sadlier, David; Sinclair, David (2009) 'Semantic Analysis of Field Sports Video using a Petri-Net of Audio-Visual Concepts'. Computer Journal, 52 (7). [DOI] | |
| 2004 | Power, JF; Sinclair, D (2004) 'A formal model of Forth control words in the pi-calculus'. Journal of Universal Computer Science, 10 (9). | |
| 2004 | Sinclair, D; Gray, D; Hamilton, G (2004) 'Synthesising attacks on cryptographic protocols'. MULTIMEDIA, HYPERMEDIA AND VIRTUAL REALITY, 3299 . | |
| 2003 | Oehl, F; Cece, G; Kouchnarenko, O; Sinclair, D (2003) 'Automatic approximation for the verification of cryptographic protocols'. MULTIMEDIA, HYPERMEDIA AND VIRTUAL REALITY, 2629 . | |
| 1998 | Sinclair, D (1998) 'The GST load balancing algorithm for parallel and distributed systems'. International Journal of Approximate Reasoning, 19 (1-2). | |
| 1998 | Sinclair, D (1998) 'Using example-based reasoning for selective move generation in two player adversarial games'. Advances in Case-Based Reasoning, 1488 . | |
| 1997 | Sinclair, D (1997) 'Using an object-oriented methodology to bring a hybrid system from initial concept to formal definition'. MULTIMEDIA, HYPERMEDIA AND VIRTUAL REALITY, 1201 . |
Conference Publication
| Year | Publication | |
|---|---|---|
| 2011 | Pluska, M.; Sinclair, D. (2011) Proceedings of 2011, 10th IEEE International Conference on Cybernetic Intelligent Systems, CIS 2011 The design methodology for the verification of hybrid dynamical systems [Link] [DOI] | |
| 2010 | Pluska, M.; Sinclair, D. (2010) 2010 IEEE 9th International Conference on Cybernetic Intelligent Systems, CIS 2010 The design methodology for hybrid system verification [Link] [DOI] | |
| 2008 | Clarke, S.; Fitzgerald, B.; Nixon, P.; Pohl, K.; Ryan, K.; Sinclair, D.; Thiel, S. (2008) The role of software engineering in future automotive systems development [Link] [DOI] | |
| 2007 | Jiao, D.; Sinclair, D. (2007) IET Conference Publications Analyzing CAS protocol using weakest precondition semantics for the applied π-calculus [Link] [DOI] | |
| 2007 | Jiao, D.; Sinclair, D. (2007) IET Conference Publications WP4PI: A proof system based on the weakest preconditions for the applied π-calculus [Link] [DOI] | |
| 2005 | Lyttleton, O; Sinclair, D; Tracey, D (2005) PROCEEDINGS OF THE 2005 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION Mediating between heterogeneous ontologies using schema matching techniques | |
| 1996 | Sinclair, D; Cuypers, L; Verschaeve, K; Holz, E; Birbas, A; Mariatos, V; Kyrloglou, N; Roux, JL (1996) IEEE SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS A formal approach to HW/SW co-design: The INSYDE project |
Certain data included herein are derived from the © Web of Science (2024) of Clarivate. All rights reserved.
Research Interests
Applications of Formal Methods
- Verification of System Properties
- Timed and Probabilistic Systems
Distributed and Embedded Systems
- Designing and describing multi-processor systems
- Designing and describing real-time systems
Game Theory
- Applications of Artificial Intelligence in Strategic Games