Nikos Gorogiannis

Cited by

	All	Since 2018
Citations	1035	594
h-index	17	12
i10-index	20	13

120

200720082009201020112012201320142015201620172018201920202021202220237 9 5 17 23 28 41 72 53 63 107 103 81 120 87 108 94

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

James BrotherstonProfessor of Logic and Computation, University College LondonVerified email at ucl.ac.uk
Anthony HunterProfessor of Artificial Intelligence, University College LondonVerified email at cs.ucl.ac.uk
Franco RaimondiProfessor of Computer Science, Middlesex UniversityVerified email at mdx.ac.uk
Peter O'HearnLacework and University College LondonVerified email at ucl.ac.uk
Leonardo MostardaAssociate ProfessorVerified email at unicam.it
Diletta Romana CacciagranoUniversity of CamerinoVerified email at unicam.it
Rosario CulmoneUniversity of CamerinoVerified email at unicam.it
Ilya SergeyAssociate Professor, National University of SingaporeVerified email at nus.edu.sg
Juan Antonio Navarro PérezGoogleVerified email at google.com
Sam BlackshearMysten LabsVerified email at mystenlabs.com
Mark D. RyanProfessor of Computer Security, University of BirminghamVerified email at cs.bham.ac.uk
Rasmus Lerchedahl PetersenMicrosoft ResearchVerified email at microsoft.com
Flavio CorradiniProfessore di Informatica, Università di CamerinoVerified email at unicam.it
Giuseppe PrimieroDepartment of Philosophy, University of MilanVerified email at unimi.it
Carsten FuhsSenior Lecturer, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Christoph HaaseUniversity of OxfordVerified email at cs.ox.ac.uk
Timos AntonopoulosVerified email at yale.edu
Kelly AndroutsopoulosSenior Lecturer in Software Engineering, Middlesex UniversityVerified email at mdx.ac.uk
Reuben N. S. RoweRoyal Holloway University of LondonVerified email at rhul.ac.uk

Nikos Gorogiannis

Facebook London

Verified email at fb.com - Homepage

Static Analysis Program Verification Artificial Intelligence Computational Complexity


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Instantiating abstract argumentation with classical logic arguments: Postulates and properties N Gorogiannis, A Hunter Artificial Intelligence 175 (9-10), 1479-1497, 2011	191	2011
A generic cyclic theorem prover J Brotherston, N Gorogiannis, RL Petersen Asian Symposium on Programming Languages and Systems, 350-367, 2012	146	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	97	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	89	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	81	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
Cyclic abduction of inductively defined safety and termination preconditions J Brotherston, N Gorogiannis International Static Analysis Symposium, 68-84, 2014	44	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	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
Merging first-order knowledge using dilation operators N Gorogiannis, A Hunter Proceedings of the 5th international conference on Foundations of …, 2008	30	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
Biabduction (and related problems) in array separation logic J Brotherston, N Gorogiannis, M Kanovich International Conference on Automated Deduction, 472-490, 2017	25	2017
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	23	2019
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	22	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, 131-156, 2002	20	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
Argumentation about treatment efficacy N Gorogiannis, A Hunter, V Patkar, M Williams Knowledge Representation for Health-Care. Data, Processes and Guidelines …, 2010	15	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
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	13	2011

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