@incollection{Backes-Pfitzmann/03,
AUTHOR = {Backes, Michael and Pfitzmann, Birgit},
TITLE = {A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {1-12},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/xab6u4b6e5rbfapb},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Baltz-Jager-Srivastav/03,
AUTHOR = {Baltz, Andreas and J{\"a}ger, Gerold and Srivastav, Anand},
TITLE = {Constructions of sparse asymmetric connectors},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {13-22},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/fht2m6jxc4tlt6rk},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Biri-Galmiche/03,
AUTHOR = {Biri, Nicolas and Galmiche, Didier},
TITLE = {A separation logic for resource distribution},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {23-37},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/81bg33cwj9n8eew5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Black-Cremet-Guerraoui-Odersky/03,
AUTHOR = {Black, Andrew P. and Cremet, Vincent and Guerraoui, Rachid and Odersky, Martin},
TITLE = {An equational theory for transactions},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {38-49},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/4vrtn856vvmrlm5g},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bloom-Esik/03,
AUTHOR = {Bloom, Stephen L. and {\'E}sik, Zolt{\'a}n},
TITLE = {Axioms for regular words},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {50-61},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/dvkubpthgdak1918},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bojanczyk/03,
AUTHOR = {Boja{\~n}czyk, Miko{\l}aj},
TITLE = {1-bounded TWA cannot be determinized},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {62-73},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/3xx6exjy32jgwt9x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bouajjani-Touili/03,
AUTHOR = {Bouajjani, Ahmed and Touili, Tayssir},
TITLE = {Reachability analysis of process rewrite systems},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {74-87},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/ermt2y5yggpd4ddy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bouquet-Serre-Walukiewicz/03,
AUTHOR = {Bouquet, Alexis-Julien and Serre, Oliver and Walukiewicz, Igor},
TITLE = {Pushdown games with unboundedness and regular conditions},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {88-99},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/3wapbmpb24klwnvb},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bruyere-Raskin/03,
AUTHOR = {Bruy{\`e}re, V{\'e}ronique and Raskin, Jean-Fran{\c{c}}ois},
TITLE = {Real-time model-checking: Parameters everywhere},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {100-111},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/ehy6t74f859anvhn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Carayol-Wohrle/03,
AUTHOR = {Carayol, Arnaud and W{\"o}hrle, Stefan},
TITLE = {The Caucal hierarchy of infinite graphs in terms of logic and higher-order pushdown automata},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {112-123},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/kyq5d77erp0692lq},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chevalier-Kusters-Rusinowitch-Turuani/03,
AUTHOR = {Chevalier, Yannick and K{\"u}sters, Ralf and Rusinowitch, Micha{\"e}l and Turuani, Mathieu},
TITLE = {Deciding the security of protocols with Diffie-Hellman exponentiation and products in exponents},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {124-135},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/fhgv83ydw2bagdkl},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Coquery-Fages/03,
AUTHOR = {Coquery, Emmanuel and Fages, Fran{\c{c}}ois},
TITLE = {Subtyping constraints in quasi-lattices},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {136-148},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/tv9elqwmyhe0vjxy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Devanur-Vazirani/03,
AUTHOR = {Devanur, Nikhil R. and Vazirani, Vijay V.},
TITLE = {An improved approximation scheme for computing Arrow-Debreu prices for the linear case},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {149-155},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/yy0e0v7e7k7xmdlw},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Diekert-Lohrey/03,
AUTHOR = {Diekert, Volker and Lohrey, Markus},
TITLE = {Word equations over graph products},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {156-167},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/h80jjh4c0pdl1rw6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Dubhashi-Laura-Panconesi/03,
AUTHOR = {Dubhashi, Devdatt and Laura, Luigi and Panconesi, Alessandro},
TITLE = {Analysis and experimental evaluation of a simple algorithm for collaborative filtering in planted partition models},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {168-182},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/mur3kft6h4pxaxek},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ergun-Muthukrishnan-Sahinalp/03,
AUTHOR = {Ergun, Funda and Muthukrishnan, S. and Sahinalp, S. Cenk},
TITLE = {Comparing sequences with segment rearrangements},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {183-194},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/t8my1ddhyqcgkhe1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Esik-Weil/03,
AUTHOR = {{\'E}sik, Zolt{\'a}n and Weil, Pascal},
TITLE = {On logically defined recognizable tree languages},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {195-207},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/tk3eg5rj068n2u18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bryant/03,
AUTHOR = {Bryant, Randal E.},
TITLE = {Reasoning about infinite state systems using Boolean methods},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {399-407},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/dcw2bf8nebdxvf7v},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Cai-Watanabe/03a,
AUTHOR = {Cai, Jin-Yi and Watanabe, Osamu},
TITLE = {Stringent relativization},
BOOKTITLE = {Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2003 (Mumbai, India, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2914},
PAGES = {408-419},
YEAR = {2003},
EDITOR = {Pandya, Paritosh K. and Radhakrishnan, Jaikumar},
URL = {http://www.springerlink.com/content/8ravdf0uy5uwf59g},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chun-Sadakane-Tokuyama/03,
AUTHOR = {Chun, Jinhee and Sadakane, Kunihiko and Tokuyama, Takeshi},
TITLE = {Linear time algorithm for approximating a curve by a single-peaked curve},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {6-15},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/cvbp34py3lq3y21f},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Daescu-Mi/03,
AUTHOR = {Daescu, Ovidiu and Mi, Ningfang},
TITLE = {Polygonal path approximation: A query based approach},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {36-46},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/9hhr8g5c3uqdwpec},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Berry-Heggernes-Villanger/03,
AUTHOR = {Berry, Anne and Heggernes, Pinar and Villanger, Yngve},
TITLE = {A vertex incremental approach for dynamically maintaining chordal graphs},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {47-57},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/jduh83uw62u84y4y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Beigel-Fortnow-Stephan/03,
AUTHOR = {Beigel, Richard and Fortnow, Lance and Stephan, Frank},
TITLE = {Infinitely-often autoreducible sets},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {98-107},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/pbprbxp2mmnk5cnq},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chen-Kanj-Xia/03,
AUTHOR = {Chen, Jianer and Kanj, Iyad A. and Xia, Ge},
TITLE = {Labeled search trees and amortized analysis: Improved upper bounds for $NP$-hard problems},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {148-157},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/ff8el81e8cnc9p2j},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Arvind-Schuler/03,
AUTHOR = {Arvind, V. and Schuler, Rainer},
TITLE = {The quantum query complexity of 0-1 knapsack and associated claw problems},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {168-177},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/d7cgb3dkjjcy2qm9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Elmasry/03a,
AUTHOR = {Elmasry, Amr},
TITLE = {Three sorting algorithms using priority queues},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {209-220},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/tjda5prmw6k1w5b7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ebbers-Baumann-Grune-Klein/03,
AUTHOR = {Ebbers-Baumann, Annette and Gr{\"u}ne, Ansgar and Klein, Rolf},
TITLE = {On the geometric dilation of finite point sets},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {250-259},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/3t1u6tn3n7tej6xm},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Cheong-Haverkort-van_der_Stappen/03,
AUTHOR = {Cheong, Jae-Sook and Haverkort, Herman J. and van der Stappen, A. Frank},
TITLE = {On computing all immobilizing grasps of a simple polygon with few contacts},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {260-269},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/2pxaxbb5p88tewhy},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Diaz-Banez-Hurtado-Lopez-Sellares/03,
AUTHOR = {D{\'{i}}az-B{\'a}{\~n}ez, Jos{\'e} Miguel and Hurtado, Ferran and L{\'o}pez, Mario Alberto and Sellar{\`e}s, J. Antoni},
TITLE = {Optimal point set projections onto regular grids},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {270-279},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/lhn5q3u49w1k89uf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Eisenbrand-Laue/03,
AUTHOR = {Eisenbrand, Friedrich and Laue, S{\"o}ren},
TITLE = {A faster algorithm for two-variable integer programming},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {290-299},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/33ag38wgudv2jbyb},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Dumitrescu/03,
AUTHOR = {Dumitrescu, Adrian},
TITLE = {Efficient algorithms for generation of combinatorial covering suites},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {300-308},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/nrrklhh8g83jf8pk},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fishkin-Jansen-Mastrolilli/03,
AUTHOR = {Fishkin, Aleksei V. and Jansen, Klaus and Mastrolilli, Monaldo},
TITLE = {On minimizing average weighted completion time: A PTAS for the job shop problem with release dates},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {319-328},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/hqnpmaq0vxmy0kwf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Elias/03,
AUTHOR = {Elias, Isaac},
TITLE = {Settling the intractability of multiple alignment},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {352-363},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/ftjcay6x7g9xrb0v},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Dai-Su/03,
AUTHOR = {Dai, H.K. and Su, H.C.},
TITLE = {On the locality properties of space-filling curves},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {385-394},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/bmfa6jp228c3jhmx},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Demaine-Langerman-ORourke/03,
AUTHOR = {Demaine, Erik D. and Langerman, Stefan and O'Rourke, Joseph},
TITLE = {Geometric restrictions on producible polygonal protein chains},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {395-404},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/ubmryhh51wm9gc5k},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chlebik-Chlebikova/03,
AUTHOR = {Chleb{\'{i}}k, Miroslav and Chleb{\'{i}}kov{\'a}, Janka},
TITLE = {Approximation hardness of minimum edge dominating set and minimum maximal matching},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {415-424},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/etql9152cpkp9vyc},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bazgan-Tuza-Vanderpooten/03,
AUTHOR = {Bazgan, Cristina and Tuza, Zsolt and Vanderpooten, Daniel},
TITLE = {On the existence and determination of satisfactory partitions in a graph},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {444-453},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/915lg8weefl0h8lt},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Altman-Igarashi-Omori/03,
AUTHOR = {Altman, Tom and Igarashi, Yoshihide and Omori, Michiko},
TITLE = {A turn function scheme realized in the asynchronous single-writer/multi-reader shared memory model},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {454-463},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/fj8p37f346v1p46b},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Abraham-Irving-Manlove/03,
AUTHOR = {Abraham, David J. and Irving, Robert W. and Manlove, David F.},
TITLE = {The student-project allocation problem},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {474-484},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/ramkbbmrp4eq9h8d},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Boros-Elbassioni-Gurvich-Khachiyan/03a,
AUTHOR = {Boros, Endre and Elbassioni, Khaled and Gurvich, Vladimir and Khachiyan, Leonid},
TITLE = {Algorithms for enumerating circuits in matroids},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {485-494},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/9wb9c9l3b0q842pq},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Eguchi-Fujishige-Tamura/03,
AUTHOR = {Eguchi, Akinobu and Fujishige, Satoru and Tamura, Akihisa},
TITLE = {A generalized Gale-Shapley algorithm for a discrete-concave stable-marriage model},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {495-504},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/0x35r5adgwd22v66},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Cicalese-Deppe/03,
AUTHOR = {Cicalese, Ferdinando and Deppe, Christian},
TITLE = {Quasi-perfect minimally adaptive $q$-ary search with unreliable tests},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {527-536},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/q6nlh59cptukful5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gagie/03,
AUTHOR = {Gagie, Travis},
TITLE = {New ways to construct binary search trees},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {537-543},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/7t0qhxr49n4ryrkg},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Czumaj-Lingas-Nilsson/03,
AUTHOR = {Czumaj, Artur and Lingas, Andrzej and Nilsson, Johan},
TITLE = {Improved approximation algorithms for optimization problems in graphs with superlogarithmic treewidth},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {544-553},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/e56ch6b4pu5pvu95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Barbay-Kenyon/03,
AUTHOR = {Barbay, J{\'e}r{\'e}my and Kenyon, Claire},
TITLE = {Deterministic algorithm for the $t$-threshold set problem},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {575-584},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/aaraj8yd61gb5ld4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Caragiannis-Kaklamanis-Kanellopoulos/03a,
AUTHOR = {Caragiannis, Ioannis and Kaklamanis, Christos and Kanellopoulos, Panagiotis},
TITLE = {Energy-efficient wireless network design},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {585-594},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/mfw9gat83xu4ey2d},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Erlebach-Stefanakos/03a,
AUTHOR = {Erlebach, Thomas and Stefanakos, Stamatis},
TITLE = {Wavelength conversion in shortest-path all-optical networks},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {595-604},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/r7tl3kt4m1338gbe},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Coja-Oghlan-Krumke-Nierhoff/03,
AUTHOR = {Coja-Oghlan, Amin and Krumke, Sven O. and Nierhoff, Till},
TITLE = {A heuristic for the stacker crane problem on trees which is almost surely exact},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {605-614},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/xcyflr6n3q0rxv2c},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Eidenbenz-Pagourtzis-Widmayer/03,
AUTHOR = {Eidenbenz, Stephan and Pagourtzis, Aris and Widmayer, Peter},
TITLE = {Flexible train rostering},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {615-624},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/2jnx3810mxpmtlvb},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Burgisser-Cucker/03,
AUTHOR = {B{\"u}rgisser, Peter and Cucker, Felipe},
TITLE = {Counting complexity classes over the reals I: The additive case},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {625-634},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/f9ubg2clthcn813d},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Di_Crescenzo-Galdi/03,
AUTHOR = {Di Crescenzo, Giovanni and Galdi, Clemente},
TITLE = {Hypergraph decomposition and secret sharing},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {645-654},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/uc6k5pcegd684mx9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Arvind-Kurur/03,
AUTHOR = {Arvind, V. and Kurur, Piyush P.},
TITLE = {Upper bounds on the complexity of some Galois theory problems},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {716-725},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/jexgg9n2c9nwbduq},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fischer-Seifert/03,
AUTHOR = {Fischer, Wieland and Seifert, Jean-Pierre},
TITLE = {Unfolded modular multiplication},
BOOKTITLE = {Proceedings of the 14th International Symposium on Algorithms and Computation, ISAAC'2003 (Kyoto, Japan, December 15-17, 2003)},
SERIES = {LNCS},
VOLUME = {2906},
PAGES = {726-735},
YEAR = {2003},
EDITOR = {Ibaraki, Toshihide and Katoh, Naoki and Ono, Hirotaka},
URL = {http://www.springerlink.com/content/y2gdmn1y87bkf18p},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Brandenburg/03,
AUTHOR = {Brandenburg, Franz J.},
TITLE = {Erratum to ''Cycles in generalized networks''},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {383},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2880&spage=38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
NOTE = {Originally in LNCS, Vol. 2573, 2002, 47-57},
TYPE = {inproceedings},
}
@incollection{Fellows/03a,
AUTHOR = {Fellows, Michael R.},
TITLE = {Blow-ups, win/win's, and crown rules: Some new directions in FPT},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {1-12},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Arbib-Flammini-Marinelli/03,
AUTHOR = {Arbib, Claudio and Flammini, Michele and Marinelli, Fabrizio},
TITLE = {Minimum flow time graph ordering},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {23-33},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Barriere-Fraigniaud-Santoro-Thilikos/03,
AUTHOR = {Barri{\`e}re, Lali and Fraigniaud, Pierre and Santoro, Nicola and Thilikos, Dimitrios M.},
TITLE = {Searching is not jumping},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {34-45},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Becker-Westfechtel/03,
AUTHOR = {Becker, Simon M. and Westfechtel, Bernhard},
TITLE = {Incremental integration tools for chemical engineering: An industrial application of triple graph grammars},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {46-57},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Berry-Heggernes-Simonet/03,
AUTHOR = {Berry, Anne and Heggernes, Pinar and Simonet, Genevi{\`e}ve},
TITLE = {The minimum degree heuristic and the minimal triangulation process},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {58-70},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Berthome-Diallo-Ferreira/03,
AUTHOR = {Berthom{\'e}, Pascal and Diallo, Madiagne and Ferreira, Afonso},
TITLE = {Generalized parametric multi-terminal flows problem},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {71-80},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bonichon-Gavoille-Hanusse/03a,
AUTHOR = {Bonichon, Nicolas and Gavoille, Cyril and Hanusse, Nicolas},
TITLE = {Canonical decomposition of outerplanar maps and application to enumeration, coding, and generation},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {81-92},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bonsma/03,
AUTHOR = {Bonsma, Paul},
TITLE = {The complexity of the matching-cut problem for planar graphs and other graph classes},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {93-105},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Brandstadt-Dragan-Le-Le-Uehara/03,
AUTHOR = {Brandst{\"a}dt, Andreas and Dragan, Feodor F. and Le, Hoang-Oanh and Le, Van Bang and Uehara, Ryuhei},
TITLE = {Tree spanners for bipartite graphs and probe interval graphs},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {106-118},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bretscher-Corneil-Habib-Paul/03,
AUTHOR = {Bretscher, Anna and Corneil, Derek and Habib, Michel and Paul, Christophe},
TITLE = {A simple linear time LexBFS cograph recognition algorithm},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {119-130},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Broersma-Fomin-Golovach-Woeginger/03,
AUTHOR = {Broersma, Hajo and Fomin, Fedor V. and Golovach, Petr A. and Woeginger, Gerhard J.},
TITLE = {Backbone colorings for networks},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {131-142},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Carmi-Erlebach-Okamoto/03,
AUTHOR = {Carmi, Paz and Erlebach, Thomas and Okamoto, Yoshio},
TITLE = {Greedy edge-disjoint paths in complete graphs},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {143-155},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Collberg-Kobourov-Carter-Thomborson/03,
AUTHOR = {Collberg, Christian and Kobourov, Stephen and Carter, Edward and Thomborson, Clark},
TITLE = {Error-correcting graphs for software watermarking},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {156-167},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Cornelsen-Wagner/03,
AUTHOR = {Cornelsen, Sabine and Wagner, Dorothea},
TITLE = {Completely connected clustered graphs},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {168-179},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Dehne-Fellows-Rosamond/03,
AUTHOR = {Dehne, Frank and Fellows, Michael R. and Rosamond, Frances A.},
TITLE = {An FPT algorithm for set splitting},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {180-191},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Di_Ciacomo-Didimo-Liotta-Wismath/03,
AUTHOR = {Di Ciacomo, E. Di and Didimo, W. and Liotta, G. and Wismath, S.K.},
TITLE = {Drawing planar graphs on a curve},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {192-204},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Dujmovic-Wood/03,
AUTHOR = {Dujmovi{\'c}, Vida and Wood, David R.},
TITLE = {Tree-partitions of $k$-trees with applications in graph layout},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {205-217},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Erlebach-Pagourtzis-Potika-Stefanakos/03,
AUTHOR = {Erlebach, Thomas and Pagourtzis, Aris and Potika, Katerina and Stefanakos, Stamatis},
TITLE = {Resource allocation problems in multifiber WDM tree networks},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {218-229},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Faria-de_Figueiredo-Sykora-Vrto/03,
AUTHOR = {Faria, Luerbio and de Figueiredo, Celina M. Herrera and S{\'y}kora, Ondrej and Vrt'o, Imrich},
TITLE = {An improved upper bound on the crossing number of the hypercube},
BOOKTITLE = {Proceedings of the 29th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2003 (Elspeet, The Netherlands, June 19-21, 2003)},
SERIES = {LNCS},
VOLUME = {2880},
PAGES = {230-236},
YEAR = {2003},
EDITOR = {Bodlaender, Hans L.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Chazelle/03,
AUTHOR = {Chazelle, Bernard},
TITLE = {Sublinear computing},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {1-1},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9DE63Y30HBC21FY1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Agarwal-Arge-Yang-Yi/03,
AUTHOR = {Agarwal, Pankaj K. and Arge, Lars and Yang, Jun and Yi, Ke},
TITLE = {I/O-efficient structures for orthogonal range-max and stabbing-max queries},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {7-18},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=H5B4DQA7ADK5T2W9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Alicherry-Bhatia/03,
AUTHOR = {Alicherry, Mansoor and Bhatia, Randeep},
TITLE = {Line system design and a generalized coloring problem},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {19-30},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=H5B4DQA7ADK5T2W9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Archer-Rajagopalan-Shmoys/03,
AUTHOR = {Archer, Aaron and Rajagopalan, Ranjithkumar and Shmoys, David B.},
TITLE = {Lagrangian relaxation for the $k$-median problem: New insights and continuity properties},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {31-42},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=5L28CJ07UQE8MDXM},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bansal-Blum-Chawla-Dhamdhere/03,
AUTHOR = {Bansal, Nikhil and Blum, Avrim and Chawla, Shuchi and Dhamdhere, Kedar},
TITLE = {Scheduling for flow-time with admission control},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {43-54},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=G31XQL0H50GBEX83},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bar-Yehuda-Even-Shahar/03,
AUTHOR = {Bar-Yehuda, Reuven and Even, Guy and Shahar, Shimon (Moni)},
TITLE = {On approximating a geometric prize-collecting Traveling Salesman Problem with time windows},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {55-66},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=V233VGWH56KRWUC4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Becchetti-Leonardi-Marchetti-Spaccamela-Pruhs/03,
AUTHOR = {Becchetti, Luca and Leonardi, Stefano and Marchetti-Spaccamela, Alberto and Pruhs, Kirk},
TITLE = {Semi-clairvoyant scheduling},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {67-77},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=4NUQHVDLRQQXTRYM},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Berg-Jordan/03a,
AUTHOR = {Berg, Alex R. and Jord{\'a}n, Tibor},
TITLE = {Algorithms for graph rigidity and scene analysis},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {78-89},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=7AR8QCM72AF6DBDB},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Biedl-Demaine-Golynski-Horton-Lopez-Ortiz-Poirier-Quimper/03,
AUTHOR = {Biedl, Therese and Demaine, Erik D. and Golynski, Alexander and Horton, Joseph D. and L{\'o}pez-Ortiz, Alejandro and Poirier, Guillaume and Quimper, Claude-Guy},
TITLE = {Optimal dynamic video-on-demand using adaptive broadcasting},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {90-101},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=WCAMUA25MMXE5RCN},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Blumrosen-Nisan-Segal/03a,
AUTHOR = {Blumrosen, Liad and Nisan, Noam and Segal, Ilya},
TITLE = {Multi-player and multi-round auctions with severely bounded communication},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {102-113},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=YXTJN9EQ64NDY7NY},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Calinescu-Kapoor-Olshevsky-Zelikovsky/03,
AUTHOR = {Calinescu, Gruia and Kapoor, Sanjiv and Olshevsky, Alexander and Zelikovsky, Alexander},
TITLE = {Network lifetime and power assignment in ad hoc wireless networks},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {114-126},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=URX4W0RLK628VPW5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Cheong-Goaoc-Na/03,
AUTHOR = {Cheong, Otfried and Goaoc, Xavier and Na, Hyeon-Suk},
TITLE = {Disjoint unit spheres admit at most two line transversals},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {127-135},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=G3V44L99M0RYFKPJ},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chung-Lu/03,
AUTHOR = {Chung, Kai-min and Lu, Hsueh-I},
TITLE = {An optimal algorithm for the maximum-density segment problem},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {136-147},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=J3QLEQ455D9AE6BU},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Cormode-Muthukrishnan/03,
AUTHOR = {Cormode, Graham and Muthukrishnan, S.},
TITLE = {Estimating dominance norms of multiple data streams},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {148-160},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=HNXHG6BY3E3J4DEY},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Damerow-Meyer_auf_der_Heide-Racke-Scheideler-Sohler/03,
AUTHOR = {Damerow, Valentina and Meyer auf der Heide, Friedhelm and R{\"a}cke, Harald and Scheideler, Christian and Sohler, Christian},
TITLE = {Smoothed motion complexity},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {161-171},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9EDXY3R095L5KEPW},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Dessmark-Fraigniaud-Pelc/03,
AUTHOR = {Dessmark, Anders and Fraigniaud, Pierre and Pelc, Andrzej},
TITLE = {Deterministic rendezvous in graphs},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {184-195},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=E990NE4E25P071EN},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Eisenbrand/03,
AUTHOR = {Eisenbrand, Friedrich},
TITLE = {Fast integer programming in fixed dimension},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {196-207},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9W9MV7FCU3DE1U1K},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Emanuel-Fiat/03,
AUTHOR = {Emanuel, Dotan and Fiat, Amos},
TITLE = {Correlation clustering --- Minimizing disagreements on arbitrary weighted graphs},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {208-220},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=7A59247C5J6X06LF},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fomin-Thilikos/03,
AUTHOR = {Fomin, Fedor V. and Thilikos, Dimtirios M.},
TITLE = {Dominating sets and local treewidth},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {221-229},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=6PP0HG7RND12HWPF},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Funke-Matijevic-Sanders/03,
AUTHOR = {Funke, Stefan and Matijevic, Domagoj and Sanders, Peter},
TITLE = {Approximating energy efficient paths in wireless multi-hop networks},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {230-241},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=X7WUXVJ7G5VNP8MA},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Agarwal-Krishnan-Mustafa-Venkatasubramanian/03,
AUTHOR = {Agarwal, Pankaj K. and Krishnan, Shankar and Mustafa, Nabil H. and Venkatasubramanian, Suresh},
TITLE = {Streaming geometric optimization using graphics hardware},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {544-555},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=B0J1VFUC3YL5C4UM},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Boros-Elbassioni-Gurvich-Khachiyan/03,
AUTHOR = {Boros, E. and Elbassioni, K. and Gurvich, V. and Khachiyan, Leonid},
TITLE = {An efficient implementation of a quasi-polynomial algorithm for generating hypergraph transversals},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {556-567},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=7VK4G9PC3U43C8MB},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Brandes-Gaertler-Wagner/03,
AUTHOR = {Brandes, Ulrik and Gaertler, Marco and Wagner, Dorothea},
TITLE = {Experiments on graph clustering algorithms},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {568-579},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=CV8TBJMRHDFLAU3R},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chen-Jiang-Lin-Rizzi-Wen-Xu-Xu/03,
AUTHOR = {Chen, Zhi-Zhong and Jiang, Tao and Lin, Guohui and Rizzi, Romeo and Wen, Jianjun and Xu, Dong and Xu, Ying},
TITLE = {More reliable protein NMR peak assignment via improved 2-interval scheduling},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {580-592},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=08G26PBP8RB5M4LT},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Di_Gaspero-Gartner-Kortsarz-Musliu-Schaerf-Slany/03,
AUTHOR = {Di Gaspero, Luca and G{\"a}rtner, Johannes and Kortsarz, Guy and Musliu, Nysret and Schaerf, Andrea and Slany, Wolfgang},
TITLE = {The minimum shift design problem: Theory and practice},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {593-604},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=J21H103NXP5MNE5F},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Durand-Flajolet/03,
AUTHOR = {Durand, Marianne and Flajolet, Philippe},
TITLE = {Loglog counting of large cardinalities},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {605-617},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=U9M07N21GT0GN0HW},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Eisenbrand-Funke-Reichel-Schomer/03,
AUTHOR = {Eisenbrand, Friedrich and Funke, Stefan and Reichel, Joachim and Sch{\"o}mer, Elmar},
TITLE = {Packing a trunk},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {618-629},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=CEY99HJUF0E67UDW},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fischer-Gartner-Kutz/03,
AUTHOR = {Fischer, Kaspar and G{\"a}rtner, Bernd and Kutz, Martin},
TITLE = {Fast smallest-enclosing-ball computation in high dimensions},
BOOKTITLE = {Proceedings of the 11th Annual European Symposium on Algorithms, ESA'2003 (Budapest, Hungary, September 16-19, 2003)},
SERIES = {LNCS},
VOLUME = {2832},
PAGES = {630-641},
YEAR = {2003},
EDITOR = {Di Battista, Giuseppe and Zwick, Uri},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=056WXHBQL6VTY6AA},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Brassard-Broadbent-Tapp/03,
AUTHOR = {Brassard, Gilles and Broadbent, Anne and Tapp, Alain},
TITLE = {Multi-party pseudo-telepathy},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (Ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {1-11},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/e136v9hxvg8r59kx},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Aichholzer-Aurenhammer-Krasser/03,
AUTHOR = {Aichholzer, Oswin and Aurenhammer, Franz and Krasser, Hannes},
TITLE = {Adapting (pseudo)-triangulations with a near-linear number of edge flips},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {12-24},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/frktqnctdutkv946},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Dey-Giesen-Goswami/03,
AUTHOR = {Dey, Tamal K. and Giesen, Joachim and Goswami, Samrat},
TITLE = {Shape segmentation and matching with flow discretization},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {25-36},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/6qwfh2adqmm60n30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Evans-Smith/03,
AUTHOR = {Evans, Patricia A. and Smith, Andrew D.},
TITLE = {Toward optimal motif enumeration},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {47-58},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/ywe93faaan8ge9vm},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Esfahbod-Ghodsi-Sharifi/03,
AUTHOR = {Esfahbod, Behdad and Ghodsi, Mohammad and Sharifi, Ali},
TITLE = {Common-deadline lazy bureaucrat scheduling problems},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {59-66},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/3udpfgyy5egtpdlr},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Elmasry/03,
AUTHOR = {Elmasry, Amr},
TITLE = {Distribution-sensitive binomial queues},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {103-113},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/p2wgt1hxn395830q},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Franceschini-Grossi/03a,
AUTHOR = {Franceschini, Gianni and Grossi, Roberto},
TITLE = {Optimal worst-case operations for implicit cache-oblivious search trees},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {114-126},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/gq8amceq88be4yw2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fekete-Meijer/03,
AUTHOR = {Fekete, S{\'a}ndor P. and Meijer, Henk},
TITLE = {The one-round Voronoi game replayed},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {150-161},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/7kymb78xc43dptq9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Albers-Buttner/03,
AUTHOR = {Albers, Susanne and B{\"u}ttner, Markus},
TITLE = {Integrated prefetching and caching with read and write requests},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {162-173},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/ka8gay0pq4eb4ud0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Frederiksen-Larsen/03,
AUTHOR = {Frederiksen, Jens S. and Larsen, Kim S.},
TITLE = {Online seat reservations via offline seating arrangements},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {174-185},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/64n6cbdlfkbqdf20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Anand/03,
AUTHOR = {Anand, R. Saiand Thomas Erlebach},
TITLE = {Routing and call control algorithms for ring networks},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {186-197},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/0phvue0cb9hhrg46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Duncan/03,
AUTHOR = {Duncan, Christian A.},
TITLE = {Multi-way space partitioning trees},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {219-230},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/drxfnr06v887uu0k},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Frikken-Atallah/03,
AUTHOR = {Frikken, Keith and Atallah, Mikhail},
TITLE = {Cropping-resilient segmented multiple watermarking},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {231-242},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/k1w3gbcyr8u117kb},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Brass-Cenek-Duncan-Efrat-Erten-Ismailescu-Kobourov-Lubiw-Mitchell/03,
AUTHOR = {Brass, P. and Cenek, E. and Duncan, C.A. and Efrat, A. and Erten, C. and Ismailescu, D. and Kobourov, S.G. and Lubiw, A. and Mitchell, J.S.B.},
TITLE = {On simultaneous planar graph embeddings},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {243-255},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/4qclxj8cctgbhlk2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Barequet-Goodrich-Riley/03,
AUTHOR = {Barequet, Gill and Goodrich, Michael T. and Riley, Chris},
TITLE = {Drawing graphs with large vertices and thick edges},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {281-293},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/x74xxcjr9cbf08g1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Eppstein/03,
AUTHOR = {Eppstein, David},
TITLE = {The Traveling Salesman Problem for cubic graphs},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {307-318},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/ae8vn6yh2ldtn2w0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Amir-Landau-Lewenstein-Sokol/03,
AUTHOR = {Amir, Amihood and Landau, Gad M. and Lewenstein, Moshe and Sokol, Dina},
TITLE = {Dynamic text and static pattern matching},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {340-352},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/4djhtt990enexh3v},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Amir-Butman-Lewenstein-Porat/03,
AUTHOR = {Amir, Amihood and Butman, Ayelet and Lewenstein, Moshe and Porat, Ely},
TITLE = {Real two dimensional scaled matching},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {353-364},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/gmttl21dwyw9a5gp},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Aichholzer-Rote-Speckmann-Streinu/03,
AUTHOR = {Aichholzer, Oswin and Rote, G{\"u}nter and Speckmann, Bettina and Streinu, Ileana},
TITLE = {The zigzag path of a pseudo-triangulation},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {377-388},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/ngjrkvpg8f860f0a},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Andersson-Gudmundsson-Levcopoulos/03,
AUTHOR = {Andersson, Mattias and Gudmundsson, Joachim and Levcopoulos, Christos},
TITLE = {Chips on wafers},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {412-423},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/rlyjkjr9p2hqd50e},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bremner-Demaine-Erickson-Iacono-Langerman-Morin-Toussaint/03,
AUTHOR = {Bremner, David and Demaine, Erik and Erickson, Jeff and Iacono, John and Langerman, Stefan and Morin, Pat and Toussaint, Godfried},
TITLE = {Output-sensitive algorithms for computing nearest-neighbour decision boundaries},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {451-461},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/8v1gu7v54lhn1g45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fellows/03,
AUTHOR = {Fellows, Michael R.},
TITLE = {New directions and new challenges in algorithm design and complexity, parameterized},
BOOKTITLE = {Proceedings of the 8th International Workshop on Algorithms and Data Structures, WADS'2003 (ottawa, Ontario, Canada, July 30 - August 1, 2003)},
SERIES = {LNCS},
VOLUME = {2748},
PAGES = {505-519},
YEAR = {2003},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Smid, Michiel},
URL = {http://www.springerlink.com/content/y0mcd383u8j2jf7k},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Buhrman-Rohrig/03,
AUTHOR = {Buhrman, Harry and R{\"o}hrig, Hein},
TITLE = {Distributed quantum computing},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {1-20},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=1KQ4U9QQ8C5QPM3H},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Feldmann-Gairing-Lucking-Monien-Rode/03a,
AUTHOR = {Feldmann, R. and Gairing, M. and L{\"u}cking, Thomas and Monien, Burkhard and Rode, Manuel},
TITLE = {Selfish routing in non-cooperative networks: A survey},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {21-45},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=LMHN3BGGT6P6PERL},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Alvarez-Blesa-Diaz-Fernandez-Serna/03,
AUTHOR = {{\`A}lvarez, C. and Blesa, M. and D{\'{i}}az, J. and Fern{\'a}ndez, A. and Serna, M.},
TITLE = {Adversarial models for priority-based networks},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {142-151},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=Y59D2XR45KVC1P6P},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Amano-Maruoka/03a,
AUTHOR = {Amano, Kazuyuki and Maruoka, Akira},
TITLE = {On optimal merging networks},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {152-161},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=PDX2M1TLHTQ4JPPU},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ambos-Spies/03,
AUTHOR = {Ambos-Spies, Klaus},
TITLE = {Problems which cannot be reduced to any proper subproblems},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {162-168},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=DD9HR7HWP3C66MC1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Anantharaman-Narendran-Rusinowitch/03,
AUTHOR = {Anantharaman, Siva and Narendran, Paliath and Rusinowitch, Michael},
TITLE = {ACID-unification is NEXPTIME-decidable},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {169-178},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
KEYWORDS = {$E$-unification, complexity, set constraints, tree automata, dag automata},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=MBB7YDBMNXCKV2WD},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ausiello-Bazgan-Demange-Paschos/03,
AUTHOR = {Ausiello, G. and Bazgan, C. and Demange, M. and Paschos, V.Th.},
TITLE = {Completeness in differential approximation classes},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {179-188},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=RFXG13DQHJVD54TA},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Baba-Tsuruta-Shinohara-Takeda/03,
AUTHOR = {Baba, Kensuke and Tsuruta, Satoshi and Shinohara, Ayumi and Takeda, Masayuki},
TITLE = {On the length of the minimum solution of word equations in one variable},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {189-197},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=4NE13XBFYW7009BK},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Banderier-Beier-Mehlhorn/03,
AUTHOR = {Banderier, Cyril and Beier, Ren{\'e} and Mehlhorn, Kurt},
TITLE = {Smoothed analysis of three combinatorial problems},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {198-207},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=V70VPB0HD6A2NTA5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bannai-Inenaga-Shinohara-Takeda/03,
AUTHOR = {Bannai, Hideo and Inenaga, Shunsuke and Shinohara, Ayumi and Takeda, Masayuki},
TITLE = {Inferring strings from graphs and arrays},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {208-217},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=EBMPQGK59E48PUXN},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Benkoczi-Bhattacharya-Chrobak-Larmore-Rytter/03,
AUTHOR = {Benkoczi, Robert and Bhattacharya, Binay and Chrobak, Marek and Larmore, Lawrence L. and Rytter, Wojciech},
TITLE = {Faster algorithms for $k$-medians in trees},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {218-227},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=V46Y8D5Q5AWB3JBU},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Blanchard-Cervelle-Formenti/03,
AUTHOR = {Blanchard, F. and Cervelle, J. and Formenti, E.},
TITLE = {Periodicity and transitivity for cellular automata in Besicovitch topologies},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {228-238},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=F9GAX2RNJTV01HVF},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bodlaender-Fellows-Thilikos/03,
AUTHOR = {Bodlaender, Hans L. and Fellows, Michael R. and Thilikos, Dimitrios M.},
TITLE = {Starting with nondeterminism: The systematic derivation of linear-time graph layout algorithms},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {239-248},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
KEYWORDS = {algorithms and data structures, graph algorithms, algorithm design methodology, graph layout problems, finite state automata},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=Q5191YH187NHEUBK},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bohler-Glasser-Meister/03,
AUTHOR = {B{\"o}hler, Elmar and Gla{\ss}er, Christian and Meister, Daniel},
TITLE = {Error-bounded probabilistic computations between MA and AM},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {249-258},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=JB2NYMG17NJN8F44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bonsma-Brueggemann-Woeginger/03,
AUTHOR = {Bonsma, Paul S. and Brueggemann, Tobias and Woeginger, Gerhard J.},
TITLE = {A faster FPT algorithm for finding spanning trees with many leaves},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {259-268},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=14M368W3927XQMU4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Boreale-Buscemi/03,
AUTHOR = {Boreale, Michele and Buscemi, Maria Grazia},
TITLE = {Symbolic analysis of crypto-protocols based on modular exponentiation},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {269-278},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=H0EJWLJ39YQHBPXL},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Boreale-Gadducci/03,
AUTHOR = {Boreale, Michele and Gadducci, Fabio},
TITLE = {Denotational testing semantics in coinductive form},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {279-289},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
KEYWORDS = {process calculi, coinduction, formal power series, testing equivalence},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=UHP2QML9NQEF6NA5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Brosenne-Homeister-Waack/03,
AUTHOR = {Brosenne, Henrik and Homeister, Matthias and Waack, Stephan},
TITLE = {Lower bounds for general graph-driven read-once parity branching programs},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {290-299},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=3XKU2MWQXMM7ATQ3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bucciarelli-Salibra/03,
AUTHOR = {Bucciarelli, Antonio and Salibra, Antonino},
TITLE = {The minimal graph model of lambda calculus},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {300-307},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=V41L4CN9WFT6DB50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Carton/03,
AUTHOR = {Carton, Olivier},
TITLE = {Unambiguous automata on bi-infinite words},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {308-317},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=YJAH4U2EJ2BFNPQT},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Cerna-Pelanek/03,
AUTHOR = {{\v{C}}ern{\'a}, Ivana and Pel{\'a}nek, Radek},
TITLE = {Relating hierarchy of temporal properties to model checking},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {318-327},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=FB76DGYRWPKALQTG},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chen/03c,
AUTHOR = {Chen, Hubie},
TITLE = {Arithmetic constant-depth circuit complexity classes},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {328-337},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=EF0VJBUAKL0YD2B3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chen/03d,
AUTHOR = {Chen, Hubie},
TITLE = {Inverse $NP$ problems},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {338-347},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=90RMWGY88A88DN19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chen-Kouno/03,
AUTHOR = {Chen, Zhi-Zhong and Kouno, Mitsuharu},
TITLE = {A linear-time algorithm for 7-coloring 1-planar graphs},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {348-357},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=AVEJ66H12A94B0GK},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Dalmau-Ford/03,
AUTHOR = {Dalmau, Victor and Ford, Daniel K.},
TITLE = {Generalized satisfiability with limited occurrences per variable: A study through delta-matroid parity},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {358-367},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=N2RXHARL2W63JA0J},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{De_Marco-Pelc/03,
AUTHOR = {De Marco, Gianluca and Pelc, Andrzej},
TITLE = {Randomized algorithms for determining the majority on graphs},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {368-377},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=890LGGYD5HHA22W0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Delhomme-Knapik-Thomas/03,
AUTHOR = {Delhomm{\'e}, Christian and Knapik, Teodor and Thomas, D. Gnanaraj},
TITLE = {Using transitive-closure logic for deciding linear properties of monoids},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {378-387},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
KEYWORDS = {string rewriting, monoid presentations, transitive closure logic},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=13RUPKA7GFQBVXRB},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Duval-Kolpakov-Kucherov-Lecroq-Lefebvre/03,
AUTHOR = {Duval, Jean-Pierre and Kolpakov, Roman and Kucherov, Gregory and Lecroq, Thierry and Lefebvre, Arnaud},
TITLE = {Linear-time computation of local periods},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {388-397},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=5CXANG25TXNNVWR6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Epstein/03a,
AUTHOR = {Epstein, Leah},
TITLE = {Two dimensional packing: The power of rotation},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {398-407},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=RREQVPCKCEMM6T7T},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Epstein-Tassa/03a,
AUTHOR = {Epstein, Leah and Tassa, Tamir},
TITLE = {Approximation schemes for the min-max starting time problem},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {408-418},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=4KHM191GGG87LNWT},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Friedl-Magniez-Santha-Sen/03,
AUTHOR = {Friedl, Katalin and Magniez, Fr{\'e}d{\'e}ric and Santha, Miklos and Sen, Pranab},
TITLE = {Quantum testers for hidden group properties},
BOOKTITLE = {Proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS'2003 (Bratislava, Slovakia, August 25-29, 2003)},
SERIES = {LNCS},
VOLUME = {2747},
PAGES = {419-428},
YEAR = {2003},
EDITOR = {Rovan, Branislav and Vojt{\'a}{\v{s}}, Peter},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2747&spage=419},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@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{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{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{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{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{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{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{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{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{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{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{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{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{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{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{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{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{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},
}
@incollection{Bentley/03,
AUTHOR = {Bentley, Jon},
TITLE = {Experiments for algorithm engineering},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {3-4},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=HCLEKR1DGA3PUWM3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chung-Gusfield/03a,
AUTHOR = {Chung, Ren Hua and Gusfield, Dan},
TITLE = {Empirical exploration of perfect phylogeny haplotyping and haplotypers},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {5-19},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=ALV3E2X5B2L4WFEN},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bespamyatnikh/03a,
AUTHOR = {Bespamyatnikh, Sergei},
TITLE = {Cylindrical hierarchy for deforming necklaces},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {20-29},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=JADTGVNYA5KRMFWR},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chen-Xu/03,
AUTHOR = {Chen, Danny Z. and Xu, Bin},
TITLE = {Geometric algorithms for agglomerative hierarchical clustering},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {30-39},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=EA0DTUQD0CNABY5V},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bergeron-Stoye/03,
AUTHOR = {Bergeron, Anne and Stoye, Jens},
TITLE = {On the similarity of sets of permutations and its applications to genome comparison},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {68-79},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9DC558ME955YM49K},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fu-Hon-Sung/03,
AUTHOR = {Fu, Wei and Hon, Wing-Kai and Sung, Wing-Kin},
TITLE = {On all-substrings alignment problems},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {80-89},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9VNV54UC6PUEQ11C},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fischer-Makowsky/03,
AUTHOR = {Fischer, E. and Makowsky, J.A.},
TITLE = {The Specker-Blatter theorem revisited},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {90-101},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=797BMLB13W88NB5E},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chen-Lu-Tang/03,
AUTHOR = {Chen, Yen Hung and Lu, Chin Lung and Tang, Chuan Yi},
TITLE = {On the full and bottleneck full Steiner tree problems},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {122-129},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9CDQACRTP8D199P2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Asano-Katoh-Tamaki-Tokuyama/03,
AUTHOR = {Asano, Tetsuo and Katoh, Naoki and Tamaki, Hisao and Tokuyama, Takeshi},
TITLE = {The structure and number of global roundings of a graph},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {130-138},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=WXL9YCKARMUF5TX6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Biedl-Brejova-Demaine-Hamel-Lopez-Ortiz-Vinar/03,
AUTHOR = {Biedl, Therese and Brejov{\'a}, Bro{\v{n}}a and Demaine, Erik D. and Hamel, Ang{\`e}le M. and L{\'o}pez-Ortiz, Alejandro and Vina{\v{r}}, Tom{\'a}{\v{s}}},
TITLE = {Finding hidden independent sets in interval graphs},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {182-191},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=JYR153KK9CNDVU04},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Cai-Watanabe/03,
AUTHOR = {Cai, Jin-Yi and Watanabe, Osamu},
TITLE = {On proving circuit lower bounds against the polynomial-time hierarchy: Positive and negative results},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {202-211},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=7J9BTRPJ46U8GYHU},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Czygrinow-Hanckowiak/03,
AUTHOR = {Czygrinow, A. and Ha{\'n}{\'c}kowiak, M.},
TITLE = {Distributed algorithm for better approximation of the maximum matching},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {242-251},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=LUN9RJCP2NQ7LJUR},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Deng-Fang-Zhu/03,
AUTHOR = {Deng, Xiaotie and Fang, Qizhi and Zhu, Shanfeng},
TITLE = {Approximate rank aggregation},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {262-271},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
KEYWORDS = {rank aggregation, Kendall- $\tau$ distance, coherence, weighted ECC},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=661872P7FT66N8H0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chen-Fowler-Fu-Wang/03,
AUTHOR = {Chen, Zhixiang and Fowler, Richard and Fu, Ada Wai-Chee and Wang, Chunyue},
TITLE = {Fast construction of generalized suffix trees over a very large alphabet},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {284-293},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=1GMTL80T536Y6X9Q},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Demaine-Hohenberger-Liben-Nowell/03,
AUTHOR = {Demaine, Erik D. and Hohenberger, Susan and Liben-Nowell, David},
TITLE = {Tetris is hard, even to approximate},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {351-363},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=CPB74BMBW5Q6GY7N},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chandran-Kavitha-Subramanian/03,
AUTHOR = {Chandran, L. Sunil and Kavitha, T. and Subramanian, C.R.},
TITLE = {Isoperimetric inequalities and the width parameters of graphs},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {385-393},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=8UBRBU736WQWMXU3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Abu-Khzam-Langston/03,
AUTHOR = {Abu-Khzam, Faisal N. and Langston, Michael A.},
TITLE = {Graph coloring and the immersion order},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {394-403},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=AV70G3QLPG8PL43A},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gaibisso-Proietti-Tan/03,
AUTHOR = {Gaibisso, Carlo and Proietti, Guido and Tan, Richard B.},
TITLE = {Optimal MST maintenance for transient deletion of every node in planar graphs},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {404-414},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
KEYWORDS = {planar graphs, minimum spanning tree, transient node failures, radio networks survivability},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=7QM7GTRVLHP5QDM1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chin-Fung/03a,
AUTHOR = {Chin, Francis Y.L. and Fung, Stanley P.Y.},
TITLE = {Improved competitive algorithms for online scheduling with partial job values},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {425-434},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=CH6WT6X5J0X1JW4E},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chen-Deng-Fang-Tian/03,
AUTHOR = {Chen, Lihua and Deng, Xiaotie and Fang, Qizhi and Tian, Feng},
TITLE = {Majority equilibrium for public facility allocation},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {435-444},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=FQ65VC4UQJGGGJVP},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Collins/03,
AUTHOR = {Collins, Michael J.},
TITLE = {Covering a set of points with a minimum number of turns},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {467-474},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=991N8881129RER3V},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ban-Bespamyatnikh-Mustafa/03,
AUTHOR = {Ban, Yih-En Andrew and Bespamyatnikh, Sergei and Mustafa, Nabil H.},
TITLE = {On a conjecture on Wiener indices in combinatorial chemistry},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {509-518},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=JCEUFHB48NTEGP84},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Cieliebak-Eidenbenz-Woeginger/03,
AUTHOR = {Cieliebak, Mark and Eidenbenz, Stephan and Woeginger, Gerhard J.},
TITLE = {Double digest revisited: Complexity and approximability in the presence of noisy data},
BOOKTITLE = {Proceedings of the 9th Annual International Conference on Computing and Combinatorics, COCOON'2003 (Big Sky, MT, USA, July 25-28, 2003)},
SERIES = {LNCS},
VOLUME = {2697},
PAGES = {519-527},
YEAR = {2003},
EDITOR = {Warnow, Tandy and Zhu, Binhai},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=1H5AP2EQBGRP73GH},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Colom/03,
AUTHOR = {Colom, J.M.},
TITLE = {The resource allocation problem in flexible manufacturing systems},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {23-35},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ajmone_Marsan-Garetto-Lo_Cigno-Meo/03,
AUTHOR = {Ajmone Marsan, M. and Garetto, M. and Lo Cigno, R. and Meo, M.},
TITLE = {Colored GSPN models for the QoS design of Internet subnets},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {36-36},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Brinksma/03,
AUTHOR = {Brinksma, Ed},
TITLE = {Compositional theories of qualitative and quantitative behaviour},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {37-42},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ellis/03,
AUTHOR = {Ellis, C.A.},
TITLE = {Net models supporting human and humane behaviors},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {43-43},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Badouel-Chenou/03,
AUTHOR = {Badouel, Eric and Chenou, Jules},
TITLE = {Nets enriched over closed monoidal structures},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {64-81},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Cabac-Moldt-Rolke/03,
AUTHOR = {Cabac, Lawrence and Moldt, Daniel and R{\"o}lke, Heiko},
TITLE = {A proposal for structuring Petri net-based agent interaction protocols},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {102-120},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bednarczyk-Bernardinello-Caillaud-Pawlowski-Pomello/03,
AUTHOR = {Bednarczyk, Marek and Bernardinello, Luca and Caillaud, Beno{\^{i}}t and Paw{\l}owski, Wies{\l}aw and Pomello, Lucia},
TITLE = {Modular system development with pullbacks},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {140-160},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gaeta-Gribaudo-Manini-Sereno/03,
AUTHOR = {Gaeta, R. and Gribaudo, M. and Manini, D. and Sereno, M.},
TITLE = {On the use of Petri nets for the computation of completion time distribution for short TCP transfers},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {181-200},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Eshuis-Dehnert/03,
AUTHOR = {Eshuis, Rik and Dehnert, Juliane},
TITLE = {Reactive Petri nets for workflow modeling},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {296-315},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fleischhack-Pelz/03,
AUTHOR = {Fleischhack, Hans and Pelz, Elisabeth},
TITLE = {Hierarchical timed high level nets and their branching processes},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {397-416},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Al-Shabibi-Buchs-Buffo-Chachkov-Chen-Hurzeler/03,
AUTHOR = {Al-Shabibi, Ali and Buchs, Didier and Buffo, Mathieu and Chachkov, Stanislav and Chen, Ang and Hurzeler, David},
TITLE = {Prototyping object oriented specifications},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {473-482},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Billington-Christensen-van_Hee-Kindler-Kummer-Petrucci-Post-Stehno-Weber/03,
AUTHOR = {Billington, Jonathan and Christensen, S{\o}ren and van Hee, Kees and Kindler, Ekkart and Kummer, Olaf and Petrucci, Laure and Post, Reinier and Stehno, Christian and Weber, Michael},
TITLE = {The Petri Net Markup Language: Concepts, technology, and tools},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {483-505},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Abouelhoda-Ohlebusch/03,
AUTHOR = {Abouelhoda, Mohamed Ibrahim and Ohlebusch, Enno},
TITLE = {Multiple genome alignment: Chaining algorithms revisited},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Combinatorial Pattern Matching, CPM'2003 (Morelia, Michoac{\'a}n, Mexico, June 25-27, 2003)},
SERIES = {LNCS},
VOLUME = {2676},
PAGES = {1-16},
YEAR = {2003},
EDITOR = {Baeza-Yates, Ricardo and Ch{\'a}vez, Edgar and Crochmeore, Maxime},
URL = {http://www.springerlink.com/content/jbnvbraeadr2aqr0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Amir-Butman-Crochemore-Landau-Schaps/03,
AUTHOR = {Amir, Amihood and Butman, Ayelet and Crochemore, Maxime and Landau, Gad M. and Schaps, Malka},
TITLE = {Two-dimensional pattern matching with rotations},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Combinatorial Pattern Matching, CPM'2003 (Morelia, Michoac{\'a}n, Mexico, June 25-27, 2003)},
SERIES = {LNCS},
VOLUME = {2676},
PAGES = {17-31},
YEAR = {2003},
EDITOR = {Baeza-Yates, Ricardo and Ch{\'a}vez, Edgar and Crochmeore, Maxime},
URL = {http://www.springerlink.com/content/0t1ntw27ted0xwcm},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Behzadi-Steyaert/03,
AUTHOR = {Behzadi, Behshad and Steyaert, Jean-Marc},
TITLE = {An improved algorithm for generalized comparison of minisatellites},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Combinatorial Pattern Matching, CPM'2003 (Morelia, Michoac{\'a}n, Mexico, June 25-27, 2003)},
SERIES = {LNCS},
VOLUME = {2676},
PAGES = {32-41},
YEAR = {2003},
EDITOR = {Baeza-Yates, Ricardo and Ch{\'a}vez, Edgar and Crochmeore, Maxime},
URL = {http://www.springerlink.com/content/axbm7nvy8c6um8gh},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Brejova-Brown-Vinar/03,
AUTHOR = {Brejov{\'a}, Bro{\v{n}}a and Brown, Daniel G. and Vina{\v{r}}, Tom{\'a}{\v{s}}},
TITLE = {Optimal spaced seeds for hidden Markov models, with application to homologous coding regions},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Combinatorial Pattern Matching, CPM'2003 (Morelia, Michoac{\'a}n, Mexico, June 25-27, 2003)},
SERIES = {LNCS},
VOLUME = {2676},
PAGES = {42-54},
YEAR = {2003},
EDITOR = {Baeza-Yates, Ricardo and Ch{\'a}vez, Edgar and Crochmeore, Maxime},
URL = {http://www.springerlink.com/content/87hkfanyt5ln5td1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Burkhardt-Karkkainen/03,
AUTHOR = {Burkhardt, Stefan and K{\"a}rkk{\"a}inen, Juha},
TITLE = {Fast lightweight suffix array construction and checking},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Combinatorial Pattern Matching, CPM'2003 (Morelia, Michoac{\'a}n, Mexico, June 25-27, 2003)},
SERIES = {LNCS},
VOLUME = {2676},
PAGES = {55-69},
YEAR = {2003},
EDITOR = {Baeza-Yates, Ricardo and Ch{\'a}vez, Edgar and Crochmeore, Maxime},
URL = {http://www.springerlink.com/content/0pjad0c7ajq8j7bj},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Clifford-Sergot/03,
AUTHOR = {Clifford, Rapha{\"e}l and Sergot, Marek},
TITLE = {Distributed and paged suffix trees for large genetic databases},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Combinatorial Pattern Matching, CPM'2003 (Morelia, Michoac{\'a}n, Mexico, June 25-27, 2003)},
SERIES = {LNCS},
VOLUME = {2676},
PAGES = {70-82},
YEAR = {2003},
EDITOR = {Baeza-Yates, Ricardo and Ch{\'a}vez, Edgar and Crochmeore, Maxime},
URL = {http://www.springerlink.com/content/44wb7mxe1e5a215j},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Dulucq-Touzet/03,
AUTHOR = {Dulucq, Serge and Touzet, H{\'e}l{\`e}ne},
TITLE = {Analysis of tree edit distance algorithms},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Combinatorial Pattern Matching, CPM'2003 (Morelia, Michoac{\'a}n, Mexico, June 25-27, 2003)},
SERIES = {LNCS},
VOLUME = {2676},
PAGES = {83-95},
YEAR = {2003},
EDITOR = {Baeza-Yates, Ricardo and Ch{\'a}vez, Edgar and Crochmeore, Maxime},
URL = {http://www.springerlink.com/content/k2bxmdemqajhdjtj},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Elemento-Gascuel/03,
AUTHOR = {Elemento, Olivier and Gascuel, Olivier},
TITLE = {An exact and polynomial distance-based algorithm to reconstruct single copy tandem duplication trees},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Combinatorial Pattern Matching, CPM'2003 (Morelia, Michoac{\'a}n, Mexico, June 25-27, 2003)},
SERIES = {LNCS},
VOLUME = {2676},
PAGES = {96-108},
YEAR = {2003},
EDITOR = {Baeza-Yates, Ricardo and Ch{\'a}vez, Edgar and Crochmeore, Maxime},
URL = {http://www.springerlink.com/content/xa8n630f5g04174n},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fredriksson-Navarro/03,
AUTHOR = {Fredriksson, Kimmo and Navarro, Gonzalo},
TITLE = {Average-optimal multiple approximate string matching},
BOOKTITLE = {Proceedings of the 14th Annual Symposium on Combinatorial Pattern Matching, CPM'2003 (Morelia, Michoac{\'a}n, Mexico, June 25-27, 2003)},
SERIES = {LNCS},
VOLUME = {2676},
PAGES = {109-128},
YEAR = {2003},
EDITOR = {Baeza-Yates, Ricardo and Ch{\'a}vez, Edgar and Crochmeore, Maxime},
URL = {http://www.springerlink.com/content/v561j3veacbeme4e},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bruce-Hoffmann-Krizanc-Raman/03,
AUTHOR = {Bruce, Richard and Hoffmann, Michael and Krizanc, Danny and Raman, Rajeev},
TITLE = {Efficient update strategies for geometric computing with uncertainty},
BOOKTITLE = {Proceedings of the 5th Italian Conference of Algorithms and Complexity, CIAC'2003 (Rome, Italy, May 28-30, 2003)},
SERIES = {LNCS},
VOLUME = {2653},
PAGES = {12-23},
YEAR = {2003},
EDITOR = {Petreschi, Rossella and Persiano, Giuseppe and Silvestri, Riccardo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bishnu-Das-Nandy-Bhattacharya/03,
AUTHOR = {Bishnu, Arijit and Das, Sandip and Nandy, Subhas C. and Bhattacharya, Bhargab B.},
TITLE = {An improved algorithm for point set pattern matching under rigid motion},
BOOKTITLE = {Proceedings of the 5th Italian Conference of Algorithms and Complexity, CIAC'2003 (Rome, Italy, May 28-30, 2003)},
SERIES = {LNCS},
VOLUME = {2653},
PAGES = {36-45},
YEAR = {2003},
EDITOR = {Petreschi, Rossella and Persiano, Giuseppe and Silvestri, Riccardo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Boyar-Favrholdt/03,
AUTHOR = {Boyar, Joan and Favrholdt, Lene M.},
TITLE = {The relative worst order ratio for on-line algorithms},
BOOKTITLE = {Proceedings of the 5th Italian Conference of Algorithms and Complexity, CIAC'2003 (Rome, Italy, May 28-30, 2003)},
SERIES = {LNCS},
VOLUME = {2653},
PAGES = {58-69},
YEAR = {2003},
EDITOR = {Petreschi, Rossella and Persiano, Giuseppe and Silvestri, Riccardo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Chan-Lam-Ting-Wong/03,
AUTHOR = {Chan, Wun-Tat and Lam, Tak-Wah and Ting, Hing-Fung and Wong, Prudence W.H.},
TITLE = {On-line stream merging, max span, and min coverage},
BOOKTITLE = {Proceedings of the 5th Italian Conference of Algorithms and Complexity, CIAC'2003 (Rome, Italy, May 28-30, 2003)},
SERIES = {LNCS},
VOLUME = {2653},
PAGES = {70-82},
YEAR = {2003},
EDITOR = {Petreschi, Rossella and Persiano, Giuseppe and Silvestri, Riccardo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Duckworth-Mans/03,
AUTHOR = {Duckworth, William and Mans, Bernard},
TITLE = {Randomised algorithms for finding small weakly-connected dominating sets of regular graphs},
BOOKTITLE = {Proceedings of the 5th Italian Conference of Algorithms and Complexity, CIAC'2003 (Rome, Italy, May 28-30, 2003)},
SERIES = {LNCS},
VOLUME = {2653},
PAGES = {83-95},
YEAR = {2003},
EDITOR = {Petreschi, Rossella and Persiano, Giuseppe and Silvestri, Riccardo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Chepoi-Dragan-Yan/03,
AUTHOR = {Chepoi, Victor D. and Dragan, Feodor F. and Yan, Chenyu},
TITLE = {Additive spanners for $k$-chordal graphs},
BOOKTITLE = {Proceedings of the 5th Italian Conference of Algorithms and Complexity, CIAC'2003 (Rome, Italy, May 28-30, 2003)},
SERIES = {LNCS},
VOLUME = {2653},
PAGES = {96-107},
YEAR = {2003},
EDITOR = {Petreschi, Rossella and Persiano, Giuseppe and Silvestri, Riccardo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bonizzoni-Della_Vedova-Dondi/03,
AUTHOR = {Bonizzoni, Paola and Della Vedova, Gianluca and Dondi, Riccardo},
TITLE = {Reconciling gene trees to a species tree},
BOOKTITLE = {Proceedings of the 5th Italian Conference of Algorithms and Complexity, CIAC'2003 (Rome, Italy, May 28-30, 2003)},
SERIES = {LNCS},
VOLUME = {2653},
PAGES = {120-131},
YEAR = {2003},
EDITOR = {Petreschi, Rossella and Persiano, Giuseppe and Silvestri, Riccardo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Gabriele-Mignosi-Restivo-Sciortino/03,
AUTHOR = {Gabriele, Alessandra and Mignosi, Fillippo and Restivo, Antonio and Sciortino, Marinella},
TITLE = {Indexing structures for approximate string matching},
BOOKTITLE = {Proceedings of the 5th Italian Conference of Algorithms and Complexity, CIAC'2003 (Rome, Italy, May 28-30, 2003)},
SERIES = {LNCS},
VOLUME = {2653},
PAGES = {140-151},
YEAR = {2003},
EDITOR = {Petreschi, Rossella and Persiano, Giuseppe and Silvestri, Riccardo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Chlebk-Chlebkova/03,
AUTHOR = {Chleb{\'{\i}}k, Miroslav and Chleb{\'{\i}}kov{\'a}, Janka},
TITLE = {Approximation hardness for small occurrence instances $NP$-hard problems},
BOOKTITLE = {Proceedings of the 5th Italian Conference of Algorithms and Complexity, CIAC'2003 (Rome, Italy, May 28-30, 2003)},
SERIES = {LNCS},
VOLUME = {2653},
PAGES = {152-164},
YEAR = {2003},
EDITOR = {Petreschi, Rossella and Persiano, Giuseppe and Silvestri, Riccardo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Baltz-Srivastav/03,
AUTHOR = {Baltz, Andreas and Srivastav, Anand},
TITLE = {Fast approximation of minimum multicast congestion - Implementation versus theory},
BOOKTITLE = {Proceedings of the 5th Italian Conference of Algorithms and Complexity, CIAC'2003 (Rome, Italy, May 28-30, 2003)},
SERIES = {LNCS},
VOLUME = {2653},
PAGES = {165-177},
YEAR = {2003},
EDITOR = {Petreschi, Rossella and Persiano, Giuseppe and Silvestri, Riccardo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Aerts-Korst-Spieksma/03,
AUTHOR = {Aerts, Joep and Korst, Jan and Spieksma, Frits},
TITLE = {Approximation of a retrieval problem for parallel disks},
BOOKTITLE = {Proceedings of the 5th Italian Conference of Algorithms and Complexity, CIAC'2003 (Rome, Italy, May 28-30, 2003)},
SERIES = {LNCS},
VOLUME = {2653},
PAGES = {178-188},
YEAR = {2003},
EDITOR = {Petreschi, Rossella and Persiano, Giuseppe and Silvestri, Riccardo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bockenhauer-Bongartz-Hromkovic-Klasing-Proietti-Seibert-Unger/03,
AUTHOR = {B{\"o}ckenhauer, Hans-Joachim and Bongartz, Dirk and Hromkovi{\v{c}}, Juraj and Klasing, Ralf and Proietti, Guido and Seibert, Sebastian and Unger, Walter},
TITLE = {On $k$-edge-connectivity problems with sharpened triangle inequality},
BOOKTITLE = {Proceedings of the 5th Italian Conference of Algorithms and Complexity, CIAC'2003 (Rome, Italy, May 28-30, 2003)},
SERIES = {LNCS},
VOLUME = {2653},
PAGES = {189-200},
YEAR = {2003},
EDITOR = {Petreschi, Rossella and Persiano, Giuseppe and Silvestri, Riccardo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Amano-Maruoka/03,
AUTHOR = {Amano, Kazuyuki and Maruoka, Akira},
TITLE = {Some properties of MOD$_m$ circuits computing simple functions},
BOOKTITLE = {Proceedings of the 5th Italian Conference of Algorithms and Complexity, CIAC'2003 (Rome, Italy, May 28-30, 2003)},
SERIES = {LNCS},
VOLUME = {2653},
PAGES = {227-237},
YEAR = {2003},
EDITOR = {Petreschi, Rossella and Persiano, Giuseppe and Silvestri, Riccardo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bongiovanni-Penna/03,
AUTHOR = {Bongiovanni, Giancarlo and Penna, Paolo},
TITLE = {XOR-based schemes for fast parallel IP lookups},
BOOKTITLE = {Proceedings of the 5th Italian Conference of Algorithms and Complexity, CIAC'2003 (Rome, Italy, May 28-30, 2003)},
SERIES = {LNCS},
VOLUME = {2653},
PAGES = {238-250},
YEAR = {2003},
EDITOR = {Petreschi, Rossella and Persiano, Giuseppe and Silvestri, Riccardo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bazgan-Hassin-Monnot/03,
AUTHOR = {Bazgan, Cristina and Hassin, Refael and Monnot, J{\'e}r{\^o}me},
TITLE = {Differential approximation for some routing problems},
BOOKTITLE = {Proceedings of the 5th Italian Conference of Algorithms and Complexity, CIAC'2003 (Rome, Italy, May 28-30, 2003)},
SERIES = {LNCS},
VOLUME = {2653},
PAGES = {277-288},
YEAR = {2003},
EDITOR = {Petreschi, Rossella and Persiano, Giuseppe and Silvestri, Riccardo},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Ding-Salomaa-Sole-Tian/03,
AUTHOR = {Ding, Cunsheng and Salomaa, Arto and Sol{\'e}, Patrick and Tian, Xiaojian},
TITLE = {Three constructions of authentication/secrecy codes},
BOOKTITLE = {Proceedings of the 15th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2003 (Toulouse, France, May 12-16, 2003)},
SERIES = {LNCS},
VOLUME = {2643},
PAGES = {24-33},
YEAR = {2003},
EDITOR = {Fossorier, Marc and H{\o}holdt, Tom and Poli, Alain},
URL = {http://www.springerlink.com/content/pgju3dqb9ymv2x17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Billet-Joye/03,
AUTHOR = {Billet, Olivier and Joye, Marc},
TITLE = {The Jacobi model of an elliptic curve and side-channel analysis},
BOOKTITLE = {Proceedings of the 15th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2003 (Toulouse, France, May 12-16, 2003)},
SERIES = {LNCS},
VOLUME = {2643},
PAGES = {34-42},
YEAR = {2003},
EDITOR = {Fossorier, Marc and H{\o}holdt, Tom and Poli, Alain},
URL = {http://www.springerlink.com/content/p0013kgt6xpulkvb},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Brier-Joye/03,
AUTHOR = {Brier, Eric and Joye, Marc},
TITLE = {Fast point multiplication on elliptic curves through isogenies},
BOOKTITLE = {Proceedings of the 15th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2003 (Toulouse, France, May 12-16, 2003)},
SERIES = {LNCS},
VOLUME = {2643},
PAGES = {43-50},
YEAR = {2003},
EDITOR = {Fossorier, Marc and H{\o}holdt, Tom and Poli, Alain},
URL = {http://www.springerlink.com/content/k7a2p0vkuc5fc79x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Encheva-Cohen/03,
AUTHOR = {Encheva, Sylvia and Cohen, G{\'e}rard},
TITLE = {Copyright control and separating systems},
BOOKTITLE = {Proceedings of the 15th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2003 (Toulouse, France, May 12-16, 2003)},
SERIES = {LNCS},
VOLUME = {2643},
PAGES = {79-86},
YEAR = {2003},
EDITOR = {Fossorier, Marc and H{\o}holdt, Tom and Poli, Alain},
URL = {http://www.springerlink.com/content/bt49q5vm80a143g4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Djurdjevic-Xu-Abdel-Ghaffar-Lin/03,
AUTHOR = {Djurdjevic, Ivana and Xu, Jun and Abdel-Ghaffar, Khaled and Lin, Shu},
TITLE = {A class of low-density parity-check codes constructed based on Reed-Solomon codes with two information symbols},
BOOKTITLE = {Proceedings of the 15th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2003 (Toulouse, France, May 12-16, 2003)},
SERIES = {LNCS},
VOLUME = {2643},
PAGES = {98-107},
YEAR = {2003},
EDITOR = {Fossorier, Marc and H{\o}holdt, Tom and Poli, Alain},
URL = {http://www.springerlink.com/content/uvw80ua0h00h4qre},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bouganis/03,
AUTHOR = {Bouganis, Thanasis},
TITLE = {Error correcting codes over algebraic surfaces},
BOOKTITLE = {Proceedings of the 15th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2003 (Toulouse, France, May 12-16, 2003)},
SERIES = {LNCS},
VOLUME = {2643},
PAGES = {169-179},
YEAR = {2003},
EDITOR = {Fossorier, Marc and H{\o}holdt, Tom and Poli, Alain},
URL = {http://www.springerlink.com/content/5mxtcvw2gy50hua2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bouganis-Coles/03,
AUTHOR = {Bouganis, Thanasis and Coles, Drue},
TITLE = {A geometric view of decoding AG codes},
BOOKTITLE = {Proceedings of the 15th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2003 (Toulouse, France, May 12-16, 2003)},
SERIES = {LNCS},
VOLUME = {2643},
PAGES = {180-190},
YEAR = {2003},
EDITOR = {Fossorier, Marc and H{\o}holdt, Tom and Poli, Alain},
URL = {http://www.springerlink.com/content/kf54f0a8wyb0brhw},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Cavalcante-Palazzo/03,
AUTHOR = {Cavalcante, Rodrigo Gusm{\~a}o and Palazzo, Reginaldo, Jr.},
TITLE = {Performance analysis of M-PSK signal constellations in Riemannian varieties},
BOOKTITLE = {Proceedings of the 15th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2003 (Toulouse, France, May 12-16, 2003)},
SERIES = {LNCS},
VOLUME = {2643},
PAGES = {191-203},
YEAR = {2003},
EDITOR = {Fossorier, Marc and H{\o}holdt, Tom and Poli, Alain},
URL = {http://www.springerlink.com/content/rauuvmuq0jvdq8pn},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bras-Amoros/03,
AUTHOR = {Bras-Amor{\'o}s, Maria},
TITLE = {Improvements to evaluation codes and new characterizations of Arf semigroups},
BOOKTITLE = {Proceedings of the 15th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2003 (Toulouse, France, May 12-16, 2003)},
SERIES = {LNCS},
VOLUME = {2643},
PAGES = {204-215},
YEAR = {2003},
EDITOR = {Fossorier, Marc and H{\o}holdt, Tom and Poli, Alain},
URL = {http://www.springerlink.com/content/rxylny77rmlg118f},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Enge-Morain/03,
AUTHOR = {Enge, Andreas and Morain, Fran{\c{c}}ois},
TITLE = {Fast decomposition of polynomials with known Galois group},
BOOKTITLE = {Proceedings of the 15th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2003 (Toulouse, France, May 12-16, 2003)},
SERIES = {LNCS},
VOLUME = {2643},
PAGES = {254-264},
YEAR = {2003},
EDITOR = {Fossorier, Marc and H{\o}holdt, Tom and Poli, Alain},
URL = {http://www.springerlink.com/content/vdfnk4vlgtwnbm5a},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Breimann-Vahrenhold/03,
AUTHOR = {Breimann, Christian and Vahrenhold, Jan},
TITLE = {External memory computational geometry revisited},
BOOKTITLE = {Algorithms for Memory Hierarchies --- Advanced Lectures},
SERIES = {LNCS},
VOLUME = {2625},
PAGES = {110-148},
YEAR = {2003},
EDITOR = {Meyer, Ulrich and Sanders, Peter and Sibeyn, Jop},
URL = {http://dx.doi.org/10.1007/3-540-36574-5_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Edelkamp/03,
AUTHOR = {Edelkamp, Stefan},
TITLE = {Memory limitations in artificial intelligence},
BOOKTITLE = {Algorithms for Memory Hierarchies --- Advanced Lectures},
SERIES = {LNCS},
VOLUME = {2625},
PAGES = {233-250},
YEAR = {2003},
EDITOR = {Meyer, Ulrich and Sanders, Peter and Sibeyn, Jop},
URL = {http://dx.doi.org/10.1007/3-540-36574-5_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Coppola-Schmollinger/03,
AUTHOR = {Coppola, Massimo and Schmollinger, Martin},
TITLE = {Hierarchical models and software tools for parallel programming},
BOOKTITLE = {Algorithms for Memory Hierarchies --- Advanced Lectures},
SERIES = {LNCS},
VOLUME = {2625},
PAGES = {320-354},
YEAR = {2003},
EDITOR = {Meyer, Ulrich and Sanders, Peter and Sibeyn, Jop},
URL = {http://dx.doi.org/10.1007/3-540-36574-5_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bose-Maheshwari-Narasimhan-Smid-Zeh/03,
AUTHOR = {Bose, Prosenjit and Maheshwari, Anil and Narasimhan, Giri and Smid, Michiel and Zeh, Norbert},
TITLE = {Approximating geometric bottleneck shortest paths},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {38-49},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Erlebach-Stefanakos/03,
AUTHOR = {Erlebach, Thomas and Stefanakos, Stamatis},
TITLE = {On shortest-path all-optical networks without wavelength conversion requirements},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {133-144},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=133},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Cheng/03,
AUTHOR = {Cheng, Qi},
TITLE = {On the ultimate complexity of factorials},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {157-166},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {computational and structural complexity},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=157},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Buhrman-Fortnow-Pavan/03,
AUTHOR = {Buhrman, Harry and Fortnow, Lance and Pavan, A.},
TITLE = {Some results on derandomization},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {212-222},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=212},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Chrobak-Jr/03,
AUTHOR = {Chrobak, Marek and J{\v{r}}{\'{\i}}, Sgall},
TITLE = {Analysis of the harmonic algorithm for three servers},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {247-259},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=247},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
NOTE = {see Erratum in Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004, 2004, 656-656},
TYPE = {inproceedings},
}
@incollection{Bansal-Dhamdhere-Konemann-Sinha/03,
AUTHOR = {Bansal, N. and Dhamdhere, K. and K{\"o}nemann, J. and Sinha, A.},
TITLE = {Non-clairvoyant scheduling for minimizing mean slowdown},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {260-270},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=260},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Fotakis-Pagh-Sanders-Spirakis/03,
AUTHOR = {Fotakis, Dimitris and Pagh, Rasmus and Sanders, Peter and Spirakis, Paul},
TITLE = {Space efficient hash tables with worst case constant access time},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {271-282},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=271},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bronnimann-Cacals-Durand/03,
AUTHOR = {Br{\"o}nnimann, Herv{\'e} and Cacals, Fr{\'e}d{\'e}ric and Durand, Marianne},
TITLE = {Randomized jumplists: A jump-and-walk dictionary data structure},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {283-294},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {dictionary data structures, searching and sorting, randomization, asymptotic analysis},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=283},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bollig/03a,
AUTHOR = {Bollig, Beate},
TITLE = {Complexity theoretical results on nondeterministic graph-driven read-once branching programs},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {295-306},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=295},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Feder-Meyerson-Motwani-OCallaghan-Panigrahy/03,
AUTHOR = {Feder, Tomas and Meyerson, Adam and Motwani, Rajeev and O'Callaghan, Loc and Panigrahy, Rinap},
TITLE = {Representing graph metrics with fewest edges},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {355-366},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=355},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Feder-Motwani-OCallaghan-Olston-Panigrahy/03,
AUTHOR = {Feder, T. and Motwani, R. and O'Callaghan, L. and Olston, C. and Panigrahy, R.},
TITLE = {Computing shortest paths with uncertainty},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {367-378},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=367},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Brattka/03,
AUTHOR = {Brattka, Vasco},
TITLE = {The inversion problem for computable linear operators},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {391-402},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {computable analysis, linear operators, inversion problem},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=391},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Blaser/03b,
AUTHOR = {Bl{\"a}ser, Markus},
TITLE = {Algebras of minimal rank over arbitrary fields},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {403-414},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=403},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Durand-Hermann/03,
AUTHOR = {Durand, Arnaud and Hermann, Miki},
TITLE = {The inference problem for propositional circumscription of affine formulas is co$NP$-complete},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {451-462},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=451},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Coja-Oghlan-Taraz/03,
AUTHOR = {Coja-Oghlan, Amin and Taraz, Anusch},
TITLE = {Colouring random graphs in expected polynomial time},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {487-498},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=487},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bonichon-Gavoille-Hanusse/03,
AUTHOR = {Bonichon, Nicolas and Gavoille, Cyril and Hanusse, Nicolas},
TITLE = {An information-theoretic upper bound of planar graphs using triangulation},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {499-510},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=499},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Coja-Oghlan/03,
AUTHOR = {Coja-Oghlan, Amin},
TITLE = {Finding large independent sets in polynomial expected time},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {511-522},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=511},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Damaschke/03a,
AUTHOR = {Damaschke, Peter},
TITLE = {Distributed soft path coloring},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {523-534},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {distributed algorithms, coloring, locality, randomization},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=523},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Cai-Chakaravarthy-Hemaspaandra-Ogihara/03,
AUTHOR = {Cai, Jin-Yi and Chakaravarthy, Venkatesan T. and Hemaspaandra, Lane A. and Ogihara, Mitsunori},
TITLE = {Competing provers yield improved Karp-Lipton collapse results},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {535-546},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=535},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Buhrman-Chang-Fortnow/03,
AUTHOR = {Buhrman, Harry and Chang, Richard and Fortnow, Lance},
TITLE = {One bit of advice},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {547-558},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=547},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bouyer/03,
AUTHOR = {Bouyer, Patricia},
TITLE = {Untameable timed automata!},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {620-631},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=620},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Cervelle-Formenti/03,
AUTHOR = {Cervelle, Julien and Formenti, Enrico},
TITLE = {On sand automata},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {642-653},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=642},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Elmasry-Fredman/03,
AUTHOR = {Elmasry, Amr and Fredman, Michael L.},
TITLE = {Adaptive sorting and the information theoretic lower bound},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {654-662},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {algorithms and data structures},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=654},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bjorklund-Sandberg-Vorobyov/03,
AUTHOR = {Bj{\"o}rklund, Henrik and Sandberg, Sven and Vorobyov, Sergei},
TITLE = {A discrete subexponential algorithm for parity games},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {663-674},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=663},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Backes-Jacobi/03,
AUTHOR = {Backes, Michael and Jacobi, Christian},
TITLE = {Cryptographically sound and machine-assisted verification of security protocols},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {675-686},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
KEYWORDS = {cryptography, specification, verification, PVS, semantics, simulatability},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=675},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}
@incollection{Bruere-DallOlio-Raskin/03,
AUTHOR = {Bru{\`e}re, V{\'e}ronique and Dall'Olio, Emmanuel and Raskin, Jean-Fran{\c{c}}ois},
TITLE = {Durations, parametric model-checking in timed automata with Presburger arithmetic},
BOOKTITLE = {Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003 (Berlin, Germany, February 27 - March 1, 2003)},
SERIES = {LNCS},
VOLUME = {2607},
PAGES = {687-698},
YEAR = {2003},
EDITOR = {Alt, Helmut and Habib, Michel},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2607&spage=687},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
TYPE = {inproceedings},
}