James Brotherston

Citirano

	Sve	Od 2020.
Citati	1774	682
H-indeks	22	14
i10-indeks	27	18

220

110

165

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202512 4 18 1 7 8 21 21 31 45 35 62 53 95 70 76 201 169 140 145 132 136 123 129 17

Javni pristup

Prikaži sve

11 članaka

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Nikos GorogiannisFacebook LondonPotvrđena adresa e-pošte na fb.com
Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaPotvrđena adresa e-pošte na fmf.uni-lj.si
Reuben N. S. RoweRoyal Holloway University of LondonPotvrđena adresa e-pošte na rhul.ac.uk
Rasmus Lerchedahl PetersenMicrosoft ResearchPotvrđena adresa e-pošte na microsoft.com
Jules VillardImperial College LondonPotvrđena adresa e-pošte na imperial.ac.uk
Richard BornatProfessor of Computer Programming, Middlesex UniversityPotvrđena adresa e-pošte na bornat.me.uk
Dino DistefanoAnthropic and Queen Mary University of LondonPotvrđena adresa e-pošte na eecs.qmul.ac.uk
Carsten FuhsSenior Lecturer, Birkbeck, University of LondonPotvrđena adresa e-pošte na dcs.bbk.ac.uk
Juan Antonio Navarro PérezGooglePotvrđena adresa e-pošte na google.com
Rajeev GoreFaculty of Information Technology, Monash University, AustraliaPotvrđena adresa e-pošte na monash.edu
John WickersonImperial College LondonPotvrđena adresa e-pošte na imperial.ac.uk
Diana CostaLASIGE, Informática, Faculdade de Ciências, Universidade de LisboaPotvrđena adresa e-pošte na fc.ul.pt
Paul BrunetUniversité Paris-Est Créteil - ÉPISENPotvrđena adresa e-pošte na u-pec.fr
Aquinas HoborAssociate Professor, University College LondonPotvrđena adresa e-pošte na ucl.ac.uk
Alexei LisitsaUniversity of LiverpoolPotvrđena adresa e-pošte na liverpool.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterPotvrđena adresa e-pošte na manchester.ac.uk
Oda YukihiroSpecially appointed research fellow, Tohoku UniversityPotvrđena adresa e-pošte na tohoku.ac.jp
Luke GeesonUniversity College LondonPotvrđena adresa e-pošte na cs.ucl.ac.uk
Tyler SorensenAssistant Professor, UC Santa CruzPotvrđena adresa e-pošte na ucsc.edu
Lee SmithRetiredPotvrđena adresa e-pošte na acm.org

Prati

James Brotherston

Professor of Logic and Computation, University College London

Potvrđena adresa e-pošte na ucl.ac.uk - Početna stranica

Logic verification automated reasoning


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
Sequent calculi for induction and infinite descent J Brotherston, A Simpson Journal of Logic and Computation 21 (6), 1177-1216, 2011	217	2011
Cyclic proofs for first-order logic with inductive definitions J Brotherston International Conference on Automated Reasoning with Analytic Tableaux and …, 2005	188	2005
A generic cyclic theorem prover J Brotherston, N Gorogiannis, RL Petersen Asian Symposium on Programming Languages and Systems, 350-367, 2012	164	2012
Cyclic proofs of program termination in separation logic J Brotherston, R Bornat, C Calcagno ACM SIGPLAN Notices 43 (1), 101-112, 2008	118	2008
Automated cyclic entailment proofs in separation logic J Brotherston, D Distefano, RL Petersen Automated Deduction–CADE-23: 23rd International Conference on Automated …, 2011	101	2011
Sequent calculus proof systems for inductive definitions J Brotherston University of Edinburgh. College of Science and Engineering. School of …, 2006	100	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	74	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	73	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	56	2007
Bunched logics displayed J Brotherston Studia Logica 100, 1223-1254, 2012	55	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	52	2017
Cyclic abduction of inductively defined safety and termination preconditions J Brotherston, N Gorogiannis International Static Analysis Symposium, 68-84, 2014	46	2014
Automatically verifying temporal properties of pointer programs with cyclic proof G Tellez, J Brotherston Journal of Automated Reasoning 64 (3), 555-578, 2020	38	2020
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	38	2016
Undecidability of propositional separation logic and its neighbours J Brotherston, M Kanovich Journal of the ACM (JACM) 61 (2), 1-43, 2014	36	2014
Classical BI: Its semantics and proof theory J Brotherston, C Calcagno Logical Methods in Computer Science 6, 2010	33	2010
Biabduction (and related problems) in array separation logic J Brotherston, N Gorogiannis, M Kanovich International Conference on Automated Deduction, 472-490, 2017	31	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	26	2003

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori