Nikos Gorogiannis
Nikos Gorogiannis
Facebook, University of Middlesex
Vahvistettu sähköpostiosoite verkkotunnuksessa mdx.ac.uk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Instantiating abstract argumentation with classical logic arguments: Postulates and properties
N Gorogiannis, A Hunter
Artificial Intelligence 175 (9-10), 1479-1497, 2011
1612011
A generic cyclic theorem prover
J Brotherston, N Gorogiannis, RL Petersen
Asian Symposium on Programming Languages and Systems, 350-367, 2012
1052012
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
752014
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
682014
Cyclic abduction of inductively defined safety and termination preconditions
J Brotherston, N Gorogiannis
International Static Analysis Symposium, 68-84, 2014
372014
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
332018
Implementing semantic merging operators using binary decision diagrams
N Gorogiannis, A Hunter
International Journal of Approximate Reasoning 49 (1), 234-251, 2008
322008
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
302016
Merging first-order knowledge using dilation operators
N Gorogiannis, A Hunter
Proceedings of the 5th international conference on Foundations of …, 2008
282008
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
202017
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
162010
Biabduction (and related problems) in array separation logic
J Brotherston, N Gorogiannis, M Kanovich
International Conference on Automated Deduction, 472-490, 2017
142017
Argumentation about treatment efficacy
N Gorogiannis, A Hunter, V Patkar, M Williams
International Workshop on Knowledge Representation for Health Care, 169-179, 2009
142009
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
112019
The complexity of abduction for separated heap abstractions
N Gorogiannis, M Kanovich, PW O’hearn
International Static Analysis Symposium, 25-42, 2011
112011
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
102017
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
SL-COMP: Competition of solvers for separation logic
M Sighireanu, JAN Pérez, A Rybalchenko, N Gorogiannis, R Iosif, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
82019
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20