James Brotherston

Cited by

	All	Since 2019
Citations	1708	770
h-index	22	15
i10-index	27	20

220

110

165

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 4 17 1 7 8 21 22 31 45 35 59 51 95 70 72 206 169 136 144 137 134 118 101

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Nikos GorogiannisFacebook LondonVerified email at fb.com
Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaVerified email at fmf.uni-lj.si
Rasmus Lerchedahl PetersenMicrosoft ResearchVerified email at microsoft.com
Reuben N. S. RoweRoyal Holloway University of LondonVerified email at rhul.ac.uk
Jules VillardImperial College LondonVerified email at imperial.ac.uk
Richard BornatProfessor of Computer Programming, Middlesex UniversityVerified email at bornat.me.uk
Dino DistefanoMeta and Queen Mary University of LondonVerified email at eecs.qmul.ac.uk
Carsten FuhsSenior Lecturer, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Juan Antonio Navarro PérezGoogleVerified email at google.com
Rajeev GoreFaculty of Information Technology, Monash University, AustraliaVerified email at monash.edu
John WickersonImperial College LondonVerified email at imperial.ac.uk
Diana CostaLASIGE, Informática, Faculdade de Ciências, Universidade de LisboaVerified email at fc.ul.pt
Paul BrunetUniversité Paris-Est Créteil - ÉPISENVerified email at u-pec.fr
Aquinas HoborAssociate Professor, University College LondonVerified email at ucl.ac.uk
Alexei LisitsaUniversity of LiverpoolVerified email at liverpool.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Oda YukihiroSpecially appointed research fellow, Tohoku UniversityVerified email at tohoku.ac.jp

James Brotherston

Professor of Logic and Computation, University College London

Verified email at ucl.ac.uk - Homepage

Logic verification automated reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Sequent calculi for induction and infinite descent J Brotherston, A Simpson Journal of Logic and Computation 21 (6), 1177-1216, 2011	202	2011
Cyclic proofs for first-order logic with inductive definitions J Brotherston International Conference on Automated Reasoning with Analytic Tableaux and …, 2005	181	2005
A generic cyclic theorem prover J Brotherston, N Gorogiannis, RL Petersen Asian Symposium on Programming Languages and Systems, 350-367, 2012	163	2012
Cyclic proofs of program termination in separation logic J Brotherston, R Bornat, C Calcagno ACM SIGPLAN Notices 43 (1), 101-112, 2008	114	2008
Automated cyclic entailment proofs in separation logic J Brotherston, D Distefano, RL Petersen Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011	98	2011
Sequent calculus proof systems for inductive definitions J Brotherston University of Edinburgh. College of Science and Engineering. School of …, 2006	96	2006
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	91	2014
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	73	2007
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	71	2010
Parametric completeness for separation theories J Brotherston, J Villard ACM SIGPLAN Notices 49 (1), 453-464, 2014	58	2014
Formalised inductive reasoning in the logic of bunched implications J Brotherston International Static Analysis Symposium, 87-103, 2007	54	2007
Bunched logics displayed J Brotherston Studia Logica 100, 1223-1254, 2012	53	2012
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	48	2017
Cyclic abduction of inductively defined safety and termination preconditions J Brotherston, N Gorogiannis International Static Analysis Symposium, 68-84, 2014	46	2014
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	36	2016
Automatically verifying temporal properties of pointer programs with cyclic proof G Tellez, J Brotherston Journal of Automated Reasoning 64 (3), 555-578, 2020	35	2020
Undecidability of propositional separation logic and its neighbours J Brotherston, M Kanovich Journal of the ACM (JACM) 61 (2), 1-43, 2014	34	2014
Classical BI: Its semantics and proof theory J Brotherston, C Calcagno Logical Methods in Computer Science 6, 2010	34	2010
Biabduction (and related problems) in array separation logic J Brotherston, N Gorogiannis, M Kanovich International Conference on Automated Deduction, 472-490, 2017	29	2017
A formalised first-order confluence proof for the λ-calculus using one-sorted variable names R Vestergaard, J Brotherston Information and Computation 183 (2), 212-244, 2003	25	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors