BibTeX records: Antonis Achilleos

download as .bib file

@inproceedings{DBLP:conf/rv/FrancalanzaAAAC17,
  author    = {Adrian Francalanza and
               Luca Aceto and
               Antonis Achilleos and
               Duncan Paul Attard and
               Ian Cassar and
               Dario Della Monica and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title     = {A Foundation for Runtime Monitoring},
  booktitle = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,
               WA, USA, September 13-16, 2017, Proceedings},
  pages     = {8--29},
  year      = {2017},
  crossref  = {DBLP:conf/rv/2017},
  url       = {https://doi.org/10.1007/978-3-319-67531-2_2},
  doi       = {10.1007/978-3-319-67531-2_2},
  timestamp = {Wed, 06 Sep 2017 15:37:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/rv/FrancalanzaAAAC17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wia/AcetoAFIK17,
  author    = {Luca Aceto and
               Antonis Achilleos and
               Adrian Francalanza and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir and
               S{\ae}var {\"{O}}rn Kjartansson},
  title     = {On the Complexity of Determinizing Monitors},
  booktitle = {Implementation and Application of Automata - 22nd International Conference,
               {CIAA} 2017, Marne-la-Vall{\'{e}}e, France, June 27-30, 2017,
               Proceedings},
  pages     = {1--13},
  year      = {2017},
  crossref  = {DBLP:conf/wia/2017},
  url       = {https://doi.org/10.1007/978-3-319-60134-2_1},
  doi       = {10.1007/978-3-319-60134-2_1},
  timestamp = {Tue, 20 Jun 2017 13:55:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wia/AcetoAFIK17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Achilleos16,
  author    = {Antonis Achilleos},
  title     = {Modal Logics with Hard Diamond-Free Fragments},
  booktitle = {Logical Foundations of Computer Science - International Symposium,
               {LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
  pages     = {1--13},
  year      = {2016},
  crossref  = {DBLP:conf/lfcs/2016},
  url       = {https://doi.org/10.1007/978-3-319-27683-0_1},
  doi       = {10.1007/978-3-319-27683-0_1},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lfcs/Achilleos16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Achilleos16,
  author    = {Antonis Achilleos},
  title     = {The Completeness Problem for Modal Logic},
  journal   = {CoRR},
  volume    = {abs/1605.01004},
  year      = {2016},
  url       = {http://arxiv.org/abs/1605.01004},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/Achilleos16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/AcetoAFIK16,
  author    = {Luca Aceto and
               Antonis Achilleos and
               Adrian Francalanza and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir and
               S{\ae}var {\"{O}}rn Kjartansson},
  title     = {Determinizing Monitors for {HML} with Recursion},
  journal   = {CoRR},
  volume    = {abs/1611.10212},
  year      = {2016},
  url       = {http://arxiv.org/abs/1611.10212},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/AcetoAFIK16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csr/Achilleos15,
  author    = {Antonis Achilleos},
  title     = {NEXP-Completeness and Universal Hardness Results for Justification
               Logic},
  booktitle = {Computer Science - Theory and Applications - 10th International Computer
               Science Symposium in Russia, {CSR} 2015, Listvyanka, Russia, July
               13-17, 2015, Proceedings},
  pages     = {27--52},
  year      = {2015},
  crossref  = {DBLP:conf/csr/2015},
  url       = {https://doi.org/10.1007/978-3-319-20297-6_3},
  doi       = {10.1007/978-3-319-20297-6_3},
  timestamp = {Thu, 15 Jun 2017 21:43:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/csr/Achilleos15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Achilleos15,
  author    = {Antonis Achilleos},
  title     = {NEXP-completeness and Universal Hardness Results for Justification
               Logic},
  journal   = {CoRR},
  volume    = {abs/1503.00362},
  year      = {2015},
  url       = {http://arxiv.org/abs/1503.00362},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/Achilleos15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jcss/Achilleos14,
  author    = {Antonis Achilleos},
  title     = {A complexity question in justification logic},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {80},
  number    = {6},
  pages     = {1038--1045},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.jcss.2014.03.009},
  doi       = {10.1016/j.jcss.2014.03.009},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jcss/Achilleos14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/clima/Achilleos14,
  author    = {Antonis Achilleos},
  title     = {On the Complexity of Two-Agent Justification Logic},
  booktitle = {Computational Logic in Multi-Agent Systems - 15th International Workshop,
               {CLIMA} XV, Prague, Czech Republic, August 18-19, 2014. Proceedings},
  pages     = {1--18},
  year      = {2014},
  crossref  = {DBLP:conf/clima/2014},
  url       = {https://doi.org/10.1007/978-3-319-09764-0_1},
  doi       = {10.1007/978-3-319-09764-0_1},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/clima/Achilleos14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/eumas/Achilleos14,
  author    = {Antonis Achilleos},
  title     = {Tableaux and Complexity Bounds for a Multiagent Justification Logic
               with Interacting Justifications},
  booktitle = {Multi-Agent Systems - 12th European Conference, {EUMAS} 2014, Prague,
               Czech Republic, December 18-19, 2014, Revised Selected Papers},
  pages     = {177--192},
  year      = {2014},
  crossref  = {DBLP:conf/eumas/2014},
  url       = {https://doi.org/10.1007/978-3-319-17130-2_12},
  doi       = {10.1007/978-3-319-17130-2_12},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/eumas/Achilleos14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Achilleos14,
  author    = {Antonis Achilleos},
  title     = {Modal Logics with Hard Diamond-free Fragments},
  journal   = {CoRR},
  volume    = {abs/1401.5846},
  year      = {2014},
  url       = {http://arxiv.org/abs/1401.5846},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/Achilleos14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/Achilleos14a,
  author    = {Antonis Achilleos},
  title     = {Complexity Jumps In Multiagent Justification Logic Under Interacting
               Justifications},
  journal   = {CoRR},
  volume    = {abs/1402.3066},
  year      = {2014},
  url       = {http://arxiv.org/abs/1402.3066},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/Achilleos14a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/AchilleosL13,
  author    = {Antonis Achilleos and
               Michael Lampis},
  title     = {Closing a Gap in the Complexity of Refinement Modal Logic},
  journal   = {CoRR},
  volume    = {abs/1309.5184},
  year      = {2013},
  url       = {http://arxiv.org/abs/1309.5184},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/AchilleosL13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/algorithmica/AchilleosLM12,
  author    = {Antonis Achilleos and
               Michael Lampis and
               Valia Mitsou},
  title     = {Parameterized Modal Satisfiability},
  journal   = {Algorithmica},
  volume    = {64},
  number    = {1},
  pages     = {38--55},
  year      = {2012},
  url       = {https://doi.org/10.1007/s00453-011-9552-z},
  doi       = {10.1007/s00453-011-9552-z},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/algorithmica/AchilleosLM12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Achilleos11,
  author    = {Antonis Achilleos},
  title     = {A Complexity Question in Justification Logic},
  booktitle = {Logic, Language, Information and Computation - 18th International
               Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
  pages     = {8--19},
  year      = {2011},
  crossref  = {DBLP:conf/wollic/2011},
  url       = {https://doi.org/10.1007/978-3-642-20920-8_7},
  doi       = {10.1007/978-3-642-20920-8_7},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wollic/Achilleos11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AchilleosLM10,
  author    = {Antonis Achilleos and
               Michael Lampis and
               Valia Mitsou},
  title     = {Parameterized Modal Satisfiability},
  booktitle = {Automata, Languages and Programming, 37th International Colloquium,
               {ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
               {II}},
  pages     = {369--380},
  year      = {2010},
  crossref  = {DBLP:conf/icalp/2010-2},
  url       = {https://doi.org/10.1007/978-3-642-14162-1_31},
  doi       = {10.1007/978-3-642-14162-1_31},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icalp/AchilleosLM10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-0912-4941,
  author    = {Antonis Achilleos and
               Michael Lampis and
               Valia Mitsou},
  title     = {Parameterized Modal Satisfiability},
  journal   = {CoRR},
  volume    = {abs/0912.4941},
  year      = {2009},
  url       = {http://arxiv.org/abs/0912.4941},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-0912-4941},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rv/2017,
  editor    = {Shuvendu K. Lahiri and
               Giles Reger},
  title     = {Runtime Verification - 17th International Conference, {RV} 2017, Seattle,
               WA, USA, September 13-16, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10548},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-67531-2},
  doi       = {10.1007/978-3-319-67531-2},
  isbn      = {978-3-319-67530-5},
  timestamp = {Wed, 06 Sep 2017 15:37:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/rv/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wia/2017,
  editor    = {Arnaud Carayol and
               Cyril Nicaud},
  title     = {Implementation and Application of Automata - 22nd International Conference,
               {CIAA} 2017, Marne-la-Vall{\'{e}}e, France, June 27-30, 2017,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10329},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-60134-2},
  doi       = {10.1007/978-3-319-60134-2},
  isbn      = {978-3-319-60133-5},
  timestamp = {Tue, 20 Jun 2017 13:55:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wia/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lfcs/2016,
  editor    = {Sergei N. Art{\"{e}}mov and
               Anil Nerode},
  title     = {Logical Foundations of Computer Science - International Symposium,
               {LFCS} 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9537},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-27683-0},
  doi       = {10.1007/978-3-319-27683-0},
  isbn      = {978-3-319-27682-3},
  timestamp = {Sun, 21 May 2017 00:17:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lfcs/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csr/2015,
  editor    = {Lev D. Beklemishev and
               Daniil V. Musatov},
  title     = {Computer Science - Theory and Applications - 10th International Computer
               Science Symposium in Russia, {CSR} 2015, Listvyanka, Russia, July
               13-17, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9139},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-20297-6},
  doi       = {10.1007/978-3-319-20297-6},
  isbn      = {978-3-319-20296-9},
  timestamp = {Thu, 15 Jun 2017 21:43:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/csr/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/clima/2014,
  editor    = {Nils Bulling and
               Leendert W. N. van der Torre and
               Serena Villata and
               Wojtek Jamroga and
               Wamberto Weber Vasconcelos},
  title     = {Computational Logic in Multi-Agent Systems - 15th International Workshop,
               {CLIMA} XV, Prague, Czech Republic, August 18-19, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8624},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09764-0},
  doi       = {10.1007/978-3-319-09764-0},
  isbn      = {978-3-319-09763-3},
  timestamp = {Wed, 17 May 2017 14:24:51 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/clima/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/eumas/2014,
  editor    = {Nils Bulling},
  title     = {Multi-Agent Systems - 12th European Conference, {EUMAS} 2014, Prague,
               Czech Republic, December 18-19, 2014, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8953},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-17130-2},
  doi       = {10.1007/978-3-319-17130-2},
  isbn      = {978-3-319-17129-6},
  timestamp = {Fri, 26 May 2017 00:49:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/eumas/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wollic/2011,
  editor    = {Lev D. Beklemishev and
               Ruy J. G. B. de Queiroz},
  title     = {Logic, Language, Information and Computation - 18th International
               Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6642},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20920-8},
  doi       = {10.1007/978-3-642-20920-8},
  isbn      = {978-3-642-20919-2},
  timestamp = {Thu, 25 May 2017 00:42:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wollic/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/2010-2,
  editor    = {Samson Abramsky and
               Cyril Gavoille and
               Claude Kirchner and
               Friedhelm Meyer auf der Heide and
               Paul G. Spirakis},
  title     = {Automata, Languages and Programming, 37th International Colloquium,
               {ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
               {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6199},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14162-1},
  doi       = {10.1007/978-3-642-14162-1},
  isbn      = {978-3-642-14161-4},
  timestamp = {Sun, 04 Jun 2017 10:07:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icalp/2010-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier