@incollection{Bojanczyk/10,
AUTHOR = {Boja{\'n}czyk, Miko{\l}aj},
TITLE = {Beyond $\omega$-regular languages},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {11-16},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2440},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Niedermeier/10,
AUTHOR = {Niedermeier, Rolf},
TITLE = {Reflections on multivariate algorithmics and problem parameterization},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {17-32},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2495},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Stern/10,
AUTHOR = {Stern, Jacques},
TITLE = {Mathematics, cryptology, security},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {33-34},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2441},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Adamaszek-Adamaszek/10a,
AUTHOR = {Adamaszek, Anna and Adamaszek, Michal},
TITLE = {Large-girth roots of graphs},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {35-46},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2442},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Allamigeon-Gaubert-Goubault/10,
AUTHOR = {Allamigeon, Xavier and Gaubert, St{\'{e}}phane and Goubault, {\'E}ric},
TITLE = {The tropical double description method},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {47-58},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2443},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Arvind-Srinivasan/10,
AUTHOR = {Arvind, Vikraman and Srinivasan, Srikanth},
TITLE = {The remote point problem, small bias spaces, and expanding generator sets},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {59-70},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2444},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Babai-Banerjee-Kulkarni-Naik/10,
AUTHOR = {Babai, L{\'{a}}szl{\'o} and Banerjee, Anandam and Kulkarni, Raghav and Naik, Vipul},
TITLE = {Evasiveness and the distribution of prime numbers},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {71-82},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2445},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Bienkowski-Klonowski-Korzeniowski-Kowalski/10,
AUTHOR = {Bienkowski, Marcin and Klonowski, Marek and Korzeniowski, Miroslaw and Kowalski, Dariusz R.},
TITLE = {Dynamic sharing of a multiple access channel},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {83-94},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2446},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Bjorklund/10,
AUTHOR = {Bj{\"{o}}rklund, Andreas},
TITLE = {Exact covers via determinants},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {95-106},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2447},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Brandt-Fischer-Holzer/10,
AUTHOR = {Brandt, Felix and Fischer, Felix and Holzer, Markus},
TITLE = {On iterated dominance, matrix elimination, and matched paths},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {107-118},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2448},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Braverman-Chung-Liu-Mitzenmacher-Ostrovsky/10,
AUTHOR = {Braverman, Vladimir and Chung, Kai-Min and Liu, Zhenming and Mitzenmacher, Michael and Ostrovsky, Rafail},
TITLE = {AMS without 4-wise independence on product domains},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {119-130},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2449},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Bravyi-Harrow-Hassidim/10,
AUTHOR = {Bravyi, Sergey and Harrow, Aram W. and Hassidim, Avinatan},
TITLE = {Quantum algorithms for testing properties of distributions},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {131-142},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2450},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Bshouty-Mazzawi/10a,
AUTHOR = {Bshouty, Nader H. and Mazzawi, Hanna},
TITLE = {Optimal query complexity for reconstructing hypergraphs},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {143-154},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2496},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Cervelle-Formenti-Guillon/10,
AUTHOR = {Cervelle, Julien and Formenti, Enrico and Guillon, Pierr},
TITLE = {Ultimate traces of cellular automata},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {155-166},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2451},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Chakraborty-Fischer-Lachish-Yuster/10,
AUTHOR = {Chakraborty, Sourav and Fischer, Eldar and Lachish, Oded and Yuster, Raphael},
TITLE = {Two-phase algorithms for the parametric shortest path problem},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {167-178},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2452},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Chan-Lam-Lee-Ting/10,
AUTHOR = {Chan, Ho-Leung and Lam, Tak-Wah and Lee, Lap-Kei and Ting, Hing-Fung},
TITLE = {Continuous monitoring of distributed data streams over a time-based sliding window},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {179-190},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2453},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Chechik-Peleg/10a,
AUTHOR = {Chechik, Shiri and Peleg, David},
TITLE = {Robust fault tolerant uncapacitated facility location},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {191-202},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2454},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Chen-Grigorescu-de_Wolf/10,
AUTHOR = {Chen, Victor and Grigorescu, Elena and de Wolf, Ronald},
TITLE = {Efficient and error-correcting data structures for membership and polynomial evaluation},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {203-214},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2455},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Das-Datta-Nimbhorkar/10,
AUTHOR = {Das, Bireswar and Datta, Samir and Nimbhorkar, Prajakta},
TITLE = {Log-space algorithms for paths and matchings in $k$-trees},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {215-226},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2456},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Das-Toran-Wagner/10,
AUTHOR = {Das, Bireswar and Tor{\'{a}}n, Jacobo and Wagner, Fabian},
TITLE = {Restricted space algorithms for isomorphism on bounded treewidth graphs},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {227-238},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2457},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{de_Berg-van_Nijnatten-Sitters-Woeginger-Wolff/10,
AUTHOR = {de Berg, Mark and van Nijnatten, Fred and Sitters, Ren{\'{e}} and Woeginger, Gerhard J. and Wolff, Alexander},
TITLE = {The Traveling Salesman Problem under squared Euclidean distances},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {239-250},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2458},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Dorn-Fomin-Lokshtanov-Raman-Saurabh/10,
AUTHOR = {Dorn, Frederic and Fomin, Fedor V. and Lokshtanov, Daniel and Raman, Venkatesh and Saurabh, Saket},
TITLE = {Beyond bidimensionality: Parameterized subexponential algorithms on directed graphs},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {251-262},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2459},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Dorn/10,
AUTHOR = {Dorn, Frederic},
TITLE = {Planar subgraph isomorphism revisited},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {263-274},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2460},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Doty-Lutz-Patitz-Summers-Woods/10,
AUTHOR = {Doty, David and Lutz, Jack H. and Patitz, Matthew J. and Summers, Scott M. and Woods, Damien},
TITLE = {Intrinsic universality in self-assembly},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {275-286},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2461},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Dutting-Henzinger-Weber/10,
AUTHOR = {D{\"{u}}tting, Paul and Henzinger, Monika and Weber, Ingmar},
TITLE = {Sponsored search, market equilibria, and the Hungarian method},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {287-298},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2463},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Dumitrescu-Jiang/10a,
AUTHOR = {Dumitrescu, Adrian and Jiang, Minghui},
TITLE = {Dispersion in unit disks},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {299-310},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2464},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Dumitrescu-Toth/10,
AUTHOR = {Dumitrescu, Adrian and T{\'{o}}th, Csaba D.},
TITLE = {Long non-crossing configurations in the plane},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {311-322},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2465},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Dyer-Goldberg-Jalsenius-Richerby/10,
AUTHOR = {Dyer, Martin and Goldberg, Leslie Ann and Jalsenius, Markus and Richerby, David},
TITLE = {The complexity of approximating bounded-degree Boolean $\#$CSP},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {323-334},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2466},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Egri-Krokhin-Larose-Tesson/10,
AUTHOR = {Egri, L{\'{a}}szl{\'{o}} and Krokhin, Andrei and Larose, Benoit and Tesson, Pascal},
TITLE = {The complexity of the list homomorphism problem for graphs},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {335-346},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2467},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Epstein-Levin-Mestre-Segev/10,
AUTHOR = {Epstein, Leah and Levin, Asaf and Mestre, Juli{\'{a}}n and Segev, Danny},
TITLE = {Improved approximation guarantees for weighted matching in the semi-streaming model},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {347-358},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2476},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Esparza-Gaiser-Kiefer/10,
AUTHOR = {Esparza, Javier and Gaiser, Andreas and Kiefer, Stefan},
TITLE = {Computing least fixed points of probabilistic systems of polynomials},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {359-370},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2468},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Fiala-Kaminski-Lidicky-Paulusma/10,
AUTHOR = {Fiala, Ji{\v{r}}{\'{i}} and Kami{\'n}ski, Marcin and Lidick{\'{y}}, Bernard and Paulusma, Dani{\"{e}}l},
TITLE = {The $k$-in-a-path problem for claw-free graphs},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {371-382},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2469},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Fomin-Villanger/10,
AUTHOR = {Fomin, Fedor V. and Villanger, Yngve},
TITLE = {Finding induced subgraphs via minimal triangulations},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {383-394},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2470},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Fortnow-Lutz-Mayordomo/10,
AUTHOR = {Fortnow, Lance and Lutz, Jack H. and Mayordomo, Elvira},
TITLE = {Inseparability and strong hypotheses for disjoint $NP$ pairs},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {395-404},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2471},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{GOller-Lohrey/10,
AUTHOR = {G{\"{O}}ller, Stefan and Lohrey, Markus},
TITLE = {Branching-time model checking of one-counter processes},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {405-416},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2472},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Grigorieff-Valarcher/10,
AUTHOR = {Grigorieff, Serge and Valarcher, Pierre},
TITLE = {Evolving MultiAlgebras unify all usual sequential computation models},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {417-428},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2473},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Gu-Hitchcock-Pavan/10,
AUTHOR = {Gu, Xiaoyang and Hitchcock, John M. and Pavan, Aduri},
TITLE = {Collapsing and separating completeness notions under average-case and worst-case hypotheses},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {429-440},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2462},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Guillon-Richard/10,
AUTHOR = {Guillon, Pierre and Richard, Ga{\'{e}}tan},
TITLE = {Revisiting the Rice Theorem of cellular automata},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {441-452},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2474},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Hirsch-Itsykson/10,
AUTHOR = {Hirsch, Edward A. and Itsykson, Dmitry},
TITLE = {On optimal heuristic randomized semidecision procedures, with application to proof complexity},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {453-464},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2475},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Jansen/10d,
AUTHOR = {Jansen, Maurice},
TITLE = {Weakening assumptions for deterministic subexponential time non-singular matrix completion},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {465-476},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2477},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Jez-Okhotin/10a,
AUTHOR = {Je{\.z}, Artur and Okhotin, Alexander},
TITLE = {On equations over sets of integers},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {477-488},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2478},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Jez/10,
AUTHOR = {Je{\.z}, {\L}ukasz},
TITLE = {A $\frac{4}{3}$-competitive randomized algorithm for online scheduling of packets with agreeable deadlines},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {489-500},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2479},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Kartzow/10,
AUTHOR = {Kartzow, Alexander},
TITLE = {Collapsible pushdown graphs of level 2 are tree-automatic},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {501-512},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2480},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Khanna-Baswana/10,
AUTHOR = {Khanna, Neelesh and Baswana, Surender},
TITLE = {Approximate shortest paths avoiding a failed vertex: Optimal size data structures for unweighted graphs},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {513-524},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2481},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Kowalczyk-Cai/10,
AUTHOR = {Kowalczyk, Michael and Cai, Jin-Yi},
TITLE = {Holant problems for regular graphs with complex edge functions},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {525-536},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2482},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Kuske/10,
AUTHOR = {Kuske, Dietrich},
TITLE = {Is Ramsey's theorem $\omega$-automatic?},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {537-548},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2483},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Le_Gall/10,
AUTHOR = {Le Gall, Fran{\c{c}}ois},
TITLE = {An efficient quantum algorithm for some instances of the group isomorphism problem},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {549-560},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2484},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Marx-Razgon/10,
AUTHOR = {Marx, D{\'{a}}niel and Razgon, Barry O'Sullivanand Igor},
TITLE = {Treewidth reduction for constrained separation and bipartization problems},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {561-572},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2485},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Mathieu-Sankur-Schudy/10,
AUTHOR = {Mathieu, Claire and Sankur, Ocan and Schudy, Warren},
TITLE = {Online correlation clustering},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {573-584},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2486},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Mertzios-Sau-Zaks/10b,
AUTHOR = {Mertzios, George B. and Sau, Ignasi and Zaks, Shmuel},
TITLE = {The recognition of tolerance and bounded tolerance graphs},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {585-596},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2487},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Montanari-Puppis-Sala-Sciavicco/10,
AUTHOR = {Montanari, Angelo and Puppis, Gabriele and Sala, Pietro and Sciavicco, Guido},
TITLE = {Decidability of the interval temporal logic AB{\={B}} over the natural numbers},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {597-608},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2488},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Peleg-Roditty/10,
AUTHOR = {Peleg, David and Roditty, Liam},
TITLE = {Relaxed spanners for directed disk graphs},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {609-620},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2489},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Scheder/10,
AUTHOR = {Scheder, Dominik},
TITLE = {Unsatisfiable linear CNF formulas are large and complex},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {621-632},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2490},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Schmidt/10a,
AUTHOR = {Schmidt, Jens M.},
TITLE = {Construction sequences and certifying 3-connectedness},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {633-644},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2491},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Schroder-Pattinson/10,
AUTHOR = {Schr{\"{o}}der, Lutz and Pattinson, Dirk},
TITLE = {Named models in coalgebraic hybrid logic},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {645-656},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2492},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Takhanov/10a,
AUTHOR = {Takhanov, Rustem},
TITLE = {A dichotomy theorem for the general minimum cost homomorphism problem},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {657-668},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2493},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}
@incollection{Williams/10,
AUTHOR = {Williams, Ryan},
TITLE = {Alternation-trading proofs, linear programming, and lower bounds},
BOOKTITLE = {Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, STACS'2010 (Nancy, France, March 4-6, 2010)},
SERIES = {Leibniz International Proceedings in Informatics (LIPIcs)},
VOLUME = {5},
PAGES = {669-680},
YEAR = {2010},
EDITOR = {Marion, Jean-Yves and Schwentick, Thomas},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2494},
PUBLISHER = {Dagstuhl Publishing, Saarbr{\"u}cken/Wadern},
TYPE = {inproceedings},
}