| Instantiating abstract argumentation with classical logic arguments: Postulates and properties N Gorogiannis, A Hunter Artificial Intelligence 175 (9-10), 1479-1497, 2011 | 215 | 2011 |
| A generic cyclic theorem prover J Brotherston, N Gorogiannis, RL Petersen Asian Symposium on Programming Languages and Systems, 350-367, 2012 | 178 | 2012 |
| RacerD: compositional static race detection S Blackshear, N Gorogiannis, PW O'Hearn, I Sergey Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-28, 2018 | 150 | 2018 |
| A decision procedure for satisfiability in separation logic with inductive predicates J Brotherston, C Fuhs, JAN Pérez, N Gorogiannis Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014 | 97 | 2014 |
| Foundations for decision problems in separation logic with general inductive predicates T Antonopoulos, N Gorogiannis, C Haase, M Kanovich, J Ouaknine International Conference on Foundations of Software Science and Computation …, 2014 | 88 | 2014 |
| Cyclic abduction of inductively defined safety and termination preconditions J Brotherston, N Gorogiannis International Static Analysis Symposium, 68-84, 2014 | 53 | 2014 |
| Symbolic verification of event–condition–action rules in intelligent environments C Vannucchi, M Diamanti, G Mazzante, D Cacciagrano, R Culmone, ... Journal of Reliable Intelligent Environments 3 (2), 117-130, 2017 | 44 | 2017 |
| Model checking for symbolic-heap separation logic with inductive predicates J Brotherston, N Gorogiannis, M Kanovich, R Rowe ACM SIGPLAN Notices 51 (1), 84-96, 2016 | 39 | 2016 |
| A true positives theorem for a static race detector N Gorogiannis, PW O'Hearn, I Sergey Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 36 | 2019 |
| Biabduction (and related problems) in array separation logic J Brotherston, N Gorogiannis, M Kanovich International Conference on Automated Deduction, 472-490, 2017 | 34 | 2017 |
| Implementing semantic merging operators using binary decision diagrams N Gorogiannis, A Hunter International Journal of Approximate Reasoning 49 (1), 234-251, 2008 | 33 | 2008 |
| Merging first-order knowledge using dilation operators N Gorogiannis, A Hunter Proceedings of the 5th international conference on Foundations of …, 2008 | 32 | 2008 |
| An argument-based approach to reasoning with clinical knowledge N Gorogiannis, A Hunter, M Williams International Journal of Approximate Reasoning 51 (1), 1-22, 2009 | 27 | 2009 |
| SL-COMP: competition of solvers for separation logic M Sighireanu, JA Navarro Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ... International Conference on Tools and Algorithms for the Construction and …, 2019 | 26 | 2019 |
| virony: A tool for analysis and verification of ECA rules in intelligent environments C Vannucchi, M Diamanti, G Mazzante, DR Cacciagrano, F Corradini, ... 2017 International Conference on Intelligent Environments (IE), 92-99, 2017 | 22 | 2017 |
| Implementation of belief change operators using BDDs N Gorogiannis, MD Ryan Studia Logica 70 (1), 131-156, 2002 | 21 | 2002 |
| The complexity of the warranted formula problem in propositional argumentation R Hirsch, N Gorogiannis Journal of Logic and Computation 20 (2), 481, 2010 | 19 | 2010 |
| A compositional deadlock detector for android java J Brotherston, P Brunet, N Gorogiannis, M Kanovich 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 16 | 2021 |
| A racket-based robot to teach first-year computer science K Androutsopoulos, N Gorogiannis, M Loomes, M Margolis, G Primiero, ... 7th European Lisp Symposium 54, 54-61, 2014 | 16 | 2014 |
| Argumentation about treatment efficacy N Gorogiannis, A Hunter, V Patkar, M Williams International Workshop on Knowledge Representation for Health Care, 169-179, 2009 | 15 | 2009 |
James BrotherstonProfessor of Logic and Computation, University College LondonVerified email at ucl.ac.uk
