Nikos Gorogiannis

Available identifiers

Publication	Date of Publication	Type
A decision procedure for satisfiability in separation logic with inductive predicates	2018-04-23	Paper
Biabduction (and related problems) in array separation logic	2017-09-22	Paper
Model checking for symbolic-heap separation logic with inductive predicates	2016-10-24	Paper
Disproving inductive entailments in separation logic via base pair approximation	2015-12-11	Paper
Foundations for decision problems in separation logic with general inductive predicates	2014-04-16	Paper
Requirements, specifications, and minimal refinement	2013-04-19	Paper
Instantiating abstract argumentation with classical logic arguments: postulates and properties	2011-11-17	Paper
The complexity of the warranted formula problem in propositional argumentation	2010-04-21	Paper
Implementing semantic merging operators using binary decision diagrams	2010-03-19	Paper
Merging First-Order Knowledge Using Dilation Operators	2008-03-04	Paper
Minimal refinements of specifications in modal and temporal logics	2007-11-28	Paper
Minimal refinements of specifications in modal and temporal logics	2007-04-19	Paper
Implementation of belief change operators using BDDs	2002-06-24	Paper

This page was built for person: Nikos Gorogiannis