default search action
Search dblp for Publications
export results for "toc:db/conf/csr/csr2014.bht:"
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.