Nikos Gorogiannis

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A decision procedure for satisfiability in separation logic with inductive predicates Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)	2018-04-23	Paper
Biabduction (and related problems) in array separation logic (available as arXiv preprint)	2017-09-22	Paper
Biabduction (and related problems) in array separation logic	2017-09-22	Paper
Model checking for symbolic-heap separation logic with inductive predicates Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-10-24	Paper
Disproving inductive entailments in separation logic via base pair approximation Lecture Notes in Computer Science	2015-12-11	Paper
Foundations for decision problems in separation logic with general inductive predicates Lecture Notes in Computer Science	2014-04-16	Paper
Requirements, specifications, and minimal refinement Electronic Notes in Theoretical Computer Science	2013-04-19	Paper
Instantiating abstract argumentation with classical logic arguments: postulates and properties Artificial Intelligence	2011-11-17	Paper
The complexity of the warranted formula problem in propositional argumentation Journal Of Logic And Computation	2010-04-21	Paper
Implementing semantic merging operators using binary decision diagrams International Journal of Approximate Reasoning	2010-03-19	Paper
Merging First-Order Knowledge Using Dilation Operators Lecture Notes in Computer Science	2008-03-04	Paper
Minimal refinements of specifications in modal and temporal logics Formal Aspects of Computing	2007-11-28	Paper
Minimal refinements of specifications in modal and temporal logics Formal Aspects of Computing	2007-04-19	Paper
Implementation of belief change operators using BDDs Studia Logica	2002-06-24	Paper

Research outcomes over time

This page was built for person: Nikos Gorogiannis