@incollection{Alekseyev-Pevzner/12,
AUTHOR = {Alekseyev, Max A. and Pevzner, Pavel},
TITLE = {Plenary invited talks --- Challenges in comparative genomics: From biological problems to combinatorial algorithms (and back)},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {XII-XII},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
NOTE = {Invited Talk},
}
@incollection{Beklemishev/12,
AUTHOR = {Beklemishev, Lev},
TITLE = {DKAL: A distributed knowledge autohorization language and its logic of information},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {XIII-XIV},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
NOTE = {Invited Talk},
}
@incollection{Bojanczyk/12,
AUTHOR = {Boja{\'n}czyk, Miko{\l}aj},
TITLE = {Infinite sets that are finite up to permutations},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {XV-XVI},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cassaigne/12,
AUTHOR = {Cassaigne, Julien},
TITLE = {Dynamics of Rauzy graphs for low-complexity words},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {XVII-XVIII},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
NOTE = {Invited Talk},
}
@incollection{Indyk/12,
AUTHOR = {Indyk, Piotr},
TITLE = {Faster algorithms for sparse Fourier Transform},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {IXX-IXX},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
NOTE = {Invited Talk},
}
@incollection{Matiyasevich/12,
AUTHOR = {Matiyasevich, Yuri V.},
TITLE = {Turing talk --- Alan Turing and number theory},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {XI-XI},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
NOTE = {Invited Talk},
}
@incollection{Nesetril/12,
AUTHOR = {Ne{\v{s}}et{\v{r}}il, Jaroslav},
TITLE = {Algorithms, dichotomy and statistics for geometric and sparse graphs},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {XX-XX},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
NOTE = {Invited Talk},
}
@incollection{Vazirani/12a,
AUTHOR = {Vazirani, Vijay V.},
TITLE = {Can the theory of algorithms ratify the ``Invisible hand of the market''?},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {1-5},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Babenko-Pouzyrevsky/12,
AUTHOR = {Babenko, Maxim and Pouzyrevsky, Ivan},
TITLE = {Resilient quicksort and selection},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {6-17},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bauer-Fahrenberg-Legay-Thrane/12,
AUTHOR = {Bauer, Sebastian S. and Fahrenberg, Uli and Legay, Axel and Thrane, Claus},
TITLE = {General quantitative specification theories with modalities},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {18-30},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Blondin-McKenzie/12,
AUTHOR = {Blondin, Michael and McKenzie, Pierre},
TITLE = {The complexity of intersecting finite automata having few final states},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {31-42},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bosek-Felsner-Knauer-Matecki/12,
AUTHOR = {Bosek, Bart{\l}omiej and Felsner, Stefan and Knauer, Kolja and Matecki, Grzegorz},
TITLE = {News about semiantichains and unichain coverings},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {43-51},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chistikov/12,
AUTHOR = {Chistikov, Dmitry V.},
TITLE = {Checking tests for read-once functions over arbitrary bases},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {52-63},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cohen-Nutov/12,
AUTHOR = {Cohen, Nachshon and Nutov, Zeev},
TITLE = {Approximating minimum power edge-multi-covers},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {64-75},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Demenkov/12,
AUTHOR = {Demenkov, Evgeny},
TITLE = {A lower bound on circuit complexity of vector function in $U_2$},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {76-80},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Demenkov-Kulikov-Mihajlin-Morizumi/12,
AUTHOR = {Demenkov, Evgeny and Kulikov, Alexander S. and Mihajlin, Ivan and Morizumi, Hiroki},
TITLE = {Computing all MOD-functions simultaneously},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {81-88},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Diekert-Kufleitner/12,
AUTHOR = {Diekert, Volker and Kufleitner, Manfred},
TITLE = {Bounded synchronization delay in Omega-rational expressions},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {89-98},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dietzfelbinger-Rink/12,
AUTHOR = {Dietzfelbinger, Martin and Rink, Michael},
TITLE = {Towards optimal degree-distributions for left-perfect matchings in random bipartite graphs},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {99-111},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dobrev-Kranakis-Morales_Ponce-Plzik/12,
AUTHOR = {Dobrev, Stefan and Kranakis, Evangelos and Morales Ponce, Oscar and Pl{\v{z}}{\'{i}}k, Milan},
TITLE = {Robust sensor range for constructing strongly connected spanning digraphs in UDGs},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {112-124},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Elmasry-Katajainen/12,
AUTHOR = {Elmasry, Amr and Katajainen, Jyrki},
TITLE = {Worst-case optimal priority queues via extended regular counters},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {125-137},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fox-Epstein-Krizanc/12,
AUTHOR = {Fox-Epstein, Eli and Krizanc, Danny},
TITLE = {The complexity of minor-ancestral graph properties with forbidden pairs},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {138-147},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Goerdt-Falke/12,
AUTHOR = {Goerdt, Andreas and Falke, Lutz},
TITLE = {Satisfiability thresholds beyond $k$-XORSAT},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {148-159},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Golovach-Lidicky-Martin-Paulusma/12a,
AUTHOR = {Golovach, Petr A. and Lidick{\'y}, Bernard and Martin, Barnaby and Paulusma, Dani{\"e}l},
TITLE = {Finding vertex-surjective graph homomorphisms},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {160-171},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Heggernes-Sather/12,
AUTHOR = {Heggernes, Pinar and S{\ae}ther, Sigve H.},
TITLE = {Broadcast domination on block graphs in linear time},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {172-183},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Heinemann/12,
AUTHOR = {Heinemann, Bernhard},
TITLE = {Characterizing certain topological specifications},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {184-195},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jiraskova/12,
AUTHOR = {Jir{\'a}skov{\'a}, Galina},
TITLE = {Descriptional complexity of operations on alternating and Boolean automata},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {196-204},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jolivet-Kari/12,
AUTHOR = {Jolivet, Timo and Kari, Jarkko},
TITLE = {Consistency of multidimensional combinatorial substitutions},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {205-216},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kapoutsis-Pighizzini/12,
AUTHOR = {Kapoutsis, Christos A. and Pighizzini, Giovanni},
TITLE = {Two-way automata characterizations of L/poly versus NL},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {217-228},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Karandikar-Schnoebelen/12,
AUTHOR = {Karandikar, Prateek and Schnoebelen, Philippe},
TITLE = {Cutting through regular post embedding problems},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {229-240},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Komm-Kralovic-Momke/12,
AUTHOR = {Komm, Dennis and Kr{\'a}lovi{\v{c}}, Richard and M{\"o}mke, Tobias},
TITLE = {On the advice complexity of the set cover problem},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {241-252},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Madelaine-Martin-Stacho/12,
AUTHOR = {Madelaine, Florent and Martin, Barnaby and Stacho, Juraj},
TITLE = {Constraint satisfaction with counting quantifiers},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {253-265},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Musatov/12,
AUTHOR = {Musatov, Daniil},
TITLE = {Space-bounded Kolmogorov extractors},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {266-277},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Rizzi-Sikora/12,
AUTHOR = {Rizzi, Romeo and Sikora, Florian},
TITLE = {Some results on more flexible versions of Graph Motif},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {278-289},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Salo/12,
AUTHOR = {Salo, Ville},
TITLE = {A characterization of cellular automata generated by idempotents on the full shift},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {290-301},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Selezneva/12,
AUTHOR = {Selezneva, Svetlana N.},
TITLE = {Constructing polynomials for functions over residue rings modulo a composite number in linear time},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {302-313},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Simon/12,
AUTHOR = {Simon, Hans Ulrich},
TITLE = {Boolean composition of visual secret sharing schemes},
BOOKTITLE = {Proceedings of the 7th International Computer Science Symposium in Russia on Computer Science --- Theory and Applications, CSR'2012 (Nizhny Novgorod, Russia, July 3-7, 2012)},
SERIES = {LNCS},
VOLUME = {7353},
PAGES = {314-325},
YEAR = {2012},
EDITOR = {Hirsch, Edward A. and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Prilutskii, Michail},
URL = {http://dx.doi.org/10.1007/978-3-642-30642-6_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}