@incollection{Bergstra-Bethke/03,
AUTHOR = {Bergstra, Jan A. and Bethke, Inge},
TITLE = {Polarized process algebra and program equivalence},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {1-21},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=6BN677ARDMCRFDE8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Condon/03,
AUTHOR = {Condon, Anne},
TITLE = {Problems on RNA secondary structure prediction and design},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {22-32},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=MR2A4LCGMJFYYA0U},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fiat/03,
AUTHOR = {Fiat, Amos},
TITLE = {Some issues regarding search, censorship, and anonymity in peer to peer networks},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {33-33},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=W1ABPX7PK8YYCJXH},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Mutzel/03,
AUTHOR = {Mutzel, Petra},
TITLE = {The SPQR-tree data structure in graph drawing},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {34-46},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=7TTBYWRDYRTYFEJQ},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Peled/03,
AUTHOR = {Peled, Doron},
TITLE = {Model checking and testing combined},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {47-63},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=59NEYAAKPR8KQMJN},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Vardi/03,
AUTHOR = {Vardi, Moshe Y.},
TITLE = {Logic and automata: A match made in heaven},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {64-65},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=Q17TRC4M5NNR8HG9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Hromkovic-Schnitger/03,
AUTHOR = {Hromkovi{\v{c}}, Juraj and Schnitger, Georg},
TITLE = {Pushdown automata and multicounter machines, a comparison of computation modes},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {66-80},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
KEYWORDS = {complexity theory, randomization, nondeterminism, pushdown automata, multicounter machines},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=KTNPKW6AYDKEC3PY},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{De_Bonis-Gasieniec-Vaccaro/03,
AUTHOR = {De Bonis, Annalisa and G{\c{a}}sieniec, Leszek and Vaccaro, Ugo},
TITLE = {Generalized framework for selectors with applications in optimal group testing},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {81-96},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=VY2EDMPE7Q5LQXC1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bleichenbacher-Kiayias-Yung/03,
AUTHOR = {Bleichenbacher, Daniel and Kiayias, Aggelos and Yung, Moti},
TITLE = {Decoding of interleaved reed Solomon codes over noisy data},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {97-108},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=5QUGGJW306CAQTGF},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Blom-Fokkink-Nain/03,
AUTHOR = {Blom, Stefan and Fokkink, Wan and Nain, Sumit},
TITLE = {On the axiomatizability of ready traces, ready simulation, and failure traces},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {109-118},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=350N2KJVHLB0T69Q},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gorla-Pugliese/03,
AUTHOR = {Gorla, Daniele and Pugliese, Rosario},
TITLE = {Resource access and mobility control with dynamic privileges acquisition},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {119-132},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=3TRCTBR74JNK6MRR},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Busi-Gabbrielli-Zavattaro/03,
AUTHOR = {Busi, Nadia and Gabbrielli, Maurizio and Zavattaro, Gianluigi},
TITLE = {Replication vs. recursive definitions in channel based calculi},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {133-144},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=C9FPC26QWR3V6AT2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ageev-Ye-Zhang/03,
AUTHOR = {Ageev, Alexander and Ye, Yinyu and Zhang, Jiawei},
TITLE = {Improved combinatorial approximation algorithms for the $k$-level facility location problem},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {145-156},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=8EJ6BE2HM26C38GV},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Blaser/03c,
AUTHOR = {Bl{\"a}ser, Markus},
TITLE = {An improved approximation algorithm for the asymmetric TSP with strengthened triangle inequality},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {157-163},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=WYYQUV727236LH69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gandhi-Halperin-Khuller-Kortsarz-Srinivasan/03,
AUTHOR = {Gandhi, Rajiv and Halperin, Eran and Khuller, Samir and Kortsarz, Guy and Srinivasan, Aravind},
TITLE = {An improved approximation algorithm for vertex cover with hard capacities},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {164-175},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
KEYWORDS = {approximation algorithms, capacitated covering, set cover, vertex cover, linear programming, randomized rounding},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=01U9R3DQBPK84ND6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Arora-Chang/03,
AUTHOR = {Arora, Sanjeev and Chang, Kevin L.},
TITLE = {Approximation schemes for degree-restricted MST and red-blue separation problem},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {176-188},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=B9G7CVGAQFVHVYTE},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chekuri-Guha-Naor/03,
AUTHOR = {Chekuri, Chandra and Guha, Sudipto and Naor, Joseph (Seffi)},
TITLE = {Approximating Steiner $k$-cuts},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {189-199},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
KEYWORDS = {multiway cut, $k$-cut, Steiner tree, minimum cut, primal-dual},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=A762R8J27525HYRF},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Coja-Oghlan-Moore-Sanwalani/03,
AUTHOR = {Coja-Oghlan, Amin and Moore, Cristopher and Sanwalani, Vishal},
TITLE = {MAX $k$-CUT and approximating the chromatic number of random graphs},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {200-211},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=EQ26GV6LANGJWJVE},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Elkin-Kortsarz/03,
AUTHOR = {Elkin, Michael and Kortsarz, Guy},
TITLE = {Approximation algorithm for directed telephone multicast problem},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {212-223},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=6662BPG6TMJKDQ43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ancona-Fagorzi-Moggi-Zucca/03,
AUTHOR = {Ancona, Davide and Fagorzi, Sonia and Moggi, Eugenio and Zucca, Elena},
TITLE = {Mixin modules and computational effects},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {224-238},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=88JRG1TPE8AVJMFG},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Okhotin/03b,
AUTHOR = {Okhotin, Alexander},
TITLE = {Decision problems for language equations with Boolean operations},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {239-251},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
KEYWORDS = {language equations, boolean operations, recursive sets},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=GWWACE7189UBCHQR},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bruni-Meseguer/03,
AUTHOR = {Bruni, Roberto and Meseguer, Jos{\'e}},
TITLE = {Generalized rewrite theories},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {252-266},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=J3TVUR4JLA3ADRTY},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Antunes-Fortnow/03,
AUTHOR = {Antunes, Lu{\'{i}}s and Fortnow, Lance},
TITLE = {Sophistication revisited},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {267-277},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=QJ45FEPF4L5FHV7W},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Hitchcock-Lutz-Mayordomo/03,
AUTHOR = {Hitchcock, John M. and Lutz, Jack H. and Mayordomo, Elvira},
TITLE = {Scaled dimension and nonuniform complexity},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {278-290},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=AQVWFV48VNM2T1JX},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Hoyer-Mosca-de_Wolf/03,
AUTHOR = {H{\o}yer, Peter and Mosca, Michele and de Wolf, Ronald},
TITLE = {Quantum search on bounded-error inputs},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {291-299},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=214DHEP41D6VK3D2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Jain-Radhakrishnan-Sen/03,
AUTHOR = {Jain, Rahul and Radhakrishnan, Jaikumar and Sen, Pranab},
TITLE = {A direct sum theorem in communication complexity via message compression},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {300-315},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=16DX5V0TMNYBNPBN},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Franceschini-Grossi/03,
AUTHOR = {Franceschini, Gianni and Grossi, Roberto},
TITLE = {Optimal cache-oblivious implicit dictionaries},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {316-331},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=L8NA31DE4ADKWR6W},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gal-Miltersen/03,
AUTHOR = {G{\'a}l, Anna and Miltersen, Peter Bro},
TITLE = {The cell probe complexity of succinct data structures},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {332-344},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=B7GUC0DAKV9BRKXE},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Munro-Raman-Raman-Rao/03,
AUTHOR = {Munro, J. Ian and Raman, Rajeev and Raman, Venkatesh and Rao, Satti Srinivasa},
TITLE = {Succinct representations of permutations},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {345-356},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=G6AB7LXURCHVU8QF},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Raman-Rao/03,
AUTHOR = {Raman, Rajeev and Rao, Satti Srinivasa},
TITLE = {Succinct dynamic dictionaries and trees},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {357-368},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=XF14W3GRJTF3UEN2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Korman-Peleg/03,
AUTHOR = {Korman, Amos and Peleg, David},
TITLE = {Labeling schemes for weighted dynamic trees},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {369-383},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=8B9738FBW654VYGM},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Baswana-Sen/03,
AUTHOR = {Baswana, Surender and Sen, Sandeep},
TITLE = {A simple linear time algorithm for computing a $(2k-1)$-spanner of $O(n^{1+1/k})$ size in weighted graphs},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {384-396},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
KEYWORDS = {graph algorithms, randomized algorithms, shortest path},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=0E0BJN8P9EXM27X9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Hall-Hippler-Skutella/03,
AUTHOR = {Hall, Alex and Hippler, Steffen and Skutella, Martin},
TITLE = {Multicommodity flows over time: Efficient algorithms and complexity},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {397-409},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
KEYWORDS = {network flow, routing, flow over time, dynamic flow, complexity, efficient algorithm},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=DEB44U3XLQ1KNUWV},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chekuri-Mydlarz-Shepherd/03,
AUTHOR = {Chekuri, Chandra and Mydlarz, Marcelo and Shepherd, F. Bruce},
TITLE = {Multicommodity demand flow in a tree},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {410-425},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
KEYWORDS = {integer multicommodity flow, tree, integrality gap, packing integer program, approximation algorithm},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=DU648D9X5721ADLL},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Droste-Kuske/03a,
AUTHOR = {Droste, Manfred and Kuske, Dietrich},
TITLE = {Skew and infinitary formal power series},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {426-438},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=8R19TFVGU5WTNPTL},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Hromkovic-Schnitger/03a,
AUTHOR = {Hromkovi{\v{c}}, Juraj and Schnitger, Georg},
TITLE = {Nondeterminism versus determinism for two-way finite automata: Generalizations of Sipser's separation},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {439-451},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
KEYWORDS = {finite automata, nondeterminism, descriptional complexity of regular languages},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=PJAMHAVJ5QGNFK8V},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Denis-Esposito/03,
AUTHOR = {Denis, Fran{\c{c}}ois and Esposito, Yann},
TITLE = {Residual languages and probabilistic automata},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {452-463},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=17WDUH49GVEF5N3Y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Stoelinga-Vaandrager/03,
AUTHOR = {Stoelinga, Mari{\"e}lle and Vaandrager, Frits},
TITLE = {A testing scenario for probabilistic automata},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {464-477},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=VC8G7AMX241B5R83},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Senizergues/03,
AUTHOR = {S{\'e}nizergues, G{\'e}raud},
TITLE = {The equivalence problem for $t$-turn DPDA is co-$NP$},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {478-489},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
KEYWORDS = {deterministic pushdown automata, equivalence problem, complexity, matrix semi-groups},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=CPDEX0UBW5C4H5TT},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Holzer-Kutrib/03a,
AUTHOR = {Holzer, Markus and Kutrib, Martin},
TITLE = {Flip-pushdown automata: $k+1$ pushdown reversals are better than $k$},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {490-501},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=LM7AK4A5LCT5XP3Q},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Even-Dar-Kesselman-Mansour/03,
AUTHOR = {Even-Dar, Eyal and Kesselman, Alex and Mansour, Yishay},
TITLE = {Convergence time to Nash equilibria},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {502-513},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=LCCHRKFCBVHBC9K2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Feldmann-Gairing-Lucking-Monien-Rode/03,
AUTHOR = {Feldmann, Rainer and Gairing, Martin and L{\"u}cking, Thomas and Monien, Burkhard and Rode, Manuel},
TITLE = {Nashification and the coordination ratio for a selfish routing game},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {514-526},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9NEE54HYETWKR4R2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bansal-Agrawal-Malhotra/03,
AUTHOR = {Bansal, Vipul and Agrawal, Aseem and Malhotra, Varun S.},
TITLE = {Stable marriages with multiple partners: Efficient search for an optimal solution},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {527-542},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=0TGM9EH025BA2LR8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Boros-Elbassioni-Gurvich-Khachiyan-Makino/03,
AUTHOR = {Boros, Endre and Elbassioni, Khaled and Gurvich, Vladimir and Khachiyan, Leonid and Makino, Kazuhisa},
TITLE = {An intersection inequality for discrete distributions and related generation problems},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {543-555},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=CK3AR7YH1YJKLTKL},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Cachat/03,
AUTHOR = {Cachat, Thierry},
TITLE = {Higher order pushdown automata, the Caucal hierarchy of graphs and parity games},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {556-569},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=PK6M32U8WW5YJKG6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Mayr/03,
AUTHOR = {Mayr, Richard},
TITLE = {Undecidability of weak bisimulation equivalence for 1-counter processes},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {570-583},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=R1DAYJQB7LF7PCT8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Merro-Zappa_Nardelli/03,
AUTHOR = {Merro, Massimo and Zappa Nardelli, Francesco},
TITLE = {Bisimulation proof methods for mobile ambients},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {584-598},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=JLD5GJQCDF8P8QMG},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Carayol-Colcombet/03,
AUTHOR = {Carayol, Arnaud and Colcombet, Thomas},
TITLE = {On equivalent representations of infinite structures},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {599-610},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=D2C3BVA1VGQ7BD58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Schonhage/03,
AUTHOR = {Sch{\"o}nhage, Arnold},
TITLE = {Adaptive raising strategies optimizing relative efficiency},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {611-623},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=A9B7HY7CM9H8D08U},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Sitters-Stougie-de_Paepe/03,
AUTHOR = {Sitters, Ren{\'e} A. and Stougie, Leen and de Paepe, Willem E.},
TITLE = {A competitive algorithm for the general 2-server problem},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {624-636},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=0PY8FA105HH70116},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fotakis/03,
AUTHOR = {Fotakis, Dimitris},
TITLE = {On the competitive ratio for online facility location},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {637-652},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9A7Y99B0DQ2CXN8Q},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Albers-van_Stee/03,
AUTHOR = {Albers, Susanne and van Stee, Rob},
TITLE = {A study of integrated document and connection caching},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {653-667},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=7MW0R4UK3CMR6BE7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Xie-Dang-Ibarra/03,
AUTHOR = {Xie, Gaoyan and Dang, Zhe and Ibarra, Oscar H.},
TITLE = {A solvable class of quadratic diophantine equations with applications to verification of infinite-state systems},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {668-680},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=GNCE4A83GNLERP40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Klaedtke-Ruess/03,
AUTHOR = {Klaedtke, Felix and Rue{\ss}, Harald},
TITLE = {Monadic second-order logics with cardinalities},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {681-696},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=CXTQL3FXQLHDF6DE},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Kupferman-Vardi/03a,
AUTHOR = {Kupferman, Orna and Vardi, Moshe Y.},
TITLE = {$\Pi_2 \cap \Sigma_2 \equiv AFMC$},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {697-713},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=EHD9JYBX5MCGEVQ7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Rybina-Voronkov/03,
AUTHOR = {Rybina, Tatiana and Voronkov, Andrei},
TITLE = {Upper bounds for a theory of queues},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {714-724},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=0DUFXX3Y7DKDEPFA},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Berger-Bollobas-Borgs-Chayes-Riordan/03,
AUTHOR = {Berger, Noam and Bollob{\'a}s, B{\'e}la and Borgs, Christian and Chayes, Jennifer and Riordan, Oliver},
TITLE = {Degree distribution of the FKP network model},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {725-738},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=8PCTVCQ17Q8HYT7Y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Blondel-Van_Dooren/03,
AUTHOR = {Blondel, Vincent D. and Van Dooren, Paul},
TITLE = {Similarity matrices for pairs of graphs},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {739-750},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=NNJ8TYH2405KJTDW},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bhatia-Chuzhoy-Freund-Naor/03,
AUTHOR = {Bhatia, Randeep and Chuzhoy, Julia and Freund, Ari and Naor, Joseph (Seffi)},
TITLE = {Algorithmic aspects of bandwidth trading},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {751-766},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
KEYWORDS = {sScheduling, bandwidth trading, approximation algorithms, primal-dual schema},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=K72CTGJC2TM7DMKD},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Johannsen-Lange/03,
AUTHOR = {Johannsen, Jan and Lange, Martin},
TITLE = {CTL$^+$ is complete for double exponential time},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {767-775},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=ADLRGMQHT64QY8L8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{La_Torre-Napoli-Parente-Parlato/03,
AUTHOR = {La Torre, Salvatore and Napoli, Margherita and Parente, Mimmo and Parlato, Gennaro},
TITLE = {Hierarchical and recursive state machines with context-dependent properties},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {776-789},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
KEYWORDS = {model checking, automata, temporal logic},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=6KBGWLGVKH7QJ5AP},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Schnoebelen/03,
AUTHOR = {Schnoebelen, Philippe},
TITLE = {Oracle circuits for branching-time model checking},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {790-801},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=0KELE1RYABT6GVAT},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gargano-Hammar/03,
AUTHOR = {Gargano, Luisa and Hammar, Mikael},
TITLE = {There are spanning spiders in dense graphs (and we know how to find them)},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {802-816},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
KEYWORDS = {graph theory, graph and network algorithms},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=QQWJRP61UXG64RF1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fiala-Paulusma/03,
AUTHOR = {Fiala, Ji{\v{r}}{\'{i}} and Paulusma, Dani{\"e}l},
TITLE = {The computational complexity of the role assignment problem},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {817-828},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
KEYWORDS = {computational complexity, graph homomorphism, role assignment},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=TVXMV5MD6EVH96X4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Demaine-Fomin-Hajiaghayi-Thilikos/03,
AUTHOR = {Demaine, Erik D. and Fomin, Fedor V. and Hajiaghayi, Mohammad Taghi and Thilikos, Dimitrios M.},
TITLE = {Fixed-parameter algorithms for the $(k,r)$-center in planar graphs and map graphs},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {829-844},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=AP2PEE4M5RC8132F},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chen-Kanj-Perkovic-Sedgwick-Xia/03,
AUTHOR = {Chen, Jianer and Kanj, Iyad A. and Perkovic, Ljubomir and Sedgwick, Eric and Xia, Ge},
TITLE = {Genus characterizes the complexity of graph problems: Some tight results},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {845-856},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=Y0WUQMJFQJVJPNU5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Eisner-Fisman-Havlicek-McIsaac-Van_Campenhout/03,
AUTHOR = {Eisner, Cindy and Fisman, Dana and Havlicek, John and McIsaac, Anthony and Van Campenhout, David},
TITLE = {The definition of a temporal clock operator},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {857-870},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=K46UTPFEAM0KDQ69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ariola-Herbelin/03,
AUTHOR = {Ariola, Zena M. and Herbelin, Hugo},
TITLE = {Minimal classical logic and control operators},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {871-885},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=NCNYWD9C8XUBV08Q},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Henzinger-Jhala-Majumdar/03,
AUTHOR = {Henzinger, Thomas A. and Jhala, Ranjit and Majumdar, Rupak},
TITLE = {Counterexample-guided control},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {886-902},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=6BFX9YJR5P2K3B99},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Hannay/03,
AUTHOR = {Hannay, Jo},
TITLE = {Axiomatic criteria for quotients and subobjects for higher-order data types},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {903-917},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=FAGLUN909JWP5Q8G},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Matias-Porat/03,
AUTHOR = {Matias, Yossi and Porat, Ely},
TITLE = {Efficient pebbling for list traversal synopses},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {918-928},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=HCMHGV6LFMT4H8AF},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Amir-Aumann-Cole-Lewenstein-Porat/03,
AUTHOR = {Amir, Amihood and Aumann, Yonatan and Cole, Richard and Lewenstein, Moshe and Porat, Ely},
TITLE = {Function matching: Algorithms, applications, and a lower bound},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {929-942},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
KEYWORDS = {pattern matching, function matching, parameterized matching, color indexing, register allocation, protein folding},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=WRA3H5YC9DGUEKM4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Karkkainen-Sanders/03,
AUTHOR = {K{\"a}rkk{\"a}inen, Juha and Sanders, Peter},
TITLE = {Simple linear work suffix array construction},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {943-955},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=0NYB22E5AMJ4RAC4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gutierrez-Ruiz/03,
AUTHOR = {Guti{\'e}rrez, Francisco and Ruiz, Blas},
TITLE = {Expansion postponement via cut elimination in sequent calculi for pure type systems},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {956-968},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
KEYWORDS = {pure type systems, sequent calculi, cut elimination, expansion postponement},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=09UAWXFAFCTV1J6R},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bugliesi-Crafa-Prelic-Sassone/03,
AUTHOR = {Bugliesi, Michele and Crafa, Silvia and Prelic, Amela and Sassone, Vladimiro},
TITLE = {Secrecy in untrusted networks},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {969-983},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=FW1HETFJCWDJB6DL},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chattopadhyay-Therien/03,
AUTHOR = {Chattopadhyay, Arkadev and Th{\'e}rien, Denis},
TITLE = {Locally commutative categories},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {984-995},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=05N6WR1XPHMNQTLE},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Doberkat/03a,
AUTHOR = {Doberkat, Ernst-Erich},
TITLE = {Semi-pullbacks and bisimulations in categories of stochastic relations},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {996-1007},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
KEYWORDS = {bisimulation, semi-pullback, stochastic relations, labelled Markov processes, Hennessy-Milner logic},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=8CWN74RFNBUCTDL7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Rabinovich/03,
AUTHOR = {Rabinovich, Alexander},
TITLE = {Quantitative analysis of probabilistic lossy channel systems},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {1008-1021},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=8AYNUH19KP8479YL},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{de_Alfaro-Henzinger-Majumdar/03,
AUTHOR = {de Alfaro, Luca and Henzinger, Thomas A. and Majumdar, Rupak},
TITLE = {Discounting the future in systems theory},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {1022-1037},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=H1GUEAMAKTDRAJLH},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{de_Alfaro-Faella/03,
AUTHOR = {de Alfaro, Luca and Faella, Marco},
TITLE = {Information flow in concurrent games},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {1038-1053},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=1TQ86032782CFR03},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ikeda-Kubo-Okumoto-Yamashita/03,
AUTHOR = {Ikeda, Satoshi and Kubo, Izumi and Okumoto, Norihiro and Yamashita, Masafumi},
TITLE = {Impact of local topological information on random walks on finite graphs},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {1054-1067},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=6U7L56VJG1D3AH1C},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Jagerskupper/03,
AUTHOR = {J{\"a}gersk{\"u}pper, Jens},
TITLE = {Analysis of a simple evolutionary algorithm for minimization in Euclidean spaces},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {1068-1079},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
KEYWORDS = {evolutionary algorithms, black-box optimization, continuous search space, expected runtime, mutation adaptation},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=4V3MDCD3ADYC0UT7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Poulalhon-Schaeffer/03,
AUTHOR = {Poulalhon, Dominique and Schaeffer, Gilles},
TITLE = {Optimal coding and sampling of triangulations},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {1080-1094},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=D462NTL5V4L1ACJ0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bodirsky-Gropl-Kang/03,
AUTHOR = {Bodirsky, Manuel and Gr{\"o}pl, Clemens and Kang, Mihyun},
TITLE = {Generating labeled planar graphs uniformly at random},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {1095-1107},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=DP567TE2DA8910EX},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Crescenzi-Gambosi-Nicosia-Penna-Unger/03,
AUTHOR = {Crescenzi, Pilu and Gambosi, Giorgio and Nicosia, Gaia and Penna, Paolo and Unger, Walter},
TITLE = {Online load balancing made simple: Greedy strikes back},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {1108-1122},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=6EB6RQW5BHGE0F9Q},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Naor-Shachnai-Tamir/03,
AUTHOR = {Naor, Joseph (Seffi) and Shachnai, Hadas and Tamir, Tami},
TITLE = {Real-time scheduling with a budget},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {1123-1137},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=JL3UYKN2TYD98BK4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Dean-Goemans/03,
AUTHOR = {Dean, Brian C. and Goemans, Michel X.},
TITLE = {Improved approximation algorithms for minimum-space advertisement scheduling},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {1138-1152},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=4Y7R9B6L364QNN7F},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Awerbuch-Brinkmann-Scheideler/03,
AUTHOR = {Awerbuch, Baruch and Brinkmann, Andr{\'e} and Scheideler, Christian},
TITLE = {Anycasting in adversarial systems: Routing and admission control},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {1153-1168},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
KEYWORDS = {adversarial routing, anycasting, online algorithms, load balancing, dynamic networks},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=FNFVRXWWVE23WK24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bespamyatnikh-Segal/03,
AUTHOR = {Bespamyatnikh, Sergei and Segal, Michael},
TITLE = {Dynamic algorithms for approximating interdistances},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {1169-1180},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=7JAVQ3PTD626BYG5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Cieliebak-Flocchini-Prencipe-Santoro/03,
AUTHOR = {Cieliebak, Mark and Flocchini, Paola and Prencipe, Giuseppe and Santoro, Nicola},
TITLE = {Solving the robots gathering problem},
BOOKTITLE = {Proceedings of the 30th International Colloquium on Automata, Languages and Programming, ICALP'2003 (Eindhoven, The Netherlands, June 30 - July 4, 2003)},
SERIES = {LNCS},
VOLUME = {2719},
PAGES = {1181-1196},
YEAR = {2003},
EDITOR = {Baeten, Jos C.M. and Lenstra, Jan Karel and Parrow, Joachim and Woeginger, Gerhard J.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=GRPWQDALLBPE5QBH},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}