| Instantiating abstract argumentation with classical logic arguments: Postulates and properties N Gorogiannis, A Hunter Artificial Intelligence 175 (9-10), 1479-1497, 2011 | 181 | 2011 |
| A generic cyclic theorem prover J Brotherston, N Gorogiannis, RL Petersen Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto …, 2012 | 142 | 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 | 90 | 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 | 87 | 2014 |
| Foundations for Decision Problems in Separation Logic with General Inductive Predicates. T Antonopoulos, N Gorogiannis, C Haase, MI Kanovich, J Ouaknine FoSSaCS 14, 411-425, 2014 | 82 | 2014 |
| Cyclic abduction of inductively defined safety and termination preconditions J Brotherston, N Gorogiannis International Static Analysis Symposium, 68-84, 2014 | 46 | 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, 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 | 37 | 2016 |
| Implementing semantic merging operators using binary decision diagrams N Gorogiannis, A Hunter International Journal of Approximate Reasoning 49 (1), 234-251, 2008 | 31 | 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 | 28 | 2009 |
| Merging first-order knowledge using dilation operators N Gorogiannis, A Hunter Proceedings of the 5th international conference on Foundations of …, 2008 | 28 | 2008 |
| Biabduction (and related problems) in array separation logic J Brotherston, N Gorogiannis, M Kanovich Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017 | 26 | 2017 |
| 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 | 21 | 2019 |
| SL-COMP: competition of solvers for separation logic M Sighireanu, JA Navarro Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 21 | 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 | 21 | 2017 |
| Implementation of belief change operators using BDDs N Gorogiannis, MD Ryan Studia Logica 70, 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 | 18 | 2010 |
| The complexity of abduction for separated heap abstractions N Gorogiannis, M Kanovich, PW O’Hearn Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy …, 2011 | 14 | 2011 |
| Argumentation about treatment efficacy N Gorogiannis, A Hunter, V Patkar, M Williams Knowledge Representation for Health-Care. Data, Processes and Guidelines …, 2010 | 14 | 2010 |
| 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, 2014 | 13 | 2014 |
James BrotherstonReader in Logic and Computation, University College Londonucl.ac.uk의 이메일 확인됨
