| Sequent calculi for induction and infinite descent J Brotherston, A Simpson Journal of Logic and Computation 21 (6), 1177-1216, 2011 | 178 | 2011 |
| Cyclic proofs for first-order logic with inductive definitions J Brotherston Automated Reasoning with Analytic Tableaux and Related Methods: 14th …, 2005 | 155 | 2005 |
| A generic cyclic theorem prover J Brotherston, N Gorogiannis, RL Petersen Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto …, 2012 | 142 | 2012 |
| Cyclic proofs of program termination in separation logic J Brotherston, R Bornat, C Calcagno ACM SIGPLAN Notices 43 (1), 101-112, 2008 | 112 | 2008 |
| Automated Cyclic Entailment Proofs in Separation Logic. J Brotherston, D Distefano, RL Petersen CADE 11, 131-146, 2011 | 90 | 2011 |
| 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 |
| Sequent calculus proof systems for inductive definitions J Brotherston University of Edinburgh. College of Science and Engineering. School of …, 2006 | 78 | 2006 |
| Undecidability of propositional separation logic and its neighbours J Brotherston, M Kanovich 2010 25th Annual IEEE Symposium on Logic in Computer Science, 130-139, 2010 | 72 | 2010 |
| Complete sequent calculi for induction and infinite descent J Brotherston, A Simpson 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 51-62, 2007 | 62 | 2007 |
| Parametric completeness for separation theories J Brotherston, J Villard ACM SIGPLAN Notices 49 (1), 453-464, 2014 | 54 | 2014 |
| Formalised inductive reasoning in the logic of bunched implications J Brotherston Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby …, 2007 | 54 | 2007 |
| Bunched logics displayed J Brotherston Studia Logica 100, 1223-1254, 2012 | 49 | 2012 |
| Cyclic abduction of inductively defined safety and termination preconditions J Brotherston, N Gorogiannis Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany …, 2014 | 46 | 2014 |
| Automatic cyclic termination proofs for recursive procedures in separation logic RNS Rowe, J Brotherston Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017 | 41 | 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 |
| Classical BI: Its semantics and proof theory J Brotherston, C Calcagno arXiv preprint arXiv:1005.2340, 2010 | 35 | 2010 |
| Undecidability of propositional separation logic and its neighbours J Brotherston, M Kanovich Journal of the ACM (JACM) 61 (2), 1-43, 2014 | 32 | 2014 |
| Automatically verifying temporal properties of pointer programs with cyclic proof G Tellez, J Brotherston Journal of Automated Reasoning 64 (3), 555-578, 2020 | 31 | 2020 |
| 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 |
| Classical BI: a logic for reasoning about dualising resources J Brotherston, C Calcagno ACM SIGPLAN Notices 44 (1), 328-339, 2009 | 24 | 2009 |
Nikos GorogiannisFacebook LondonVerified email at fb.com
