@incollection{Tiuryn-Rudnicki-Wojtowicz/04,
AUTHOR = {Tiuryn, Jerzy and Rudnicki, Ryszard and W{\'o}jtowicz, Damian},
TITLE = {A case study of genome evolution: From continuous to discrete time model},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {1-24},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/mr6739pedy8we8fl},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Halldorsson-Kortsarz/04,
AUTHOR = {Halld{\'o}rsson, Magn{\'u}s M. and Kortsarz, Guy},
TITLE = {Multicoloring: Problems and techniques},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {25-41},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/xlc5t1u97ua6q4cv},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Downey/04,
AUTHOR = {Downey, Rod},
TITLE = {Some recent progress in algorithmic randomness},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {42-83},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/0dhkxy3hcen61c6e},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Niedermeier/04,
AUTHOR = {Niedermeier, Rolf},
TITLE = {Ubiquitous parameterization --- Invitation to fixed-parameter algorithms},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {84-103},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/d9dcpk653dlveb9m},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Vishkin/04,
AUTHOR = {Vishkin, Uzi},
TITLE = {PRAM-On-Chip: A quest for not-so-obvious non-obviousness},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {104-105},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/ghak1y3x66hmq1bn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brand-Frisken-Lesh-Marks-Nikovski-Perry-Yedidia/04,
AUTHOR = {Brand, Matthew and Frisken, Sarah and Lesh, Neal and Marks, Joe and Nikovski, Daniel and Perry, Ron and Yedidia, Jonathan},
TITLE = {Theory and applied computing: Observations and anecdotes},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {106-118},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/5r868qhgrpuuk4w1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bonelli-Compagnoni-Dezani-Ciancaglini-Garralda/04,
AUTHOR = {Bonelli, Eduardo and Compagnoni, Adriana and Dezani-Ciancaglini, Mariangiola and Garralda, Pablo},
TITLE = {Boxed ambients with communication interfaces},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {119-148},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/bguprq53br2dnlwt},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Weil/04,
AUTHOR = {Weil, Pascal},
TITLE = {Algebraic recognizability of languages},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {149-175},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/axnv1ld5g8qnnlcd},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Welzl/04,
AUTHOR = {Welzl, Emo},
TITLE = {Geometric optimization and unique sink orientations of cubes},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {176-176},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/c8knprpwmmpwgfke},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Koutsoupias/04,
AUTHOR = {Koutsoupias, Elias},
TITLE = {Congestion games and coordination mechanisms},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {177-179},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/468xd3fu7v9qjtx1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bodlaender-Fomin/04,
AUTHOR = {Bodlaender, Hans L. and Fomin, Fedor V.},
TITLE = {Equitable colorings of bounded treewidth graphs},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {180-190},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/4g78000v2r2rb91b},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Demaine-Hajiaghayi-Thilikos/04,
AUTHOR = {Demaine, Erik D. and Hajiaghayi, MohammadTaghi and Thilikos, Dimitrios M.},
TITLE = {The bidimensional theory of bounded-genus graphs},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {191-203},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/j5wl8kbyt0ljyqkj},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Broersma-Fomin-Woeginger/04,
AUTHOR = {Broersma, Hajo and Fomin, Fedor V. and Woeginger, Gerhard J.},
TITLE = {Parallel knock-out schemes in networks},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {204-214},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/58e62kapctj43x7e},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Caragiannis-Fishkin-Kaklamanis-Papaioannou/04,
AUTHOR = {Caragiannis, Ioannis and Fishkin, Aleksei and Kaklamanis, Christos and Papaioannou, Evi},
TITLE = {Online algorithms for disk graphs},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {215-226},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/6x8mnunqjmhqubrm},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bockenhauer-Bongartz/04,
AUTHOR = {B{\"o}ckenhauer, Hans-Joachim and Bongartz, Dirk},
TITLE = {Protein folding in the HP model on grid lattices with diagonals},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {227-238},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/hxdekdd42rtnx2l5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Pal/04,
AUTHOR = {Chen, Hubie and P{\'a}l, Martin},
TITLE = {Optimization, games, and quantified constraint satisfaction},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {239-250},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/68uhuaerv8exa3t0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gronemeier/04,
AUTHOR = {Gronemeier, Andre},
TITLE = {Approximating Boolean functions by OBDDs},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {251-262},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/q0hqfj3eu2789ekh},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chlebik-Chlebikova/04a,
AUTHOR = {Chleb{\'{i}}k, Miroslav and Chleb{\'{i}}kov{\'a}, Janka},
TITLE = {On approximation hardness of the minimum 2SAT-DELITION problem},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {263-273},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/war7lqmn299nk6c9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kral-Nejedly/04,
AUTHOR = {Kr{\'a}l', Daniel and Nejedl{\'y}, Pavel},
TITLE = {Group coloring and list group coloring are $\Pi^P_2$-complete},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {274-286},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/et04wuunbl9tttad},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hemaspaandra-Hemaspaandra-Radziszowski-Tripathi/04,
AUTHOR = {Hemaspaandra, Edith and Hemaspaandra, Lane A. and Radziszowski, Stanis{\l}aw and Tripathi, Rahul},
TITLE = {Complexity results in graph reconstruction},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {287-297},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/klbex9214mq28qva},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Boros-Elbassioni-Gurvich-Khachiyan-Makino/04,
AUTHOR = {Boros, Endre and Elbassioni, Khaled and Gurvich, Vladimir and Khachiyan, Leonid and Makino, Kazuhisa},
TITLE = {Generating paths and cuts in multi-pole (di)graphs},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {298-309},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/m27ed9du4d9chjfv},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Nutov-Yuster/04,
AUTHOR = {Nutov, Zeev and Yuster, Raphael},
TITLE = {Packing directed cycles efficiently},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {310-321},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/9vv3guu660vy8b0w},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Travers/04,
AUTHOR = {Travers, Stephen D.},
TITLE = {The complexity of membership problems for circuits over sets of integers},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {322-333},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/javdlw5gm4wcg4ku},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hansen-Miltersen/04,
AUTHOR = {Hansen, Kristoffer Arnsfelt and Miltersen, Peter Bro},
TITLE = {Some meet-in-the-middle circuit lower bounds},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {334-345},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/890w8a0v43w9nt5v},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Beygelzimer-Ogihara/04,
AUTHOR = {Beygelzimer, Alina and Ogihara, Mitsunori},
TITLE = {The enumerability of  collapses  to $NC$},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {346-355},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/1ufqhvt5rrdmkrqy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{De_Santis-Di_Crescenzo-Persiano/04,
AUTHOR = {De Santis, Alfredo and Di Crescenzo, Giovanni and Persiano, Giuseppe},
TITLE = {On $NC^1$ Boolean circuit composition of non-interactive perfect zero-knowledge},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {356-367},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/twq78fvaekyxattq},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hemaspaandra-Hemaspaandra-Hempel/04,
AUTHOR = {Hemaspaandra, Edith and Hemaspaandra, Lane A. and Hempel, Harald},
TITLE = {All superlinear inverse schemes are co$NP$-hard},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {368-379},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/4a62tgp3ee02x223},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Nordh/04,
AUTHOR = {Nordh, Gustav},
TITLE = {The complexity of equivalence and isomorphism of systems of equations over finite groups},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {380-391},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/89ykfcnwdt71b34q},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bohler-Glasser-Schwarz-Wagner/04,
AUTHOR = {B{\"o}hler, Elmar and Gla{\ss}er, Christian and Schwarz, Bernhard and Wagner, Klaus},
TITLE = {Generation problems},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {392-403},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/6g5eh8elge2b3kx1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bab-Nickelsen/04,
AUTHOR = {Bab, Sebastian and Nickelsen, Arfst},
TITLE = {One query reducibilities between partial information classes},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {404-415},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/bamepdbaxntww4u4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bernardi-Durand-Formenti-Kari/04,
AUTHOR = {Bernardi, Vincent and Durand, Bruno and Formenti, Enrico and Kari, Jarkko},
TITLE = {A new dimension sensitive property for cellular automata},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {416-426},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/bmleqp7f55q7ptkk},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Theyssier/04,
AUTHOR = {Theyssier, Guillaume},
TITLE = {Captive cellular automata},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {427-438},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/agfbtyf215lppnh5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Poupet/04,
AUTHOR = {Poupet, Victor},
TITLE = {Simulating 3D cellular automata with 2D cellular automata},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {439-450},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/rk7v0aeaqwx5wj8r},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fraigniaud-Ilcinkas-Peer-Pelc-Peleg/04,
AUTHOR = {Fraigniaud, Pierre and Ilcinkas, David and Peer, Guy and Pelc, Andrzej and Peleg, David},
TITLE = {Graph exploration by a finite automaton},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {451-462},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/ltmbgr6t1bkklx73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lee-Romashchenko/04,
AUTHOR = {Lee, Troy and Romashchenko, Andrei},
TITLE = {On polynomially time bounded symmetry of information},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {463-475},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/mygphtuwpwm1hmbg},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hitchcock-Lopez-Valdes-Mayordomo/04,
AUTHOR = {Hitchcock, John M. and L{\'o}pez-Vald{\'e}s, Mar{\'{i}}a and Mayordomo, Elvira},
TITLE = {Scaled dimension and the Kolmogorov complexity of Turing-hard sets},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {476-487},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/efaptp043uq3n801},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fernau-Juedes/04,
AUTHOR = {Fernau, Henning and Juedes, David},
TITLE = {A geometric approach to parameterized algorithms for domination problems on planar graphs},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {488-499},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/w2havumb55a6jcjp},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Huang-Kanj-Xia/04,
AUTHOR = {Chen, Jianer and Huang, Xiuzhen and Kanj, Iyad A. and Xia, Ge},
TITLE = {Polynomial time approximation schemes and parameterized complexity},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {500-512},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/11ge6wm75qafqm7j},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Loyer-Straccia/04,
AUTHOR = {Loyer, Yann and Straccia, Umberto},
TITLE = {Epistemic foundation of the well-founded semantics over bilattices},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {513-524},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/lmjg0b7qc02bntud},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lanotte-Maggiolo-Schettini-Peron/04,
AUTHOR = {Lanotte, Ruggero and Maggiolo-Schettini, Andrea and Peron, Adriano},
TITLE = {Structural model checking for communicating hierarchical machines},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {525-536},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/lmtkjnny685ahnf9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ly/04,
AUTHOR = {Ly, Olivier},
TITLE = {Compositional verification: Decidability issues using graph substitutions},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {537-549},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/ml526dlpxghu44ew},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{van_Glabbeek-Plotkin/04,
AUTHOR = {van Glabbeek, Rob and Plotkin, Gordon},
TITLE = {Event structures for resolvable conflict},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {550-561},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/jypn558pu4kxqx47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Epstein-Tassa/04a,
AUTHOR = {Epstein, Leah and Tassa, Tamir},
TITLE = {Optimal preemptive scheduling for general target functions},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {562-573},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/xv3e3q6tphcrh3rq},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gairing-Lucking-Mavronicolas-Monien/04,
AUTHOR = {Gairing, Martin and L{\"u}cking, Thomas and Mavronicolas, Marios and Monien, Burkhard},
TITLE = {The price of anarchy for polynomial social cost},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {574-585},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/v8wau25q8fmjyv0h},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Elsasser-Lorenz-Sauerwald/04,
AUTHOR = {Els{\"a}sser, Robert and Lorenz, Ulf and Sauerwald, Thomas},
TITLE = {Agent-based information handling in large networks},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {586-598},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/l2kg8e0gypg2m1ly},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Baumann-Kohler/04,
AUTHOR = {Baumann, Nadine and K{\"o}hler, Ekkehard},
TITLE = {Approximating earliest arrival flows with flow-dependent transit times},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {599-610},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/bq06dhk0b9lx23hq},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Beal-Fiorenzi-Perrin/04a,
AUTHOR = {B{\'e}al, Marie-Pierre and Fiorenzi, Francesca and Perrin, Dominique},
TITLE = {A hierarchy of irreducible sofic shifts},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {611-622},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/kc1e9r19m6qqknmm},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lisitsa-Potapov/04,
AUTHOR = {Lisitsa, Alexei and Potapov, Igor},
TITLE = {Membership and reachability problems for row-monomial transformations},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {623-634},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/gg2yhu2qf96t86r4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Polak/04,
AUTHOR = {Pol{\'a}k, Libor},
TITLE = {On pseudovarieties of semiring homomorphisms},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {635-647},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/qcnm91pxhjyark1k},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Esik-Kuich/04,
AUTHOR = {{\'E}sik, Zolt{\'a}n and Kuich, Werner},
TITLE = {An algebraic generalization of $\omega$-regular languages},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {648-659},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/2ym72vr6xlywmx8c},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Crasmaru-Glasser-Regan-Sengupta/04,
AUTHOR = {Crasmaru, Marcel and Gla{\ss}er, Christian and Regan, Kenneth W. and Sengupta, Samik},
TITLE = {A protocol for serializing unique strategies},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {660-672},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/51fv31ua3jbud6ca},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bjorklund-Sandberg-Vorobyov/04,
AUTHOR = {Bj{\"o}rklund, Henrik and Sandberg, Sven and Vorobyov, Sergei},
TITLE = {A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {673-685},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/bw1qtnvyrx7vu1n4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gimbert-Zielonka/04,
AUTHOR = {Gimbert, Hugo and Zielonka, Wies{\l}aw},
TITLE = {When can you play positionally?},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {686-697},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/wkym0bqu5l6eqwhl},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Okhotin/04a,
AUTHOR = {Okhotin, Alexander},
TITLE = {The dual of concatenation},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {698-710},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/t27g6rmyxl7jwykq},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ambos-Spies-Busse/04,
AUTHOR = {Ambos-Spies, Klaus and Busse, Edgar},
TITLE = {Computational aspects of disjunctive sequences},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {711-722},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/thcbaupch5jygktl},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Domaratzki-Salomaa/04,
AUTHOR = {Domaratzki, Michael and Salomaa, Kai},
TITLE = {Decidability of trajectory-based equations},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {723-734},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/deukgqgtkauqtmtl},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Biedl-Hasan-Lopez-Ortiz/04,
AUTHOR = {Biedl, Therese and Hasan, Masud and L{\'o}pez-Ortiz, Alejandro},
TITLE = {Efficient view point selection for silhouettes of convex polyhedra},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {735-747},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/jrnweb4e5guvhyj1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Biedl-Lubiw-Spriggs/04,
AUTHOR = {Biedl, Therese and Lubiw, Anna and Spriggs, Michael J.},
TITLE = {Angles and lengths in reconfigurations of polygons and polyhedra},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {748-759},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/ag2m6v2f0ta7d2kn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Doerr-Hebbinghaus-Werth/04,
AUTHOR = {Doerr, Benjamin and Hebbinghaus, Nils and Werth, S{\"o}ren},
TITLE = {Improved bounds and schemes for the declustering problem},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {760-771},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/7dlk6j6n1a0qgcuh},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hlineny/04,
AUTHOR = {Hlin{\v{e}}n{\'y}, Petr},
TITLE = {Crossing number is hard for cubic graphs},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {772-782},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/fvhp6q52b5b4nxvj},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Selivanov-Wagner/04,
AUTHOR = {Selivanov, Victor L. and Wagner, Klaus W.},
TITLE = {A reducibility for the dot-depth hierarchy},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {783-793},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/v6mjjtdbv1832u2r},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Wich/04,
AUTHOR = {Wich, Klaus},
TITLE = {Sublogarithmic ambiguity},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {794-806},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/9a38k17qe5mpdt68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Petre/04,
AUTHOR = {Petre, Elena},
TITLE = {An elementary proof for the non-parametrizability of the equation $xyz = zvx$},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {807-817},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/20077bhcqd4rh2d4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ilie-Ochem-Shallit/04,
AUTHOR = {Ilie, Lucian and Ochem, Pascal and Shallit, Jeffrey},
TITLE = {A generalization of repetition threshold},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {818-826},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/r68pchudp050pwam},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Nishimura-Yamakami/04a,
AUTHOR = {Nishimura, Harumichi and Yamakami, Tomoyuki},
TITLE = {An algorithmic argument for nonadaptive query complexity lower bounds on advised quantum computation},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {827-838},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/xurt4d560hq15t3t},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kawachi-Kobayashi-Koshiba-Putra/04,
AUTHOR = {Kawachi, Akinori and Kobayashi, Hirotada and Koshiba, Takeshi and Putra, Raymond H.},
TITLE = {Universal test for quantum one-way permutations},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {839-850},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/fnkqehd2n8lh98x6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Beaudry-Fernandez-Holzer/04,
AUTHOR = {Beaudry, Martin and Fernandez, Jos{\'e} M. and Holzer, Markus},
TITLE = {A common algebraic description for probabilistic and quantum computations},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {851-862},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/k5ba5u2cugf6nfcq},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Andre-Caron-Debarbieux-Roos-Tison/04,
AUTHOR = {Andr{\'e}, Yves and Caron, Anne-C{\'e}cile and Debarbieux, Denis and Roos, Yves and Tison, Sophie},
TITLE = {Extraction and implication of path constraints},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {863-875},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/3embj9hgy5gxdf8q},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bouchou-Duarte-Halfeld_Ferrari_Alves-Laurent-Musicante/04,
AUTHOR = {Bouchou, B{\'e}atrice and Duarte, Denio and Halfeld Ferrari Alves, M{\'{i}}rian and Laurent, Dominique and Musicante, Martin A.},
TITLE = {Schema evolution for XML: A consistency-preserving approach},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {876-888},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/8rpqabg7mg5k13mk},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Martens-Neven-Schwentick/04,
AUTHOR = {Martens, Wim and Neven, Frank and Schwentick, Thomas},
TITLE = {Complexity of decision problems for simple regular expressions},
BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)},
SERIES = {LNCS},
VOLUME = {3153},
PAGES = {889-900},
YEAR = {2004},
EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan},
URL = {http://www.springerlink.com/content/1jt2ffwq63h19pb3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}