Follow
Nikos Gorogiannis
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
1922011
A generic cyclic theorem prover
J Brotherston, N Gorogiannis, RL Petersen
Asian Symposium on Programming Languages and Systems, 350-367, 2012
1532012
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
1032018
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
912014
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
842014
Cyclic abduction of inductively defined safety and termination preconditions
J Brotherston, N Gorogiannis
International Static Analysis Symposium, 68-84, 2014
452014
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
432017
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
372016
Implementing semantic merging operators using binary decision diagrams
N Gorogiannis, A Hunter
International Journal of Approximate Reasoning 49 (1), 234-251, 2008
312008
Merging first-order knowledge using dilation operators
N Gorogiannis, A Hunter
Proceedings of the 5th international conference on Foundations of …, 2008
302008
Biabduction (and related problems) in array separation logic
J Brotherston, N Gorogiannis, M Kanovich
International Conference on Automated Deduction, 472-490, 2017
282017
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
272009
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
232019
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
232019
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
212017
Implementation of belief change operators using BDDs
N Gorogiannis, MD Ryan
Studia Logica 70, 131-156, 2002
202002
The complexity of the warranted formula problem in propositional argumentation
R Hirsch, N Gorogiannis
Journal of Logic and Computation 20 (2), 481, 2010
182010
Argumentation about treatment efficacy
N Gorogiannis, A Hunter, V Patkar, M Williams
Knowledge Representation for Health-Care. Data, Processes and Guidelines …, 2010
152010
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
142014
The complexity of abduction for separated heap abstractions
N Gorogiannis, M Kanovich, PW O’Hearn
International Static Analysis Symposium, 25-42, 2011
132011
The system can't perform the operation now. Try again later.
Articles 1–20