Requirements, specifications, and minimal refinement. - Nikos Gorogiannis; Mark Ryan 001 (WoLLIC, 2002)

Implementation of Belief Change Operators Using BDDs. - Nikos Gorogiannis; Mark Ryan 001 (Stud Logica, 2002)

Computing minimal changes of models of systems. - Nikos Gorogiannis (2003)

Minimal refinements of specifications in model and termporal logics. - Nikos Gorogiannis; Mark Ryan 001 (Formal Aspects Comput., 2007)

Minimal refinements of specifications in modal and temporal logics. - Nikos Gorogiannis; Mark Ryan 001 (Formal Aspects Comput., 2007)

Merging First-Order Knowledge Using Dilation Operators. - Nikos Gorogiannis; Anthony Hunter (FoIKS, 2008)

Implementing semantic merging operators using binary decision diagrams. - Nikos Gorogiannis; Anthony Hunter (Int. J. Approx. Reason., 2008)

Argumentation about Treatment Efficacy. - Nikos Gorogiannis; Anthony Hunter; Vivek Patkar; Matthew Williams 001 (KR4HC, 2009)

An argument-based approach to reasoning with clinical knowledge. - Nikos Gorogiannis; Anthony Hunter; Matthew Williams 001 (Int. J. Approx. Reason., 2009)

The Complexity of the Warranted Formula Problem in Propositional Argumentation. - Robin Hirsch; Nikos Gorogiannis (J. Log. Comput., 2010)

The Complexity of Abduction for Separated Heap Abstractions. - Nikos Gorogiannis; Max I. Kanovich; Peter W. O'Hearn (SAS, 2011)

Instantiating abstract argumentation with classical logic arguments: Postulates and properties. - Nikos Gorogiannis; Anthony Hunter (Artif. Intell., 2011)

A Generic Cyclic Theorem Prover. - James Brotherston; Nikos Gorogiannis; Rasmus Lerchedahl Petersen (APLAS, 2012)

A decision procedure for satisfiability in separation logic with inductive predicates. - James Brotherston; Carsten Fuhs; Juan Antonio Navarro Pérez; Nikos Gorogiannis (CSL-LICS, 2014)

A Racket-Based Robot to Teach First-Year Computer Science. - Franco Raimondi; Giuseppe Primiero; Kelly Androutsopoulos; Nikos Gorogiannis; Martin J. Loomes; Michael Margolis; Puja Varsani; Nick Weldin; Alex Zivanovic (ELS, 2014)

Foundations for Decision Problems in Separation Logic with General Inductive Predicates. - Timos Antonopoulos; Nikos Gorogiannis; Christoph Haase; Max I. Kanovich; Joël Ouaknine (FoSSaCS, 2014)

Cyclic Abduction of Inductively Defined Safety and Termination Preconditions. - James Brotherston; Nikos Gorogiannis (SAS, 2014)

Towards Cyber-physical Systems as Services: The ASIP Protocol. - Mirco Bordoni; Michele Bottone; Bob Fields; Nikos Gorogiannis; Michael Margolis; Giuseppe Primiero; Franco Raimondi (SEsCPS@ICSE, 2015)

Disproving Inductive Entailments in Separation Logic via Base Pair Approximation. - James Brotherston; Nikos Gorogiannis (TABLEAUX, 2015)

Model checking for symbolic-heap separation logic with inductive predicates. - James Brotherston; Nikos Gorogiannis; Max I. Kanovich; Reuben Rowe (POPL, 2016)

Biabduction (and Related Problems) in Array Separation Logic. - James Brotherston; Nikos Gorogiannis; Max I. Kanovich (CADE, 2017)

A Novel Symbolic Approach to Verifying Epistemic Properties of Programs. - Nikos Gorogiannis; Franco Raimondi; Ioana Boureanu (IJCAI, 2017)

vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments. - Claudia Vannucchi; Michelangelo Diamanti; Gianmarco Mazzante; Diletta Romana Cacciagrano; Flavio Corradini; Rosario Culmone; Nikos Gorogiannis; Leonardo Mostarda; Franco Raimondi (Intelligent Environments, 2017)

Symbolic verification of event-condition-action rules in intelligent environments. - Claudia Vannucchi; Michelangelo Diamanti; Gianmarco Mazzante; Diletta Cacciagrano; Rosario Culmone; Nikos Gorogiannis; Leonardo Mostarda; Franco Raimondi (J. Reliab. Intell. Environ., 2017)

MIRTO: an Open-Source Robotic Platform for Education. - Kelly Androutsopoulos; L. Aristodemou; Jaap Boender; Michele Bottone; Edward Currie; I. El-Aroussi; Bob Fields; L. Gheri; Nikos Gorogiannis; Miltos Heeney; Michael Micheletti; Martin J. Loomes; et al. (ECSEE, 2018)

A True Positives Theorem for a Static Race Detector - Extended Version. - Nikos Gorogiannis; Peter W. O'Hearn; Ilya Sergey (CoRR, 2018)

Analysis and verification of ECA rules in intelligent environments. - Diletta Romana Cacciagrano; Flavio Corradini; Rosario Culmone; Nikos Gorogiannis; Leonardo Mostarda; Franco Raimondi; Claudia Vannucchi (J. Ambient Intell. Smart Environ., 2018)

RacerD: compositional static race detection. - Sam Blackshear; Nikos Gorogiannis; Peter W. O'Hearn; Ilya Sergey (Proc. ACM Program. Lang., 2018)

SL-COMP: Competition of Solvers for Separation Logic. - Mihaela Sighireanu; Juan Antonio Navarro Pérez; Andrey Rybalchenko; Nikos Gorogiannis; Radu Iosif; Andrew Reynolds 001; Cristina Serban; Jens Katelaan; Christoph Matheja; Thomas Noll 001; Florian Zuleger; Wei-Ngan Chin; et al. (TACAS (3), 2019)

A true positives theorem for a static race detector. - Nikos Gorogiannis; Peter W. O'Hearn; Ilya Sergey (Proc. ACM Program. Lang., 2019)

A Compositional Deadlock Detector for Android Java. - James Brotherston; Paul Brunet; Nikos Gorogiannis; Max I. Kanovich (ASE, 2021)