BibTeX records: Nikos Gorogiannis

download as .bib file

@article{DBLP:journals/pacmpl/GorogiannisOS19,
  author    = {Nikos Gorogiannis and
               Peter W. O'Hearn and
               Ilya Sergey},
  title     = {A true positives theorem for a static race detector},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {3},
  number    = {{POPL}},
  pages     = {57:1--57:29},
  year      = {2019},
  url       = {https://doi.org/10.1145/3290370},
  doi       = {10.1145/3290370},
  timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/pacmpl/GorogiannisOS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SighireanuPRGIR19,
  author    = {Mihaela Sighireanu and
               Juan Antonio Navarro P{\'{e}}rez and
               Andrey Rybalchenko and
               Nikos Gorogiannis and
               Radu Iosif and
               Andrew Reynolds and
               Cristina Serban and
               Jens Katelaan and
               Christoph Matheja and
               Thomas Noll and
               Florian Zuleger and
               Wei{-}Ngan Chin and
               Quang Loc Le and
               Quang{-}Trung Ta and
               Ton{-}Chanh Le and
               Thanh{-}Toan Nguyen and
               Siau{-}Cheng Khoo and
               Michal Cyprian and
               Adam Rogalewicz and
               Tom{\'{a}}s Vojnar and
               Constantin Enea and
               Ondrej Leng{\'{a}}l and
               Chong Gao and
               Zhilin Wu},
  editor    = {Dirk Beyer and
               Marieke Huisman and
               Fabrice Kordon and
               Bernhard Steffen},
  title     = {{SL-COMP:} Competition of Solvers for Separation Logic},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
               Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11429},
  pages     = {116--132},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-17502-3\_8},
  doi       = {10.1007/978-3-030-17502-3\_8},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/tacas/SighireanuPRGIR19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaise/CacciagranoCCGM18,
  author    = {Diletta Romana Cacciagrano and
               Flavio Corradini and
               Rosario Culmone and
               Nikos Gorogiannis and
               Leonardo Mostarda and
               Franco Raimondi and
               Claudia Vannucchi},
  title     = {Analysis and verification of {ECA} rules in intelligent environments},
  journal   = {J. Ambient Intell. Smart Environ.},
  volume    = {10},
  number    = {3},
  pages     = {261--273},
  year      = {2018},
  url       = {https://doi.org/10.3233/AIS-180487},
  doi       = {10.3233/AIS-180487},
  timestamp = {Tue, 12 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jaise/CacciagranoCCGM18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BlackshearGOS18,
  author    = {Sam Blackshear and
               Nikos Gorogiannis and
               Peter W. O'Hearn and
               Ilya Sergey},
  title     = {RacerD: compositional static race detection},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {2},
  number    = {{OOPSLA}},
  pages     = {144:1--144:28},
  year      = {2018},
  url       = {https://doi.org/10.1145/3276514},
  doi       = {10.1145/3276514},
  timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/pacmpl/BlackshearGOS18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsee/Androutsopoulos18,
  author    = {Kelly Androutsopoulos and
               L. Aristodemou and
               Jaap Boender and
               Michele Bottone and
               Edward Currie and
               I. El{-}Aroussi and
               Bob Fields and
               L. Gheri and
               Nikos Gorogiannis and
               M. Heeney and
               Michael Micheletti and
               Martin J. Loomes and
               Michael Margolis and
               M. Petridis and
               A. Piermarteri and
               Giuseppe Primiero and
               Franco Raimondi and
               Nick Weldin},
  editor    = {J{\"{u}}rgen Mottok},
  title     = {{MIRTO:} an Open-Source Robotic Platform for Education},
  booktitle = {Proceedings of the 3rd European Conference of Software Engineering
               Education, {ECSEE} 2018, Seeon Monastery, Bavaria, Germany, June 14-15,
               2018},
  pages     = {55--62},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3209087.3209106},
  doi       = {10.1145/3209087.3209106},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ecsee/Androutsopoulos18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-03503,
  author    = {Nikos Gorogiannis and
               Peter W. O'Hearn and
               Ilya Sergey},
  title     = {A True Positives Theorem for a Static Race Detector - Extended Version},
  journal   = {CoRR},
  volume    = {abs/1811.03503},
  year      = {2018},
  url       = {http://arxiv.org/abs/1811.03503},
  archivePrefix = {arXiv},
  eprint    = {1811.03503},
  timestamp = {Fri, 23 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1811-03503.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jrie/VannucchiDMCCGM17,
  author    = {Claudia Vannucchi and
               Michelangelo Diamanti and
               Gianmarco Mazzante and
               Diletta Cacciagrano and
               Rosario Culmone and
               Nikos Gorogiannis and
               Leonardo Mostarda and
               Franco Raimondi},
  title     = {Symbolic verification of event-condition-action rules in intelligent
               environments},
  journal   = {J. Reliable Intelligent Environments},
  volume    = {3},
  number    = {2},
  pages     = {117--130},
  year      = {2017},
  url       = {https://doi.org/10.1007/s40860-017-0036-z},
  doi       = {10.1007/s40860-017-0036-z},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jrie/VannucchiDMCCGM17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BrotherstonGK17,
  author    = {James Brotherston and
               Nikos Gorogiannis and
               Max I. Kanovich},
  editor    = {Leonardo de Moura},
  title     = {Biabduction (and Related Problems) in Array Separation Logic},
  booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
               Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10395},
  pages     = {472--490},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-63046-5\_29},
  doi       = {10.1007/978-3-319-63046-5\_29},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/conf/cade/BrotherstonGK17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GorogiannisRB17,
  author    = {Nikos Gorogiannis and
               Franco Raimondi and
               Ioana Boureanu},
  editor    = {Carles Sierra},
  title     = {A Novel Symbolic Approach to Verifying Epistemic Properties of Programs},
  booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
               19-25, 2017},
  pages     = {206--212},
  publisher = {ijcai.org},
  year      = {2017},
  url       = {https://doi.org/10.24963/ijcai.2017/30},
  doi       = {10.24963/ijcai.2017/30},
  timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/GorogiannisRB17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/intenv/VannucchiDMCCCG17,
  author    = {Claudia Vannucchi and
               Michelangelo Diamanti and
               Gianmarco Mazzante and
               Diletta Romana Cacciagrano and
               Flavio Corradini and
               Rosario Culmone and
               Nikos Gorogiannis and
               Leonardo Mostarda and
               Franco Raimondi},
  title     = {vIRONy: {A} Tool for Analysis and Verification of {ECA} Rules in Intelligent
               Environments},
  booktitle = {2017 International Conference on Intelligent Environments, {IE} 2017,
               Seoul, Korea (South), August 21-25, 2017},
  pages     = {92--99},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {https://doi.org/10.1109/IE.2017.32},
  doi       = {10.1109/IE.2017.32},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/intenv/VannucchiDMCCCG17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BrotherstonGKR16,
  author    = {James Brotherston and
               Nikos Gorogiannis and
               Max I. Kanovich and
               Reuben Rowe},
  editor    = {Rastislav Bod{\'{\i}}k and
               Rupak Majumdar},
  title     = {Model checking for symbolic-heap separation logic with inductive predicates},
  booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2016, St. Petersburg,
               FL, USA, January 20 - 22, 2016},
  pages     = {84--96},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2837614.2837621},
  doi       = {10.1145/2837614.2837621},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/popl/BrotherstonGKR16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BrotherstonGK16,
  author    = {James Brotherston and
               Nikos Gorogiannis and
               Max I. Kanovich},
  title     = {Biabduction (and Related Problems) in Array Separation Logic},
  journal   = {CoRR},
  volume    = {abs/1607.01993},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.01993},
  archivePrefix = {arXiv},
  eprint    = {1607.01993},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BrotherstonGK16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BordoniBFGMPR15,
  author    = {Mirco Bordoni and
               Michele Bottone and
               Bob Fields and
               Nikos Gorogiannis and
               Michael Margolis and
               Giuseppe Primiero and
               Franco Raimondi},
  editor    = {Tom{\'{a}}s Bures and
               Danny Weyns and
               Mark Klein and
               Rodolfo E. Haber},
  title     = {Towards Cyber-physical Systems as Services: The {ASIP} Protocol},
  booktitle = {1st {IEEE/ACM} International Workshop on Software Engineering for
               Smart Cyber-Physical Systems, SEsCPS 2015, Florence, Italy, May 17,
               2015},
  pages     = {52--55},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {https://doi.org/10.1109/SEsCPS.2015.18},
  doi       = {10.1109/SEsCPS.2015.18},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/BordoniBFGMPR15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BrotherstonG15,
  author    = {James Brotherston and
               Nikos Gorogiannis},
  editor    = {Hans de Nivelle},
  title     = {Disproving Inductive Entailments in Separation Logic via Base Pair
               Approximation},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th
               International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September
               21-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9323},
  pages     = {287--303},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24312-2\_20},
  doi       = {10.1007/978-3-319-24312-2\_20},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/tableaux/BrotherstonG15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BrotherstonFPG14,
  author    = {James Brotherston and
               Carsten Fuhs and
               Juan Antonio Navarro P{\'{e}}rez and
               Nikos Gorogiannis},
  editor    = {Thomas A. Henzinger and
               Dale Miller},
  title     = {A decision procedure for satisfiability in separation logic with inductive
               predicates},
  booktitle = {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), {CSL-LICS} '14, Vienna, Austria,
               July 14 - 18, 2014},
  pages     = {25:1--25:10},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2603088.2603091},
  doi       = {10.1145/2603088.2603091},
  timestamp = {Thu, 04 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/csl/BrotherstonFPG14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/els/RaimondiPAGLMVW14,
  author    = {Franco Raimondi and
               Giuseppe Primiero and
               Kelly Androutsopoulos and
               Nikos Gorogiannis and
               Martin J. Loomes and
               Michael Margolis and
               Puja Varsani and
               Nick Weldin and
               Alex Zivanovic},
  editor    = {Kent M. Pitman},
  title     = {A Racket-Based Robot to Teach First-Year Computer Science},
  booktitle = {Proceedings of {ELS} 2014 - 7th European Lisp Symposium, Paris, France,
               May 5-6, 2014},
  pages     = {54--62},
  publisher = {{ELSAA}},
  year      = {2014},
  url       = {https://european-lisp-symposium.org/static/proceedings/2014.pdf\#page=62},
  timestamp = {Thu, 14 Nov 2019 17:08:11 +0100},
  biburl    = {https://dblp.org/rec/conf/els/RaimondiPAGLMVW14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AntonopoulosGHKO14,
  author    = {Timos Antonopoulos and
               Nikos Gorogiannis and
               Christoph Haase and
               Max I. Kanovich and
               Jo{\"{e}}l Ouaknine},
  editor    = {Anca Muscholl},
  title     = {Foundations for Decision Problems in Separation Logic with General
               Inductive Predicates},
  booktitle = {Foundations of Software Science and Computation Structures - 17th
               International Conference, {FOSSACS} 2014, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2014,
               Grenoble, France, April 5-13, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8412},
  pages     = {411--425},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54830-7\_27},
  doi       = {10.1007/978-3-642-54830-7\_27},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/conf/fossacs/AntonopoulosGHKO14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BrotherstonG14,
  author    = {James Brotherston and
               Nikos Gorogiannis},
  editor    = {Markus M{\"{u}}ller{-}Olm and
               Helmut Seidl},
  title     = {Cyclic Abduction of Inductively Defined Safety and Termination Preconditions},
  booktitle = {Static Analysis - 21st International Symposium, {SAS} 2014, Munich,
               Germany, September 11-13, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8723},
  pages     = {68--84},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10936-7\_5},
  doi       = {10.1007/978-3-319-10936-7\_5},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/sas/BrotherstonG14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/BrotherstonGP12,
  author    = {James Brotherston and
               Nikos Gorogiannis and
               Rasmus Lerchedahl Petersen},
  editor    = {Ranjit Jhala and
               Atsushi Igarashi},
  title     = {A Generic Cyclic Theorem Prover},
  booktitle = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
               2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7705},
  pages     = {350--367},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35182-2\_25},
  doi       = {10.1007/978-3-642-35182-2\_25},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/aplas/BrotherstonGP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/GorogiannisH11,
  author    = {Nikos Gorogiannis and
               Anthony Hunter},
  title     = {Instantiating abstract argumentation with classical logic arguments:
               Postulates and properties},
  journal   = {Artif. Intell.},
  volume    = {175},
  number    = {9-10},
  pages     = {1479--1497},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.artint.2010.12.003},
  doi       = {10.1016/j.artint.2010.12.003},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ai/GorogiannisH11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GorogiannisKO11,
  author    = {Nikos Gorogiannis and
               Max I. Kanovich and
               Peter W. O'Hearn},
  editor    = {Eran Yahav},
  title     = {The Complexity of Abduction for Separated Heap Abstractions},
  booktitle = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
               Italy, September 14-16, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6887},
  pages     = {25--42},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-23702-7\_7},
  doi       = {10.1007/978-3-642-23702-7\_7},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/conf/sas/GorogiannisKO11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/HirschG10,
  author    = {Robin Hirsch and
               Nikos Gorogiannis},
  title     = {The Complexity of the Warranted Formula Problem in Propositional Argumentation},
  journal   = {J. Log. Comput.},
  volume    = {20},
  number    = {2},
  pages     = {481--499},
  year      = {2010},
  url       = {https://doi.org/10.1093/logcom/exp074},
  doi       = {10.1093/logcom/exp074},
  timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/logcom/HirschG10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/GorogiannisHW09,
  author    = {Nikos Gorogiannis and
               Anthony Hunter and
               Matthew Williams},
  title     = {An argument-based approach to reasoning with clinical knowledge},
  journal   = {Int. J. Approx. Reason.},
  volume    = {51},
  number    = {1},
  pages     = {1--22},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.ijar.2009.06.015},
  doi       = {10.1016/j.ijar.2009.06.015},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ijar/GorogiannisHW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aime/GorogiannisHPW09,
  author    = {Nikos Gorogiannis and
               Anthony Hunter and
               Vivek Patkar and
               Matthew Williams},
  editor    = {David Ria{\~{n}}o and
               Annette ten Teije and
               Silvia Miksch and
               Mor Peleg},
  title     = {Argumentation about Treatment Efficacy},
  booktitle = {Knowledge Representation for Health-Care: Data, Processes and Guidelines,
               {AIME} 2009 Workshop {KR4HC} 2009, Verona, Italy, July 19, 2009, Revised
               Selected and Invited Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5943},
  pages     = {169--179},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-11808-1\_14},
  doi       = {10.1007/978-3-642-11808-1\_14},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/aime/GorogiannisHPW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/GorogiannisH08,
  author    = {Nikos Gorogiannis and
               Anthony Hunter},
  title     = {Implementing semantic merging operators using binary decision diagrams},
  journal   = {Int. J. Approx. Reason.},
  volume    = {49},
  number    = {1},
  pages     = {234--251},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.ijar.2008.03.008},
  doi       = {10.1016/j.ijar.2008.03.008},
  timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ijar/GorogiannisH08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foiks/GorogiannisH08,
  author    = {Nikos Gorogiannis and
               Anthony Hunter},
  editor    = {Sven Hartmann and
               Gabriele Kern{-}Isberner},
  title     = {Merging First-Order Knowledge Using Dilation Operators},
  booktitle = {Foundations of Information and Knowledge Systems, 5th International
               Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4932},
  pages     = {132--150},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-77684-0\_11},
  doi       = {10.1007/978-3-540-77684-0\_11},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/foiks/GorogiannisH08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GorogiannisR07,
  author    = {Nikos Gorogiannis and
               Mark Ryan},
  title     = {Minimal refinements of specifications in model and termporal logics},
  journal   = {Formal Asp. Comput.},
  volume    = {19},
  number    = {1},
  pages     = {35--62},
  year      = {2007},
  url       = {https://doi.org/10.1007/s00165-006-0014-3},
  doi       = {10.1007/s00165-006-0014-3},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/fac/GorogiannisR07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GorogiannisR07a,
  author    = {Nikos Gorogiannis and
               Mark Ryan},
  title     = {Minimal refinements of specifications in modal and temporal logics},
  journal   = {Formal Asp. Comput.},
  volume    = {19},
  number    = {2},
  pages     = {273},
  year      = {2007},
  url       = {https://doi.org/10.1007/s00165-007-0038-3},
  doi       = {10.1007/s00165-007-0038-3},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fac/GorogiannisR07a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GorogiannisR07b,
  author    = {Nikos Gorogiannis and
               Mark Ryan},
  title     = {Minimal refinements of specifications in modal and temporal logics},
  journal   = {Formal Asp. Comput.},
  volume    = {19},
  number    = {4},
  pages     = {417--444},
  year      = {2007},
  url       = {https://doi.org/10.1007/s00165-007-0040-9},
  doi       = {10.1007/s00165-007-0040-9},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/fac/GorogiannisR07b.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Gorogiannis03,
  author    = {Nikos Gorogiannis},
  title     = {Computing minimal changes of models of systems},
  school    = {University of Birmingham, {UK}},
  year      = {2003},
  url       = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.399030},
  timestamp = {Fri, 16 Sep 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/phd/ethos/Gorogiannis03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GorogiannisR02,
  author    = {Nikos Gorogiannis and
               Mark Ryan},
  title     = {Requirements, specifications, and minimal refinement},
  journal   = {Electron. Notes Theor. Comput. Sci.},
  volume    = {67},
  pages     = {218--232},
  year      = {2002},
  url       = {https://doi.org/10.1016/S1571-0661(04)80550-4},
  doi       = {10.1016/S1571-0661(04)80550-4},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/GorogiannisR02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/GorogiannisR02,
  author    = {Nikos Gorogiannis and
               Mark Ryan},
  title     = {Implementation of Belief Change Operators Using BDDs},
  journal   = {Studia Logica},
  volume    = {70},
  number    = {1},
  pages     = {131--156},
  year      = {2002},
  url       = {https://doi.org/10.1023/A:1014610426691},
  doi       = {10.1023/A:1014610426691},
  timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/sLogica/GorogiannisR02.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics