@incollection{Blass-Gurevich/08,
AUTHOR = {Blass, Andreas and Gurevich, Yuri},
TITLE = {One useful logic that defines its own truth},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {1-15},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{van_Glabbeek-Goltz-Schicke/08,
AUTHOR = {van Glabbeek, Rob and Goltz, Ursula and Schicke, Jens-Wolfhard},
TITLE = {On synchronous and asynchronous interaction in distributed systems},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {16-35},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gomez-Pin/08,
AUTHOR = {G{\'o}mez, Antonio Cano and Pin, Jean-{\'E}ric},
TITLE = {A robust class of regular languages},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {36-51},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kralovic-Kralovic/08,
AUTHOR = {Kr{\'a}lovi{\v{c}}, Rastislav and Kr{\'a}lovi{\v{c}}, Richard},
TITLE = {Deterministic models of communication faults},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {52-67},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Sankowski/08,
AUTHOR = {Sankowski, Piotr},
TITLE = {Algebraic graph algorithms},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {68-82},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Abbasi-Sheikh/08,
AUTHOR = {Abbasi, Sarmad and Sheikh, Numan},
TITLE = {Question/answer games on towers and pyramids},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {83-95},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alekseev-Lozin-Malyshev-Milanic/08,
AUTHOR = {Alekseev, Vladimir and Lozin, Vadim and Malyshev, Dmitriy and Milani{\v{c}}, Martin},
TITLE = {The maximum independent set problem in planar graphs},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {96-107},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bilo-Fanelli-Flammini-Moscardelli/08,
AUTHOR = {Bil{\`o}, Vittorio and Fanelli, Angelo and Flammini, Michele and Moscardelli, Luca},
TITLE = {When ignorance helps: Graphical multicast cost sharing games},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {108-119},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Biskup/08,
AUTHOR = {Biskup, Marek Tomasz},
TITLE = {Shortest synchronizing strings for Huffman codes},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {120-131},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bjorklund-Martens-Schwentick/08,
AUTHOR = {Bj{\"o}rklund, Henrik and Martens, Wim and Schwentick, Thomas},
TITLE = {Optimizing conjunctive queries over trees using schema information},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {132-143},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bodlaender-Fellows-Heggernes-Mancini-Papadopoulos-Rosamond/08,
AUTHOR = {Bodlaender, Hans L. and Fellows, Michael R. and Heggernes, Pinar and Mancini, Federico and Papadopoulos, Charis and Rosamond, Frances},
TITLE = {Clustering with partial information},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {144-155},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bockenhauer-Komm/08,
AUTHOR = {B{\"o}ckenhauer, Hans-Joachim and Komm, Dennis},
TITLE = {Reoptimization of the metric deadline TSP},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {156-167},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Boyar-Matthews-Peralta/08,
AUTHOR = {Boyar, Joan and Matthews, Philip and Peralta, Ren{\'e}},
TITLE = {On the shortest linear straight-line program for computing linear forms},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {168-179},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brevilliers-Chevallier-Schmitt/08,
AUTHOR = {Br{\'e}villiers, Mathieu and Chevallier, Nicolas and Schmitt, Dominique},
TITLE = {Flip algorithm for segment triangulations},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {180-192},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Broersma-Paulusma/08,
AUTHOR = {Broersma, Hajo and Paulusma, Dani{\"e}l},
TITLE = {Computing sharp 2-factors in claw-free graphs},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {193-204},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Caragiannis-Monaco/08,
AUTHOR = {Caragiannis, Ioannis and Monaco, Gianpiero},
TITLE = {A 6/5-approximation algorithm for the maximum 3-cover problem},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {205-216},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Carayol-Slaats/08,
AUTHOR = {Carayol, Arnaud and Slaats, Michaela},
TITLE = {Positional strategies for higher-order pushdown parity games},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {217-228},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chakaravarthy-Roy/08,
AUTHOR = {Chakaravarthy, Venkatesan T. and Roy, Sambuddha},
TITLE = {Arthur and Merlin as oracles},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {229-240},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Charlier-Rigo/08,
AUTHOR = {Charlier, Emilie and Rigo, Michel},
TITLE = {A decision problem for ultimately periodic sets in non-standard numeration systems},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {241-252},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cherubini-Crespi_Reghizzi-Pradella/08,
AUTHOR = {Cherubini, Alessandra and Crespi Reghizzi, Stefano and Pradella, Matteo},
TITLE = {Regional languages and tiling: A unifying approach to picture grammars},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {253-264},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Czeizler-Kari-Seki/08,
AUTHOR = {Czeizler, Elena and Kari, Lila and Seki, Shinnosuke},
TITLE = {On a special class of primitive words},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {265-277},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{David/08,
AUTHOR = {David, Claire},
TITLE = {Complexity of data tree patterns over XML documents},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {278-289},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dragan-Fomin-Golovach/08a,
AUTHOR = {Dragan, Feodor F. and Fomin, Fedor V. and Golovach, Petr A.},
TITLE = {A PTAS for the Sparsest Spanners problem on apex-minor-free graphs},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {290-298},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Elberfeld-Tantau/08,
AUTHOR = {Elberfeld, Michael and Tantau, Till},
TITLE = {Computational complexity of perfect-phylogeny-related haplotyping problems},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {299-310},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Erdelyi-Nowak-Rothe/08,
AUTHOR = {Erd{\'e}lyi, G{\'a}bor and Nowak, Markus and Rothe, J{\"o}rg},
TITLE = {Sincere-strategy preference-based approval voting broadly resists control},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {311-322},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Finkel-Sangnier/08,
AUTHOR = {Finkel, Alain and Sangnier, Arnaud},
TITLE = {Reversal-bounded counter machines revisited},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {323-334},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fomin-Gaspers-Kratsch-Liedloff-Saurabh/08,
AUTHOR = {Fomin, Fedor V. and Gaspers, Serge and Kratsch, Dieter and Liedloff, Mathieu and Saurabh, Saket},
TITLE = {Iterative compression and exact algorithms},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {335-346},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fournier-Gardy-Genitrini-Gittenberger/08,
AUTHOR = {Fournier, Herv{\'e} and Gardy, Dani{\`e}le and Genitrini, Antoine and Gittenberger, Bernhard},
TITLE = {Complexity and limiting ratio of Boolean functions over implication},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {347-362},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gelade/08,
AUTHOR = {Gelade, Wouter},
TITLE = {Succinctness of regular expressions with interleaving, intersection and counting},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {363-374},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Guillon-Richard/08,
AUTHOR = {Guillon, Pierre and Richard, Ga{\'e}tan},
TITLE = {Nilpotency and limit sets of cellular automata},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {375-386},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hoang-Kaminski-Lozin-Sawada-Shu/08,
AUTHOR = {Ho{\`a}ng, Ch{\'{i}}nh T. and Kami{\'n}ski, Marcin and Lozin, Vadim and Sawada, Joe and Shu, Xiao},
TITLE = {A note on $k$-colorability of $P_5$-free graphs},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {387-394},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hundt-Liskiewicz/08a,
AUTHOR = {Hundt, Christian and Li{\'s}kiewicz, Maciej},
TITLE = {Combinatorial bounds and algorithmic aspects of image matching under projective transformations},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {395-406},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jansen/08,
AUTHOR = {Jansen, Maurice T.},
TITLE = {Lower bounds for syntactically multilinear algebraic branching programs},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {407-418},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kari-Ollinger/08,
AUTHOR = {Kari, Jarkko and Ollinger, Nicolas},
TITLE = {Periodicity and immortality in reversible computing},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {419-430},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Klonowski-Krzywiecki-Kutylowski-Lauks/08,
AUTHOR = {Klonowski, Marek and Krzywiecki, {\L}ukasz and Kuty{\l}owski, Miros{\l}aw and Lauks, Anna},
TITLE = {Step-out ring signatures},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {431-442},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kufleitner/08,
AUTHOR = {Kufleitner, Manfred},
TITLE = {The height of factorization forests},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {443-454},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mahajan-Rao/08,
AUTHOR = {Mahajan, Meena and Rao, B.V. Raghavendra},
TITLE = {Arithmetic circuits, syntactic multilinearity, and the limitations of skew formulae},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {455-466},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Manthey-Tantau/08,
AUTHOR = {Manthey, Bodo and Tantau, Till},
TITLE = {Smoothed analysis of binary search trees and quicksort under additive noise},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {467-478},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Manzonetto-Salibra/08,
AUTHOR = {Manzonetto, Giulio and Salibra, Antonino},
TITLE = {From $\lambda$-calculus to universal algebra and back},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {479-490},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mardare-Policriti/08,
AUTHOR = {Mardare, Radu and Policriti, Alberto},
TITLE = {A complete axiomatic system for a process-based spatial logic},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {491-502},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mavronicolas-Monien-Papadopoulou-Schoppmann/08,
AUTHOR = {Mavronicolas, Marios and Monien, Burkhard and Papadopoulou, Vicky G. and Schoppmann, Florian},
TITLE = {Voronoi games on cycle graphs},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {503-514},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{McGrae-Zito/08,
AUTHOR = {McGrae, Andrew R. and Zito, Michele},
TITLE = {Colouring random empire trees},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {515-526},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Muchnik-Romashchenko/08,
AUTHOR = {Muchnik, Andrei and Romashchenko, Andrei},
TITLE = {A random oracle does not help extract the mutual information},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {527-538},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Plociennik/08,
AUTHOR = {Plociennik, Kai},
TITLE = {Approximating independent set and coloring in random uniform hypergraphs},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {539-550},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Raible-Fernau/08,
AUTHOR = {Raible, Daniel and Fernau, Henning},
TITLE = {A new upper bound for Max-2-SAT: A graph-theoretic approach},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {551-562},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Regnault/08,
AUTHOR = {Regnault, Damien},
TITLE = {Directed percolation arising in stochastic cellular automata analysis},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {563-574},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Rhodes/08,
AUTHOR = {Rhodes, Mark},
TITLE = {Resolution width and cutting plane rank are incomparable},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {575-587},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Sakarovitch-de_Souza/08,
AUTHOR = {Sakarovitch, Jacques and de Souza, Rodrigo},
TITLE = {On the decidability of bounded valuedness for transducers},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {588-600},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Szeider/08,
AUTHOR = {Szeider, Stefan},
TITLE = {Monadic second order logic on graphs with local cardinality constraints},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {601-612},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Wojdyga/08,
AUTHOR = {Wojdyga, Aleksander},
TITLE = {Short proofs of strong normalization},
BOOKTITLE = {Proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS'2008 (Tor{\'u}n, Poland, August 25-29, 2008)},
SERIES = {LNCS},
VOLUME = {5162},
PAGES = {613-623},
YEAR = {2008},
EDITOR = {Ochma{\'n}ski, Edward and Tyszkiewicz, Jerzy},
URL = {http://dx.doi.org/10.1007/978-3-540-85238-4_50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}