Search dblp for Publications

export results for "toc:db/conf/csr/csr2014.bht:"

 download as .bib file

@inproceedings{DBLP:conf/csr/AcharyyaCJ14,
  author       = {Rupam Acharyya and
                  Sourav Chakraborty and
                  Nitesh Jha},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Counting Popular Matchings in House Allocation Problems},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {39--51},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_4},
  doi          = {10.1007/978-3-319-06686-8\_4},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/AcharyyaCJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/AmiriGKS14,
  author       = {Saeed Akhoondian Amiri and
                  Ali Golshani and
                  Stephan Kreutzer and
                  Sebastian Siebertz},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Vertex Disjoint Paths in Upward Planar Graphs},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {52--64},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_5},
  doi          = {10.1007/978-3-319-06686-8\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/AmiriGKS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/ArvindRS14,
  author       = {Vikraman Arvind and
                  S. Raja and
                  A. V. Sreejith},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {On Lower Bounds for Multiplicative Circuits and Linear Circuits in
                  Noncommutative Domains},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {65--76},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_6},
  doi          = {10.1007/978-3-319-06686-8\_6},
  timestamp    = {Thu, 29 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/ArvindRS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/BaartseM14,
  author       = {Martijn Baartse and
                  Klaus Meer},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Testing Low Degree Trigonometric Polynomials},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {77--96},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_7},
  doi          = {10.1007/978-3-319-06686-8\_7},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/BaartseM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/BhrushundiCK14,
  author       = {Abhishek Bhrushundi and
                  Sourav Chakraborty and
                  Raghav Kulkarni},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Property Testing Bounds for Linear and Quadratic Functions via Parity
                  Decision Trees},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {97--110},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_8},
  doi          = {10.1007/978-3-319-06686-8\_8},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/BhrushundiCK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/BoralCKP14,
  author       = {Anudhyan Boral and
                  Marek Cygan and
                  Tomasz Kociumaka and
                  Marcin Pilipczuk},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {A Fast Branching Algorithm for Cluster Vertex Deletion},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {111--124},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_9},
  doi          = {10.1007/978-3-319-06686-8\_9},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/BoralCKP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/DemriGLM14,
  author       = {St{\'{e}}phane Demri and
                  Didier Galmiche and
                  Dominique Larchey{-}Wendling and
                  Daniel M{\'{e}}ry},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Separation Logic with One Quantified Variable},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {125--138},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_10},
  doi          = {10.1007/978-3-319-06686-8\_10},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/DemriGLM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/DiekertJP14,
  author       = {Volker Diekert and
                  Artur Jez and
                  Wojciech Plandowski},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Finding All Solutions of Equations in Free Groups and Monoids with
                  Involution},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_1},
  doi          = {10.1007/978-3-319-06686-8\_1},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/DiekertJP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/EdelkampW14,
  author       = {Stefan Edelkamp and
                  Armin Wei{\ss}},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {QuickXsort: Efficient Sorting with n logn - 1.399n + o(n) Comparisons
                  on Average},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {139--152},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_11},
  doi          = {10.1007/978-3-319-06686-8\_11},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csr/EdelkampW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/FernauR14,
  author       = {Henning Fernau and
                  Juan Alberto Rodr{\'{\i}}guez{-}Vel{\'{a}}zquez},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Notions of Metric Dimension of Corona Products: Combinatorial and
                  Computational Results},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {153--166},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_12},
  doi          = {10.1007/978-3-319-06686-8\_12},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csr/FernauR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Find14,
  author       = {Magnus Gausdal Find},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {On the Complexity of Computing Two Nonlinearity Measures},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {167--175},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_13},
  doi          = {10.1007/978-3-319-06686-8\_13},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/Find14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/FleischerKL14,
  author       = {Lukas Fleischer and
                  Manfred Kufleitner and
                  Alexander Lauser},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Block Products and Nesting Negations in {FO2}},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {176--189},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_14},
  doi          = {10.1007/978-3-319-06686-8\_14},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csr/FleischerKL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/FurerY14,
  author       = {Martin F{\"{u}}rer and
                  Huiwen Yu},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Space Saving by Dynamic Algebraization},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {375--388},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_29},
  doi          = {10.1007/978-3-319-06686-8\_29},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csr/FurerY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Grohe14,
  author       = {Martin Grohe},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Algorithmic Meta Theorems for Sparse Graph Classes},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {16--22},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_2},
  doi          = {10.1007/978-3-319-06686-8\_2},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/Grohe14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/HutagalungL14,
  author       = {Milka Hutagalung and
                  Martin Lange},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Model Checking for String Problems},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {190--203},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_15},
  doi          = {10.1007/978-3-319-06686-8\_15},
  timestamp    = {Tue, 09 Jan 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csr/HutagalungL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/JainKSTZ14,
  author       = {Sanjay Jain and
                  Bakhadyr Khoussainov and
                  Frank Stephan and
                  Dan Teng and
                  Siyuan Zou},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Semiautomatic Structures},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {204--217},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_16},
  doi          = {10.1007/978-3-319-06686-8\_16},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/JainKSTZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/KawachiRW14,
  author       = {Akinori Kawachi and
                  Benjamin Rossman and
                  Osamu Watanabe},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {The Query Complexity of Witness Finding},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {218--231},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_17},
  doi          = {10.1007/978-3-319-06686-8\_17},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/KawachiRW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Krupski14,
  author       = {Vladimir N. Krupski},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Primal Implication as Encryption},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {232--244},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_18},
  doi          = {10.1007/978-3-319-06686-8\_18},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/Krupski14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/LohreyS14,
  author       = {Markus Lohrey and
                  Manfred Schmidt{-}Schau{\ss}},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Processing Succinct Matrices and Vectors},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {245--258},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_19},
  doi          = {10.1007/978-3-319-06686-8\_19},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/LohreyS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/MartinS14,
  author       = {Barnaby Martin and
                  Juraj Stacho},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Constraint Satisfaction with Counting Quantifiers 2},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {259--272},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_20},
  doi          = {10.1007/978-3-319-06686-8\_20},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/MartinS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Mehta14,
  author       = {Jenish C. Mehta},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Dynamic Complexity of Planar 3-Connected Graph Isomorphism},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {273--286},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_21},
  doi          = {10.1007/978-3-319-06686-8\_21},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/Mehta14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Pan14,
  author       = {Victor Y. Pan},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Fast Approximate Computations with Cauchy Matrices, Polynomials and
                  Rational Functions},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {287--299},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_22},
  doi          = {10.1007/978-3-319-06686-8\_22},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/Pan14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Parys14,
  author       = {Pawel Parys},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {First-Order Logic on {CPDA} Graphs},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {300--313},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_23},
  doi          = {10.1007/978-3-319-06686-8\_23},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/Parys14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Rabkin14,
  author       = {Max Rabkin},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Recognizing Two-Sided Contexts in Cubic Time},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {314--324},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_24},
  doi          = {10.1007/978-3-319-06686-8\_24},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/Rabkin14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/RomeroL14,
  author       = {Jazm{\'{\i}}n Romero and
                  Alejandro L{\'{o}}pez{-}Ortiz},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {A Parameterized Algorithm for Packing Overlapping Subgraphs},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {325--336},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_25},
  doi          = {10.1007/978-3-319-06686-8\_25},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/RomeroL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/SchulerS14,
  author       = {Julia Sch{\"{u}}ler and
                  Andreas Spillner},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Crossing-Free Spanning Trees in Visibility Graphs of Points between
                  Monotone Polygonal Obstacles},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {337--350},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_26},
  doi          = {10.1007/978-3-319-06686-8\_26},
  timestamp    = {Sun, 25 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csr/SchulerS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Schwerdtfeger14,
  author       = {Konrad W. Schwerdtfeger},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {The Connectivity of Boolean Satisfiability: Dichotomies for Formulas
                  and Circuits},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {351--364},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_27},
  doi          = {10.1007/978-3-319-06686-8\_27},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/Schwerdtfeger14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/SemenovSU14,
  author       = {Alexei L. Semenov and
                  Sergey Soprunov and
                  Vladimir A. Uspensky},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {The Lattice of Definability. Origins, Recent Developments, and Further
                  Directions},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {23--38},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_3},
  doi          = {10.1007/978-3-319-06686-8\_3},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/SemenovSU14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Vereshchagin14,
  author       = {Nikolay K. Vereshchagin},
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Randomized Communication Complexity of Approximating Kolmogorov Complexity},
  booktitle    = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  pages        = {365--374},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8\_28},
  doi          = {10.1007/978-3-319-06686-8\_28},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/Vereshchagin14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csr/2014,
  editor       = {Edward A. Hirsch and
                  Sergei O. Kuznetsov and
                  Jean{-}{\'{E}}ric Pin and
                  Nikolay K. Vereshchagin},
  title        = {Computer Science - Theory and Applications - 9th International Computer
                  Science Symposium in Russia, {CSR} 2014, Moscow, Russia, June 7-11,
                  2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8476},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06686-8},
  doi          = {10.1007/978-3-319-06686-8},
  isbn         = {978-3-319-06685-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csr/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}