Theo dõi
Nikos Gorogiannis
Nikos Gorogiannis
Facebook London
Email được xác minh tại fb.com - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Instantiating abstract argumentation with classical logic arguments: Postulates and properties
N Gorogiannis, A Hunter
Artificial Intelligence 175 (9-10), 1479-1497, 2011
2072011
A generic cyclic theorem prover
J Brotherston, N Gorogiannis, RL Petersen
Asian Symposium on Programming Languages and Systems, 350-367, 2012
1652012
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
1272018
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
872014
Cyclic abduction of inductively defined safety and termination preconditions
J Brotherston, N Gorogiannis
International Static Analysis Symposium, 68-84, 2014
472014
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
452017
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
382016
Implementing semantic merging operators using binary decision diagrams
N Gorogiannis, A Hunter
International Journal of Approximate Reasoning 49 (1), 234-251, 2008
332008
Biabduction (and related problems) in array separation logic
J Brotherston, N Gorogiannis, M Kanovich
International Conference on Automated Deduction, 472-490, 2017
322017
Merging first-order knowledge using dilation operators
N Gorogiannis, A Hunter
Proceedings of the 5th international conference on Foundations of …, 2008
322008
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
282019
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
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
262019
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
192010
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
152021
Argumentation about treatment efficacy
N Gorogiannis, A Hunter, V Patkar, M Williams
International Workshop on Knowledge Representation for Health Care, 169-179, 2009
152009
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
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20