@incollection{Papadimitriou/01,
AUTHOR = {Papadimitriou, Christos H.},
TITLE = {Algorithms, games, and the Internet},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {1-3},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=VMW7YXUKBPKA6EX4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Trakhtenbrot/01,
AUTHOR = {Trakhtenbrot, Boris A.},
TITLE = {Automata, circuits, and hybrids: Facets of continuous time},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {4-23},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=AWND30MRDUH8153K},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bouajjani/01,
AUTHOR = {Bouajjani, Ahmed},
TITLE = {Languages, rewriting systems, and verification of infinite-state systems},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {24-39},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=QK8JJBU50ABNX78F},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Grosse-Rhode/01,
AUTHOR = {Gro{\ss}e-Rhode, Martin},
TITLE = {Integrating semantics for object-oriented system models},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {40-60},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=BPVCYMPM7DH3TP3E},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Nielsen/01,
AUTHOR = {Nielsen, Mogens},
TITLE = {Modelling with partial orders --- Why and why not?},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {61-63},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=D83LEBQMLYF3231H},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Wegener/01,
AUTHOR = {Wegener, Ingo},
TITLE = {Theoretical aspects of evolutionary algorithms},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {64-78},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=4JU5LF1Y3K70U2AV},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Blaser/01a,
AUTHOR = {Bl{\"a}ser, Markus},
TITLE = {Improvements of the Alder-Strassen bound: Algebras with nonzero radical},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {79-91},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=638DBUNMH45FTYPU},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Boros-Elbassioni-Gurvich-Khachiyan-Makino/01,
AUTHOR = {Boros, E. and Elbassioni, K. and Gurvich, V. and Khachiyan, L. and Makino, K.},
TITLE = {On generating all minimal integer solutions for a monotone system of linear inequalities},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {92-103},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
KEYWORDS = {integer programming, complexity of incremental algorithms, dualization, quasi-polynomial time, monotone discrete binary functions, monotone inequalities, regular discrete functions},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=FBXC81DPYLAXVM5J},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Hesse/01,
AUTHOR = {Hesse, William},
TITLE = {Division is in uniform $TC^o$},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {104-114},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=4NAU7VBKXCNKQ1VN},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Agarwal-Arge-Procopiuc-Vitter/01,
AUTHOR = {Agarwal, Pankaj K. and Arge, Lars and Procopiuc, Octavian and Vitter, Jeffrey Scott},
TITLE = {A framework for index bulk loading and dynamization},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {115-127},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=1MN3XDDNP7JTD34P},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bilardi-Peserico/01,
AUTHOR = {Bilardi, Gianfranco and Peserico, Enoch},
TITLE = {A characterization of temporal locality and its portability across memory hierarchies},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {128-139},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=21RHN5URJQN1KJWY},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Brodal-Fagerberg-Pedersen-Ostlin/01,
AUTHOR = {Brodal, Gerth St{\o}lting and Fagerberg, Rolf and Pedersen, Christian N.S. and {\"O}stlin, Anna},
TITLE = {The complexity of constructing evolutionary trees using experiments},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {140-151},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=64WJ4TU3JNWQC5BP},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Flajolet-Guivarch-Szpankowski-Vallee/01,
AUTHOR = {Flajolet, Philippe and Guivarc'h, Yves and Szpankowski, Wojciech and Vall{\'e}e, Brigitte},
TITLE = {Hidden pattern statistics},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {152-165},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9KQDP8RBM31JU2PM},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Sadakane-Takki-Chebihi-Tokuyama/01,
AUTHOR = {Sadakane, Kunihiko and Takki-Chebihi, Nadia and Tokuyama, Takeshi},
TITLE = {Combinatorics and algorithms on low-discrepancy roundings of a real sequence},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {166-177},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=L03M54408RCKU7MC},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Tiskin/01,
AUTHOR = {Tiskin, Alexandre},
TITLE = {All-pairs shortest paths computation in the BSP model},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {178-189},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=RXCENHUL4DRNTHX0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Chazelle-Rubinfeld-Trevisan/01,
AUTHOR = {Chazelle, Bernard and Rubinfeld, Ronitt and Trevisan, Luca},
TITLE = {Approximating the minimum spanning tree weight in sublinear time},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {190-200},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=4B9QF9X7WRL7BTBR},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Engebretsen-Karpinski/01,
AUTHOR = {Engebretsen, Lars and Karpinski, Marek},
TITLE = {Approximation hardness of TSP with bounded metrics},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {201-212},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=PP2J687V7HAAJA2L},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Feige-Langberg/01a,
AUTHOR = {Feige, Uriel and Langberg, Michael},
TITLE = {The $RPR^2$ rounding technique for semidefinite programs},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {213-224},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=KMV0GMH08YFHGK7U},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Gandhi-Khuller-Srinivasan/01,
AUTHOR = {Gandhi, Rajiv and Khuller, Samir and Srinivasan, Aravind},
TITLE = {Approximation algorithms for partial covering problems},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {225-236},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
KEYWORDS = {approximation algorithms, partial covering, set cover, vertex cover, primal-dual methods, randomized rounding},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=RMQCVU3FUC9V0BY0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Seiden/01,
AUTHOR = {Seiden, Steven S.},
TITLE = {On the online bin packing problem},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {237-248},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
KEYWORDS = {bin packing, online algorithms},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=7VCXQATTEM1JTW5H},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Thorup/01,
AUTHOR = {Thorup, Mikkel},
TITLE = {Quick $k$-median, $k$-center, and facility location for sparse graphs},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {249-260},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=LHPLMBHQVBW5GUXD},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Alber-Fernau-Niedermeier/01,
AUTHOR = {Alber, Jochen and Fernau, Henning and Niedermeier, Rolf},
TITLE = {Parameterized complexity: Exponential speed-up for planar graph problems},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {261-272},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=Q4TQC9LJWHVFDVMJ},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Cai-Juedes/01,
AUTHOR = {Cai, Liming and Juedes, David},
TITLE = {Subexponential parameterized algorithms collapse the $W$-hierarchy},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {273-284},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=LF50CGDBXRJDET5R},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Chakrabarti-Khot/01,
AUTHOR = {Chakrabarti, Amit and Khot, Subhash},
TITLE = {Improved lower bounds on the randomized complexity of graph properties},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {285-296},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
KEYWORDS = {decision tree complexity, monotone graph properties, randomized complexity, randomized algorithms, graph packing, probabilistic method},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=1D44C1YP73W2Y287},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Dodis/01,
AUTHOR = {Dodis, Yevgeniy},
TITLE = {New imperfect random source with applications to coin-flipping},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {297-309},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=3W06H7VGNFHXAMTW},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Friedman-Goerdt/01,
AUTHOR = {Friedman, Joel and Goerdt, Andreas},
TITLE = {Recognizing more unsatisfiable random 3-SAT instances efficiently},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {310-321},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=D7KU9VK18Y3XWVKH},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Furer/01,
AUTHOR = {F{\"u}rer, Martin},
TITLE = {Weisfeiler-Lehman refinement requires at least a linear number of iterations},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {322-333},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
KEYWORDS = {graph isomorphism testing, Weisfeiler-Lehman refinement, games, descriptive complexity},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=14LG8RYYMWLXERKC},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Goldreich-Vadhan-Wigderson/01,
AUTHOR = {Goldreich, Oded and Vadhan, Salil and Wigderson, Avi},
TITLE = {On interactive proofs with a laconic prover},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {334-345},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
KEYWORDS = {interactive proofs, Arthur-Merlin games, sampling protocols, statistical zero knowledge, game theory},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=H02BFN812RVGWYLB},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Hoyer-Neerbek-Shi/01,
AUTHOR = {H{\o}yer, Peter and Neerbek, Jan and Shi, Yaoyun},
TITLE = {Quantum complexities of ordered searching, sorting, and element distinctness},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {346-357},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=0YBN6V2NYWVTKPUA},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Sen-Venkatesh/01,
AUTHOR = {Sen, Pranab and Venkatesh, S.},
TITLE = {Lower bounds in the quantum cell probe model},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {358-369},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=3ERU31XQKGBYB35D},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bandini-Segala/01,
AUTHOR = {Bandini, Emanuele and Segala, Roberto},
TITLE = {Axiomatizations for probabilistic bisimulation},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {370-381},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=LAEYHHFFBFB3A71H},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Boudol-Castellani/01,
AUTHOR = {Boudol, G{\'e}rard and Castellani, Ilaria},
TITLE = {Noninterference for concurrent programs},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {382-395},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=JVG0R5L711RVDH3H},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Madhusudan-Thiagarajan/01,
AUTHOR = {Madhusudan, P. and Thiagarajan, P.S.},
TITLE = {Distributed controller synthesis for local specifications},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {396-407},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9LFFYNJXHD42F50R},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Sangiorgi-Valente/01,
AUTHOR = {Sangiorgi, Davide and Valente, Andrea},
TITLE = {A distributed abstract machine for safe ambients},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {408-420},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=5CGKRKQ766V9LA52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{van_Breugel-Worrell/01,
AUTHOR = {van Breugel, Franck and Worrell, James},
TITLE = {Towards quantitative verification of probabilistic transition systems},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {421-432},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=H79L6E81RE7479V5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Li-Nakano/01,
AUTHOR = {Li, Zhangjian and Nakano, Shin-ichi},
TITLE = {Efficient generation of plane triangulations without repetitions},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {433-443},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=6DV3Y4XBUGWPKTYY},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lin-Chen-Jiang-Wen/01,
AUTHOR = {Lin, Guo-Hui and Chen, Zhi-Zhong and Jiang, Tao and Wen, Jianjun},
TITLE = {The longest common subsequence problem for sequences with nested arc annotations},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {444-455},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=FKH0AK5Q9FRPFG61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Park-Lee-Chwa/01,
AUTHOR = {Park, Sang-Min and Lee, Jae-Ha and Chwa, Kyung-Yong},
TITLE = {Visibility-based pursuit-evasion in a polygonal region by a searcher},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {456-468},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=AQF6M6APBJ67M78B},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Roura/01b,
AUTHOR = {Roura, Salvador},
TITLE = {A new method for balancing binary search trees},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {469-480},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=D9191WJE6J4RQR4B},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Cormode-Muthukrishnan-Sahinalp/01,
AUTHOR = {Cormode, Graham and Muthukrishnan, S. and {\d{S}}ahinalp, S{\"u}leyman Cenk},
TITLE = {Permutation editing and matching via embeddings},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {481-492},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=HF0VWUH0RCYUJUG1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Czumaj-Sohler/01,
AUTHOR = {Czumaj, Artur and Sohler, Christian},
TITLE = {Testing hypergraph coloring},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {493-505},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=8DX087WYCGEYNAL5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Isobe-Zhou-Nishizeki/01,
AUTHOR = {Isobe, Shuji and Zhou, Xiao and Nishizeki, Takao},
TITLE = {Total colorings of degenerated graphs},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {506-517},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=0EPGCW6154V317EF},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Margara-Simon/01,
AUTHOR = {Margara, Luciano and Simon, Janos},
TITLE = {Decidable properties of graphs of all-optical networks},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {518-529},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=WV49W6G6BV56B2PY},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Mustafa-Pekec/01,
AUTHOR = {Mustafa, Nabil H. and Peke{\v{c}}, Aleksandar},
TITLE = {Majority consensus and the local majority rule},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {530-542},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=K25FXH3LLPRUPKWK},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Diekert-Muscholl/01,
AUTHOR = {Diekert, Volker and Muscholl, Anca},
TITLE = {Solvability of equations in free partially commutative groups is decidable},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {543-554},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=C1GRV4HQ4HBMN7DA},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Droste-Zhang/01,
AUTHOR = {Droste, Manfred and Zhang, Guo-Qiang},
TITLE = {Rational transformations of formal power series},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {555-566},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
KEYWORDS = {formal power series, rational languages, recognizable languages, weighted finite automata},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=00YABNBEM9PU7WT0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Ferenczi-Holton-Zamboni/01,
AUTHOR = {Ferenczi, S{\'e}bastien and Holton, Charles and Zamboni, Luca Q.},
TITLE = {Combinatorics of three-interval exchanges},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {567-578},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=6QT5AEK1RNF2D3UJ},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Harju-Ibarra-Karhumaki-Salomaa/01,
AUTHOR = {Harju, Tero and Ibarra, Oscar and Karhum{\"a}ki, Juhani and Salomaa, Arto},
TITLE = {Decision questions concerning semilinearity, morphisms, and commutation of languages},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {579-590},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
KEYWORDS = {reversal-bounded counters, context-free languages, combinatorics on words, commutation of languages, morphisms},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=HY8RF08MELHKP5V3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kirsten/01,
AUTHOR = {Kirsten, Daniel},
TITLE = {The star problem in trace monoids: Reductions beyond $C4$},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {591-602},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=EEHYYD6UXL490P0Y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kunc/01,
AUTHOR = {Kunc, Michal},
TITLE = {The trace coding problem is undecidable},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {603-614},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=WJX75D8VJCC65A9L},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Rivals-Rahmann/01,
AUTHOR = {Rivals, Eric and Rahmann, Sven},
TITLE = {Combinatorics of periods in strings},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {615-626},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=5JY1F8BCMK6R4RG3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Shankar-Kumar-Singh-Rajan/01,
AUTHOR = {Shankar, Priti and Kumar, P.N.A. and Singh, Harmeet and Rajan, B.S.},
TITLE = {Minimal tail-biting trellises for certain cyclic block codes are easy to construct},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {627-638},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
KEYWORDS = {linear block codes, cyclic codes, Reed-Solomon codes, tail-biting trellises},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=KV9ECX9CJY37XRFM},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Abdulla-Boasson-Bouajjani/01,
AUTHOR = {Abdulla, Parosh Aziz and Boasson, Luc and Bouajjani, Ahmed},
TITLE = {Effective lossy queue languages},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {639-651},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=M9XB97EADXDHB6HK},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Benedikt-Godefroid-Reps/01,
AUTHOR = {Benedikt, Michael and Godefroid, Patrice and Reps, Thomas},
TITLE = {Model checking of unrestricted hierarchical state machines},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {652-666},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=QHRM69MV6XUM2D12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Boreale/01,
AUTHOR = {Boreale, Michele},
TITLE = {Symbolic trace analysis of cryptographic protocols},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {667-681},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
KEYWORDS = {spi-calculus, concurrency, formal methods for security protocols},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=HMCR5V92UT57WH44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Comon-Cortier-Mitchell/01,
AUTHOR = {Comon, Hubert and Cortier, V{\'e}ronique and Mitchell, John},
TITLE = {Tree automata with one memory, set constraints, and ping-pong protocols},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {682-693},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9YD03A0BY96V148D},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Etessami-Wilke-Schuller/01,
AUTHOR = {Etessami, Kousha and Wilke, Thomas and Schuller, Rebecca A.},
TITLE = {Fair simulation relations, parity games, and state space reduction for B{\"u}chi automata},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {694-707},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=FQV3T1N6L107YFU5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Gottlob-Pichler/01a,
AUTHOR = {Gottlob, Georg and Pichler, Reinhard},
TITLE = {Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {708-719},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=D7V7V8A75A0QB4RP},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Muscholl-Peled/01,
AUTHOR = {Muscholl, Anca and Peled, Doron},
TITLE = {From finite state communication protocols to high-level message sequence charts},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {720-731},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
KEYWORDS = {message sequence charts, specification, HMSC, bounded automata, partial order specification},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=05Y04YW9E6QK5CW9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Caragiannis-Ferreira-Kaklamanis-Perennes-Rivano/01,
AUTHOR = {Caragiannis, Ioannis and Ferreira, Afonso and Kaklamanis, Christos and P{\'e}rennes, St{'e}phane and Rivano, Herv{\'e}},
TITLE = {Fractional path coloring with applications to WDM networks},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {732-743},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=2VPDT22YRUU6J0YF},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Cohen-Halperin-Kaplan/01,
AUTHOR = {Cohen, Edith and Halperin, Eran and Kaplan, Haim},
TITLE = {Performance aspects of distributed caches using TTL-based consistency},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {744-756},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=0QNA21LKU9U2KM41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Fraigniaud-Gavoille/01,
AUTHOR = {Fraigniaud, Pierre and Gavoille, Cyril},
TITLE = {Routing in trees},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {757-772},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
KEYWORDS = {compact routing, trees, routing algorithms},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=XMNN1RWJWXPNGUKA},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Havill/01,
AUTHOR = {Havill, Jessen T.},
TITLE = {Online packet routing on linear arrays and rings},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {773-784},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=0GRKWNNNMECPLHPJ},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Sibeyn/01,
AUTHOR = {Sibeyn, Jop F.},
TITLE = {Faster gossiping on butterflies},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {785-796},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=L830GAYT8VAWNYG7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Alur-Etessami-Yannakakis/01,
AUTHOR = {Alur, Rajeev and Etessami, Kousha and Yannakakis, Mihalis},
TITLE = {Realizability and verification of MSC graphs},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {797-808},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=FEQHMBMYGR6DYPBT},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Madhusudan/01,
AUTHOR = {Madhusudan, P.},
TITLE = {Reasoning about sequential and branching behaviours of message sequence graphs},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {809-820},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=D8794XV92T4GLALQ},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Maier/01,
AUTHOR = {Maier, Patrick},
TITLE = {A set-theoretic framework for assume-guarantee reasoning},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {821-834},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=A2Q0RXR3Q7MH39RJ},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Viswanathan-Viswanathan/01,
AUTHOR = {Viswanathan, Mahesh and Viswanathan, Ramesh},
TITLE = {Foundations for circular compositional reasoning},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {835-847},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=CV8UECVE525J66HQ},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Chekuri-Khanna/01,
AUTHOR = {Chekuri, Chandra and Khanna, Sanjeev},
TITLE = {A PTAS for minimizing weighted completion time on uniformly related machines},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {848-861},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
KEYWORDS = {polynomial time approximation scheme, average completion time, scheduling, uniformly related machines, weighted completion time},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=79JLDNY104KQL760},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Chrobak-Csirik-Imreh-Noga-Sgall-Woeginger/01,
AUTHOR = {Chrobak, Marek and Csirik, J{\'a}nos and Imreh, Csan{\'a}d and Noga, John and Sgall, Ji{\v{r}}{\'{i}} and Woeginger, Gerhard J.},
TITLE = {The buffer minimization problem for multiprocessor scheduling with conflicts},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {862-874},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=7QETHAQPQ02CLL8Q},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Fishkin-Jansen-Porkolab/01,
AUTHOR = {Fishkin, Aleksei V. and Jansen, Klaus and Porkolab, Lorant},
TITLE = {On minimizing average weighted completion time of multiprocessor tasks with release dates},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {875-886},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=0XEGQ6V95MT778TP},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Woeginger/01b,
AUTHOR = {Woeginger, Gerhard J.},
TITLE = {On the approximability of average completion time scheduling under precedence constraints},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {887-897},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=41EQ2FNA13JC52E2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Baum-Waidner/01,
AUTHOR = {Baum-Waidner, Birgit},
TITLE = {Optimistic asynchronous multi-party contract signing with reduced number of rounds},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {898-911},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=89YG6FR6FKH1WUV9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Beimel-Ishai/01,
AUTHOR = {Beimel, Amos and Ishai, Yuval},
TITLE = {Information-theoretic private information retrieval: A unified construction},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {912-926},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=JNHT3LCMUA2ENRMH},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Feigenbaum-Ishai-Malkin-Nissim-Strauss-Wright/01,
AUTHOR = {Feigenbaum, Joan and Ishai, Yuval and Malkin, Tal and Nissim, Kobbi and Strauss, Martin J. and Wright, Rebecca N.},
TITLE = {Secure multiparty computation of approximations},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {927-938},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=CPQ5T97VRYMQ7Q3N},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kiayias-Yung/01,
AUTHOR = {Kiayias, Aggelos and Yung, Moti},
TITLE = {Secure games with polynomial expressions},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {939-950},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=4QEA1MF8JQ33EC0R},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bofill-Godoy/01,
AUTHOR = {Bofill, Miquel and Godoy, Guillem},
TITLE = {On the completeness of arbitrary selection strategies for paramodulation},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {951-962},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
KEYWORDS = {automated deduction},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=A3FALV6H4Y9TWHD4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Honsell-Miculan-Scagnetto/01,
AUTHOR = {Honsell, Furio and Miculan, Marino and Scagnetto, Ivan},
TITLE = {An axiomatic approach to metareasoning on nominal algebras in HOAS},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {963-978},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
KEYWORDS = {higher-order abstract syntax, induction, logical frameworks},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=AHNKFAB1P6198TH1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Korovin-Voronkov/01,
AUTHOR = {Korovin, Konstantin and Voronkov, Andrei},
TITLE = {Knuth-Bendix constraint solving is $NP$-complete},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {979-992},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=HBFWLRBT2QG814FB},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Schroder-Mossakowski-Tarlecki/01,
AUTHOR = {Schr{\"o}der, Lutz and Mossakowski, Till and Tarlecki, Andrzej},
TITLE = {Amalgamation in CASL via enriched signatures},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {993-1004},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=69DPWLB7FLJ82AXD},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Atserias-Bonet-Esteban/01,
AUTHOR = {Atserias, Albert and Bonet, Mar{\'{i}}a Luisa and Esteban, Juan Luis},
TITLE = {Lower bounds for the weak pigeonhole principle beyond resolution},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {1005-1016},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=74YXGK1T6ARVJYMD},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Buhrman-Tromp-Vitanyi/01,
AUTHOR = {Buhrman, Harry and Tromp, John and Vit{\'a}nyi, Paul},
TITLE = {Time and space bounds for reversible simulation},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {1017-1027},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=JTR5L2K6MM6F85H5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Dai-Lathrop-Lutz-Mayordomo/01,
AUTHOR = {Dai, Jack J. and Lathrop, James I. and Lutz, Jack H. and Mayordomo, Elvira},
TITLE = {Finite-state dimension},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {1028-1039},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=DP7R69U1CMLLBML6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Hemaspaandra-Kosub-Wagner/01,
AUTHOR = {Hemaspaandra, Lane A. and Kosub, Sven and Wagner, Klaus W.},
TITLE = {The complexity of computing the size of an interval},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {1040-1051},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=903M8VJNCTMKPMD4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Jurdzinski-Kutylowski/01,
AUTHOR = {Jurdzi{\'n}ski, Tomasz and Kuty{\l}owski, Miros{\l}aw},
TITLE = {Communication gap for finite memory devices},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {1052-1064},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=41KLV57VW25Y8TDU},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Servedio/01a,
AUTHOR = {Servedio, Rocco A.},
TITLE = {Separating quantum and classical learning},
BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)},
SERIES = {LNCS},
VOLUME = {2076},
PAGES = {1065-1080},
YEAR = {2001},
EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=UCN76WJTUCTV55X8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}