| Evidence for variable selective pressures at MC1R RM Harding, E Healy, AJ Ray, NS Ellis, N Flanagan, C Todd, C Dixon, ... The American Journal of Human Genetics 66 (4), 1351-1361, 2000 | 416 | 2000 |
| Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001 | 236 | 2001 |
| Resolution for temporal logics of knowledge C Dixon, M Fisher, M Wooldridge Journal of Logic and Computation 8 (3), 345-372, 1998 | 101 | 1998 |
| On formal specification of emergent behaviours in swarm robotic systems AFT Winfield, J Sa, MC Fernández-Gago, C Dixon, M Fisher International journal of advanced robotic systems 2 (4), 39, 2005 | 87 | 2005 |
| Analysing robot swarm behaviour via probabilistic model checking S Konur, C Dixon, M Fisher Robotics and Autonomous Systems 60 (2), 199-213, 2012 | 83 | 2012 |
| A tableau-based proof method for temporal logics of knowledge and belief M Wooldridge, C Dixon, M Fisher Journal of applied non-classical logics 8 (3), 225-258, 1998 | 69 | 1998 |
| Towards temporal verification of swarm robotic systems C Dixon, AFT Winfield, M Fisher, C Zeng Robotics and Autonomous Systems 60 (11), 1429-1441, 2012 | 51 | 2012 |
| Temporal resolution using a breadth-first search algorithm C Dixon Annals of Mathematics and Artificial Intelligence 22 (1-2), 87-115, 1998 | 48 | 1998 |
| Search strategies for resolution in temporal logics C Dixon International Conference on Automated Deduction, 673-687, 1996 | 48 | 1996 |
| Mechanising first-order temporal resolution B Konev, A Degtyarev, C Dixon, M Fisher, U Hustadt Information and Computation 199 (1-2), 55-86, 2005 | 46 | 2005 |
| Combinations of modal logics B Bennett, C Dixon, M Fisher, U Hustadt, E Franconi, I Horrocks, ... Artificial Intelligence Review 17 (1), 1-20, 2002 | 43 | 2002 |
| Using temporal logics of knowledge in the formal verification of security protocols C Dixon, MCF Gago, M Fisher, W Van Der Hoek Proceedings. 11th International Symposium on Temporal Representation and …, 2004 | 42 | 2004 |
| Expression, candidate gene, and population studies of the melanocortin 5 receptor N Hatta, C Dixon, AJ Ray, SR Phillips, WJ Cunliffe, M Dale, C Todd, ... Journal of investigative dermatology 116 (4), 564-570, 2001 | 39 | 2001 |
| Formal verification of an autonomous personal robotic assistant M Webster, C Dixon, M Fisher, M Salem, J Saunders, KL Koay, ... 2014 AAAI Spring Symposium Series, 2014 | 33 | 2014 |
| Toward reliable autonomous robotic assistants through formal verification: A case study M Webster, C Dixon, M Fisher, M Salem, J Saunders, KL Koay, ... IEEE Transactions on Human-Machine Systems 46 (2), 186-196, 2015 | 32 | 2015 |
| Normal forms and proofs in combined modal and temporal logics U Hustadt, C Dixon, RA Schmidt, M Fisher International Workshop on Frontiers of Combining Systems, 73-87, 2000 | 32 | 2000 |
| Tractable Temporal Reasoning. C Dixon, M Fisher, B Konev IJCAI 7, 318-323, 2007 | 31 | 2007 |
| An intelligent process model: predicting springback in single point incremental forming MS Khan, F Coenen, C Dixon, S El-Salhi, M Penalva, A Rivero The International Journal of Advanced Manufacturing Technology 76 (9-12 …, 2015 | 30 | 2015 |
| Temporal logics of knowledge and their applications in security C Dixon, MCF Gago, M Fisher, W van der Hoek Electronic Notes in Theoretical Computer Science 186, 27-42, 2007 | 30 | 2007 |
| Formal specification and verification of autonomous robotic systems: A survey M Luckcuck, M Farrell, LA Dennis, C Dixon, M Fisher ACM Computing Surveys (CSUR) 52 (5), 1-41, 2019 | 27 | 2019 |
Michael FisherProfessor of Computer Science, University of LiverpoolGeverifieerd e-mailadres voor liverpool.ac.uk
