@incollection{Bender-Thielen-Westphal/13a,
AUTHOR = {Bender, Marco and Thielen, Clemens and Westphal, Stephan},
TITLE = {Erratum to ``A constant factor approximation for the generalized assignment problem with minimum quantities and unit size items''},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {E1-E3},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
NOTE = {Originally in LNCS 8087, MFCS 2013, 135-145},
}
@incollection{Buss/13,
AUTHOR = {Buss, Sam},
TITLE = {Alternation trading proofs and their limitations},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {1-7},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Epstein/13,
AUTHOR = {Epstein, Leah},
TITLE = {Bin packing games with selfish items},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {8-21},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Goubault-Larrecq/13,
AUTHOR = {Goubault-Larrecq, Jean},
TITLE = {A constructive proof of the topological Kruskal theorem},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {22-41},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Grohe/13,
AUTHOR = {Grohe, Martin},
TITLE = {Logical and structural approaches to the graph isomorphism problem},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {42-42},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Koutsoupias/13,
AUTHOR = {Koutsoupias, Elias},
TITLE = {Prior-free auctions of digital goods},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {43-44},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Piterman/13,
AUTHOR = {Piterman, Nir},
TITLE = {Synthesis from temporal specifications: New applications in robotics and model-driven development},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {45-49},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Angel-Bampis-Kononov-Paparas-Pountourakis-Zissimopoulos/13,
AUTHOR = {Angel, Eric and Bampis, Evripidis and Kononov, Alexander and Paparas, Dimitris and Pountourakis, Emmanouil and Zissimopoulos, Vassilis},
TITLE = {Clustering on $k$-edge-colored graphs},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {50-61},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Antoniadis-Huang-Ott-Verschae/13,
AUTHOR = {Antoniadis, Antonios and Huang, Chien-Chung and Ott, Sebastian and Verschae, Jos{\'e}},
TITLE = {How to pack your items when you have to buy your knapsack},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {62-73},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bacci-Bacci-Larsen-Mardare/13,
AUTHOR = {Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu},
TITLE = {Computing behavioral distances, compositionally},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {74-85},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bala/13,
AUTHOR = {Bala, Sebastian},
TITLE = {Which finitely ambiguous automata recognize finitely sequential functions?},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {86-97},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {extended abstract},
}
@incollection{Barany-Benedikt-ten_Cate/13,
AUTHOR = {B{\'a}r{\'a}ny, Vince and Benedikt, Michael and ten Cate, Balder},
TITLE = {Rewriting guarded negation queries},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {98-110},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Beckmann-Pudlak-Thapen/13,
AUTHOR = {Beckmann, Arnold and Pudl{\'a}k, Pavel and Thapen, Neil},
TITLE = {Parity games and propositional proofs},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {111-122},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bedon/13,
AUTHOR = {Bedon, Nicolas},
TITLE = {Logic and branching automata},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {123-134},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bender-Thielen-Westphal/13,
AUTHOR = {Bender, Marco and Thielen, Clemens and Westphal, Stephan},
TITLE = {A constant factor approximation for the generalized assignment problem with minimum quantities and unit size items},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {135-145},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
NOTE = {see Erratum in LNCS 8087, MFCS 2013, E1-E3 (electronic version only)},
}
@incollection{Benedikt-Engelfriet-Maneth/13,
AUTHOR = {Benedikt, Michael and Engelfriet, Joost and Maneth, Sebastian},
TITLE = {Determinacy and rewriting of top-down and MSO tree transformations},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {146-158},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berkholz-Verbitsky/13,
AUTHOR = {Berkholz, Christoph and Verbitsky, Oleg},
TITLE = {On the speed of constraint propagation and the time complexity of arc consistency testing},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {159-170},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bjorklund-Martens-Schwentick/13,
AUTHOR = {Bj{\"o}rklund, Henrik and Martens, Wim and Schwentick, Thomas},
TITLE = {Validity of tree pattern queries with respect to schema information},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {171-182},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bonatti-Faella-Galdi-Sauro/13,
AUTHOR = {Bonatti, Piero A. and Faella, Marco and Galdi, Clemente and Sauro, Luigi},
TITLE = {Auctions for partial heterogeneous preferences},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {183-194},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brandstadt-Milanic-Nevries/13,
AUTHOR = {Brandst{\"a}dt, Andreas and Milani{\v{c}}, Martin and Nevries, Ragnar},
TITLE = {New polynomial cases of the weighted efficient domination problem},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {195-206},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bringmann/13,
AUTHOR = {Bringmann, Karl},
TITLE = {Bringing order to special cases of Klee's measure problem},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {207-218},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bringmann-Engels-Manthey-Rao/13,
AUTHOR = {Bringmann, Karl and Engels, Christian and Manthey, Bodo and Rao, B.V. Raghavendra},
TITLE = {Random shortest paths: Non-Euclidean instances for metric optimization problems},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {219-230},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Buckheister-Zetzsche/13,
AUTHOR = {Buckheister, P. and Zetzsche, Georg},
TITLE = {Semilinearity and context-freeness of languages accepted by valence automata},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {231-242},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Buhrman-Fortnow-Hitchcock-Loff/13,
AUTHOR = {Buhrman, Harry and Fortnow, Lance and Hitchcock, John M. and Loff, Bruno},
TITLE = {Learning reductions to sparse sets},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {243-253},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chadha-Sistla-Viswanathan/13,
AUTHOR = {Chadha, Rohit and Sistla, A. Prasad and Viswanathan, Mahesh},
TITLE = {Probabilistic automata with isolated cut-points},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {254-265},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Forejt-Kwiatkowska-Simaitis-Wiltsche/13,
AUTHOR = {Chen, Taolue and Forejt, Vojt{\v{e}}ch and Kwiatkowska, Marta and Simaitis, Aistis and Wiltsche, Clemens},
TITLE = {On stochastic games with multiple objectives},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {266-277},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cohen-Fiat-Hershcovitch-Kaplan/13,
AUTHOR = {Cohen, Sarel and Fiat, Amos and Hershcovitch, Moshik and Kaplan, Haim},
TITLE = {Minimal indices for successor search},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {278-289},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {extended abstract},
}
@incollection{Creignou-Meier-Muller-Schmidt-Vollmer/13,
AUTHOR = {Creignou, Nadia and Meier, Arne and M{\"u}ller, Julian-Steffen and Schmidt, Johannes and Vollmer, Heribert},
TITLE = {Paradigms for parameterized enumeration},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {290-301},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Czerwinski-Jancar-Kot-Sawa/13,
AUTHOR = {Czerwi{\'n}ski, Wojciech and Jan{\v{c}}ar, Petr and Kot, Martin and Sawa, Zden{\v{e}}k},
TITLE = {Complexity of checking bisimilarity between sequential and parallel processes},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {302-313},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Durocher-Mehrabi/13,
AUTHOR = {Durocher, Stephane and Mehrabi, Saeed},
TITLE = {Guarding orthogonal art galleries using sliding cameras: Algorithmic and hardness results},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {314-324},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Durocher-Shah-Skala-Thankachan/13,
AUTHOR = {Durocher, Stephane and Shah, Rahul and Skala, Matthew and Thankachan, Sharma V.},
TITLE = {Linear-space data structures for range frequency queries on arrays and trees},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {325-336},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Eggert-Schnoor-Wilke/13,
AUTHOR = {Eggert, Sebastian and Schnoor, Henning and Wilke, Thomas},
TITLE = {Noninterference with local policies},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {337-348},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Elmasry-Katajainen/13,
AUTHOR = {Elmasry, Amr and Katajainen, Jyrki},
TITLE = {In-place binary counters},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {349-360},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Epstein-Zebedat-Haider/13,
AUTHOR = {Epstein, Leah and Zebedat-Haider, Hanan},
TITLE = {Rent or buy problems with a fixed time horizon},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {361-372},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Felsner-Mertzios-Mustata/13,
AUTHOR = {Felsner, Stefan and Mertzios, George B. and Musta{\c{t}}{\u{a}}, Irina},
TITLE = {On the recognition of four-directional orthogonal ray graphs},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {373-384},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Feng-Yu-Ying/13a,
AUTHOR = {Feng, Yuan and Yu, Nengkun and Ying, Mingsheng},
TITLE = {Reachability analysis of recursive quantum Markov chains},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {385-396},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fink-Pupyrev/13,
AUTHOR = {Fink, Martin and Pupyrev, Sergey},
TITLE = {Ordering metro lines by block crossings},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {397-408},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Finkel-Goller-Haase/13,
AUTHOR = {Finkel, Alain and G{\"o}ller, Stefan and Haase, Christoph},
TITLE = {Reachability in register machines with polynomial updates},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {409-420},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fomin-Golovach-Korhonen/13,
AUTHOR = {Fomin, Fedor V. and Golovach, Petr A. and Korhonen, Janne H.},
TITLE = {On the parameterized complexity of cutting a few vertices from a graph},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {421-432},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fournier-Perifel-de_Verclos/13,
AUTHOR = {Fournier, Herv{\'e} and Perifel, Sylvain and de Verclos, R{\'e}mi},
TITLE = {On fixed-polynomial size circuit lower bounds for uniform polynomials in the sense of valiant},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {433-444},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Froese-van_Bevern-Niedermeier-Sorge/13,
AUTHOR = {Froese, Vincent and van Bevern, Ren{\'e} and Niedermeier, Rolf and Sorge, Manuel},
TITLE = {A parameterized complexity analysis of combinatorial feature selection problems},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {445-456},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ganian-Slivovsky-Szeider/13,
AUTHOR = {Ganian, Robert and Slivovsky, Friedrich and Szeider, Stefan},
TITLE = {Meta-kernelization with structural parameters},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {457-468},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Goldberg-Razenshteyn-Savchenko/13,
AUTHOR = {Goldberg, Andrew V. and Razenshteyn, Ilya and Savchenko, Ruslan},
TITLE = {Separating hierarchical and general hub labelings},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {469-479},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Golovnev-Kulikov-Mihajlin/13a,
AUTHOR = {Golovnev, Alexander and Kulikov, Alexander S. and Mihajlin, Ivan},
TITLE = {Solving 3-superstring in $3^{n/3}$.},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {480-491},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Goyal-Kamat-Misra/13,
AUTHOR = {Goyal, Prachi and Kamat, Vikram and Misra, Neeldhara},
TITLE = {On the parameterized complexity of the maximum edge 2-coloring problem},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {492-503},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gurvits/13,
AUTHOR = {Gurvits, Leonid},
TITLE = {A note on deterministic poly-time algorithms for partition functions associated with Boolean matrices with prescribed row and column sums},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {504-515},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hansen-Podolskii/13,
AUTHOR = {Hansen, Kristoffer Arnsfelt and Podolskii, Vladimir V.},
TITLE = {Polynomial threshold functions and Boolean threshold circuits},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {516-527},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Heussner-Kartzow/13,
AUTHOR = {Heu{\ss}ner, Alexander and Kartzow, Alexander},
TITLE = {Reachability in higher-order-counters},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {528-539},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hitchcock-Pavan/13,
AUTHOR = {Hitchcock, John M. and Pavan, A.},
TITLE = {Length-increasing reductions for PSPACE-completeness},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {540-550},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Huang/13,
AUTHOR = {Huang, Shenwei},
TITLE = {Improved complexity results on $k$-coloring $P_t$-free graphs},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {551-558},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Huschenbett-Liu/13,
AUTHOR = {Huschenbett, Martin and Liu, Jiamou},
TITLE = {A polychromatic Ramsey theory for ordinals},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {559-570},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{I-Matsubara-Shimohira-Inenaga-Bannai-Takeda-Narisawa-Shinohara/13,
AUTHOR = {I, Tomohiro and Matsubara, Wataru and Shimohira, Kouji and Inenaga, Shunsuke and Bannai, Hideo and Takeda, Masayuki and Narisawa, Kazuyuki and Shinohara, Ayumi},
TITLE = {Detecting regularities on grammar-compressed strings},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {571-582},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_51},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Krebs-Limaye-Mahajan-Sreenivasaiah/13,
AUTHOR = {Krebs, Andreas and Limaye, Nutan and Mahajan, Meena and Sreenivasaiah, Karteek},
TITLE = {Small depth proof systems},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {583-594},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kunc-Okhotin/13,
AUTHOR = {Kunc, Michal and Okhotin, Alexander},
TITLE = {Reversibility of computations in graph-walking automata},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {595-606},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kupferman-Mosheiff/13,
AUTHOR = {Kupferman, Orna and Mosheiff, Jonathan},
TITLE = {Prime languages},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {607-618},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kuske/13,
AUTHOR = {Kuske, Dietrich},
TITLE = {Logical aspects of the lexicographic order on 1-counter languages},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {619-630},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kobler-Kuhnert-Verbitsky/13,
AUTHOR = {K{\"o}bler, Johannes and Kuhnert, Sebastian and Verbitsky, Oleg},
TITLE = {Helly circular-arc graph isomorphism is in logspace},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {631-642},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lazic-Ouaknine-Worrell/13,
AUTHOR = {Lazi{\'c}, Ranko and Ouaknine, Jo{\"e}l and Worrell, James},
TITLE = {Zeno, Hercules and the Hydra: Downward rational termination is Ackermannian},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {643-654},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_57},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kozen-Mardare-Panangaden/13,
AUTHOR = {Kozen, Dexter and Mardare, Radu and Panangaden, Prakash},
TITLE = {Strong completeness for Markovian logics},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {655-666},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mengel/13,
AUTHOR = {Mengel, Stefan},
TITLE = {Arithmetic branching programs with memory},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {667-678},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Misra-Panolan-Saurabh/13,
AUTHOR = {Misra, Neeldhara and Panolan, Fahad and Saurabh, Saket},
TITLE = {Subexponential algorithm for $d$-cluster edge deletion: Exception or rule?},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {679-690},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_60},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Muscholl-Schewe/13,
AUTHOR = {Muscholl, Anca and Schewe, Sven},
TITLE = {Unlimited decidability of distributed synthesis with limited missing knowledge},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {691-703},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Muller-Szeider/13,
AUTHOR = {M{\"u}ller, Moritz and Szeider, Stefan},
TITLE = {Revisiting space in proof complexity: Treewidth and pathwidth},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {704-716},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Pietracaprina-Pucci-Silvestri-Vandin/13,
AUTHOR = {Pietracaprina, Andrea and Pucci, Geppino and Silvestri, Francesco and Vandin, Fabio},
TITLE = {Space-efficient parallel algorithms for combinatorial search problems},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {717-728},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Place-van_Rooijen-Zeitoun/13a,
AUTHOR = {Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc},
TITLE = {Separating regular languages by piecewise testable and unambiguous languages},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {729-740},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Rabinovich/13,
AUTHOR = {Rabinovich, Alexander},
TITLE = {An unusual temporal logic},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {741-752},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ranzato/13,
AUTHOR = {Ranzato, Francesco},
TITLE = {A more efficient simulation algorithm on Kripke structures},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {753-764},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_66},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Schmidt/13a,
AUTHOR = {Schmidt, Jens M.},
TITLE = {A planarity test via construction sequences},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {765-776},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_67},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fernandez-Soltys/13,
AUTHOR = {Fern{\'a}ndez, Ariel Germ{\'a}n and Soltys, Michael},
TITLE = {Feasible combinatorial matrix theory},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {777-788},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Souza/13,
AUTHOR = {Souza, Alexander},
TITLE = {Approximation algorithms for generalized plant location},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {789-800},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Takahashi-Yamazaki-Tanaka/13,
AUTHOR = {Takahashi, Yasuhiro and Yamazaki, Takeshi and Tanaka, Kazuyuki},
TITLE = {Hardness of classically simulating quantum circuits with unbounded Toffoli and fan-out gates},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {801-812},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_70},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Tavenas/13,
AUTHOR = {Tavenas, S{\'e}bastien},
TITLE = {Improved bounds for reduction to depth 4 and depth 3},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {813-824},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Zehavi/13,
AUTHOR = {Zehavi, Meirav},
TITLE = {Parameterized algorithms for module motif},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {825-836},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_72},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Zeume-Schwentick/13,
AUTHOR = {Zeume, Thomas and Schwentick, Thomas},
TITLE = {On the quantifier-free dynamic complexity of reachability},
BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)},
SERIES = {LNCS},
VOLUME = {8087},
PAGES = {837-848},
YEAR = {2013},
EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}},
URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}