| Semi-supervised word sense disambiguation with neural models D Yuan, J Richardson, R Doherty, C Evans, E Altendorf arXiv preprint arXiv:1603.07012, 2016 | 194 | 2016 |
| System description: Proof planning in higher-order logic with λClam J Richardson, A Smaill, I Green Automated Deduction—CADE-15: 15th International Conference on Automated …, 1998 | 131 | 1998 |
| Automating traceability for generated software artifacts J Richardson, J Green Proceedings. 19th International Conference on Automated Software Engineering …, 2004 | 44 | 2004 |
| The strangest thing about software T Menzies, D Owen, J Richardson Computer 40 (1), 54-60, 2007 | 42 | 2007 |
| Symbolic verification with gap-order constraints L Fribourg, J Richardson International Workshop on Logic Programming Synthesis and Transformation, 20-37, 1996 | 42 | 1996 |
| An abstract formalization of correct schemas for program synthesis P Flener, KK Lau, M Ornaghi, J Richardson Journal of Symbolic Computation 30 (1), 93-127, 2000 | 36 | 2000 |
| Deductive synthesis of recursive plans in linear logic S Cresswell, A Smaill, J Richardson Recent Advances in AI Planning: 5th European Conference on Planning, ECP’99 …, 2000 | 35 | 2000 |
| Applying adversarial planning techniques to Go S Willmott, J Richardson, A Bundy, J Levine Theoretical Computer Science 252 (1-2), 45-82, 2001 | 32 | 2001 |
| An adversarial planning approach to Go S Willmott, J Richardson, A Bundy, J Levine Computers and Games: First International Conference, CG’98 Tsukuba, Japan …, 1999 | 29 | 1999 |
| Development of correct transformation schemata for Prolog programs J Richardson, N Fuchs Logic Program Synthesis and Transformation: 7th International Workshop …, 1998 | 28 | 1998 |
| Proofs about lists using ellipsis A Bundy, J Richardson International Conference on Logic for Programming Artificial Intelligence …, 1999 | 25 | 1999 |
| Automatic certification of Kalman filters for reliable code generation E Denney, B Fischer, J Schumann, J Richardson 2005 IEEE Aerospace Conference, 1-10, 2005 | 24 | 2005 |
| Logic program synthesis in a higher-order setting D Lacey, J Richardson, A Smail International Conference on Computational Logic, 87-100, 2000 | 24 | 2000 |
| Word sense disambiguation with neural language models D Yuan, R Doherty, J Richardson, C Evans, E Altendorf arXiv preprint arXiv:1603.07012, 2016 | 20 | 2016 |
| Xomo: Understanding development options for autonomy T Menzies, J Richardson COCOMO forum 2005, 2005 | 18 | 2005 |
| Learning better IV&V practices T Menzies, M Benson, K Costello, C Moats, M Northey, J Richardson Innovations in Systems and Software Engineering 4, 169-183, 2008 | 16 | 2008 |
| Adversarial planning in complex domains S Willmott, A Bundy, J Levine, J Richardson University of Edinburgh, Department of Artificial Intelligence, 1998 | 14 | 1998 |
| Traceability through automatic program generation J Richardson, J Green 2nd International Workshop on Traceability in Emerging Forms of Software …, 2003 | 13 | 2003 |
| Making sense of requirements, sooner T Menzies, J Richardson Computer 39 (10), 112-114, 2006 | 12 | 2006 |
| Proof planning methods as schemas J Richardson, A Bundy J. Symbolic Computation 11, 1-000, 1999 | 12 | 1999 |
