| Clausal temporal resolution M Fisher, C Dixon, M Peim ACM Transactions on Computational Logic (TOCL) 2 (1), 12-56, 2001 | 236 | 2001 |
| Intestinal trefoil factor controls the expression of the adenomatous polyposis coli–catenin and the E-cadherin–catenin complexes in human colon carcinoma cells JA Efstathiou, M Noda, A Rowan, C Dixon, R Chinery, A Jawhari, T Hattori, ... Proceedings of the National Academy of Sciences 95 (6), 3122-3127, 1998 | 177 | 1998 |
| Resolution for temporal logics of knowledge C Dixon, M Fisher, M Wooldridge Journal of Logic and Computation 8 (3), 345-372, 1998 | 98 | 1998 |
| Analysing robot swarm behaviour via probabilistic model checking S Konur, C Dixon, M Fisher Robotics and Autonomous Systems 60 (2), 199-213, 2012 | 92 | 2012 |
| 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 | 91 | 2005 |
| 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 | 55 | 2012 |
| 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 | 47 | 2019 |
| 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 |
| Search strategies for resolution in temporal logics C Dixon International Conference on Automated Deduction, 673-687, 1996 | 46 | 1996 |
| Temporal resolution using a breadth-first search algorithm C Dixon Annals of Mathematics and Artificial Intelligence 22 (1-2), 87-115, 1998 | 45 | 1998 |
| 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 | 42 | 2015 |
| 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 |
| Combinations of modal logics B Bennett, C Dixon, M Fisher, U Hustadt, E Franconi, I Horrocks, ... Artificial Intelligence Review 17 (1), 1-20, 2002 | 42 | 2002 |
| 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 | 42 | 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 | 35 | 2014 |
| 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 | 33 | 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 | 32 | 2007 |
| Tractable Temporal Reasoning. C Dixon, M Fisher, B Konev IJCAI 7, 318-323, 2007 | 31 | 2007 |
| 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 | 30 | 2000 |
Michael FisherProfessor of Computer Science, University of ManchesterGeverifieerd e-mailadres voor manchester.ac.uk
