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
1532011
A generic cyclic theorem prover
J Brotherston, N Gorogiannis, RL Petersen
Asian Symposium on Programming Languages and Systems, 350-367, 2012
1002012
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
722014
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
652014
Cyclic abduction of inductively defined safety and termination preconditions
J Brotherston, N Gorogiannis
International Static Analysis Symposium, 68-84, 2014
372014
Implementing semantic merging operators using binary decision diagrams
N Gorogiannis, A Hunter
International Journal of Approximate Reasoning 49 (1), 234-251, 2008
322008
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
292018
Merging first-order knowledge using dilation operators
N Gorogiannis, A Hunter
Proceedings of the 5th international conference on Foundations of …, 2008
282008
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
272016
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
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 (2), 117-130, 2017
182017
Implementation of belief change operators using BDDs
N Gorogiannis, MD Ryan
Studia Logica 70 (1), 131-156, 2002
172002
The complexity of the warranted formula problem in propositional argumentation
R Hirsch, N Gorogiannis
Journal of Logic and Computation 20 (2), 481, 2010
152010
Argumentation about treatment efficacy
N Gorogiannis, A Hunter, V Patkar, M Williams
International Workshop on Knowledge Representation for Health Care, 169-179, 2009
142009
Biabduction (and related problems) in array separation logic
J Brotherston, N Gorogiannis, M Kanovich
International Conference on Automated Deduction, 472-490, 2017
122017
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
102019
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
102014
The complexity of abduction for separated heap abstractions
N Gorogiannis, M Kanovich, PW O’hearn
International Static Analysis Symposium, 25-42, 2011
102011
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
92017
Towards cyber-physical systems as services: the ASIP protocol
M Bordoni, M Bottone, B Fields, N Gorogiannis, M Margolis, G Primiero, ...
2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart …, 2015
52015
The system can't perform the operation now. Try again later.
Articles 1–20