BibTeX records: Lefteris M. Kirousis

download as .bib file

@article{DBLP:journals/teco/KirousisKL19,
  author    = {Lefteris M. Kirousis and
               Phokion G. Kolaitis and
               John Livieratos},
  title     = {Aggregation of Votes with Multiple Positions on Each Issue},
  journal   = {{ACM} Trans. Economics and Comput.},
  volume    = {7},
  number    = {1},
  pages     = {1:1--1:25},
  year      = {2019},
  url       = {https://dl.acm.org/citation.cfm?id=3296675},
  timestamp = {Fri, 29 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/teco/KirousisKL19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-00138,
  author    = {Josep D{\'{\i}}az and
               Lefteris M. Kirousis and
               Sofia Kokonezi and
               John Livieratos},
  title     = {Algorithmically Efficient Syntactic Characterization of Possibility
               Domains},
  journal   = {CoRR},
  volume    = {abs/1901.00138},
  year      = {2019},
  url       = {http://arxiv.org/abs/1901.00138},
  archivePrefix = {arXiv},
  eprint    = {1901.00138},
  timestamp = {Thu, 31 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1901-00138},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/KirousisKL18,
  author    = {Lefteris M. Kirousis and
               Phokion G. Kolaitis and
               John Livieratos},
  title     = {On the Computational Complexity of Non-dictatorial Aggregation},
  booktitle = {Relational and Algebraic Methods in Computer Science - 17th International
               Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 -
               November 1, 2018, Proceedings},
  pages     = {350--365},
  year      = {2018},
  crossref  = {DBLP:conf/RelMiCS/2018},
  url       = {https://doi.org/10.1007/978-3-030-02149-8\_21},
  doi       = {10.1007/978-3-030-02149-8\_21},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/RelMiCS/KirousisKL18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gascom/0001KLPT18,
  author    = {Ioannis Giotis and
               Lefteris M. Kirousis and
               John Livieratos and
               Kostas I. Psaromiligkos and
               Dimitrios M. Thilikos},
  title     = {Alternative proofs of the asymmetric Lov{\'{a}}sz local lemma
               and Shearer's lemma},
  booktitle = {Proceedings of the 11th International Conference on Random and Exhaustive
               Generation of Combinatorial Structures, GASCom 2018, Athens, Greece,
               June 18-20, 2018.},
  pages     = {148--155},
  year      = {2018},
  crossref  = {DBLP:conf/gascom/2018},
  url       = {http://ceur-ws.org/Vol-2113/paper15.pdf},
  timestamp = {Sun, 22 Jul 2018 18:56:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gascom/0001KLPT18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lion/MKL18,
  author    = {Lefteris M. Kirousis and
               John Livieratos},
  title     = {A Simple Algorithmic Proof of the Symmetric Lopsided Lov{\'{a}}sz
               Local Lemma},
  booktitle = {Learning and Intelligent Optimization - 12th International Conference,
               {LION} 12, Kalamata, Greece, June 10-15, 2018, Revised Selected Papers},
  pages     = {49--63},
  year      = {2018},
  crossref  = {DBLP:conf/lion/2018},
  url       = {https://doi.org/10.1007/978-3-030-05348-2\_5},
  doi       = {10.1007/978-3-030-05348-2\_5},
  timestamp = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lion/MKL18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/0001KPT17,
  author    = {Ioannis Giotis and
               Lefteris M. Kirousis and
               Kostas I. Psaromiligkos and
               Dimitrios M. Thilikos},
  title     = {Acyclic edge coloring through the Lov{\'{a}}sz Local Lemma},
  journal   = {Theor. Comput. Sci.},
  volume    = {665},
  pages     = {40--50},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.tcs.2016.12.011},
  doi       = {10.1016/j.tcs.2016.12.011},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/0001KPT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/KirousisKL17,
  author    = {Lefteris M. Kirousis and
               Phokion G. Kolaitis and
               John Livieratos},
  title     = {Aggregation of Votes with Multiple Positions on Each Issue},
  booktitle = {Relational and Algebraic Methods in Computer Science - 16th International
               Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings},
  pages     = {209--225},
  year      = {2017},
  crossref  = {DBLP:conf/RelMiCS/2017},
  url       = {https://doi.org/10.1007/978-3-319-57418-9\_13},
  doi       = {10.1007/978-3-319-57418-9\_13},
  timestamp = {Tue, 09 May 2017 12:44:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/RelMiCS/KirousisKL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Diaz0KMS16,
  author    = {Josep D{\'{\i}}az and
               Ioannis Giotis and
               Lefteris M. Kirousis and
               Evangelos Markakis and
               Maria J. Serna},
  title     = {On the Stability of Generalized Second Price Auctions with Budgets},
  journal   = {Theory Comput. Syst.},
  volume    = {59},
  number    = {1},
  pages     = {1--23},
  year      = {2016},
  url       = {https://doi.org/10.1007/s00224-015-9634-4},
  doi       = {10.1007/s00224-015-9634-4},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mst/Diaz0KMS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/algo/KaporisK16,
  author    = {Alexis C. Kaporis and
               Lefteris M. Kirousis},
  title     = {Thresholds of Random \emph{k}-Sat},
  booktitle = {Encyclopedia of Algorithms},
  pages     = {2236--2239},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-1-4939-2864-4\_423},
  doi       = {10.1007/978-1-4939-2864-4\_423},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/reference/algo/KaporisK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KirousisL16,
  author    = {Lefteris M. Kirousis and
               John Livieratos},
  title     = {A Simple Algorithmic Proof of the Symmetric Lopsided Lov{\'{a}}sz
               Local Lemma},
  journal   = {CoRR},
  volume    = {abs/1611.00502},
  year      = {2016},
  url       = {http://arxiv.org/abs/1611.00502},
  archivePrefix = {arXiv},
  eprint    = {1611.00502},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/KirousisL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/analco/0001KPT15,
  author    = {Ioannis Giotis and
               Lefteris M. Kirousis and
               Kostas I. Psaromiligkos and
               Dimitrios M. Thilikos},
  title     = {On the Algorithmic Lov{\'{a}}sz Local Lemma and Acyclic Edge
               Coloring},
  booktitle = {Proceedings of the Twelfth Workshop on Analytic Algorithmics and Combinatorics,
               {ANALCO} 2015, San Diego, CA, USA, January 4, 2015},
  pages     = {16--25},
  year      = {2015},
  crossref  = {DBLP:conf/analco/2015},
  url       = {https://doi.org/10.1137/1.9781611973761.2},
  doi       = {10.1137/1.9781611973761.2},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/analco/0001KPT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colognetwente/GiotisKPT15,
  author    = {Ioannis Giotis and
               Lefteris M. Kirousis and
               Kostas I. Psaromiligkos and
               Dimitrios M. Thilikos},
  title     = {An alternative proof for the constructive Asymmetric Lov{\'{a}}sz
               Local Lemma},
  booktitle = {13th Cologne Twente Workshop on Graphs and Combinatorial Optimization,
               Istanbul, Turkey, May 26-28, 2015.},
  pages     = {89--92},
  year      = {2015},
  crossref  = {DBLP:conf/colognetwente/2015},
  timestamp = {Thu, 02 Feb 2017 18:00:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/colognetwente/GiotisKPT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001KPT15,
  author    = {Ioannis Giotis and
               Lefteris M. Kirousis and
               Kostas I. Psaromiligkos and
               Dimitrios M. Thilikos},
  title     = {An alternative proof for the constructive Asymmetric Lov{\'{a}}sz
               Local Lemma},
  journal   = {CoRR},
  volume    = {abs/1505.02568},
  year      = {2015},
  url       = {http://arxiv.org/abs/1505.02568},
  archivePrefix = {arXiv},
  eprint    = {1505.02568},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/0001KPT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KirousisK15,
  author    = {Lefteris M. Kirousis and
               Phokion G. Kolaitis},
  title     = {Aggregation of Votes with Multiple Positions on Each Issue},
  journal   = {CoRR},
  volume    = {abs/1505.07737},
  year      = {2015},
  url       = {http://arxiv.org/abs/1505.07737},
  archivePrefix = {arXiv},
  eprint    = {1505.07737},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/KirousisK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/DiazGKMS14,
  author    = {Josep D{\'{\i}}az and
               Ioannis Giotis and
               Lefteris M. Kirousis and
               Evangelos Markakis and
               Maria J. Serna},
  title     = {On the Stability of Generalized Second Price Auctions with Budgets},
  booktitle = {{LATIN} 2014: Theoretical Informatics - 11th Latin American Symposium,
               Montevideo, Uruguay, March 31 - April 4, 2014. Proceedings},
  pages     = {695--706},
  year      = {2014},
  crossref  = {DBLP:conf/latin/2014},
  url       = {https://doi.org/10.1007/978-3-642-54423-1\_60},
  doi       = {10.1007/978-3-642-54423-1\_60},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/latin/DiazGKMS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Diaz0KMS14,
  author    = {Josep D{\'{\i}}az and
               Ioannis Giotis and
               Lefteris M. Kirousis and
               Yiannis Mourtos and
               Maria J. Serna},
  title     = {Optimizing the Social Cost of Congestion Games by Imposing Variable
               Delays},
  journal   = {CoRR},
  volume    = {abs/1406.5153},
  year      = {2014},
  url       = {http://arxiv.org/abs/1406.5153},
  archivePrefix = {arXiv},
  eprint    = {1406.5153},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Diaz0KMS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GiotisKPT14,
  author    = {Ioannis Giotis and
               Lefteris M. Kirousis and
               Kostas I. Psaromiligkos and
               Dimitrios M. Thilikos},
  title     = {On the Algorithmic Lov{\'{a}}sz Local Lemma},
  journal   = {CoRR},
  volume    = {abs/1407.5374},
  year      = {2014},
  url       = {http://arxiv.org/abs/1407.5374},
  archivePrefix = {arXiv},
  eprint    = {1407.5374},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/GiotisKPT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DiazGKMS13,
  author    = {Josep D{\'{\i}}az and
               Ioannis Giotis and
               Lefteris M. Kirousis and
               Evangelos Markakis and
               Maria J. Serna},
  title     = {On the Stability of Generalized Second Price Auctions with Budgets},
  journal   = {CoRR},
  volume    = {abs/1309.6474},
  year      = {2013},
  url       = {http://arxiv.org/abs/1309.6474},
  archivePrefix = {arXiv},
  eprint    = {1309.6474},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/DiazGKMS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgt/DiazKKKPW09,
  author    = {Josep D{\'{\i}}az and
               Alexis C. Kaporis and
               G. D. Kemkes and
               Lefteris M. Kirousis and
               Xavier P{\'{e}}rez and
               Nicholas C. Wormald},
  title     = {On the chromatic number of a random 5-regular graph},
  journal   = {Journal of Graph Theory},
  volume    = {61},
  number    = {3},
  pages     = {157--191},
  year      = {2009},
  url       = {https://doi.org/10.1002/jgt.20369},
  doi       = {10.1002/jgt.20369},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jgt/DiazKKKPW09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DiazKMP09,
  author    = {Josep D{\'{\i}}az and
               Lefteris M. Kirousis and
               Dieter Mitsche and
               Xavier P{\'{e}}rez{-}Gim{\'{e}}nez},
  title     = {On the satisfiability threshold of formulas with three literals per
               clause},
  journal   = {Theor. Comput. Sci.},
  volume    = {410},
  number    = {30-32},
  pages     = {2920--2934},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.tcs.2009.02.020},
  doi       = {10.1016/j.tcs.2009.02.020},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/DiazKMP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Kirousis09,
  author    = {Lefteris M. Kirousis},
  title     = {Coloring Random Graphs: {A} Short Survey},
  booktitle = {11th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2009, Timisoara, Romania, September
               26-29, 2009},
  pages     = {8},
  year      = {2009},
  crossref  = {DBLP:conf/synasc/2009},
  url       = {https://doi.org/10.1109/SYNASC.2009.8},
  doi       = {10.1109/SYNASC.2009.8},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/Kirousis09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/algosensors/ChatzigiannakisKS08,
  author    = {Ioannis Chatzigiannakis and
               Lefteris M. Kirousis and
               Thodoris Stratiotis},
  title     = {Probabilistic Protocols for Fair Communication in Wireless Sensor
               Networks},
  booktitle = {Algorithmic Aspects of Wireless Sensor Networks, Fourth International
               Workshop, {ALGOSENSORS} 2008, Reykjavik, Iceland, July 2008. Revised
               Selected Papers},
  pages     = {100--110},
  year      = {2008},
  crossref  = {DBLP:conf/algosensors/2008},
  url       = {https://doi.org/10.1007/978-3-540-92862-1\_9},
  doi       = {10.1007/978-3-540-92862-1\_9},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/algosensors/ChatzigiannakisKS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DiazKMP08,
  author    = {Josep D{\'{\i}}az and
               Lefteris M. Kirousis and
               Dieter Mitsche and
               Xavier P{\'{e}}rez{-}Gim{\'{e}}nez},
  title     = {A new upper bound for 3-SAT},
  booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
               Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
               Bangalore, India},
  pages     = {163--174},
  year      = {2008},
  crossref  = {DBLP:conf/fsttcs/2008},
  url       = {https://doi.org/10.4230/LIPIcs.FSTTCS.2008.1750},
  doi       = {10.4230/LIPIcs.FSTTCS.2008.1750},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/DiazKMP08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/algo/KaporisK08,
  author    = {Alexis C. Kaporis and
               Lefteris M. Kirousis},
  title     = {Thresholds of Random k-Sat},
  booktitle = {Encyclopedia of Algorithms},
  year      = {2008},
  crossref  = {DBLP:reference/algo/2008},
  url       = {https://doi.org/10.1007/978-0-387-30162-4\_423},
  doi       = {10.1007/978-0-387-30162-4\_423},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/reference/algo/KaporisK08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0807-3600,
  author    = {Josep D{\'{\i}}az and
               Lefteris M. Kirousis and
               Dieter Mitsche and
               Xavier P{\'{e}}rez{-}Gim{\'{e}}nez},
  title     = {A new upper bound for 3-SAT},
  journal   = {CoRR},
  volume    = {abs/0807.3600},
  year      = {2008},
  url       = {http://arxiv.org/abs/0807.3600},
  archivePrefix = {arXiv},
  eprint    = {0807.3600},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0807-3600},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/KaporisKSVZ07,
  author    = {Alexis C. Kaporis and
               Lefteris M. Kirousis and
               Yannis C. Stamatiou and
               Malvina Vamvakari and
               Michele Zito},
  title     = {The unsatisfiability threshold revisited},
  journal   = {Discrete Applied Mathematics},
  volume    = {155},
  number    = {12},
  pages     = {1525--1538},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.dam.2005.10.017},
  doi       = {10.1016/j.dam.2005.10.017},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dam/KaporisKSVZ07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/KaporisKL06,
  author    = {Alexis C. Kaporis and
               Lefteris M. Kirousis and
               Efthimios G. Lalas},
  title     = {The probabilistic analysis of a greedy satisfiability algorithm},
  journal   = {Random Struct. Algorithms},
  volume    = {28},
  number    = {4},
  pages     = {444--480},
  year      = {2006},
  url       = {https://doi.org/10.1002/rsa.20104},
  doi       = {10.1002/rsa.20104},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/rsa/KaporisKL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/KaporisKS06,
  author    = {Alexis C. Kaporis and
               Lefteris M. Kirousis and
               Elias C. Stavropoulos},
  title     = {Approximating Almost All Instances of Max-Cut Within a Ratio Above
               the H{\aa}stad Threshold},
  booktitle = {Algorithms - {ESA} 2006, 14th Annual European Symposium, Zurich, Switzerland,
               September 11-13, 2006, Proceedings},
  pages     = {432--443},
  year      = {2006},
  crossref  = {DBLP:conf/esa/2006},
  url       = {https://doi.org/10.1007/11841036\_40},
  doi       = {10.1007/11841036\_40},
  timestamp = {Wed, 14 Nov 2018 10:55:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esa/KaporisKS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/KirousisK05,
  author    = {Lefteris M. Kirousis and
               Evangelos Kranakis},
  title     = {Special Issue on Typical Case Complexity and Phase Transitions},
  journal   = {Discrete Applied Mathematics},
  volume    = {153},
  number    = {1-3},
  pages     = {1},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.dam.2005.07.007},
  doi       = {10.1016/j.dam.2005.07.007},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/dam/KirousisK05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/DiazGKKPS05,
  author    = {Josep D{\'{\i}}az and
               G. Grammatikopoulos and
               Alexis C. Kaporis and
               Lefteris M. Kirousis and
               Xavier P{\'{e}}rez and
               Dionisios G. Sotiropoulos},
  title     = {5-Regular Graphs are 3-Colorable with Positive Probability},
  booktitle = {Algorithms - {ESA} 2005, 13th Annual European Symposium, Palma de
               Mallorca, Spain, October 3-6, 2005, Proceedings},
  pages     = {215--225},
  year      = {2005},
  crossref  = {DBLP:conf/esa/2005},
  url       = {https://doi.org/10.1007/11561071\_21},
  doi       = {10.1007/11561071\_21},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esa/DiazGKKPS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wea/KaporisKPS05,
  author    = {Alexis C. Kaporis and
               Lefteris M. Kirousis and
               Efpraxia I. Politopoulou and
               Paul G. Spirakis},
  title     = {Experimental Results for Stackelberg Scheduling Strategies},
  booktitle = {Experimental and Efficient Algorithms, 4th InternationalWorkshop,
               {WEA} 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings},
  pages     = {77--88},
  year      = {2005},
  crossref  = {DBLP:conf/wea/2005},
  url       = {https://doi.org/10.1007/11427186\_9},
  doi       = {10.1007/11427186\_9},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wea/KaporisKPS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/KirousisK04,
  author    = {Lefteris M. Kirousis and
               Phokion G. Kolaitis},
  title     = {A Dichotomy in the Complexity of Propositional Circumscription},
  journal   = {Theory Comput. Syst.},
  volume    = {37},
  number    = {6},
  pages     = {695--715},
  year      = {2004},
  url       = {https://doi.org/10.1007/s00224-004-1152-8},
  doi       = {10.1007/s00224-004-1152-8},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mst/KirousisK04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/KaporisKL03,
  author    = {Alexis C. Kaporis and
               Lefteris M. Kirousis and
               Efthimios G. Lalas},
  title     = {Selecting Complementary Pairs of Literals},
  journal   = {Electronic Notes in Discrete Mathematics},
  volume    = {16},
  pages     = {47--70},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0653(04)00462-7},
  doi       = {10.1016/S1571-0653(04)00462-7},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/endm/KaporisKL03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/KranakisK03,
  author    = {Evangelos Kranakis and
               Lefteris M. Kirousis},
  title     = {Preface: Volume 16},
  journal   = {Electronic Notes in Discrete Mathematics},
  volume    = {16},
  pages     = {93},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0653(05)80009-5},
  doi       = {10.1016/S1571-0653(05)80009-5},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/endm/KranakisK03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KirousisK03,
  author    = {Lefteris M. Kirousis and
               Phokion G. Kolaitis},
  title     = {The complexity of minimal satisfiability problems},
  journal   = {Inf. Comput.},
  volume    = {187},
  number    = {1},
  pages     = {20--39},
  year      = {2003},
  url       = {https://doi.org/10.1016/S0890-5401(03)00037-3},
  doi       = {10.1016/S0890-5401(03)00037-3},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/KirousisK03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/networks/KirousisKKS03,
  author    = {Lefteris M. Kirousis and
               Evangelos Kranakis and
               Danny Krizanc and
               Yannis C. Stamatiou},
  title     = {Locating information with uncertainty in fully interconnected networks:
               The case of nondistributed memory},
  journal   = {Networks},
  volume    = {42},
  number    = {3},
  pages     = {169--180},
  year      = {2003},
  url       = {https://doi.org/10.1002/net.10094},
  doi       = {10.1002/net.10094},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/networks/KirousisKKS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/join/BoseKKKKP02,
  author    = {Prosenjit Bose and
               Evangelos Kranakis and
               Christos Kaklamanis and
               Lefteris M. Kirousis and
               Danny Krizanc and
               David Peleg},
  title     = {Station Layouts in the Presence of Location Constraints},
  journal   = {Journal of Interconnection Networks},
  volume    = {3},
  number    = {1-2},
  pages     = {1--17},
  year      = {2002},
  url       = {https://doi.org/10.1142/S0219265902000513},
  doi       = {10.1142/S0219265902000513},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/join/BoseKKKKP02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/KaporisKL02,
  author    = {Alexis C. Kaporis and
               Lefteris M. Kirousis and
               Efthimios G. Lalas},
  title     = {The Probabilistic Analysis of a Greedy Satisfiability Algorithm},
  booktitle = {Algorithms - {ESA} 2002, 10th Annual European Symposium, Rome, Italy,
               September 17-21, 2002, Proceedings},
  pages     = {574--585},
  year      = {2002},
  crossref  = {DBLP:conf/esa/2002},
  url       = {https://doi.org/10.1007/3-540-45749-6\_51},
  doi       = {10.1007/3-540-45749-6\_51},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esa/KaporisKL02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sirocco/2002,
  editor    = {Christos Kaklamanis and
               Lefteris M. Kirousis},
  title     = {{SIROCCO} 9, Proceedings of the 9th International Colloquium on Structural
               Information and Communication Complexity, Andros, Greece, June 10-12,
               2002},
  series    = {Proceedings in Informatics},
  volume    = {13},
  publisher = {Carleton Scientific},
  year      = {2002},
  timestamp = {Thu, 05 Feb 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sirocco/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/KaporisKKKSS01,
  author    = {Alexis C. Kaporis and
               Lefteris M. Kirousis and
               Evangelos Kranakis and
               Danny Krizanc and
               Yannis C. Stamatiou and
               Elias C. Stavropoulos},
  title     = {Locating Information with Uncertainty in Fully Interconnected Networks
               with Applications to World Wide Web Information Retrieval},
  journal   = {Comput. J.},
  volume    = {44},
  number    = {4},
  pages     = {221--229},
  year      = {2001},
  url       = {https://doi.org/10.1093/comjnl/44.4.221},
  doi       = {10.1093/comjnl/44.4.221},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cj/KaporisKKKSS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/AchlioptasMKSKK01,
  author    = {Dimitris Achlioptas and
               Michael S. O. Molloy and
               Lefteris M. Kirousis and
               Yannis C. Stamatiou and
               Evangelos Kranakis and
               Danny Krizanc},
  title     = {Random Constraint Satisfaction: {A} More Accurate Picture},
  journal   = {Constraints},
  volume    = {6},
  number    = {4},
  pages     = {329--344},
  year      = {2001},
  url       = {https://doi.org/10.1023/A:1011402324562},
  doi       = {10.1023/A:1011402324562},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/constraints/AchlioptasMKSKK01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/KaporisKSVZ01,
  author    = {Alexis C. Kaporis and
               Lefteris M. Kirousis and
               Yannis C. Stamatiou and
               Malvina Vamvakari and
               Michele Zito},
  title     = {The unsatisfiability threshold revisited},
  journal   = {Electronic Notes in Discrete Mathematics},
  volume    = {9},
  pages     = {81--95},
  year      = {2001},
  url       = {https://doi.org/10.1016/S1571-0653(04)00315-4},
  doi       = {10.1016/S1571-0653(04)00315-4},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/endm/KaporisKSVZ01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AchlioptasKKK01,
  author    = {Dimitris Achlioptas and
               Lefteris M. Kirousis and
               Evangelos Kranakis and
               Danny Krizanc},
  title     = {Rigorous results for random (2+p)-SAT},
  journal   = {Theor. Comput. Sci.},
  volume    = {265},
  number    = {1-2},
  pages     = {109--129},
  year      = {2001},
  url       = {https://doi.org/10.1016/S0304-3975(01)00154-2},
  doi       = {10.1016/S0304-3975(01)00154-2},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/AchlioptasKKK01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/KaporisKSVZ01,
  author    = {Alexis C. Kaporis and
               Lefteris M. Kirousis and
               Yannis C. Stamatiou and
               Malvina Vamvakari and
               Michele Zito},
  title     = {Coupon Collectors, q-Binomial Coefficients and the Unsatisfiability
               Threshold},
  booktitle = {Theoretical Computer Science, 7th Italian Conference, {ICTCS} 2001,
               Torino, Italy, October 4-6, 2001, Proceedings},
  pages     = {328--338},
  year      = {2001},
  crossref  = {DBLP:conf/ictcs/2001},
  url       = {https://doi.org/10.1007/3-540-45446-2\_21},
  doi       = {10.1007/3-540-45446-2\_21},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictcs/KaporisKSVZ01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KirousisK01,
  author    = {Lefteris M. Kirousis and
               Phokion G. Kolaitis},
  title     = {A Dichotomy in the Complexity of Propositional Circumscription},
  booktitle = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
               Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages     = {71--80},
  year      = {2001},
  crossref  = {DBLP:conf/lics/2001},
  url       = {https://doi.org/10.1109/LICS.2001.932484},
  doi       = {10.1109/LICS.2001.932484},
  timestamp = {Wed, 13 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/KirousisK01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/KirousisK01,
  author    = {Lefteris M. Kirousis and
               Phokion G. Kolaitis},
  title     = {On the Complexity of Model Checking and Inference in Minimal Models},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
               {LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
  pages     = {42--53},
  year      = {2001},
  crossref  = {DBLP:conf/lpnmr/2001},
  url       = {https://doi.org/10.1007/3-540-45402-0\_3},
  doi       = {10.1007/3-540-45402-0\_3},
  timestamp = {Sun, 12 Nov 2017 16:01:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/KirousisK01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KirousisK01,
  author    = {Lefteris M. Kirousis and
               Phokion G. Kolaitis},
  title     = {The Complexity of Minimal Satisfiability Problems},
  booktitle = {{STACS} 2001, 18th Annual Symposium on Theoretical Aspects of Computer
               Science, Dresden, Germany, February 15-17, 2001, Proceedings},
  pages     = {407--418},
  year      = {2001},
  crossref  = {DBLP:conf/stacs/2001},
  url       = {https://doi.org/10.1007/3-540-44693-1\_36},
  doi       = {10.1007/3-540-44693-1\_36},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/KirousisK01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/KaporisKS00,
  author    = {Alexis C. Kaporis and
               Lefteris M. Kirousis and
               Yannis C. Stamatiou},
  title     = {A Note on the Non-Colorability Threshold of a Random Graph},
  journal   = {Electr. J. Comb.},
  volume    = {7},
  year      = {2000},
  url       = {http://www.combinatorics.org/Volume\_7/Abstracts/v7i1r29.html},
  timestamp = {Tue, 05 Oct 2004 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/combinatorics/KaporisKS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/DendrisKST00,
  author    = {Nick D. Dendris and
               Lefteris M. Kirousis and
               Yannis C. Stamatiou and
               Dimitrios M. Thilikos},
  title     = {On Parallel Partial Solutions and Approximation Schemes for Local
               Consistency in Networks of Constraints},
  journal   = {Constraints},
  volume    = {5},
  number    = {3},
  pages     = {251--273},
  year      = {2000},
  url       = {https://doi.org/10.1023/A:1009864716588},
  doi       = {10.1023/A:1009864716588},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/constraints/DendrisKST00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KirousisKKP00,
  author    = {Lefteris M. Kirousis and
               Evangelos Kranakis and
               Danny Krizanc and
               Andrzej Pelc},
  title     = {Power consumption in packet radio networks},
  journal   = {Theor. Comput. Sci.},
  volume    = {243},
  number    = {1-2},
  pages     = {289--305},
  year      = {2000},
  url       = {https://doi.org/10.1016/S0304-3975(98)00223-0},
  doi       = {10.1016/S0304-3975(98)00223-0},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/KirousisKKP00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/KirousisKKS00,
  author    = {Lefteris M. Kirousis and
               Evangelos Kranakis and
               Danny Krizanc and
               Yannis C. Stamatiou},
  title     = {Locating Information with Uncertainty in Fully Interconnected Networks},
  booktitle = {Distributed Computing, 14th International Conference, {DISC} 2000,
               Toledo, Spain, October 4-6, 2000, Proceedings},
  pages     = {283--296},
  year      = {2000},
  crossref  = {DBLP:conf/wdag/2000},
  url       = {https://doi.org/10.1007/3-540-40026-5\_19},
  doi       = {10.1007/3-540-40026-5\_19},
  timestamp = {Wed, 14 Nov 2018 10:59:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wdag/KirousisKKS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR00-082,
  author    = {Lefteris M. Kirousis and
               Phokion G. Kolaitis},
  title     = {The Complexity of Minimal Satisfiability Problems},
  journal   = {Electronic Colloquium on Computational Complexity {(ECCC)}},
  volume    = {7},
  number    = {82},
  year      = {2000},
  url       = {http://eccc.hpi-web.de/eccc-reports/2000/TR00-082/index.html},
  timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/eccc/ECCC-TR00-082},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/BoseKKKKP99,
  author    = {Prosenjit Bose and
               Christos Kaklamanis and
               Lefteris M. Kirousis and
               Evangelos Kranakis and
               Danny Krizanc and
               David Peleg},
  title     = {Station Layouts in the Presence of Location Constraints},
  booktitle = {Algorithms and Computation, 10th International Symposium, {ISAAC}
               '99, Chennai, India, December 16-18, 1999, Proceedings},
  pages     = {269--278},
  year      = {1999},
  crossref  = {DBLP:conf/isaac/1999},
  url       = {https://doi.org/10.1007/3-540-46632-0\_28},
  doi       = {10.1007/3-540-46632-0\_28},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isaac/BoseKKKKP99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/KirousisKKS98,
  author    = {Lefteris M. Kirousis and
               Evangelos Kranakis and
               Danny Krizanc and
               Yannis C. Stamatiou},
  title     = {Approximating the unsatisfiability threshold of random formulas},
  journal   = {Random Struct. Algorithms},
  volume    = {12},
  number    = {3},
  pages     = {253--269},
  year      = {1998},
  url       = {https://doi.org/10.1002/(SICI)1098-2418(199805)12:3\&\#60;253::AID-RSA3\&\#62;3.0.CO;2-U},
  doi       = {10.1002/(SICI)1098-2418(199805)12:3\&\#60;253::AID-RSA3\&\#62;3.0.CO;2-U},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/rsa/KirousisKKS98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DendrisKT97,
  author    = {Nick D. Dendris and
               Lefteris M. Kirousis and
               Dimitrios M. Thilikos},
  title     = {Fugitive-Search Games on Graphs and Related Parameters},
  journal   = {Theor. Comput. Sci.},
  volume    = {172},
  number    = {1-2},
  pages     = {233--254},
  year      = {1997},
  url       = {https://doi.org/10.1016/S0304-3975(96)00177-6},
  doi       = {10.1016/S0304-3975(96)00177-6},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/DendrisKT97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AchlioptasKKKMS97,
  author    = {Dimitris Achlioptas and
               Lefteris M. Kirousis and
               Evangelos Kranakis and
               Danny Krizanc and
               Michael S. O. Molloy and
               Yannis C. Stamatiou},
  title     = {Random Constraint Satisfaction: {A} More Accurate Picture},
  booktitle = {Principles and Practice of Constraint Programming - CP97, Third International
               Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  pages     = {107--120},
  year      = {1997},
  crossref  = {DBLP:conf/cp/1997},
  url       = {https://doi.org/10.1007/BFb0017433},
  doi       = {10.1007/BFb0017433},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/AchlioptasKKKMS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KirousisKKP97,
  author    = {Lefteris M. Kirousis and
               Evangelos Kranakis and
               Danny Krizanc and
               Andrzej Pelc},
  title     = {Power Consumption in Packet Radio Networks (Extended Abstract)},
  booktitle = {{STACS} 97, 14th Annual Symposium on Theoretical Aspects of Computer
               Science, L{\"{u}}beck, Germany, February 27 - March 1, 1997,
               Proceedings},
  pages     = {363--374},
  year      = {1997},
  crossref  = {DBLP:conf/stacs/1997},
  url       = {https://doi.org/10.1007/BFb0023473},
  doi       = {10.1007/BFb0023473},
  timestamp = {Mon, 22 May 2017 17:11:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/KirousisKKP97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KirousisST96,
  author    = {Lefteris M. Kirousis and
               Paul G. Spirakis and
               Philippas Tsigas},
  title     = {Simple Atomic Snapshots: {A} Linear Complexity Solution with Unbounded
               Time-Stamps},
  journal   = {Inf. Process. Lett.},
  volume    = {58},
  number    = {1},
  pages     = {47--53},
  year      = {1996},
  url       = {https://doi.org/10.1016/0020-0190(95)00198-0},
  doi       = {10.1016/0020-0190(95)00198-0},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/KirousisST96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/KirousisT96,
  author    = {Lefteris M. Kirousis and
               Dimitrios M. Thilikos},
  title     = {The Linkage of a Graph},
  journal   = {{SIAM} J. Comput.},
  volume    = {25},
  number    = {3},
  pages     = {626--647},
  year      = {1996},
  url       = {https://doi.org/10.1137/S0097539793255709},
  doi       = {10.1137/S0097539793255709},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/siamcomp/KirousisT96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/KirousisKK96,
  author    = {Lefteris M. Kirousis and
               Evangelos Kranakis and
               Danny Krizanc},
  title     = {A better upper bound for the unsatisfiability threshold},
  booktitle = {Satisfiability Problem: Theory and Applications, Proceedings of a
               {DIMACS} Workshop, Piscataway, New Jersey, USA, March 11-13, 1996},
  pages     = {643--648},
  year      = {1996},
  crossref  = {DBLP:conf/dimacs/dimacs35},
  timestamp = {Tue, 15 Mar 2016 08:05:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dimacs/KirousisKK96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/KirousisKK96,
  author    = {Lefteris M. Kirousis and
               Evangelos Kranakis and
               Danny Krizanc},
  title     = {Approximating the Unsatisfiability Threshold of Random Formulas (Extended
               Abstract)},
  booktitle = {Algorithms - {ESA} '96, Fourth Annual European Symposium, Barcelona,
               Spain, September 25-27, 1996, Proceedings},
  pages     = {27--38},
  year      = {1996},
  crossref  = {DBLP:conf/esa/1996},
  url       = {https://doi.org/10.1007/3-540-61680-2\_44},
  doi       = {10.1007/3-540-61680-2\_44},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esa/KirousisKK96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sirocco/1995,
  editor    = {Lefteris M. Kirousis and
               Christos Kaklamanis},
  title     = {Structure, Information and Communication Complexity, {SIROCCO} '95,
               Proceedings of the 2nd Colloquium on Structural Information and Communication
               Complexity, Olympia Greece, June 12-14, 1995},
  series    = {Proceedings in Informatics},
  volume    = {2},
  publisher = {Carleton Scientific},
  year      = {1996},
  timestamp = {Wed, 19 Nov 2003 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sirocco/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KirousisV95,
  author    = {Lefteris M. Kirousis and
               Andreas G. Veneris},
  title     = {Efficient Algorithms for Checking the Atomicity of a Run of Read and
               Write Operations},
  journal   = {Acta Inf.},
  volume    = {32},
  number    = {2},
  pages     = {155--170},
  year      = {1995},
  url       = {https://doi.org/10.1007/BF01177745},
  doi       = {10.1007/BF01177745},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/acta/KirousisV95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LendrisKST95,
  author    = {Nick Lendris and
               Lefteris M. Kirousis and
               Yannis C. Stamatiou and
               Dimitrios M. Thilikos},
  title     = {Partial Arc Consistency},
  booktitle = {Over-Constrained Systems},
  pages     = {229--236},
  year      = {1995},
  crossref  = {DBLP:conf/cp/1995w},
  url       = {https://doi.org/10.1007/3-540-61479-6\_25},
  doi       = {10.1007/3-540-61479-6\_25},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/LendrisKST95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DendrisKST95,
  author    = {Nick D. Dendris and
               Lefteris M. Kirousis and
               Yannis C. Stamatiou and
               Dimitrios M. Thilikos},
  title     = {Partiality and Approximation Schemes for Local Consistency in Networks
               of Constraints},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science,
               15th Conference, Bangalore, India, December 18-20, 1995, Proceedings},
  pages     = {210--224},
  year      = {1995},
  crossref  = {DBLP:conf/fsttcs/1995},
  url       = {https://doi.org/10.1007/3-540-60692-0\_50},
  doi       = {10.1007/3-540-60692-0\_50},
  timestamp = {Mon, 22 May 2017 16:14:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/DendrisKST95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/DendrisK95,
  author    = {Nick D. Dendris and
               Lefteris M. Kirousis},
  title     = {Linear-time Parallel Arc Consistency with Reduced Communication Requirements},
  booktitle = {Structure, Information and Communication Complexity, {SIROCCO} '95,
               Proceedings of the 2nd Colloquium on Structural Information and Communication
               Complexity, Olympia Greece, June 12-14, 1995},
  pages     = {185--198},
  year      = {1995},
  crossref  = {DBLP:conf/sirocco/1995},
  timestamp = {Wed, 19 Nov 2003 12:08:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sirocco/DendrisK95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmiv/DendrisKK94,
  author    = {Nick D. Dendris and
               Iannis A. Kalafatis and
               Lefteris M. Kirousis},
  title     = {An efficient parallel algorithm for geometrically characterising drawings
               of a class of 3-D objects},
  journal   = {Journal of Mathematical Imaging and Vision},
  volume    = {4},
  number    = {4},
  pages     = {375--387},
  year      = {1994},
  url       = {https://doi.org/10.1007/BF01262403},
  doi       = {10.1007/BF01262403},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jmiv/DendrisKK94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/KirousisST94,
  author    = {Lefteris M. Kirousis and
               Paul G. Spirakis and
               Philippas Tsigas},
  title     = {Reading Many Variables in One Atomic Operation: Solutions with Linear
               or Sublinear Complexity},
  journal   = {{IEEE} Trans. Parallel Distrib. Syst.},
  volume    = {5},
  number    = {7},
  pages     = {688--696},
  year      = {1994},
  url       = {https://doi.org/10.1109/71.296315},
  doi       = {10.1109/71.296315},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tpds/KirousisST94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/DendrisKT94,
  author    = {Nick D. Dendris and
               Lefteris M. Kirousis and
               Dimitrios M. Thilikos},
  title     = {Fugitive-Search Games on Graphs and Related Parameters},
  booktitle = {Graph-Theoretic Concepts in Computer Science, 20th International Workshop,
               {WG} '94, Herrsching, Germany, June 16-18, 1994, Proceedings},
  pages     = {331--342},
  year      = {1994},
  crossref  = {DBLP:conf/wg/1994},
  url       = {https://doi.org/10.1007/3-540-59071-4\_59},
  doi       = {10.1007/3-540-59071-4\_59},
  timestamp = {Thu, 28 Dec 2017 16:02:42 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wg/DendrisKT94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Kirousis93,
  author    = {Lefteris M. Kirousis},
  title     = {Fast Parallel Constraint Satisfaction},
  journal   = {Artif. Intell.},
  volume    = {64},
  number    = {1},
  pages     = {147--160},
  year      = {1993},
  url       = {https://doi.org/10.1016/0004-3702(93)90063-H},
  doi       = {10.1016/0004-3702(93)90063-H},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/Kirousis93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/JungKS93,
  author    = {Hermann Jung and
               Lefteris M. Kirousis and
               Paul G. Spirakis},
  title     = {Lower Bounds and Efficient Algorithms for Multiprocessor Scheduling
               of Directed Acyclic Graphs with Communication Delays},
  journal   = {Inf. Comput.},
  volume    = {105},
  number    = {1},
  pages     = {94--104},
  year      = {1993},
  url       = {https://doi.org/10.1006/inco.1993.1041},
  doi       = {10.1006/inco.1993.1041},
  timestamp = {Fri, 22 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/JungKS93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/KirousisSS93,
  author    = {Lefteris M. Kirousis and
               Maria J. Serna and
               Paul G. Spirakis},
  title     = {Parallel Complexity of the Connected Subgraph Problem},
  journal   = {{SIAM} J. Comput.},
  volume    = {22},
  number    = {3},
  pages     = {573--586},
  year      = {1993},
  url       = {https://doi.org/10.1137/0222039},
  doi       = {10.1137/0222039},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/siamcomp/KirousisSS93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Kirousis93,
  author    = {Lefteris M. Kirousis},
  title     = {Fast Parallel Constraint Satisfaction},
  booktitle = {Automata, Languages and Programming, 20nd International Colloquium,
               ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
  pages     = {418--429},
  year      = {1993},
  crossref  = {DBLP:conf/icalp/1993},
  url       = {https://doi.org/10.1007/3-540-56939-1\_91},
  doi       = {10.1007/3-540-56939-1\_91},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/Kirousis93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/KirousisV93,
  author    = {Lefteris M. Kirousis and
               Andreas G. Veneris},
  title     = {Efficient Algorithms for Checking the Atomicity of a Run of Read and
               Write Operations},
  booktitle = {Distributed Algorithms, 7th International Workshop, {WDAG} '93, Lausanne,
               Switzerland, September 27-29, 1993, Proceedings},
  pages     = {54--68},
  year      = {1993},
  crossref  = {DBLP:conf/wdag/1993},
  url       = {https://doi.org/10.1007/3-540-57271-6\_27},
  doi       = {10.1007/3-540-57271-6\_27},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wdag/KirousisV93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/DendrisKK92,
  author    = {Nick D. Dendris and
               Iannis A. Kalafatis and
               Lefteris M. Kirousis},
  title     = {An Efficient Parallel Algorithm for Geometrically Characterising Drawings
               of a Class of 3-D Objects},
  booktitle = {Algorithms and Computation, Third International Symposium, {ISAAC}
               '92, Nagoya, Japan, December 16-18, 1992, Proceedings},
  pages     = {198--208},
  year      = {1992},
  crossref  = {DBLP:conf/isaac/1992},
  url       = {https://doi.org/10.1007/3-540-56279-6\_73},
  doi       = {10.1007/3-540-56279-6\_73},
  timestamp = {Sat, 20 May 2017 15:32:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isaac/DendrisKK92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wdag/1991,
  editor    = {Sam Toueg and
               Paul G. Spirakis and
               Lefteris M. Kirousis},
  title     = {Distributed Algorithms, 5th International Workshop, {WDAG} '91, Delphi,
               Greece, October 7-9, 1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {579},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/BFb0022433},
  doi       = {10.1007/BFb0022433},
  isbn      = {3-540-55236-7},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wdag/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KavadiasKS91,
  author    = {Dimitris Kavadias and
               Lefteris M. Kirousis and
               Paul G. Spirakis},
  title     = {The Complexity of the Reliable Connectivity Problem},
  journal   = {Inf. Process. Lett.},
  volume    = {39},
  number    = {5},
  pages     = {245--252},
  year      = {1991},
  url       = {https://doi.org/10.1016/0020-0190(91)90023-B},
  doi       = {10.1016/0020-0190(91)90023-B},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/KavadiasKS91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icci/KirousisST91,
  author    = {Lefteris M. Kirousis and
               Paul G. Spirakis and
               Philippas Tsigas},
  title     = {Simple Atomic Snapshots: {A} Linear Complexity Solution with Unbounded
               Time-Stamps},
  booktitle = {Advances in Computing and Information - ICCI'91, International Conference
               on Computing and Information, Ottawa, Canada, May 27-29, 1991, Proceedings},
  pages     = {582--587},
  year      = {1991},
  crossref  = {DBLP:conf/icci/1991},
  url       = {https://doi.org/10.1007/3-540-54029-6\_207},
  doi       = {10.1007/3-540-54029-6\_207},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icci/KirousisST91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KavadiasKS91,
  author    = {Dimitris Kavadias and
               Lefteris M. Kirousis and
               Paul G. Spirakis},
  title     = {The Complexity of The Reliable Connectivity Problem},
  booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
               Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
               Proceedings},
  pages     = {259--266},
  year      = {1991},
  crossref  = {DBLP:conf/mfcs/1991},
  url       = {https://doi.org/10.1007/3-540-54345-7\_69},
  doi       = {10.1007/3-540-54345-7\_69},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/KavadiasKS91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/KirousisST91,
  author    = {Lefteris M. Kirousis and
               Paul G. Spirakis and
               Philippas Tsigas},
  title     = {Reading Many Variables in One Atomic Operation: Solutions With Linear
               or Sublinear Complexity},
  booktitle = {Distributed Algorithms, 5th International Workshop, {WDAG} '91, Delphi,
               Greece, October 7-9, 1991, Proceedings},
  pages     = {229--241},
  year      = {1991},
  crossref  = {DBLP:conf/wdag/1991},
  url       = {https://doi.org/10.1007/BFb0022450},
  doi       = {10.1007/BFb0022450},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wdag/KirousisST91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pami/Kirousis90,
  author    = {Lefteris M. Kirousis},
  title     = {Effectively Labeling Planar Projections of Polyhedra},
  journal   = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
  volume    = {12},
  number    = {2},
  pages     = {123--130},
  year      = {1990},
  url       = {https://doi.org/10.1109/34.44400},
  doi       = {10.1109/34.44400},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pami/Kirousis90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/KirousisSS89,
  author    = {Lefteris M. Kirousis and
               Maria J. Serna and
               Paul G. Spirakis},
  title     = {The Parallel Complexity of the Subgraph Connectivity Problem},
  booktitle = {30th Annual Symposium on Foundations of Computer Science, Research
               Triangle Park, North Carolina, USA, 30 October - 1 November 1989},
  pages     = {294--299},
  year      = {1989},
  crossref  = {DBLP:conf/focs/FOCS30},
  url       = {https://doi.org/10.1109/SFCS.1989.63493},
  doi       = {10.1109/SFCS.1989.63493},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/focs/KirousisSS89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/JungKS89,
  author    = {Hermann Jung and
               Lefteris M. Kirousis and
               Paul G. Spirakis},
  title     = {Lower Bounds and Efficient Algorithms for Multiprocessor Scheduling
               of Dags with Communication Delays},
  booktitle = {Proceedings of the {ACM} Symposium on Parallel Algorithms and Architectures,
               {SPAA} '89, Santa Fe, New Mexico, USA, June 18-21, 1989},
  pages     = {254--264},
  year      = {1989},
  crossref  = {DBLP:conf/spaa/1989},
  url       = {https://doi.org/10.1145/72935.72962},
  doi       = {10.1145/72935.72962},
  timestamp = {Fri, 22 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/spaa/JungKS89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KirousisP88,
  author    = {Lefteris M. Kirousis and
               Christos H. Papadimitriou},
  title     = {The Complexity of Recognizing Polyhedral Scenes},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {37},
  number    = {1},
  pages     = {14--38},
  year      = {1988},
  url       = {https://doi.org/10.1016/0022-0000(88)90043-8},
  doi       = {10.1016/0022-0000(88)90043-8},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jcss/KirousisP88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/AwerbuchKKV88,
  author    = {Baruch Awerbuch and
               Lefteris M. Kirousis and
               Evangelos Kranakis and
               Paul M. B. Vit{\'{a}}nyi},
  title     = {A Proof Technique for Register Automicity},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science,
               Eighth Conference, Pune, India, December 21-23, 1988, Proceedings},
  pages     = {286--303},
  year      = {1988},
  crossref  = {DBLP:conf/fsttcs/1988},
  url       = {https://doi.org/10.1007/3-540-50517-2\_87},
  doi       = {10.1007/3-540-50517-2\_87},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/AwerbuchKKV88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat/KirousisS88,
  author    = {Lefteris M. Kirousis and
               Paul G. Spirakis},
  title     = {Probabilistic Log-Space Reductions and Problems Probabilistically
               Hard for {P}},
  booktitle = {{SWAT} 88, 1st Scandinavian Workshop on Algorithm Theory, Halmstad,
               Sweden, July 5-8, 1988, Proceedings},
  pages     = {163--175},
  year      = {1988},
  crossref  = {DBLP:conf/swat/1988},
  url       = {https://doi.org/10.1007/3-540-19487-8\_19},
  doi       = {10.1007/3-540-19487-8\_19},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/swat/KirousisS88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/KirousisKV87,
  author    = {Lefteris M. Kirousis and
               Evangelos Kranakis and
               Paul M. B. Vit{\'{a}}nyi},
  title     = {Atomic Multireader Register},
  booktitle = {Distributed Algorithms, 2nd International Workshop, Amsterdam, The
               Netherlands, July 8-10, 1987, Proceedings},
  pages     = {278--296},
  year      = {1987},
  crossref  = {DBLP:conf/wdag/1987},
  url       = {https://doi.org/10.1007/BFb0019809},
  doi       = {10.1007/BFb0019809},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wdag/KirousisKV87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KirousisP86,
  author    = {Lefteris M. Kirousis and
               Christos H. Papadimitriou},
  title     = {Searching and Pebbling},
  journal   = {Theor. Comput. Sci.},
  volume    = {47},
  number    = {3},
  pages     = {205--218},
  year      = {1986},
  url       = {https://doi.org/10.1016/0304-3975(86)90146-5},
  doi       = {10.1016/0304-3975(86)90146-5},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/KirousisP86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/awoc/Kirousis86,
  author    = {Lefteris M. Kirousis},
  title     = {A Polynomial Algorithm for Recognizing Images of Polyhedra},
  booktitle = {{VLSI} Algorithms and Architectures, Aegean Workshop on Computing,
               Loutraki, Greece, July 8-11, 1986, Proceedings},
  pages     = {194--204},
  year      = {1986},
  crossref  = {DBLP:conf/awoc/1986},
  url       = {https://doi.org/10.1007/3-540-16766-8\_17},
  doi       = {10.1007/3-540-16766-8\_17},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/awoc/Kirousis86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/KirousisP85,
  author    = {Lefteris M. Kirousis and
               Christos H. Papadimitriou},
  title     = {Interval graphs and seatching},
  journal   = {Discrete Mathematics},
  volume    = {55},
  number    = {2},
  pages     = {181--184},
  year      = {1985},
  url       = {https://doi.org/10.1016/0012-365X(85)90046-9},
  doi       = {10.1016/0012-365X(85)90046-9},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dm/KirousisP85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/KirousisP85,
  author    = {Lefteris M. Kirousis and
               Christos H. Papadimitriou},
  title     = {The Complexity of Recognizing Polyhedral Scenes (Extended Abstract)},
  booktitle = {26th Annual Symposium on Foundations of Computer Science, Portland,
               Oregon, USA, 21-23 October 1985},
  pages     = {175--185},
  year      = {1985},
  crossref  = {DBLP:conf/focs/FOCS26},
  url       = {https://doi.org/10.1109/SFCS.1985.59},
  doi       = {10.1109/SFCS.1985.59},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/focs/KirousisP85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kirousis83,
  author    = {Lefteris M. Kirousis},
  title     = {A Selection Theorem},
  journal   = {J. Symb. Log.},
  volume    = {48},
  number    = {3},
  pages     = {585--594},
  year      = {1983},
  url       = {https://doi.org/10.2307/2273450},
  doi       = {10.2307/2273450},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsyml/Kirousis83},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2018,
  editor    = {Jules Desharnais and
               Walter Guttmann and
               Stef Joosten},
  title     = {Relational and Algebraic Methods in Computer Science - 17th International
               Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 -
               November 1, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11194},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-02149-8},
  doi       = {10.1007/978-3-030-02149-8},
  isbn      = {978-3-030-02148-1},
  timestamp = {Thu, 25 Oct 2018 11:30:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/RelMiCS/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gascom/2018,
  editor    = {Luca Ferrari and
               Malvina Vamvakari},
  title     = {Proceedings of the 11th International Conference on Random and Exhaustive
               Generation of Combinatorial Structures, GASCom 2018, Athens, Greece,
               June 18-20, 2018},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {2113},
  publisher = {CEUR-WS.org},
  year      = {2018},
  url       = {http://ceur-ws.org/Vol-2113},
  urn       = {urn:nbn:de:0074-2113-0},
  timestamp = {Sun, 22 Jul 2018 18:56:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gascom/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lion/2018,
  editor    = {Roberto Battiti and
               Mauro Brunato and
               Ilias Kotsireas and
               Panos M. Pardalos},
  title     = {Learning and Intelligent Optimization - 12th International Conference,
               {LION} 12, Kalamata, Greece, June 10-15, 2018, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11353},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-05348-2},
  doi       = {10.1007/978-3-030-05348-2},
  isbn      = {978-3-030-05347-5},
  timestamp = {Thu, 03 Jan 2019 17:13:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lion/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/2017,
  editor    = {Peter H{\"{o}}fner and
               Damien Pous and
               Georg Struth},
  title     = {Relational and Algebraic Methods in Computer Science - 16th International
               Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10226},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-57418-9},
  doi       = {10.1007/978-3-319-57418-9},
  isbn      = {978-3-319-57417-2},
  timestamp = {Tue, 09 May 2017 12:44:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/RelMiCS/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/analco/2015,
  editor    = {Robert Sedgewick and
               Mark Daniel Ward},
  title     = {Proceedings of the Twelfth Workshop on Analytic Algorithmics and Combinatorics,
               {ANALCO} 2015, San Diego, CA, USA, January 4, 2015},
  publisher = {{SIAM}},
  year      = {2015},
  url       = {https://doi.org/10.1137/1.9781611973761},
  doi       = {10.1137/1.9781611973761},
  isbn      = {978-1-61197-376-1},
  timestamp = {Tue, 23 May 2017 01:10:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/analco/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/colognetwente/2015,
  editor    = {Ekrem Duman and
               Ali Fuat Alkaya},
  title     = {13th Cologne Twente Workshop on Graphs and Combinatorial Optimization,
               Istanbul, Turkey, May 26-28, 2015},
  year      = {2015},
  timestamp = {Thu, 02 Feb 2017 18:00:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/colognetwente/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/latin/2014,
  editor    = {Alberto Pardo and
               Alfredo Viola},
  title     = {{LATIN} 2014: Theoretical Informatics - 11th Latin American Symposium,
               Montevideo, Uruguay, March 31 - April 4, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8392},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54423-1},
  doi       = {10.1007/978-3-642-54423-1},
  isbn      = {978-3-642-54422-4},
  timestamp = {Tue, 23 May 2017 01:11:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/latin/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2009,
  editor    = {Stephen M. Watt and
               Viorel Negru and
               Tetsuo Ida and
               Tudor Jebelean and
               Dana Petcu and
               Daniela Zaharie},
  title     = {11th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2009, Timisoara, Romania, September
               26-29, 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5459479},
  isbn      = {978-1-4244-5910-0},
  timestamp = {Tue, 13 Jan 2015 18:19:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/algosensors/2008,
  editor    = {S{\'{a}}ndor P. Fekete},
  title     = {Algorithmic Aspects of Wireless Sensor Networks, Fourth International
               Workshop, {ALGOSENSORS} 2008, Reykjavik, Iceland, July 2008. Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5389},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-92862-1},
  doi       = {10.1007/978-3-540-92862-1},
  isbn      = {978-3-540-92861-4},
  timestamp = {Fri, 19 May 2017 01:25:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/algosensors/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/2008,
  editor    = {Ramesh Hariharan and
               Madhavan Mukund and
               V. Vinay},
  title     = {{IARCS} Annual Conference on Foundations of Software Technology and
               Theoretical Computer Science, {FSTTCS} 2008, December 9-11, 2008,
               Bangalore, India},
  series    = {LIPIcs},
  volume    = {2},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2008},
  timestamp = {Wed, 20 Jan 2010 11:15:40 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:reference/algo/2008,
  editor    = {Ming{-}Yang Kao},
  title     = {Encyclopedia of Algorithms},
  publisher = {Springer},
  year      = {2008},
  isbn      = {978-0-387-30162-4},
  timestamp = {Fri, 25 Nov 2011 18:23:31 +0100},
  biburl    = {https://dblp.org/rec/bib/reference/algo/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esa/2006,
  editor    = {Yossi Azar and
               Thomas Erlebach},
  title     = {Algorithms - {ESA} 2006, 14th Annual European Symposium, Zurich, Switzerland,
               September 11-13, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4168},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11841036},
  doi       = {10.1007/11841036},
  isbn      = {3-540-38875-3},
  timestamp = {Wed, 14 Nov 2018 10:55:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/esa/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esa/2005,
  editor    = {Gerth St{\o}lting Brodal and
               Stefano Leonardi},
  title     = {Algorithms - {ESA} 2005, 13th Annual European Symposium, Palma de
               Mallorca, Spain, October 3-6, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3669},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11561071},
  doi       = {10.1007/11561071},
  isbn      = {3-540-29118-0},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esa/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wea/2005,
  editor    = {Sotiris E. Nikoletseas},
  title     = {Experimental and Efficient Algorithms, 4th InternationalWorkshop,
               {WEA} 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3503},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b136461},
  doi       = {10.1007/b136461},
  isbn      = {3-540-25920-1},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wea/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esa/2002,
  editor    = {Rolf H. M{\"{o}}hring and
               Rajeev Raman},
  title     = {Algorithms - {ESA} 2002, 10th Annual European Symposium, Rome, Italy,
               September 17-21, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2461},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45749-6},
  doi       = {10.1007/3-540-45749-6},
  isbn      = {3-540-44180-8},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esa/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictcs/2001,
  editor    = {Antonio Restivo and
               Simona Ronchi Della Rocca and
               Luca Roversi},
  title     = {Theoretical Computer Science, 7th Italian Conference, {ICTCS} 2001,
               Torino, Italy, October 4-6, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2202},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45446-2},
  doi       = {10.1007/3-540-45446-2},
  isbn      = {3-540-42672-8},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictcs/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/2001,
  title     = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
               Massachusetts, USA, June 16-19, 2001, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7424},
  isbn      = {0-7695-1281-X},
  timestamp = {Fri, 21 Nov 2014 14:08:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2001,
  editor    = {Thomas Eiter and
               Wolfgang Faber and
               Miroslaw Truszczynski},
  title     = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
               {LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2173},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45402-0},
  doi       = {10.1007/3-540-45402-0},
  isbn      = {3-540-42593-4},
  timestamp = {Sun, 12 Nov 2017 16:01:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/2001,
  editor    = {Afonso Ferreira and
               Horst Reichel},
  title     = {{STACS} 2001, 18th Annual Symposium on Theoretical Aspects of Computer
               Science, Dresden, Germany, February 15-17, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2010},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44693-1},
  doi       = {10.1007/3-540-44693-1},
  isbn      = {3-540-41695-1},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wdag/2000,
  editor    = {Maurice Herlihy},
  title     = {Distributed Computing, 14th International Conference, {DISC} 2000,
               Toledo, Spain, October 4-6, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1914},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-40026-5},
  doi       = {10.1007/3-540-40026-5},
  isbn      = {3-540-41143-7},
  timestamp = {Wed, 14 Nov 2018 10:59:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wdag/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isaac/1999,
  editor    = {Alok Aggarwal and
               C. Pandu Rangan},
  title     = {Algorithms and Computation, 10th International Symposium, {ISAAC}
               '99, Chennai, India, December 16-18, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1741},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-46632-0},
  doi       = {10.1007/3-540-46632-0},
  isbn      = {3-540-66916-7},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isaac/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/1997,
  editor    = {Gert Smolka},
  title     = {Principles and Practice of Constraint Programming - CP97, Third International
               Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1330},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0017424},
  doi       = {10.1007/BFb0017424},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/1997,
  editor    = {R{\"{u}}diger Reischuk and
               Michel Morvan},
  title     = {{STACS} 97, 14th Annual Symposium on Theoretical Aspects of Computer
               Science, L{\"{u}}beck, Germany, February 27 - March 1, 1997,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1200},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0023443},
  doi       = {10.1007/BFb0023443},
  isbn      = {3-540-62616-6},
  timestamp = {Mon, 22 May 2017 17:11:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/stacs/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dimacs/dimacs35,
  editor    = {Ding{-}Zhu Du and
               Jun Gu and
               Panos M. Pardalos},
  title     = {Satisfiability Problem: Theory and Applications, Proceedings of a
               {DIMACS} Workshop, Piscataway, New Jersey, USA, March 11-13, 1996},
  series    = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
  volume    = {35},
  publisher = {{DIMACS/AMS}},
  year      = {1997},
  url       = {http://dimacs.rutgers.edu/Volumes/Vol35.html},
  timestamp = {Tue, 15 Mar 2016 08:05:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dimacs/dimacs35},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esa/1996,
  editor    = {Josep D{\'{\i}}az and
               Maria J. Serna},
  title     = {Algorithms - {ESA} '96, Fourth Annual European Symposium, Barcelona,
               Spain, September 25-27, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1136},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61680-2},
  doi       = {10.1007/3-540-61680-2},
  isbn      = {3-540-61680-2},
  timestamp = {Thu, 15 Jun 2017 21:39:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esa/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/1995w,
  editor    = {Michael Jampel and
               Eugene C. Freuder and
               Michael J. Maher},
  title     = {Over-Constrained Systems},
  series    = {Lecture Notes in Computer Science},
  volume    = {1106},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61479-6},
  doi       = {10.1007/3-540-61479-6},
  isbn      = {3-540-61479-6},
  timestamp = {Mon, 22 May 2017 16:14:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/1995w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1995,
  editor    = {P. S. Thiagarajan},
  title     = {Foundations of Software Technology and Theoretical Computer Science,
               15th Conference, Bangalore, India, December 18-20, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1026},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-60692-0},
  doi       = {10.1007/3-540-60692-0},
  isbn      = {3-540-60692-0},
  timestamp = {Mon, 22 May 2017 16:14:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wg/1994,
  editor    = {Ernst W. Mayr and
               Gunther Schmidt and
               Gottfried Tinhofer},
  title     = {Graph-Theoretic Concepts in Computer Science, 20th International Workshop,
               {WG} '94, Herrsching, Germany, June 16-18, 1994, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {903},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-59071-4},
  doi       = {10.1007/3-540-59071-4},
  isbn      = {3-540-59071-4},
  timestamp = {Thu, 28 Dec 2017 16:02:42 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wg/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/1993,
  editor    = {Andrzej Lingas and
               Rolf G. Karlsson and
               Svante Carlsson},
  title     = {Automata, Languages and Programming, 20nd International Colloquium,
               ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {700},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56939-1},
  doi       = {10.1007/3-540-56939-1},
  isbn      = {3-540-56939-1},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wdag/1993,
  editor    = {Andr{\'{e}} Schiper},
  title     = {Distributed Algorithms, 7th International Workshop, {WDAG} '93, Lausanne,
               Switzerland, September 27-29, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {725},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-57271-6},
  doi       = {10.1007/3-540-57271-6},
  isbn      = {3-540-57271-6},
  timestamp = {Sat, 20 May 2017 15:32:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wdag/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isaac/1992,
  editor    = {Toshihide Ibaraki and
               Yasuyoshi Inagaki and
               Kazuo Iwama and
               Takao Nishizeki and
               Masafumi Yamashita},
  title     = {Algorithms and Computation, Third International Symposium, {ISAAC}
               '92, Nagoya, Japan, December 16-18, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {650},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/3-540-56279-6},
  doi       = {10.1007/3-540-56279-6},
  isbn      = {3-540-56279-6},
  timestamp = {Sat, 20 May 2017 15:32:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isaac/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icci/1991,
  editor    = {Frank K. H. A. Dehne and
               Frantisek Fiala and
               Waldemar W. Koczkodaj},
  title     = {Advances in Computing and Information - ICCI'91, International Conference
               on Computing and Information, Ottawa, Canada, May 27-29, 1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {497},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/3-540-54029-6},
  doi       = {10.1007/3-540-54029-6},
  isbn      = {3-540-54029-6},
  timestamp = {Sun, 04 Jun 2017 10:10:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icci/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/1991,
  editor    = {Andrzej Tarlecki},
  title     = {Mathematical Foundations of Computer Science 1991, 16th International
               Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {520},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/3-540-54345-7},
  doi       = {10.1007/3-540-54345-7},
  isbn      = {3-540-54345-7},
  timestamp = {Sat, 20 May 2017 15:32:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS30,
  title     = {30th Annual Symposium on Foundations of Computer Science, Research
               Triangle Park, North Carolina, USA, 30 October - 1 November 1989},
  publisher = {{IEEE} Computer Society},
  year      = {1989},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=260},
  isbn      = {0-8186-1982-1},
  timestamp = {Mon, 15 Dec 2014 18:48:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/focs/FOCS30},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spaa/1989,
  editor    = {Frank Thomson Leighton},
  title     = {Proceedings of the {ACM} Symposium on Parallel Algorithms and Architectures,
               {SPAA} '89, Santa Fe, New Mexico, USA, June 18-21, 1989},
  publisher = {{ACM}},
  year      = {1989},
  url       = {https://doi.org/10.1145/72935},
  doi       = {10.1145/72935},
  isbn      = {0-89791-323-X},
  timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/spaa/1989},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fsttcs/1988,
  editor    = {Kesav V. Nori and
               Sanjeev Kumar},
  title     = {Foundations of Software Technology and Theoretical Computer Science,
               Eighth Conference, Pune, India, December 21-23, 1988, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {338},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/3-540-50517-2},
  doi       = {10.1007/3-540-50517-2},
  isbn      = {3-540-50517-2},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fsttcs/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/swat/1988,
  editor    = {Rolf G. Karlsson and
               Andrzej Lingas},
  title     = {{SWAT} 88, 1st Scandinavian Workshop on Algorithm Theory, Halmstad,
               Sweden, July 5-8, 1988, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {318},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/3-540-19487-8},
  doi       = {10.1007/3-540-19487-8},
  isbn      = {3-540-19487-8},
  timestamp = {Fri, 19 May 2017 13:10:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/swat/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wdag/1987,
  editor    = {Jan van Leeuwen},
  title     = {Distributed Algorithms, 2nd International Workshop, Amsterdam, The
               Netherlands, July 8-10, 1987, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {312},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/BFb0019789},
  doi       = {10.1007/BFb0019789},
  isbn      = {3-540-19366-9},
  timestamp = {Fri, 19 May 2017 13:10:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wdag/1987},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/awoc/1986,
  editor    = {Fillia Makedon and
               Kurt Mehlhorn and
               Theodore S. Papatheodorou and
               Paul G. Spirakis},
  title     = {{VLSI} Algorithms and Architectures, Aegean Workshop on Computing,
               Loutraki, Greece, July 8-11, 1986, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {227},
  publisher = {Springer},
  year      = {1986},
  url       = {https://doi.org/10.1007/3-540-16766-8},
  doi       = {10.1007/3-540-16766-8},
  isbn      = {3-540-16766-8},
  timestamp = {Fri, 19 May 2017 12:26:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/awoc/1986},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/focs/FOCS26,
  title     = {26th Annual Symposium on Foundations of Computer Science, Portland,
               Oregon, USA, 21-23 October 1985},
  publisher = {{IEEE} Computer Society},
  year      = {1985},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4568115},
  isbn      = {0-8186-0644-4},
  timestamp = {Wed, 17 Dec 2014 17:01:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/focs/FOCS26},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier