팔로우
Nikos Gorogiannis
Nikos Gorogiannis
Facebook London
fb.com의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
Instantiating abstract argumentation with classical logic arguments: Postulates and properties
N Gorogiannis, A Hunter
Artificial Intelligence 175 (9-10), 1479-1497, 2011
1812011
A generic cyclic theorem prover
J Brotherston, N Gorogiannis, RL Petersen
Programming Languages and Systems: 10th Asian Symposium, APLAS 2012, Kyoto …, 2012
1422012
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
902018
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
872014
Foundations for Decision Problems in Separation Logic with General Inductive Predicates.
T Antonopoulos, N Gorogiannis, C Haase, MI Kanovich, J Ouaknine
FoSSaCS 14, 411-425, 2014
822014
Cyclic abduction of inductively defined safety and termination preconditions
J Brotherston, N Gorogiannis
International Static Analysis Symposium, 68-84, 2014
462014
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
442017
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
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
282009
Merging first-order knowledge using dilation operators
N Gorogiannis, A Hunter
Proceedings of the 5th international conference on Foundations of …, 2008
282008
Biabduction (and related problems) in array separation logic
J Brotherston, N Gorogiannis, M Kanovich
Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017
262017
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
212019
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
212019
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
212002
The complexity of the warranted formula problem in propositional argumentation
R Hirsch, N Gorogiannis
Journal of Logic and Computation 20 (2), 481, 2010
182010
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
142011
Argumentation about treatment efficacy
N Gorogiannis, A Hunter, V Patkar, M Williams
Knowledge Representation for Health-Care. Data, Processes and Guidelines …, 2010
142010
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
132014
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20