@incollection{Vianu/03,
AUTHOR = {Vianu, Victor},
TITLE = {Logic as a query language: From frege to XML},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {1-12},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Viari/03,
AUTHOR = {Viari, Alain},
TITLE = {How does computer science change molecular biology?},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {13-13},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Lin-Lu-Sun/03,
AUTHOR = {Lin, Ching-Chi and Lu, Hsueh-I. and Sun, I.-Fan},
TITLE = {Improved compact visibility representation of planar graph via Schnyder's realizer},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {14-25},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Streinu-Whitesides/03,
AUTHOR = {Streinu, Ileana and Whitesides, Sue},
TITLE = {Rectangle visibility graphs: Characterization, construction, and compaction},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {26-37},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bose-Maheshwari-Narasimhan-Smid-Zeh/03,
AUTHOR = {Bose, Prosenjit and Maheshwari, Anil and Narasimhan, Giri and Smid, Michiel and Zeh, Norbert},
TITLE = {Approximating geometric bottleneck shortest paths},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {38-49},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Langerman-Steiger/03,
AUTHOR = {Langerman, Stefan and Steiger, William},
TITLE = {Optimization in arrangements},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {50-61},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Tesson-Therien/03,
AUTHOR = {Tesson, Pascal and Th{\'e}rien, Denis},
TITLE = {Complete classifications for the communication complexity of regular languages},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {62-73},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Karhumaki-Latteux-Petre/03,
AUTHOR = {Karhum{\"a}ki, Juhani and Latteux, Michel and Petre, Ion},
TITLE = {The commutation with codes and ternary sets of words},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {74-84},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {regular languages, combinatorics on words},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Godoy-Tiwari-Verma/03,
AUTHOR = {Godoy, Guillem and Tiwari, Ashish and Verma, Rakesh},
TITLE = {On the confluence of linear shallow term rewrite systems},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {85-96},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=85},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Selivanov/03,
AUTHOR = {Selivanov, Victor},
TITLE = {Wadge degrees of $\omega$-languages of deterministic Turing machines},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {97-108},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {wadge degree, hierarchy, reducibility, $\omega$-language, cantor space, set-theoretic operation},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Kowalski-Pelc/03,
AUTHOR = {Kowalski, Dariusz R. and Pelc, Andrzej},
TITLE = {Faster deterministic broadcasting in ad hoc radio networks},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {109-120},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=109},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Jakoby-Liskiewicz-Reischuk/03,
AUTHOR = {Jakoby, Andreas and Li{\'s}kiewicz, Maciej and Reischuk, R{\"u}diger},
TITLE = {Private computations in networks: Topology versus randomness},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {121-132},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=121},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Erlebach-Stefanakos/03,
AUTHOR = {Erlebach, Thomas and Stefanakos, Stamatis},
TITLE = {On shortest-path all-optical networks without wavelength conversion requirements},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {133-144},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=133},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Schnorr/03,
AUTHOR = {Schnorr, Claus Peter},
TITLE = {Lattice reduction by random sampling and birthday methods},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {145-156},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=145},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Cheng/03,
AUTHOR = {Cheng, Qi},
TITLE = {On the ultimate complexity of factorials},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {157-166},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {computational and structural complexity},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=157},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Zheng-Rettinger-Braunmuhl/03,
AUTHOR = {Zheng, Xizhong and Rettinger, Robert and Braunm{\"u}hl, Burchard von},
TITLE = {On the effective Jordan decomposability},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {167-178},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {computational complexity, computable analysis},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=167},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Ilie-Shan-Yu/03,
AUTHOR = {Ilie, Lucian and Shan, Baozhen and Yu, Sheng},
TITLE = {Fast algorithms for extended regular expression matching and searching},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {179-190},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {extended regular expressions, pattern matching, finite automata, algorithms, complexity},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=179},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Makinen-Navarro-Ukkonen/03a,
AUTHOR = {M{\"a}kinen, Veli and Navarro, Gonzalo and Ukkonen, Esko},
TITLE = {Algorithms for transposition invariant string matching},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {191-202},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=191},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Mityagin/03,
AUTHOR = {Mityagin, Anton},
TITLE = {On the complexity of finding a local maximum of functions on discrete planar subsets},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {203-211},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {computational complexity, decision trees, local maximum search.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=203},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Buhrman-Fortnow-Pavan/03,
AUTHOR = {Buhrman, Harry and Fortnow, Lance and Pavan, A.},
TITLE = {Some results on derandomization},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {212-222},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=212},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Kiltz/03,
AUTHOR = {Kiltz, Eike},
TITLE = {On the representation of Boolean predicates of the Diffie-Hellman function},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {223-233},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=223},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Hoyer-Spalek/03,
AUTHOR = {H{\o}yer, Peter and {\v{S}}palek, Robert},
TITLE = {Quantum circuits with unbounded fan-out},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {234-246},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=234},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Chrobak-Jr/03,
AUTHOR = {Chrobak, Marek and J{\v{r}}{\'{\i}}, Sgall},
TITLE = {Analysis of the harmonic algorithm for three servers},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {247-259},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=247},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
NOTE = {see Erratum in Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004, 2004, 656-656},
TYPE = {inproceedings},
}
@incollection{Bansal-Dhamdhere-Konemann-Sinha/03,
AUTHOR = {Bansal, N. and Dhamdhere, K. and K{\"o}nemann, J. and Sinha, A.},
TITLE = {Non-clairvoyant scheduling for minimizing mean slowdown},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {260-270},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=260},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Fotakis-Pagh-Sanders-Spirakis/03,
AUTHOR = {Fotakis, Dimitris and Pagh, Rasmus and Sanders, Peter and Spirakis, Paul},
TITLE = {Space efficient hash tables with worst case constant access time},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {271-282},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=271},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bronnimann-Cacals-Durand/03,
AUTHOR = {Br{\"o}nnimann, Herv{\'e} and Cacals, Fr{\'e}d{\'e}ric and Durand, Marianne},
TITLE = {Randomized jumplists: A jump-and-walk dictionary data structure},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {283-294},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {dictionary data structures, searching and sorting, randomization, asymptotic analysis},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=283},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bollig/03a,
AUTHOR = {Bollig, Beate},
TITLE = {Complexity theoretical results on nondeterministic graph-driven read-once branching programs},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {295-306},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=295},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Sauerhoff/03a,
AUTHOR = {Sauerhoff, Martin},
TITLE = {Randomness versus nondeterminism for read-once and read-$k$ branching programs},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {307-318},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=307},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Hlineny/03a,
AUTHOR = {Hlin{\v{e}}n{\'y}, Petr},
TITLE = {Branch-width, parse trees, and monadic second-order logic for matroids},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {319-330},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {representable matroid, branch-width, monadic second-order logic, fixed-parameter complexity},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=319},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Gavalda-Therien/03,
AUTHOR = {Gavald{\`a}, Ricard and Th{\'e}rien, Denis},
TITLE = {Algebraic characterizations of small classes of Boolean functions},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {331-342},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=331},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Hershberger-Suri-Bhosle/03,
AUTHOR = {Hershberger, John and Suri, Subhash and Bhosle, Amit},
TITLE = {On the difficulty of some shortest path problems},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {343-354},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=343},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Feder-Meyerson-Motwani-OCallaghan-Panigrahy/03,
AUTHOR = {Feder, Tomas and Meyerson, Adam and Motwani, Rajeev and O'Callaghan, Loc and Panigrahy, Rinap},
TITLE = {Representing graph metrics with fewest edges},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {355-366},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=355},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Feder-Motwani-OCallaghan-Olston-Panigrahy/03,
AUTHOR = {Feder, T. and Motwani, R. and O'Callaghan, L. and Olston, C. and Panigrahy, R.},
TITLE = {Computing shortest paths with uncertainty},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {367-378},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=367},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Krokhin-Larose/03,
AUTHOR = {Krokhin, Andrei and Larose, Benoit},
TITLE = {Solving order constraints in logarithmic space},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {379-390},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=379},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Brattka/03,
AUTHOR = {Brattka, Vasco},
TITLE = {The inversion problem for computable linear operators},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {391-402},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {computable analysis, linear operators, inversion problem},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=391},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Blaser/03b,
AUTHOR = {Bl{\"a}ser, Markus},
TITLE = {Algebras of minimal rank over arbitrary fields},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {403-414},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=403},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Giel-Wegener/03,
AUTHOR = {Giel, Oliver and Wegener, Ingo},
TITLE = {Evolutionary algorithms and the maximum matching problem},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {415-426},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=415},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Sankowski/03,
AUTHOR = {Sankowski, Piotr},
TITLE = {Alternative algorithms for counting all matchings in graphs},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {427-438},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=427},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Irving-Manlove-Scott/03,
AUTHOR = {Irving, Robert W. and Manlove, David F. and Scott, Sandy},
TITLE = {Strong stability in the hospitals/residents problem},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {439-450},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {stable matching problem, strong stability, hospitals/ residents problem, polynomial-time algorithm, lower bound, NP-completeness},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=439},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Durand-Hermann/03,
AUTHOR = {Durand, Arnaud and Hermann, Miki},
TITLE = {The inference problem for propositional circumscription of affine formulas is co$NP$-complete},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {451-462},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=451},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Kuske-Lohrey/03,
AUTHOR = {Kuske, Dietrich and Lohrey, Markus},
TITLE = {Decidable theories of Cayley-graphs},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {463-474},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=463},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Szeider/03,
AUTHOR = {Szeider, Stefan},
TITLE = {The complexity of resolution with generalized symmetry rules},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {475-486},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=475},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Coja-Oghlan-Taraz/03,
AUTHOR = {Coja-Oghlan, Amin and Taraz, Anusch},
TITLE = {Colouring random graphs in expected polynomial time},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {487-498},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=487},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bonichon-Gavoille-Hanusse/03,
AUTHOR = {Bonichon, Nicolas and Gavoille, Cyril and Hanusse, Nicolas},
TITLE = {An information-theoretic upper bound of planar graphs using triangulation},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {499-510},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=499},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Coja-Oghlan/03,
AUTHOR = {Coja-Oghlan, Amin},
TITLE = {Finding large independent sets in polynomial expected time},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {511-522},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=511},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Damaschke/03a,
AUTHOR = {Damaschke, Peter},
TITLE = {Distributed soft path coloring},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {523-534},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {distributed algorithms, coloring, locality, randomization},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=523},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Cai-Chakaravarthy-Hemaspaandra-Ogihara/03,
AUTHOR = {Cai, Jin-Yi and Chakaravarthy, Venkatesan T. and Hemaspaandra, Lane A. and Ogihara, Mitsunori},
TITLE = {Competing provers yield improved Karp-Lipton collapse results},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {535-546},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=535},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Buhrman-Chang-Fortnow/03,
AUTHOR = {Buhrman, Harry and Chang, Richard and Fortnow, Lance},
TITLE = {One bit of advice},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {547-558},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=547},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Schaefer-Stephan/03,
AUTHOR = {Schaefer, Marcus and Stephan, Frank},
TITLE = {Strong reductions and immunity for exponential time},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {559-570},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=559},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{McKenzie-Wagner/03,
AUTHOR = {McKenzie, Pierre and Wagner, Klaus W.},
TITLE = {The complexity of membership problems for circuits over sets of natural numbers},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {571-582},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=571},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Michiels-Korst-Aarts-Leeuwen/03,
AUTHOR = {Michiels, Wil and Korst, Jan and Aarts, Emile and Leeuwen, Jan van},
TITLE = {Performance ratios for the differencing method applied to the balanced number partitioning problem},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {583-595},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=583},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Magdon-Ismail-Busch-Krishnamoorthy/03,
AUTHOR = {Magdon-Ismail, Malik and Busch, Costas and Krishnamoorthy, Mukkai S.},
TITLE = {Cake-cutting is not a piece of cake},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {596-607},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=596},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Talwar/03,
AUTHOR = {Talwar, Kunal},
TITLE = {The price of truth: Frugality in truthful mechanisms},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {608-619},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=608},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bouyer/03,
AUTHOR = {Bouyer, Patricia},
TITLE = {Untameable timed automata!},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {620-631},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=620},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Ollinger/03,
AUTHOR = {Ollinger, Nicolas},
TITLE = {The intrinsic universality problem of one-dimensional cellular automata},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {632-641},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=632},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Cervelle-Formenti/03,
AUTHOR = {Cervelle, Julien and Formenti, Enrico},
TITLE = {On sand automata},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {642-653},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=642},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Elmasry-Fredman/03,
AUTHOR = {Elmasry, Amr and Fredman, Michael L.},
TITLE = {Adaptive sorting and the information theoretic lower bound},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {654-662},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {algorithms and data structures},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=654},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bjorklund-Sandberg-Vorobyov/03,
AUTHOR = {Bj{\"o}rklund, Henrik and Sandberg, Sven and Vorobyov, Sergei},
TITLE = {A discrete subexponential algorithm for parity games},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {663-674},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=663},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Backes-Jacobi/03,
AUTHOR = {Backes, Michael and Jacobi, Christian},
TITLE = {Cryptographically sound and machine-assisted verification of security protocols},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {675-686},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {cryptography, specification, verification, PVS, semantics, simulatability},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=675},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bruere-DallOlio-Raskin/03,
AUTHOR = {Bru{\`e}re, V{\'e}ronique and Dall'Olio, Emmanuel and Raskin, Jean-Fran{\c{c}}ois},
TITLE = {Durations, parametric model-checking in timed automata with Presburger arithmetic},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {687-698},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=687},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}