Nikos Gorogiannis

Cited by

	All	Since 2019
Citations	1116	575
h-index	17	13
i10-index	21	13

120

2007200820092010201120122013201420152016201720182019202020212022202320247 9 5 17 22 30 41 74 51 67 106 95 87 117 98 103 99 70

Public access

View all

4 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, Gran Sasso Science InstituteVerified email at gssi.it
Peter O'HearnUniversity College LondonVerified email at ucl.ac.uk
Diletta Romana CacciagranoUniversity of CamerinoVerified email at unicam.it
Rosario CulmoneUniversity of CamerinoVerified email at unicam.it
Leonardo MostardaAssociate professor, university of PerugiaVerified email at unipg.it
Ilya SergeyAssociate Professor, National University of SingaporeVerified email at nus.edu.sg
Sam BlackshearMysten LabsVerified email at mystenlabs.com
Juan Antonio Navarro PérezGoogleVerified email at google.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 AntonopoulosResearch Scientist, Yale UniversityVerified 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	202	2011
A generic cyclic theorem prover J Brotherston, N Gorogiannis, RL Petersen Asian Symposium on Programming Languages and Systems, 350-367, 2012	163	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	120	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	91	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	86	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	46	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
Implementing semantic merging operators using binary decision diagrams N Gorogiannis, A Hunter International Journal of Approximate Reasoning 49 (1), 234-251, 2008	32	2008
Merging first-order knowledge using dilation operators N Gorogiannis, A Hunter Proceedings of the 5th international conference on Foundations of …, 2008	31	2008
Biabduction (and related problems) in array separation logic J Brotherston, N Gorogiannis, M Kanovich International Conference on Automated Deduction, 472-490, 2017	29	2017
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
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	25	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	24	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	23	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	19	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	14	2014
A compositional deadlock detector for android java J Brotherston, P Brunet, N Gorogiannis, M Kanovich 2021 36th IEEE/ACM International Conference on Automated Software …, 2021	13	2021

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