@incollection{Allender/01, AUTHOR = {Allender, Eric}, TITLE = {When worlds collide: Derandomization, lower bounds, and Kolmogorov complexity}, BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2245}, PAGES = {1-15}, YEAR = {2001}, EDITOR = {Hariharan, Ramesh and Mukund, Madhavan}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Arora/01, AUTHOR = {Arora, Sanjeev}, TITLE = {Approximation schemes for geometric $NP$-hard problems: A survey}, BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2245}, PAGES = {16-17}, YEAR = {2001}, EDITOR = {Hariharan, Ramesh and Mukund, Madhavan}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Agrawal/01, AUTHOR = {Agrawal, Manindra}, TITLE = {Hard sets and pseudo-random generators for constant depth circuits}, BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2245}, PAGES = {58-69}, YEAR = {2001}, EDITOR = {Hariharan, Ramesh and Mukund, Madhavan}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Agrawal/01a, AUTHOR = {Agrawal, Manindra}, TITLE = {The first-order isomorphism theorem}, BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2245}, PAGES = {70-82}, YEAR = {2001}, EDITOR = {Hariharan, Ramesh and Mukund, Madhavan}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Anderson-Kannan-Karloff-Ladner/01, AUTHOR = {Anderson, Richard and Kannan, Sampath and Karloff, Howard and Ladner, Richard E.}, TITLE = {Thresholds and optimal binary comparison search trees}, BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2245}, PAGES = {83-95}, YEAR = {2001}, EDITOR = {Hariharan, Ramesh and Mukund, Madhavan}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Brim-Cerna-Krcal-Pelanek/01, AUTHOR = {Brim, Lubo{\v{s}}s and {\v{C}}ern{\'a}, Ivana and Kr{\v{c}}{\'a}l, Pavel and Pel{\'a}nek, Radek}, TITLE = {Distributed LTL model checking based on negative cycle detection}, BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2245}, PAGES = {96-107}, YEAR = {2001}, EDITOR = {Hariharan, Ramesh and Mukund, Madhavan}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Calcagno-Yang-OHearn/01, AUTHOR = {Calcagno, Cristiano and Yang, Hongseok and O'Hearn, Peter W.}, TITLE = {Computability and complexity results for a spatial assertion language for data structures}, BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2245}, PAGES = {108-119}, YEAR = {2001}, EDITOR = {Hariharan, Ramesh and Mukund, Madhavan}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Chen-Friesen-Jia-Kanj/01, AUTHOR = {Chen, Jianer and Friesen, Donald K. and Jia, Weijia and Kanj, Iyad A.}, TITLE = {Using nondeterminism to design deterministic algorithms}, BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2245}, PAGES = {120-131}, YEAR = {2001}, EDITOR = {Hariharan, Ramesh and Mukund, Madhavan}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Dang-Ibarra-San_Pietro/01, AUTHOR = {Dang, Zhe and Ibarra, Oscar H. and San Pietro, Pierluigi}, TITLE = {Liveness verification of reversal-bounded multicounter machines with a free counter}, BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2245}, PAGES = {132-143}, YEAR = {2001}, EDITOR = {Hariharan, Ramesh and Mukund, Madhavan}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Dold-Vialard/01, AUTHOR = {Dold, Axel and Vialard, Vincent}, TITLE = {A mechanically verified compiling specification for a Lisp compiler}, BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2245}, PAGES = {144-155}, YEAR = {2001}, EDITOR = {Hariharan, Ramesh and Mukund, Madhavan}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Fisman-Pnueli/01, AUTHOR = {Fisman, Dana and Pnueli, Amir}, TITLE = {Beyond regular model checking}, BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2245}, PAGES = {156-170}, YEAR = {2001}, EDITOR = {Hariharan, Ramesh and Mukund, Madhavan}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Forster-Krause-Lokam-Mubarakzjanov-Schmitt-Simon/01, AUTHOR = {Forster, J{\"u}rgen and Krause, Matthias and Lokam, Satyanarayana V. and Mubarakzjanov, Rustam and Schmitt, Niels and Simon, Hans Ulrich}, TITLE = {Relations between communication complexity, linear arrangements, and computational complexity}, BOOKTITLE = {Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2001 (Bangalore, India, December 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2245}, PAGES = {171-182}, YEAR = {2001}, EDITOR = {Hariharan, Ramesh and Mukund, Madhavan}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Baliga-Chua/01, AUTHOR = {Baliga, A. and Chua, J.}, TITLE = {Self-dual codes using image restoration techniques}, BOOKTITLE = {Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2001 (Melbourne, Australia, November 26-30, 2001)}, SERIES = {LNCS}, VOLUME = {2227}, PAGES = {46-56}, YEAR = {2001}, EDITOR = {Bozta{\c{s}}, Serdar and Shparlinski, Igor E.}, URL = {http://www.springerlink.com/content/l6fugvy2ph6ntw6f}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Cadic-Carlach-Olocco-Otmani-Tillich/01, AUTHOR = {Cadic, E. and Carlach, J.C. and Olocco, G. and Otmani, A. and Tillich, J.P.}, TITLE = {Low complexity tail-biting trellises of self-dual codes of length 24, 32 and 40 over $GF(2)$ and $Z_4$ of large minimum distance}, BOOKTITLE = {Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2001 (Melbourne, Australia, November 26-30, 2001)}, SERIES = {LNCS}, VOLUME = {2227}, PAGES = {57-66}, YEAR = {2001}, EDITOR = {Bozta{\c{s}}, Serdar and Shparlinski, Igor E.}, URL = {http://www.springerlink.com/content/7fbuk2l9drwgdg3e}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Dey-Rajan/01, AUTHOR = {Dey, Bikash Kumar and Rajan, B. Sundar}, TITLE = {$F_q$-linear cyclic codes over $F_{q^m}$: DFT characterization}, BOOKTITLE = {Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2001 (Melbourne, Australia, November 26-30, 2001)}, SERIES = {LNCS}, VOLUME = {2227}, PAGES = {67-76}, YEAR = {2001}, EDITOR = {Bozta{\c{s}}, Serdar and Shparlinski, Igor E.}, URL = {http://www.springerlink.com/content/re0ejx1xn8d01n3b}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Berger-de_Maximy/01, AUTHOR = {Berger, Thierry P. and de Maximy, Louis}, TITLE = {Cyclic projective Reed-Muller codes}, BOOKTITLE = {Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2001 (Melbourne, Australia, November 26-30, 2001)}, SERIES = {LNCS}, VOLUME = {2227}, PAGES = {77-81}, YEAR = {2001}, EDITOR = {Bozta{\c{s}}, Serdar and Shparlinski, Igor E.}, URL = {http://www.springerlink.com/content/1r4a6bq3t721da15}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Betsumiya-Harada-Munemasa/01, AUTHOR = {Betsumiya, Koichi and Harada, Masaaki and Munemasa, Akihiro}, TITLE = {Type II codes over $IF_{2^r}$}, BOOKTITLE = {Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2001 (Melbourne, Australia, November 26-30, 2001)}, SERIES = {LNCS}, VOLUME = {2227}, PAGES = {102-111}, YEAR = {2001}, EDITOR = {Bozta{\c{s}}, Serdar and Shparlinski, Igor E.}, URL = {http://www.springerlink.com/content/eb0nm4nabr6tjga8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Geil-Hoholdt/01, AUTHOR = {Geil, Olav and H{\o}holdt, Tom}, TITLE = {On hyperbolic codes}, BOOKTITLE = {Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2001 (Melbourne, Australia, November 26-30, 2001)}, SERIES = {LNCS}, VOLUME = {2227}, PAGES = {159-171}, YEAR = {2001}, EDITOR = {Bozta{\c{s}}, Serdar and Shparlinski, Igor E.}, URL = {http://www.springerlink.com/content/m1eb2mvj46rwle9r}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Charnes-Rotteler-Beth/01, AUTHOR = {Charnes, Chris and R{\"o}tteler, Martin and Beth, Thomas}, TITLE = {On homogeneous bent functions}, BOOKTITLE = {Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2001 (Melbourne, Australia, November 26-30, 2001)}, SERIES = {LNCS}, VOLUME = {2227}, PAGES = {249-259}, YEAR = {2001}, EDITOR = {Bozta{\c{s}}, Serdar and Shparlinski, Igor E.}, URL = {http://www.springerlink.com/content/cdghq3qeju7fg4nt}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Encheva-Cohen/01, AUTHOR = {Encheva, Sylvia and Cohen, G{\'e}rard}, TITLE = {Partially identifying codes for copyright protection}, BOOKTITLE = {Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2001 (Melbourne, Australia, November 26-30, 2001)}, SERIES = {LNCS}, VOLUME = {2227}, PAGES = {260-267}, YEAR = {2001}, EDITOR = {Bozta{\c{s}}, Serdar and Shparlinski, Igor E.}, URL = {http://www.springerlink.com/content/dx6uxfr2xy2yvwg0}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Alvarez-Armario-Frau-Real/01, AUTHOR = {{\'A}lvarez, V. and Armario, J.A. and Frau, M.D. and Real, P.}, TITLE = {An algorithm for computing cocyclic matrices developed over some semidirect products}, BOOKTITLE = {Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2001 (Melbourne, Australia, November 26-30, 2001)}, SERIES = {LNCS}, VOLUME = {2227}, PAGES = {287-296}, YEAR = {2001}, EDITOR = {Bozta{\c{s}}, Serdar and Shparlinski, Igor E.}, URL = {http://www.springerlink.com/content/t3g605mkrt170wj2}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Giesbrecht-Jacobson-Storjohann/01, AUTHOR = {Giesbrecht, Mark and Jacobson, Michael, Jr. and Storjohann, Arne}, TITLE = {Algorithms for large integer matrix problems}, BOOKTITLE = {Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2001 (Melbourne, Australia, November 26-30, 2001)}, SERIES = {LNCS}, VOLUME = {2227}, PAGES = {297-307}, YEAR = {2001}, EDITOR = {Bozta{\c{s}}, Serdar and Shparlinski, Igor E.}, URL = {http://www.springerlink.com/content/lfvu7bhjq7bauncf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Balakirsky/01, AUTHOR = {Balakirsky, Vladimir B.}, TITLE = {On algebraic soft decision decoding of cyclic binary codes}, BOOKTITLE = {Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2001 (Melbourne, Australia, November 26-30, 2001)}, SERIES = {LNCS}, VOLUME = {2227}, PAGES = {315-322}, YEAR = {2001}, EDITOR = {Bozta{\c{s}}, Serdar and Shparlinski, Igor E.}, URL = {http://www.springerlink.com/content/kpvmgeb5d60efwun}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Byrne/01, AUTHOR = {Byrne, Eimear}, TITLE = {Lifting decoding schemes over a Galois ring}, BOOKTITLE = {Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2001 (Melbourne, Australia, November 26-30, 2001)}, SERIES = {LNCS}, VOLUME = {2227}, PAGES = {323-332}, YEAR = {2001}, EDITOR = {Bozta{\c{s}}, Serdar and Shparlinski, Igor E.}, URL = {http://www.springerlink.com/content/t3cjlduua47gu7fh}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Boulier-Neut/01, AUTHOR = {Boulier, Fran{\c{c}}ois and Neut, Sylvain}, TITLE = {Cartan's characters and stairs of characteristic sets}, BOOKTITLE = {Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2001 (Melbourne, Australia, November 26-30, 2001)}, SERIES = {LNCS}, VOLUME = {2227}, PAGES = {363-372}, YEAR = {2001}, EDITOR = {Bozta{\c{s}}, Serdar and Shparlinski, Igor E.}, URL = {http://www.springerlink.com/content/dj6wa5vdlywq0d3k}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Gaudry-Schost/01, AUTHOR = {Gaudry, P. and Schost, {\'E}.}, TITLE = {On the invariants of the quotients of the Jacobian of a curve of genus 2}, BOOKTITLE = {Proceedings of the 14th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2001 (Melbourne, Australia, November 26-30, 2001)}, SERIES = {LNCS}, VOLUME = {2227}, PAGES = {373-386}, YEAR = {2001}, EDITOR = {Bozta{\c{s}}, Serdar and Shparlinski, Igor E.}, URL = {http://www.springerlink.com/content/ffwmp35d1t96mfn7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Deng-Feng-Zhang-Zhu/01, AUTHOR = {Deng, Xiaotie and Feng, Haodi and Zhang, Pixing and Zhu, Hong}, TITLE = {A polynomial time approximation scheme for minimizing total completion time of unbounded batch scheduling}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {26-35}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Chen-Huang/01, AUTHOR = {Chen, Jianer and Huang, Jingui}, TITLE = {Semi-normal schedulings: Improvement on Goeman's algorithm}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {48-60}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Galbiati/01, AUTHOR = {Galbiati, Giulia}, TITLE = {On min-max cycle bases}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {116-123}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Chin-Fung/01, AUTHOR = {Chin, Francis Y.L. and Fung, Stanley P.Y.}, TITLE = {Approximation of minimum triangulation for polyhedron with bounded degrees}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {172-184}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Breutzmann-Juedes-Lutz/01, AUTHOR = {Breutzmann, Josef M. and Juedes, David W. and Lutz, Jack H.}, TITLE = {Baire category and nowhere differentiability for feasible real function}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {219-230}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Fellows/01, AUTHOR = {Fellows, Michael R.}, TITLE = {Parameterized complexity: The main ideas and some research frontiers}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {291-307}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Biedl-Demaine-Duncan-Fleischer-Kobourov/01, AUTHOR = {Biedl, Therese and Demaine, Erik D. and Duncan, Christian A. and Fleischer, Rudolf and Kobourov, Stephen G.}, TITLE = {Tight bounds on maximal and maximum matchings}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {308-319}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Chen-Wu/01, AUTHOR = {Chen, Danny Z. and Wu, Xiadong}, TITLE = {Efficient algorithms for $k$-terminal cuts on planar graphs}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {332-344}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Galluccio-Proietti/01, AUTHOR = {Galluccio, Anna and Proietti, Guido}, TITLE = {Polynomial time algorithms for edge-connectivity augmentation of Hamiltonian paths}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {345-354}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Albert-Aldred-Atkinson-Holton/01, AUTHOR = {Albert, Michael H. and Aldred, Robert E.L. and Atkinson, Mike D. and Holton, Derek A.}, TITLE = {Algorithms for pattern involvement in permutations}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {355-366}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Chen-Deng-Zang/01, AUTHOR = {Chen, Bo and Deng, Xiaotie and Zang, Wenan}, TITLE = {On-line scheduling a batch processing system to minimize total weighted job completion time}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {380-389}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Erlebach-Gantenbein-Hurlimann-Neyer-Pagourtzis-Penna-Steinhofel-Taylor-Widmayer/01, AUTHOR = {Erlebach, Thomas and Gantenbein, Martin and H{\"u}rlimann, Daniel and Neyer, Gabriele and Pagourtzis, Aris and Penna, Paolo and Steinh{\"o}fel, Konrad Schlude Kathleen and Taylor, David Scot and Widmayer, Peter}, TITLE = {On the complexity of train assignment problems}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {390-402}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Aspnes-Hartling-Kao-Kim-Shah/01, AUTHOR = {Aspnes, James and Hartling, Julia and Kao, Ming-Yang and Kim, Junhyong and Shah, Gauri}, TITLE = {A combinatorial toolbox for protein sequence design and landscape analysis in the grand canonical model}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {403-415}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Chen-Luan-Xu/01, AUTHOR = {Chen, Danny Z. and Luan, Shuang and Xu, Jinhui}, TITLE = {Topological peeling and implementation}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {454-466}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Chen-Wang-Wu/01, AUTHOR = {Chen, Danny Z. and Wang, Jie and Wu, Xiaodong}, TITLE = {Image segmentation with monotonicity and smoothness constraints}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {467-479}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Fiala-Kratochvil/01, AUTHOR = {Fiala, Ji{\v{r}}{\'{i}} and Kratochv{\'{i}}l, Jan}, TITLE = {Complexity of partial covers of graphs}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {537-549}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Bodlaender-Dinneen-Khoussainov/01, AUTHOR = {Bodlaender, Hans L. and Dinneen, Michael J. and Khoussainov, Bakhadyr}, TITLE = {On game-theoretic models of networks}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {550-561}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Brodnik-Karlsson/01, AUTHOR = {Brodnik, Andrej and Karlsson, Johan}, TITLE = {Multiprocess time queue}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {599-609}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Bremner-Hurtado/01, AUTHOR = {Bremner, David and Hurtado, Ferran}, TITLE = {Small convex quadrangulations of point sets}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {623-635}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Asano-Tokuyama/01, AUTHOR = {Asano, Tetsuo and Tokuyama, Takeshi}, TITLE = {How to color a checkerboard with a given distribution --- Matrix rounding achieving low $2\times 2$-discrepancy}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {636-648}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Garrido-Iturriaga-Marquez-Portillo-Reyes-Wolff/01, AUTHOR = {Garrido, Mari {\'A}ngeles and Iturriaga, Claudia and M{\'{a}}rquez, Alberto and Portillo, Jos{\'{e}} Ram{\'{o}}n and Reyes, Pedro and Wolff, Alexander}, TITLE = {Labeling subway lines}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {649-659}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Fujito-Okumura/01, AUTHOR = {Fujito, Toshihiro and Okumura, Tsuyoshi}, TITLE = {A modified greedy algorithm for the set cover problem with weights 1 and 2}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {670-681}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Babel-Chen-Kellerer-Kotov/01, AUTHOR = {Babel, Luitpold and Chen, Bo and Kellerer, Hans and Kotov, Vladimir}, TITLE = {On-line algorithms for cardinality constrained bin packing problems}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {695-706}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Brodal-Fagerberg-Pedersen/01, AUTHOR = {Brodal, Gerth St{\o}lting and Fagerberg, Rolf and Pedersen, Christian N.S.}, TITLE = {Computing the quartet distance between evolutionary trees in time $\O(n \log^2 n)$}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {731-742}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Becker-Chiang-Lari-Scozzari/01, AUTHOR = {Becker, Ronald I. and Chiang, Yen-I and Lari, Isabella and Scozzari, Andrea}, TITLE = {The Cent-dian path problem on tree networks}, BOOKTITLE = {Proceedings of the 12th International Symposium on Algorithms and Computation, ISAAC'2001 (Christchurch, New Zealand, December 19-21, 2001)}, SERIES = {LNCS}, VOLUME = {2223}, PAGES = {743-755}, YEAR = {2001}, EDITOR = {Eades, Peter and Takaoka, Tadao}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Bandelt/01, AUTHOR = {Bandelt, Hans-J.}, TITLE = {Median hulls as Steiner hulls in rectilinear and molecular sequence spaces}, BOOKTITLE = {Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2001 (Boltenhagen, Germany, June 14-16, 2001)}, SERIES = {LNCS}, VOLUME = {2204}, PAGES = {1-7}, YEAR = {2001}, EDITOR = {Brandst{\"a}dt, Andreas and Le, Van Bang}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Bezrukov-Elsasser/01, AUTHOR = {Bezrukov, Sergei L. and Els{\"a}sser, Robert}, TITLE = {Edge-isoperimetric problems for Cartesian powers of regular graphs}, BOOKTITLE = {Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2001 (Boltenhagen, Germany, June 14-16, 2001)}, SERIES = {LNCS}, VOLUME = {2204}, PAGES = {9-20}, YEAR = {2001}, EDITOR = {Brandst{\"a}dt, Andreas and Le, Van Bang}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Caragiannis-Ferreira-Kaklamanis-Perennes-Persiano-Rivano/01, AUTHOR = {Caragiannis, Ioannis and Ferreira, Afonso and Kaklamanis, Christos and P{\'{e}}rennes, St{\'{e}}phane and Persiano, Pino and Rivano, Herv{\'{e}}}, TITLE = {Approximate constrained bipartite edge coloring}, BOOKTITLE = {Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2001 (Boltenhagen, Germany, June 14-16, 2001)}, SERIES = {LNCS}, VOLUME = {2204}, PAGES = {21-31}, YEAR = {2001}, EDITOR = {Brandst{\"a}dt, Andreas and Le, Van Bang}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Chang-Kloks-Lee/01, AUTHOR = {Chang, Maw-Shang and Kloks, Ton and Lee, Chuan-Min}, TITLE = {Maximum clique transversals}, BOOKTITLE = {Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2001 (Boltenhagen, Germany, June 14-16, 2001)}, SERIES = {LNCS}, VOLUME = {2204}, PAGES = {32-43}, YEAR = {2001}, EDITOR = {Brandst{\"a}dt, Andreas and Le, Van Bang}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Chang-Muller/01, AUTHOR = {Chang, Maw-Shang and M{\"u}ller, Haiko}, TITLE = {On the tree-degree of graphs}, BOOKTITLE = {Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2001 (Boltenhagen, Germany, June 14-16, 2001)}, SERIES = {LNCS}, VOLUME = {2204}, PAGES = {44-54}, YEAR = {2001}, EDITOR = {Brandst{\"a}dt, Andreas and Le, Van Bang}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Chen-Kanj/01, AUTHOR = {Chen, Jianer and Kanj, Iyad A.}, TITLE = {On constrained minimum vertex covers of bipartite graphs: Improved algorithms}, BOOKTITLE = {Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2001 (Boltenhagen, Germany, June 14-16, 2001)}, SERIES = {LNCS}, VOLUME = {2204}, PAGES = {55-65}, YEAR = {2001}, EDITOR = {Brandst{\"a}dt, Andreas and Le, Van Bang}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Cicerone-DErmiliis-Stefano/01, AUTHOR = {Cicerone, Serafino and D'Ermiliis, Gianluca and Stefano, Gabriele di}, TITLE = {$(k,+)$-distance-hereditary graphs}, BOOKTITLE = {Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2001 (Boltenhagen, Germany, June 14-16, 2001)}, SERIES = {LNCS}, VOLUME = {2204}, PAGES = {66-77}, YEAR = {2001}, EDITOR = {Brandst{\"a}dt, Andreas and Le, Van Bang}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Corneil-Rotics/01, AUTHOR = {Corneil, Derek G. and Rotics, Udi}, TITLE = {On the relationship between clique-width and treewidth}, BOOKTITLE = {Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2001 (Boltenhagen, Germany, June 14-16, 2001)}, SERIES = {LNCS}, VOLUME = {2204}, PAGES = {78-90}, YEAR = {2001}, EDITOR = {Brandst{\"a}dt, Andreas and Le, Van Bang}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Cornelsen-Dinitz-Wagner/01, AUTHOR = {Cornelsen, Sabine and Dinitz, Yefim and Wagner, Dorothea}, TITLE = {Planarity of the 2-level cactus model}, BOOKTITLE = {Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2001 (Boltenhagen, Germany, June 14-16, 2001)}, SERIES = {LNCS}, VOLUME = {2204}, PAGES = {91-102}, YEAR = {2001}, EDITOR = {Brandst{\"a}dt, Andreas and Le, Van Bang}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Dragan/01, AUTHOR = {Dragan, Feodor F.}, TITLE = {Estimating all pairs shortest paths in restricted graph families: A unified approach}, BOOKTITLE = {Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2001 (Boltenhagen, Germany, June 14-16, 2001)}, SERIES = {LNCS}, VOLUME = {2204}, PAGES = {103-116}, YEAR = {2001}, EDITOR = {Brandst{\"a}dt, Andreas and Le, Van Bang}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Espelage-Gurski-Wanke/01a, AUTHOR = {Espelage, Wolfgang and Gurski, Frank and Wanke, Egon}, TITLE = {How to solve $NP$-hard graph problems on clique-width bounded graphs in polynomial time}, BOOKTITLE = {Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2001 (Boltenhagen, Germany, June 14-16, 2001)}, SERIES = {LNCS}, VOLUME = {2204}, PAGES = {117-128}, YEAR = {2001}, EDITOR = {Brandst{\"a}dt, Andreas and Le, Van Bang}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Feng/01a, AUTHOR = {Feng, Haodi}, TITLE = {$(g,f)$-factorizations orthogonal to $k$ subgraphs}, BOOKTITLE = {Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2001 (Boltenhagen, Germany, June 14-16, 2001)}, SERIES = {LNCS}, VOLUME = {2204}, PAGES = {129-139}, YEAR = {2001}, EDITOR = {Brandst{\"a}dt, Andreas and Le, Van Bang}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Fertin-Raspaud-Reed/01, AUTHOR = {Fertin, Guillaume and Raspaud, Andr{\'{e}} and Reed, Bruce}, TITLE = {On star coloring of graphs}, BOOKTITLE = {Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2001 (Boltenhagen, Germany, June 14-16, 2001)}, SERIES = {LNCS}, VOLUME = {2204}, PAGES = {140-153}, YEAR = {2001}, EDITOR = {Brandst{\"a}dt, Andreas and Le, Van Bang}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Fiala-Jansen-Le-Seidel/01, AUTHOR = {Fiala, Ji{\v{r}}{\'{i}} and Jansen, Klaus and Le, Van Bang and Seidel, Eike}, TITLE = {Graph subcolorings: Complexity and algorithms}, BOOKTITLE = {Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2001 (Boltenhagen, Germany, June 14-16, 2001)}, SERIES = {LNCS}, VOLUME = {2204}, PAGES = {154-165}, YEAR = {2001}, EDITOR = {Brandst{\"a}dt, Andreas and Le, Van Bang}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Fomin-Bodlaender/01, AUTHOR = {Fomin, Fedor V. and Bodlaender, Hans L.}, TITLE = {Approximation of pathwidth of outerplanar graphs}, BOOKTITLE = {Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2001 (Boltenhagen, Germany, June 14-16, 2001)}, SERIES = {LNCS}, VOLUME = {2204}, PAGES = {166-176}, YEAR = {2001}, EDITOR = {Brandst{\"a}dt, Andreas and Le, Van Bang}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Fomin-Thilikos/01, AUTHOR = {Fomin, Fedor V. and Thilikos, Dimitrios M.}, TITLE = {On the monotonicity of games generated by symmetric submodular functions}, BOOKTITLE = {Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2001 (Boltenhagen, Germany, June 14-16, 2001)}, SERIES = {LNCS}, VOLUME = {2204}, PAGES = {177-188}, YEAR = {2001}, EDITOR = {Brandst{\"a}dt, Andreas and Le, Van Bang}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Fuhrmann-Krumke-Wirth/01, AUTHOR = {Fuhrmann, Sven and Krumke, Sven Oliver and Wirth, Hans-Christoph}, TITLE = {Multiple hotlink assignment}, BOOKTITLE = {Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2001 (Boltenhagen, Germany, June 14-16, 2001)}, SERIES = {LNCS}, VOLUME = {2204}, PAGES = {189-200}, YEAR = {2001}, EDITOR = {Brandst{\"a}dt, Andreas and Le, Van Bang}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Gavoille-Peleg-Raspaud-Sopena/01, AUTHOR = {Gavoille, Cyril and Peleg, David and Raspaud, Andr{\'{e}} and Sopena, Eric}, TITLE = {Small $k$-dominating sets in planar graphs with applications}, BOOKTITLE = {Proceedings of the 27th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2001 (Boltenhagen, Germany, June 14-16, 2001)}, SERIES = {LNCS}, VOLUME = {2204}, PAGES = {201-216}, YEAR = {2001}, EDITOR = {Brandst{\"a}dt, Andreas and Le, Van Bang}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Arge/01, AUTHOR = {Arge, Lars}, TITLE = {External memory data structures}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {1-29}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=N6HAP73V5MWMFYQN}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Albers/01, AUTHOR = {Albers, Susanne}, TITLE = {Some algorithmic problems in large networks}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {30-32}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=0Y0X5X3YD92R3MVN}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Gaysinsky-Itai-Shachnai/01, AUTHOR = {Gaysinsky, Alexander and Itai, Alon and Shachnai, Hadas}, TITLE = {Strongly competitive algorithms for caching with pipelined prefetching}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {49-61}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=CQ225H3LQ1V8MATV}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Csirik-Imreh-Noga-Seiden-Woeginger/01, AUTHOR = {Csirik, J{\'a}nos and Imreh, Csan{\'a}d and Noga, John and Seiden, Steve S. and Woeginger, Gerhard J.}, TITLE = {Buying a constant competitive ratio for paging}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {98-108}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=J9BV6UQNT39J9XG8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Dietzfelbinger-Hagerup/01, AUTHOR = {Dietzfelbinger, Martin and Hagerup, Torben}, TITLE = {Simple minimal perfect hashing in less space}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {109-120}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=5M5Q6GGU151QAFY1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Angel-Bampis-Kononov/01, AUTHOR = {Angel, Eric and Bampis, Evripidis and Kononov, Alexander}, TITLE = {A FPTAS for approximating the unrelated parallel machines scheduling problem with costs}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {194-205}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=H1JB3KJWYBHB39KV}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Fishkin-Jansen-Mastrolilli/01, AUTHOR = {Fishkin, Aleksei V. and Jansen, Klaus and Mastrolilli, Monaldo}, TITLE = {Grouping techniques for scheduling problems: Simpler and faster}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {206-217}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=5PLFET0LRRBHVUKB}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Burnikel-Funke-Mehlhorn-Schirra-Schmitt/01, AUTHOR = {Burnikel, Christoph and Funke, Stefan and Mehlhorn, Kurt and Schirra, Stefan and Schmitt, Susanne}, TITLE = {A separation bound for real algebraic expressions}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {254-265}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=V8YG10V85H14D2ND}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Czumaj-Sohler/01a, AUTHOR = {Czumaj, Artur and Sohler, Christian}, TITLE = {Property testing with geometric queries}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {266-277}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=0VUT9X5GJBDPEE9Q}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Abellanas-Hurtado-Icking-Klein-Langetepe-Ma-Palop-Sacristan/01, AUTHOR = {Abellanas, Manuel and Hurtado, Ferran and Icking, Christian and Klein, Rolf and Langetepe, Elmar and Ma, Lihong and Palop, Bel{\'e}n and Sacrist{\'a}n, Vera}, TITLE = {Smallest color-spanning objects}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {278-289}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=X5P4YAEN2RR4L1YB}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chazelle-Devillers-Hurtado-Mora-Sacristan-Teillaud/01, AUTHOR = {Chazelle, Bernard and Devillers, Olivier and Hurtado, Ferran and Mora, Merc{\`e} and Sacrist{\'a}n, Vera and Teillaud, Monique}, TITLE = {Splitting a Delaunay triangulation in linear time}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {312-320}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=P7GDWDEKKCMMKBBC}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Ebbers-Baumann-Klein-Langetepe-Lingas/01, AUTHOR = {Ebbers-Baumann, Annette and Klein, Rolf and Langetepe, Elmar and Lingas, Andrzej}, TITLE = {A fast algorithm for approximating the detour of a polygonal chain}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {321-332}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=TXFY5Y6DTLWELBC7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Eidenbenz-Widmayer/01, AUTHOR = {Eidenbenz, Stephan and Widmayer, Peter}, TITLE = {An approximation algorithm for MINIMUM CONVEX COVER with logarithmic performance guarantee}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {333-344}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=KB4RRNQCJFXUULJ5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Czygrinow-Hanckowiak-Karonski/01, AUTHOR = {Czygrinow, A. and Ha{\'n}{\'c}kowiak, M. and Karo{\'n}ski, M.}, TITLE = {Distributed $O(\delta \log n)$-edge-coloring algorithm}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {345-355}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=Y7AJ1K9ADKYURJ9J}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Douceur-Wattenhofer/01, AUTHOR = {Douceur, John R. and Wattenhofer, Roger P.}, TITLE = {Modeling replica placement in a distributed file system: Narrowing the gap between analysis and simulation}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {356-367}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=JM6AQ3GEWMYCV7H5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Blaser-Siebert/01, AUTHOR = {Bl{\"a}ser, Markus and Siebert, Bodo}, TITLE = {Computing cycle covers without short cycles}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {368-379}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=VFQTN60KQ22FVL5C}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Akcoglu-Kao-Raghavan/01, AUTHOR = {Akcoglu, Karhan and Kao, Ming-Yang and Raghavan, Shuba V.}, TITLE = {Fast pricing of European Asian options with provable accuracy: Single-stock and basket options}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {404-415}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=U7V8QGUTKDM05DE8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Fraigniaud/01, AUTHOR = {Fraigniaud, Pierre}, TITLE = {Approximation algorithms for minimum-time broadcast under the vertex-disjoint paths mode}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {440-451}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=LQ8644HD9R9AG2B4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Clementi-Monti-Silvestri/01, AUTHOR = {Clementi, Andrea E.F. and Monti, Angelo and Silvestri, Riccardo}, TITLE = {Round robin is optimal for fault-tolerant broadcasting on wireless networks}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {452-463}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=UP5TBQV1CFT6BEER}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Fiala-Fishkin-Fomin/01, AUTHOR = {Fiala, Ji{\v{r}}{\'{i}} and Fishkin, Aleksei V. and Fomin, Fedor V.}, TITLE = {Online and offline distance constrained labeling of disk graphs}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {464-475}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=UBN4BX2UVBP9NGE6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Gavoille-Katz-Katz-Paul-Peleg/01, AUTHOR = {Gavoille, Cyril and Katz, Michal and Katz, Nir A. and Paul, Christophe and Peleg, David}, TITLE = {Approximate distance labeling schemes}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {476-487}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=PVQV26DM8X40885H}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Dujmovic-Fellows-Hallett-Kitching-Liotta-McCartin-Nishimura-Ragde-Rosamond-Suderman-Whitesides-Wood/01, AUTHOR = {Dujmovi{\'c}, V. and Fellows, M. and Hallett, M. and Kitching, M. and Liotta, G. and McCartin, C. and Nishimura, N. and Ragde, P. and Rosamond, F. and Suderman, M. and Whitesides, S. and Wood, D.R.}, TITLE = {On the parameterized complexity of layered graph drawing}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {488-499}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=QGT4FUVQF4MR5RMR}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Cooper-Frieze/01, AUTHOR = {Cooper, Colin and Frieze, Alan M.}, TITLE = {A general model of undirected web graphs}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {500-511}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=TXW3REH24Q5VH4C3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Caprara-Panconesi-Rizzi/01, AUTHOR = {Caprara, Alberto and Panconesi, Alessandro and Rizzi, Romeo}, TITLE = {Packing cycles and cuts in undirected graphs}, BOOKTITLE = {Proceedings of the 9th Annual European Symposium on Algorithms, ESA'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2161}, PAGES = {512-523}, YEAR = {2001}, EDITOR = {Meyer auf der Heide, Friedhelm}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=UW1U0HKYAX9U9X1J}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bilardi-DaAlberto-Nicolau/01, AUTHOR = {Bilardi, Gianfranco and D{\'a}Alberto, Paolo and Nicolau, Alex}, TITLE = {Fractal matrix multiplication: A case study on portability of cache performance}, BOOKTITLE = {Proceedings of the 5th International Workshop of Algorithm Engineering, WAE'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2141}, PAGES = {26-38}, YEAR = {2001}, EDITOR = {Brodal, Gerth St{\o}lting and Frigioni, Daniele and Marchetti-Spaccamela, Alberto}, URL = {http://springerlink.metapress.com/content/6k66xuf2hccmlh0l/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bronnimann/01, AUTHOR = {Br{\"o}nnimann, Herv{\'e}}, TITLE = {Designing and implementing a general purpose halfedge data structure}, BOOKTITLE = {Proceedings of the 5th International Workshop of Algorithm Engineering, WAE'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2141}, PAGES = {51-66}, YEAR = {2001}, EDITOR = {Brodal, Gerth St{\o}lting and Frigioni, Daniele and Marchetti-Spaccamela, Alberto}, URL = {http://springerlink.metapress.com/content/y85hxjjgbqfm5l4a/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Andersson-Carlsson-Ygge/01, AUTHOR = {Andersson, Arne and Carlsson, Per and Ygge, Fredrik}, TITLE = {Efficient resource allocation with noisy functions}, BOOKTITLE = {Proceedings of the 5th International Workshop of Algorithm Engineering, WAE'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2141}, PAGES = {91-105}, YEAR = {2001}, EDITOR = {Brodal, Gerth St{\o}lting and Frigioni, Daniele and Marchetti-Spaccamela, Alberto}, URL = {http://springerlink.metapress.com/content/glmgumunca50p6fl/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bader-Illendula-Moret-Weisse-Bernstein/01, AUTHOR = {Bader, David A. and Illendula, Ajith K. and Moret, Bernard M.E. and Weisse-Bernstein, Nina R.}, TITLE = {Using PRAM algorithms on a uniform-memory-access shared-memory architecture}, BOOKTITLE = {Proceedings of the 5th International Workshop of Algorithm Engineering, WAE'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2141}, PAGES = {129-144}, YEAR = {2001}, EDITOR = {Brodal, Gerth St{\o}lting and Frigioni, Daniele and Marchetti-Spaccamela, Alberto}, URL = {http://springerlink.metapress.com/content/blj5cgl38am546ja/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Anderson-Hall-Hartline-Hobbs-Karlin-Saia-Swaminathan-Wilkes/01, AUTHOR = {Anderson, Eric and Hall, Joe and Hartline, Jason and Hobbs, Michael and Karlin, Anna R. and Saia, Jared and Swaminathan, Ram and Wilkes, John}, TITLE = {An experimental study of data migration algorithms}, BOOKTITLE = {Proceedings of the 5th International Workshop of Algorithm Engineering, WAE'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2141}, PAGES = {145-158}, YEAR = {2001}, EDITOR = {Brodal, Gerth St{\o}lting and Frigioni, Daniele and Marchetti-Spaccamela, Alberto}, URL = {http://springerlink.metapress.com/content/xb9ke9ppd6qy1bjk/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chatzigiannakis-Nikoletseas-Paspallis-Spirakis-Zaroliagis/01, AUTHOR = {Chatzigiannakis, Ioannis and Nikoletseas, Sotiris and Paspallis, Nearchos and Spirakis, Paul and Zaroliagis, Christos}, TITLE = {An experimental study of basic communication protocols in ad-hoc mobile networks}, BOOKTITLE = {Proceedings of the 5th International Workshop of Algorithm Engineering, WAE'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2141}, PAGES = {159-171}, YEAR = {2001}, EDITOR = {Brodal, Gerth St{\o}lting and Frigioni, Daniele and Marchetti-Spaccamela, Alberto}, URL = {http://springerlink.metapress.com/content/4n740qeelba5yv49/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Barrett-Cook-Hicks-Faber-Marathe-Marathe-Srinivasan-Sussmann-Thornquist/01, AUTHOR = {Barrett, Chris and Cook, Doug and Hicks, Gregory and Faber, Vance and Marathe, Achla and Marathe, Madhav and Srinivasan, Aravind and Sussmann, Yoram J. and Thornquist, Heidi}, TITLE = {Experimental analysis of algorithms for bilateral-contract clearing mechanisms arising in deregulated power industry}, BOOKTITLE = {Proceedings of the 5th International Workshop of Algorithm Engineering, WAE'2001 ({\AA}rhus, Denmark, August 28-31, 2001)}, SERIES = {LNCS}, VOLUME = {2141}, PAGES = {172-184}, YEAR = {2001}, EDITOR = {Brodal, Gerth St{\o}lting and Frigioni, Daniele and Marchetti-Spaccamela, Alberto}, URL = {http://springerlink.metapress.com/content/kr4ej6vdv19m68qn/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Burgisser/01, AUTHOR = {B{\"u}rgisser, Peter}, TITLE = {On implications between $P$-$NP$-hypotheses: Decision versus computation in algebraic complexity}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {3-17}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=NWV141EJFPND4NCN}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Demaine/01, AUTHOR = {Demaine, Erik D.}, TITLE = {Playing games with algorithms: Algorithmic combinatorial game theory}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {18-32}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=62HY2R8XFT4UMEDY}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Fiat/01, AUTHOR = {Fiat, Amos}, TITLE = {Some recent results on data mining and search}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {33-36}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=P14MAJX0161X7HKQ}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Alber-Fan-Fellows-Fernau-Niedermeier-Rosamond-Stege/01, AUTHOR = {Alber, Jochen and Fan, Hongbing and Fellows, Michael R. and Fernau, Henning and Niedermeier, Rolf and Rosamond, Fran and Stege, Ulrike}, TITLE = {Refined search tree technique for DOMINATING SET on planar graphs}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {111-122}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, KEYWORDS = {dominating set, planar graph, fixed parameter algorithm, search tree}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=BWQT0LH607JKEJPJ}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Amano-Hirosawa-Watanabe-Maruoka/01, AUTHOR = {Amano, Kazuyuki and Hirosawa, Tsukuru and Watanabe, Yusuke and Maruoka, Akira}, TITLE = {The computational power of a family of decision forests}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {123-134}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=0YMETB553T5CG8YL}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Ambainis-Kikusts/01, AUTHOR = {Ambainis, Andris and {\c{K}}ikusts, Arnolds}, TITLE = {Exact results for accepting probabilities of quantum automata}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {135-147}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=04DDAFUH91AQPLKV}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Atserias/01, AUTHOR = {Atserias, Albert}, TITLE = {Improved bounds on the weak pigeonhole principle and infinitely many primes from weaker axioms}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {148-158}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, KEYWORDS = {proof complexity, weak pigeonhole principle, bounded arithmetic}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9TJ4H5DD686UXPF1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Barrett-Hunt-Marathe-Ravi-Rosenkrantz-Stearns/01, AUTHOR = {Barrett, Chris and Hunt III, Harry B. and Marathe, Madhav V. and Ravi, S.S. and Rosenkrantz, Daniel J. and Stearns, Richard E.}, TITLE = {Analysis problems for sequential dynamical systems and communicating state machines}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {159-172}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=M78GAA07PF180VRN}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Beaudry-Holzer/01, AUTHOR = {Beaudry, Martin and Holzer, Markus}, TITLE = {The complexity of tensor circuit evaluation}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {173-185}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=UV062CF1MKNRJLWM}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Blaser/01c, AUTHOR = {Bl{\"{a}}ser, Markus}, TITLE = {Computing reciprocals of bivariate power series}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {186-197}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=6M0GQN54ENVGURT5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Bouajjani-Habermehl-Mayr/01, AUTHOR = {Bouajjani, Ahmed and Habermehl, Peter and Mayr, Richard}, TITLE = {Automatic verification of recursive procedures with one integer parameter}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {198-211}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=1GH056KUQ1T15DFX}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Brosenne-Homeister-Waack/01, AUTHOR = {Brosenne, Henrik and Homeister, Matthias and Waack, Stephan}, TITLE = {Graph-driven free parity BDDs: Algorithms and lower bounds}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {212-223}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=MK8D2WM07XYH1K32}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Brattka/01, AUTHOR = {Brattka, Vasco}, TITLE = {Computable versions of Baire's category theorem}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {224-235}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, KEYWORDS = {computable analysis, functional analysis}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=FWNPD7F97L0P3KP8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Bruyere-Carton/01, AUTHOR = {Bruy{\`{e}}re, V{\'{e}}ronique and Carton, Olivier}, TITLE = {Automata on linear orderings}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {236-247}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=Q866JAU3XG2UPKMN}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Cervelle-Durand-Formenti/01, AUTHOR = {Cervelle, Julien and Durand, Bruno and Formenti, Enrico}, TITLE = {Algorithmic information theory and cellular automata dynamics}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {248-259}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, KEYWORDS = {kolmogorov complexity, topology, cellular automata, discrete dynamical systems}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=64XRAJCR48W45FHR}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Chrobak-Larmore-Rytter/01, AUTHOR = {Chrobak, Marek and Larmore, Lawrence L. and Rytter, Wojciech}, TITLE = {The $k$-median problem for directed trees}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {260-271}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=64E5AP8M4V8BVHV8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Cryan-Miltersen/01, AUTHOR = {Cryan, Mary and Miltersen, Peter Bro}, TITLE = {On pseudorandom generators in $NC^0$}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {272-284}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=JWA9QRHQ8YTJEAVE}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Cucker-Grigoriev/01, AUTHOR = {Cucker, Felipe and Grigoriev, Dima}, TITLE = {There are no sparse $NP_w$-hard sets}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {285-291}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=8RQMJ5U7LJLVV3T8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Di_Crescenzo/01, AUTHOR = {Di Crescenzo, Giovanni}, TITLE = {Sharing one secret vs. sharing many secrets: Tight bounds for the max improvement ratio}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {292-303}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, KEYWORDS = {cryptography, secret sharing, multi-secret sharing}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=8MU11XMTLYE824R7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Diaz-Serna-Thilikos/01a, AUTHOR = {D{\'{i}}az, Josep and Serna, Maria and Thilikos, Dimitrios M.}, TITLE = {$(H,C,K)$-coloring: Fast, easy, and hard cases}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {304-315}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=VJ95Q80FAJ7F218G}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Downey-Hirschfeldt-LaForte/01, AUTHOR = {Downey, Rod G. and Hirschfeldt, Denis R. and LaForte, Geoff}, TITLE = {Randomness and reducibility}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {316-327}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9L2Y16B0NYRX6EKA}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Duris-Manuch/01, AUTHOR = {{\v{D}}uris, Pavol and Ma{\v{n}}uch, J{\'{a}}n}, TITLE = {On the computational complexity of infinite words}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {328-337}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=4CN8FD5KKTW9EJVA}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Epstein-van_Stee/01, AUTHOR = {Epstein, Leah and van Stee, Rob}, TITLE = {Lower bounds for on-line single-machine scheduling}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {338-350}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=YQ3KRKB350FF6PNE}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Erlebach/01, AUTHOR = {Erlebach, Thomas}, TITLE = {Approximation algorithms and complexity results for path problems in trees of rings}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {351-362}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=XNPU15VADENFQTYR}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Espelage-Wanke/01, AUTHOR = {Espelage, Wolfgang and Wanke, Egon}, TITLE = {A 3-approximation algorithm for movement minimization in conveyor flow shop processing}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {363-374}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=H67YUANF0P09YE4D}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Fournier/01, AUTHOR = {Fournier, Herv{\'{e}}}, TITLE = {Quantifier rank for parity of embedded finite models}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {375-386}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, KEYWORDS = {parity, connectivity, reachability, Ehrenfeucht-Fra{\"{i}}ss{\'{e}} games, uniform quantifier elimination, constraint databases}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=KNERN5AJR57EJ8AD}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Geffert/01, AUTHOR = {Geffert, Viliam}, TITLE = {Space hierarchy theorem revised}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {387-397}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, KEYWORDS = {computational complexity, space complexity}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=EVMN70CFBGTT3A77}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Geffert-Mereghetti-Pighizzini/01, AUTHOR = {Geffert, Viliam and Mereghetti, Carlo and Pighizzini, Giovanni}, TITLE = {Converting two-way nondeterministic unary automata into simpler automata}, BOOKTITLE = {Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mari{\'a}nsk{\'e} L{\'a}zn{\v{e}}, Czech Republic, August 27-31, 2001)}, SERIES = {LNCS}, VOLUME = {2136}, PAGES = {398-407}, YEAR = {2001}, EDITOR = {Sgall, Ji{\v{r}}{\'{i}} and Pultr, Ale{\v{s}} and Kolman, Petr}, KEYWORDS = {formal languages, finite state automata, unary languages}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=L7TWC04JJ8QDV149}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Bern-Eppstein/01, AUTHOR = {Bern, Marshall and Eppstein, David}, TITLE = {Optimal M{\"o}bius transformations for information visualization and meshing}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {14-25}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=2RDT5JPDPBG46336}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chakraborty-Erlebach-Thiele/01, AUTHOR = {Chakraborty, Samarjit and Erlebach, Thomas and Thiele, Lothar}, TITLE = {On the complexity of scheduling conditional real-time code}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {38-49}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=2C0MDKGV4TVD0J4M}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Agarwal-Arge-Vahrenhold/01, AUTHOR = {Agarwal, Pankaj K. and Arge, Lars and Vahrenhold, Jan}, TITLE = {Time responsive external data structures for moving points}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {50-61}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=YJD0CLXPUU4T2D1F}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Espelage-Gurski-Wanke/01, AUTHOR = {Espelage, Wolfgang and Gurski, Frank and Wanke, Egon}, TITLE = {Deciding clique-width for graphs of bounded tree-width}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {87-98}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=84D7FJ1MTHCY4AN9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bern-Eppstein/01a, AUTHOR = {Bern, Marshall and Eppstein, David}, TITLE = {Optimization over zonotopes and training Support Vector Machines}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {111-121}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=C85VHE3PNHX7Q3R0}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Agarwal-de_Berg-Har-Peled-Overmars-Sharir-Vahrenhold/01, AUTHOR = {Agarwal, Pankaj K. and de Berg, Mark and Har-Peled, Sariel and Overmars, Mark H. and Sharir, Micha and Vahrenhold, Jan}, TITLE = {Reporting intersecting pairs of polytopes in two and three dimensions}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {122-134}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=VDR0FLL4KEN4EX3P}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bagchi-Chaudhary-Garg-Goodrich-Kumar/01, AUTHOR = {Bagchi, Amitabha and Chaudhary, Amitabh and Garg, Rahul and Goodrich, Michael T. and Kumar, Vijay}, TITLE = {Seller-focused algorithms for online auctioning}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {135-147}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=EDB0JQJL3D0CH3KC}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Cohen-Kaplan-Zwick/01, AUTHOR = {Cohen, Edith and Kaplan, Haim and Zwick, Uri}, TITLE = {Competitive analysis of the LRFU paging algorithm}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {148-154}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=HQTENFCR4VW1MAJ0}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Blum-Kalai-Kleinberg/01, AUTHOR = {Blum, Avrim and Kalai, Adam and Kleinberg, Jon}, TITLE = {Admission control to minimize rejections}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {155-164}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9UKEHQ56D6YP2M22}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Atallah-Du/01, AUTHOR = {Atallah, Mikhail J. and Du, Wenliang}, TITLE = {Secure multi-party computational geometry}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {165-179}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=8Q7EN06D480R120H}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bose-Maheshwari-Morin-Morrison/01, AUTHOR = {Bose, Prosenjit and Maheshwari, Anil and Morin, Pat and Morrison, Jason}, TITLE = {The grid placement problem}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {180-191}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=XLBFJ0TMXP8L38CY}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Arkin-Fekete-Hurtado-Mitchell-Noy-Sacristan-Sethia/01, AUTHOR = {Arkin, Esther M. and Fekete, S{\'a}ndor P. and Hurtado, Ferran and Mitchell, Joseph S.B. and Noy, Marc and Sacrist{\'a}n, Vera and Sethia, Saurabh}, TITLE = {On the reflexivity of point sets}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {192-204}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=GCAATRDRVWNML55F}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Erlebach-Kellerer-Pferschy/01, AUTHOR = {Erlebach, Thomas and Kellerer, Hans and Pferschy, Ulrich}, TITLE = {Approximating multi-objective knapsack problems}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {210-221}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=2DFCBGT2473XRFL0}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Brandes-Cornelsen/01, AUTHOR = {Brandes, Ulrik and Cornelsen, Sabine}, TITLE = {Visual ranking of link structures}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {222-233}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=MDJ430DDDG0UJFYG}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bjorklund-Lingas/01, AUTHOR = {Bj{\"or}klund, Andreas and Lingas, Andrzej}, TITLE = {Fast Boolean matrix multiplication for highly clustered data}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {258-263}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=N13K2U956LTFVN89}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Dumitrescu-Pach/01, AUTHOR = {Dumitrescu, Adrian and Pach, J{\'a}nos}, TITLE = {Partitioning colored point sets into monochromatic parts}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {264-275}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=E6DBHG74C10QJ0HE}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Fekete-Kohler-Teich/01, AUTHOR = {Fekete, S{\'a}ndor P. and K{\"o}hler, Ekkehard and Teich, J{\"u}rgen}, TITLE = {Higher-dimensional packing with order constraints}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {300-312}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=XM0191EF45EG28AR}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Dragan-Kahng-Mandoiu-Muddu-Zelikovsky/01, AUTHOR = {Dragan, Feodor F. and Kahng, Andrew B. and M{\u{a}}ndoiu, Ion I. and Muddu, Sudhakar and Zelikovsky, Alexander}, TITLE = {Practical approximation algorithms for separable packing linear programs}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {325-337}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=Q39J0G5438JVFNN6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Didimo-Pizzonia/01, AUTHOR = {Didimo, Walter and Pizzonia, Maurizio}, TITLE = {Upward embeddings and orientations of undirected planar graphs}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {339-351}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=92D7A90ALCNY2VYA}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Eiglsperger-Kaufmann/01, AUTHOR = {Eiglsperger, Markus and Kaufmann, Michael}, TITLE = {An approach for mixed upward planarization}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {352-364}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=5CPWU7YWXVP9KG37}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bader-Moret-Yan/01, AUTHOR = {Bader, David A. and Moret, Bernard M.E. and Yan, Mi}, TITLE = {A linear-time algorithm for computing inversion distance between signed permutations with an experimental study}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {365-376}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=GUE7YNKHAQ321L9V}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chen-Jiang-Lin/01, AUTHOR = {Chen, Zhi-Zhong and Jiang, Tao and Lin, Guo-Hui}, TITLE = {Computing phylogenetic roots with bounded degrees and errors}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {377-388}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=GM0L0HFGC09R2FX4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Arkin-Bender-Demaine-Demaine-Mitchell-Sethia-Skiena/01, AUTHOR = {Arkin, Esther M. and Bender, Michael A. and Demaine, Erik D. and Demaine, Martin L. and Mitchell, Joseph S.B. and Sethia, Saurabh and Skiena, Steven S.}, TITLE = {When can you fold a map?}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {401-413}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=93XKT8AGP9JH1PQA}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Fagerberg-Jensen-Larsen/01, AUTHOR = {Fagerberg, Rolf and Jensen, Rune E. and Larsen, Kim S.}, TITLE = {Search trees with relaxed balance and near-optimal height}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {414-425}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=K9VHFQ2QHMV6KWC8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bhattacharya-Mukhopadhyay-Narasimhan/01, AUTHOR = {Bhattacharya, Binay and Mukhopadhyay, Asish and Narasimhan, Giri}, TITLE = {Optimal algorithms for two-guard walkability of simple polygons}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {438-449}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=1K2AFXBLVH7UHNX7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Eppstein/01, AUTHOR = {Eppstein, David}, TITLE = {Small maximal independent sets and faster exact graph coloring}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {462-470}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=Y24E5UF9QBPVGNVH}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Arge-Meyer-Toma-Zeh/01, AUTHOR = {Arge, Lars and Meyer, Ulrich and Toma, Laura and Zeh, Norbert}, TITLE = {On external-memory planar depth first search}, BOOKTITLE = {Proceedings of the 7th International Workshop on Algorithms and Data Structures, WADS'2001 (Providence, RI, USA, August 8-10, 2001)}, SERIES = {LNCS}, VOLUME = {2125}, PAGES = {471-482}, YEAR = {2001}, EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Tamassia, Roberto}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=NRQ3VE3P44C1ARX0}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Blaser/01b, AUTHOR = {Bl{\"{a}}ser, Markus}, TITLE = {Complete problems for Valiant's class of $qp$-computable families of polynomials}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {1-10}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=EF7HMHEU8F8BTHK1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Castanho-Chen-Wada-Fujiwara/01, AUTHOR = {Castanho, Carla Denise and Chen, Wei and Wada, Koichi and Fujiwara, Akihiro}, TITLE = {Parallelizability of some $P$-complete geometric problems in the EREW-PRAM}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {59-63}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=384D2BNTMFP4KD02}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Aichholzer-Aurenhammer-Krasser-Hurtado/01, AUTHOR = {Aichholzer, Oswin and Aurenhammer, Franz and Krasser, Hannes and Hurtado, Ferran}, TITLE = {Towards compatible triangulations}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {101-110}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=E98LW1U4G6UVA4TA}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Arslan-Egecioglu/01, AUTHOR = {Arslan, Abdullah N. and E{\u{g}}ecio{\u{g}}lu, {\"{O}}mer}, TITLE = {An improved upper bound on the size of planar convex-hulls}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {111-120}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=46VE7QU4YJ5888KD}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bespamyatnikh-Chen-Wang-Zhu/01, AUTHOR = {Bespamyatnikh, Sergei and Chen, Zhixiang and Wang, Kanliang and Zhu, Binhai}, TITLE = {On the planar two-watchtower problem}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {121-130}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=JDB2M0CURKJP8TRT}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bose-Morin-Vigneron/01, AUTHOR = {Bose, Prosenjit and Morin, Pat and Vigneron, Antoine}, TITLE = {Packing two disks into a polygonal environment}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {142-149}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9R8NKGC9REBLVPBV}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chen-Hu-Wu/01, AUTHOR = {Chen, Danny Z. and Hu, Xiaobo (Sharon) and Wu, Xiaodong}, TITLE = {Maximum red/blue interval matching with applications}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {150-158}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=UP6XA1K22CY1PA2B}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Cheong-Shin-Vigneron/01, AUTHOR = {Cheong, Otfried and Shin, Chan-Su and Vigneron, Antoine}, TITLE = {Computing farthest neighbors on a convex polytope}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {159-169}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=RP3Q9J4HBG19T752}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Duncan-Qian-Zhu/01, AUTHOR = {Duncan, Rob and Qian, Jianbo and Zhu, Binhai}, TITLE = {Polynomial time algorithms for three-label point labeling}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {191-200}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=5K7PR9B3WWJUGX80}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Dai/01, AUTHOR = {Dai, H.K.}, TITLE = {Optimizing a computational method for length lower bounds for reflecting sequences}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {228-236}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=MCP7CKEFQA71M9H0}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Ahn-Cheng-Cheong-Golin-van_Oostrum/01, AUTHOR = {Ahn, Hee-Kap and Cheng, Siu-Wing and Cheong, Otfried and Golin, Mordecai and van Oostrum, Ren{\'{e}}}, TITLE = {Competitive facility location along a highway}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {237-246}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=2VQGGTFN9X87KP19}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Fang-Zhu-Cai-Deng/01, AUTHOR = {Fang, Qizhi and Zhu, Shanfeng and Cai, Maocheng and Deng, Xiaotie}, TITLE = {Membership for core of $LP$ games and other games}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {247-256}, YEAR = {2001}, EDITOR = {Wang, Jie}, KEYWORDS = {cooperative game, core, network flow, linear programming, Steiner tree, $NP$-completeness}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=P5B0P374KJNJHHG9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Caballero-Gil-Hernandez-Goya/01, AUTHOR = {Caballero-Gil, Pino and Hern{\'{a}}ndez-Goya, Candelaria}, TITLE = {Strong solutions to the identification problem}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {257-261}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=P4WMRTFC4V68W53A}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Diaz-Serna-Thilikos/01, AUTHOR = {D{\'{i}}az, Josep and Serna, Maria and Thilikos, Dimitrios M.}, TITLE = {Counting $H$-colorings of partial $k$-trees}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {298-307}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=NMR99BFMR70CPYGV}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chandran/01, AUTHOR = {Chandran, L. Sunil}, TITLE = {A linear time algorithm for enumerating all the minimum and minimal separators of a chordal graph}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {308-317}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=E0VN8M7HDYGL5508}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Alber-Fernau-Niedermeier/01a, AUTHOR = {Alber, Jochen and Fernau, Henning and Niedermeier, Rolf}, TITLE = {Graph separators: A parameterized view}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {318-327}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=KUYANHH0V7YLGYFE}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Finocchi/01, AUTHOR = {Finocchi, Irene}, TITLE = {Layered drawings of graphs with crossing constraints}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {357-367}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=3NHQ4RBD6H4YM0CP}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Finocchi-Petreschi/01, AUTHOR = {Finocchi, Irene and Petreschi, Rossella}, TITLE = {On the validity of hierarchical decompositions}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {368-374}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=VA75EKQBYEVA547C}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chandran/01a, AUTHOR = {Chandran, L. Sunil}, TITLE = {Edge connectivity vs. vertex connectivity in chordal graphs}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {384-389}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=ECY0HAFQB104J8BU}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Dawande/01, AUTHOR = {Dawande, Milind}, TITLE = {A notion of cross-perfect bipartite graphs}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {409-413}, YEAR = {2001}, EDITOR = {Wang, Jie}, KEYWORDS = {bipartite graph, perfect graph, integral polytope}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=CFG86UQA964YDPFH}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Feng/01, AUTHOR = {Feng, Haodi}, TITLE = {Some results on orthogonal factorizations}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {414-419}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=KDD70AAWVTNU0YRE}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Cohen-Colbourn-Froncek/01, AUTHOR = {Cohen, Myra B. and Colbourn, Charles J. and Froncek, Dalibor}, TITLE = {Cluttered orderings for the complete graph}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {420-431}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=YKPXYBQ4DWPH5KDH}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chan-Lam-Ting-Wong/01, AUTHOR = {Chan, Wun-Tat and Lam, Tak-Wah and Ting, Hing-Fung and Wong, Wai-Ha}, TITLE = {Improved on-line stream merging: From a restricted to a general setting}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {432-442}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=UCQ1365EUF1R16DU}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chang-Yap/01, AUTHOR = {Chang, Ee-Chien and Yap, Chee}, TITLE = {Competitive online scheduling with level of service}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {453-462}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=X05G1TKEKJ2XFXJV}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Epstein/01b, AUTHOR = {Epstein, Leah}, TITLE = {On-line variable sized covering}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {463-472}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=3XB5EAVDQ66PQT2G}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Cai-Bach/01, AUTHOR = {Cai, Jin-Yi and Bach, Eric}, TITLE = {On testing for zero polynomials by a set of points with bounded precision}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {473-482}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=J36RF91BM4YBETQF}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chrobak-Gasieniec-Rytter/01, AUTHOR = {Chrobak, Marek and G{\c{a}}sieniec, Leszek and Rytter, Wojciech}, TITLE = {A randomized algorithm for gossiping in radio networks}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {483-492}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=ADL747VMF95DP630}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Du-Wang-Xu/01, AUTHOR = {Du, Dingzhu and Wang, Lusheng and Xu, Baogang}, TITLE = {The Euclidean bottleneck Steiner tree and Steiner tree with minimum number of Steiner points}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {509-518}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=2QR6P1AMH7K60TP4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chen-Xue/01, AUTHOR = {Chen, Guangting and Xue, Guoliang}, TITLE = {An FPTAS for weight-constrained Steiner trees in series-parallel graphs}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {519-528}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=7LFKPNVVQ0HLEJ83}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Dang-Ibarra-Kemmerer/01, AUTHOR = {Dang, Zhe and Ibarra, Oscar H. and Kemmerer, Richard A.}, TITLE = {Decidable approximations on generalized and parameterized discrete timed automata}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {529-539}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=4JWUK1KQKLYQG9KW}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chen/01c, AUTHOR = {Chen, Zhixiang}, TITLE = {Multiplicative adaptive algorithms for user preference retrieval}, BOOKTITLE = {Proceedings of the 7th Annual International Conference on Computing and Combinatorics, COCOON'2001 (Guilin, China, August 20-23, 2001)}, SERIES = {LNCS}, VOLUME = {2108}, PAGES = {540-549}, YEAR = {2001}, EDITOR = {Wang, Jie}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=5RDU4DT6JMVFWFVG}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong-Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Allauzen-Crochemore-Raffinot/01, AUTHOR = {Allauzen, Cyril and Crochemore, Maxime and Raffinot, Mathieu}, TITLE = {Efficient experimental string matching by weak factor recognition}, BOOKTITLE = {Proceedings of the 12th Annual Symposium on Combinatorial Pattern Matching, CPM'2001 (Jerusalem, Israel, July 1-4, 2001)}, SERIES = {LNCS}, VOLUME = {2089}, PAGES = {51-72}, YEAR = {2001}, EDITOR = {Amir, Amihood and Landau, Gad M.}, URL = {http://www.springerlink.com/content/tf9kuv3k37d1d3k6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Burkhardt-Karkkainen/01, AUTHOR = {Burkhardt, Stefan and K{\"a}rkk{\"a}inen, Juha}, TITLE = {Better filtering with gapped $q$-grams}, BOOKTITLE = {Proceedings of the 12th Annual Symposium on Combinatorial Pattern Matching, CPM'2001 (Jerusalem, Israel, July 1-4, 2001)}, SERIES = {LNCS}, VOLUME = {2089}, PAGES = {73-85}, YEAR = {2001}, EDITOR = {Amir, Amihood and Landau, Gad M.}, URL = {http://www.springerlink.com/content/gykw51mpjqnwrmqx}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bookstein-Klein-Raita/01, AUTHOR = {Bookstein, Abraham and Klein, Shmuel Tomi and Raita, Timo}, TITLE = {Fuzzy Hamming distance: A new dissimilarity measure}, BOOKTITLE = {Proceedings of the 12th Annual Symposium on Combinatorial Pattern Matching, CPM'2001 (Jerusalem, Israel, July 1-4, 2001)}, SERIES = {LNCS}, VOLUME = {2089}, PAGES = {86-97}, YEAR = {2001}, EDITOR = {Amir, Amihood and Landau, Gad M.}, URL = {http://www.springerlink.com/content/mfyatfmmxy5fec15}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Fraenkel-Simpson/01, AUTHOR = {Fraenkel, Aviezri S. and Simpson, Jamie}, TITLE = {An extension of the periodicity lemma to longer periods}, BOOKTITLE = {Proceedings of the 12th Annual Symposium on Combinatorial Pattern Matching, CPM'2001 (Jerusalem, Israel, July 1-4, 2001)}, SERIES = {LNCS}, VOLUME = {2089}, PAGES = {98-105}, YEAR = {2001}, EDITOR = {Amir, Amihood and Landau, Gad M.}, URL = {http://www.springerlink.com/content/r1e6epulb6vpvt00}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bergeron/01, AUTHOR = {Bergeron, Anne}, TITLE = {A very elementary presentation of the Hannenhalli-Pevzner theory}, BOOKTITLE = {Proceedings of the 12th Annual Symposium on Combinatorial Pattern Matching, CPM'2001 (Jerusalem, Israel, July 1-4, 2001)}, SERIES = {LNCS}, VOLUME = {2089}, PAGES = {106-117}, YEAR = {2001}, EDITOR = {Amir, Amihood and Landau, Gad M.}, URL = {http://www.springerlink.com/content/0xrjnd4r52fcqn6p}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Benson/01, AUTHOR = {Benson, Gary}, TITLE = {Tandem cyclic alignment}, BOOKTITLE = {Proceedings of the 12th Annual Symposium on Combinatorial Pattern Matching, CPM'2001 (Jerusalem, Israel, July 1-4, 2001)}, SERIES = {LNCS}, VOLUME = {2089}, PAGES = {118-130}, YEAR = {2001}, EDITOR = {Amir, Amihood and Landau, Gad M.}, URL = {http://www.springerlink.com/content/nxu16dxarfhkgbg3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Arimura-Asaka-Sakamoto-Arikawa/01, AUTHOR = {Arimura, Hiroki and Asaka, Hiroki and Sakamoto, Hiroshi and Arikawa, Setsuo}, TITLE = {Efficient discovery of proximity patterns with suffix arrays}, BOOKTITLE = {Proceedings of the 12th Annual Symposium on Combinatorial Pattern Matching, CPM'2001 (Jerusalem, Israel, July 1-4, 2001)}, SERIES = {LNCS}, VOLUME = {2089}, PAGES = {152-156}, YEAR = {2001}, EDITOR = {Amir, Amihood and Landau, Gad M.}, URL = {http://www.springerlink.com/content/gu8q723fv6clkg02}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Champarnaud-Ziadi/01, AUTHOR = {Champarnaud, Jean-Marc and Ziadi, Djelloul}, TITLE = {Computing the equation automaton of a regular expression in $O(s^2)$ space and time}, BOOKTITLE = {Proceedings of the 12th Annual Symposium on Combinatorial Pattern Matching, CPM'2001 (Jerusalem, Israel, July 1-4, 2001)}, SERIES = {LNCS}, VOLUME = {2089}, PAGES = {157-168}, YEAR = {2001}, EDITOR = {Amir, Amihood and Landau, Gad M.}, URL = {http://www.springerlink.com/content/fj9e6g6ppbexmjvr}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Backofen-Will/01, AUTHOR = {Backofen, Rolf and Will, Sebastian}, TITLE = {Optimally compact finite sphere packings --- Hydrophobic cores in the FCC}, BOOKTITLE = {Proceedings of the 12th Annual Symposium on Combinatorial Pattern Matching, CPM'2001 (Jerusalem, Israel, July 1-4, 2001)}, SERIES = {LNCS}, VOLUME = {2089}, PAGES = {257-271}, YEAR = {2001}, EDITOR = {Amir, Amihood and Landau, Gad M.}, URL = {http://www.springerlink.com/content/rxjmrqxwrx9xnbfp}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Archer/01, AUTHOR = {Archer, Aaron}, TITLE = {Two $O(\log ^* k)$-approximation algorithms for the asymmetric $k$-center problem}, BOOKTITLE = {Proceedings of the 8th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2001 (Utrecht, The Netherlands, June 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2081}, PAGES = {1-14}, YEAR = {2001}, EDITOR = {Aardal, Karen and Gerards, Bert}, URL = {http://www.springerlink.com/content/vr4tkdtxccnw1f4u}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Azar-Regev/01, AUTHOR = {Azar, Yossi and Regev, Oded}, TITLE = {Strongly polynomial algorithms for the unsplittable flow problem}, BOOKTITLE = {Proceedings of the 8th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2001 (Utrecht, The Netherlands, June 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2081}, PAGES = {15-29}, YEAR = {2001}, EDITOR = {Aardal, Karen and Gerards, Bert}, URL = {http://www.springerlink.com/content/eq2xun7jtdm8udue}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Cheriyan-Vempala/01, AUTHOR = {Cheriyan, Joseph and Vempala, Santosh}, TITLE = {Edge covers of setpairs and the iterative rounding method}, BOOKTITLE = {Proceedings of the 8th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2001 (Utrecht, The Netherlands, June 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2081}, PAGES = {30-44}, YEAR = {2001}, EDITOR = {Aardal, Karen and Gerards, Bert}, URL = {http://www.springerlink.com/content/q5gpdrdkctmh2nf3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chou-Queyranne-Simchi-Levi/01, AUTHOR = {Chou, Cheng-Feng Mabel and Queyranne, Maurice and Simchi-Levi, David}, TITLE = {The asymptotic performance ratio of an on-line algorithm for uniform parallel machine scheduling with release dates}, BOOKTITLE = {Proceedings of the 8th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2001 (Utrecht, The Netherlands, June 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2081}, PAGES = {45-59}, YEAR = {2001}, EDITOR = {Aardal, Karen and Gerards, Bert}, URL = {http://www.springerlink.com/content/jnk0gnkj4amxgvxj}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chudak-Roughgarden-Williamson/01, AUTHOR = {Chudak, Fabi{\'a}n A. and Roughgarden, Tim and Williamson, David P.}, TITLE = {Approximate $k$-MSTs and $k$-Steiner trees via the primal-dual method and Lagrangean relaxation}, BOOKTITLE = {Proceedings of the 8th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2001 (Utrecht, The Netherlands, June 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2081}, PAGES = {60-70}, YEAR = {2001}, EDITOR = {Aardal, Karen and Gerards, Bert}, URL = {http://www.springerlink.com/content/7m62q6mf60bvl0pw}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Cornuejols-Li/01, AUTHOR = {Cornu{\'e}jols, G{\'e}rard and Li, Yanjun}, TITLE = {On the rank of mixed 0,1 polyhedra}, BOOKTITLE = {Proceedings of the 8th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2001 (Utrecht, The Netherlands, June 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2081}, PAGES = {71-77}, YEAR = {2001}, EDITOR = {Aardal, Karen and Gerards, Bert}, URL = {http://www.springerlink.com/content/wq4uknw4b9bpa6yc}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Eisenbrand-Rote/01, AUTHOR = {Eisenbrand, Friedrich and Rote, G{\"u}nter}, TITLE = {Fast 2-variable integer programming}, BOOKTITLE = {Proceedings of the 8th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2001 (Utrecht, The Netherlands, June 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2081}, PAGES = {78-89}, YEAR = {2001}, EDITOR = {Aardal, Karen and Gerards, Bert}, URL = {http://www.springerlink.com/content/mrnag6apc4wm7jh3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Elkin-Peleg/01, AUTHOR = {Elkin, Michael and Peleg, David}, TITLE = {Approximating $k$-spanner problems for $k>2$}, BOOKTITLE = {Proceedings of the 8th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2001 (Utrecht, The Netherlands, June 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2081}, PAGES = {90-104}, YEAR = {2001}, EDITOR = {Aardal, Karen and Gerards, Bert}, URL = {http://www.springerlink.com/content/a32qbwk1bp86fh3l}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Fleiner/01b, AUTHOR = {Fleiner, Tam{\'a}s}, TITLE = {A matroid generalization of the stable matching polytope}, BOOKTITLE = {Proceedings of the 8th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2001 (Utrecht, The Netherlands, June 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2081}, PAGES = {105-114}, YEAR = {2001}, EDITOR = {Aardal, Karen and Gerards, Bert}, URL = {http://www.springerlink.com/content/kkhw2vjmeea0vd29}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Fleischer/01, AUTHOR = {Fleischer, Lisa}, TITLE = {A 2-approximation for minimum cost {0,1,2} vertex connectivity}, BOOKTITLE = {Proceedings of the 8th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2001 (Utrecht, The Netherlands, June 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2081}, PAGES = {115-129}, YEAR = {2001}, EDITOR = {Aardal, Karen and Gerards, Bert}, URL = {http://www.springerlink.com/content/e81axc2th3t7rnaf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Frank-Kiraly/01, AUTHOR = {Frank, Andr{\'a}s and Kir{\'a}ly, Tam{\'a}s}, TITLE = {Combined connectivity augmentation and orientation problems}, BOOKTITLE = {Proceedings of the 8th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2001 (Utrecht, The Netherlands, June 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2081}, PAGES = {130-144}, YEAR = {2001}, EDITOR = {Aardal, Karen and Gerards, Bert}, URL = {http://www.springerlink.com/content/1a48v14gvudf919e}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Frank-Szego/01, AUTHOR = {Frank, Andr{\'a}s and Szeg{\H{o}}, L{\'a}szl{\'o}}, TITLE = {An extension of a theorem of Henneberg and Laman}, BOOKTITLE = {Proceedings of the 8th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2001 (Utrecht, The Netherlands, June 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2081}, PAGES = {145-159}, YEAR = {2001}, EDITOR = {Aardal, Karen and Gerards, Bert}, URL = {http://www.springerlink.com/content/mvfyrmw50dctq9yh}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Fujishige-Iwata/01, AUTHOR = {Fujishige, Satoru and Iwata, Satoru}, TITLE = {Bisubmodular function minimization}, BOOKTITLE = {Proceedings of the 8th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2001 (Utrecht, The Netherlands, June 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2081}, PAGES = {160-169}, YEAR = {2001}, EDITOR = {Aardal, Karen and Gerards, Bert}, URL = {http://www.springerlink.com/content/wrjthh7kj7rdkjy0}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Garg-Khandekar-Konjevod-Ravi-Salman-Sinha/01, AUTHOR = {Garg, Naveen and Khandekar, Rohit and Konjevod, Goran and Ravi, R. and Salman, F.S. and Sinha, Amitabh}, TITLE = {On the integrality gap of a natural formulation of the single-sink buy-at-bulk network design problem}, BOOKTITLE = {Proceedings of the 8th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2001 (Utrecht, The Netherlands, June 13-15, 2001)}, SERIES = {LNCS}, VOLUME = {2081}, PAGES = {170-184}, YEAR = {2001}, EDITOR = {Aardal, Karen and Gerards, Bert}, URL = {http://www.springerlink.com/content/vdnguf0qd8y4cpwl}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bouajjani/01, AUTHOR = {Bouajjani, Ahmed}, TITLE = {Languages, rewriting systems, and verification of infinite-state systems}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {24-39}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=QK8JJBU50ABNX78F}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Blaser/01a, AUTHOR = {Bl{\"a}ser, Markus}, TITLE = {Improvements of the Alder-Strassen bound: Algebras with nonzero radical}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {79-91}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=638DBUNMH45FTYPU}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Boros-Elbassioni-Gurvich-Khachiyan-Makino/01, AUTHOR = {Boros, E. and Elbassioni, K. and Gurvich, V. and Khachiyan, L. and Makino, K.}, TITLE = {On generating all minimal integer solutions for a monotone system of linear inequalities}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {92-103}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, KEYWORDS = {integer programming, complexity of incremental algorithms, dualization, quasi-polynomial time, monotone discrete binary functions, monotone inequalities, regular discrete functions}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=FBXC81DPYLAXVM5J}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Agarwal-Arge-Procopiuc-Vitter/01, AUTHOR = {Agarwal, Pankaj K. and Arge, Lars and Procopiuc, Octavian and Vitter, Jeffrey Scott}, TITLE = {A framework for index bulk loading and dynamization}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {115-127}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=1MN3XDDNP7JTD34P}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bilardi-Peserico/01, AUTHOR = {Bilardi, Gianfranco and Peserico, Enoch}, TITLE = {A characterization of temporal locality and its portability across memory hierarchies}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {128-139}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=21RHN5URJQN1KJWY}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Brodal-Fagerberg-Pedersen-Ostlin/01, AUTHOR = {Brodal, Gerth St{\o}lting and Fagerberg, Rolf and Pedersen, Christian N.S. and {\"O}stlin, Anna}, TITLE = {The complexity of constructing evolutionary trees using experiments}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {140-151}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=64WJ4TU3JNWQC5BP}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Flajolet-Guivarch-Szpankowski-Vallee/01, AUTHOR = {Flajolet, Philippe and Guivarc'h, Yves and Szpankowski, Wojciech and Vall{\'e}e, Brigitte}, TITLE = {Hidden pattern statistics}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {152-165}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9KQDP8RBM31JU2PM}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chazelle-Rubinfeld-Trevisan/01, AUTHOR = {Chazelle, Bernard and Rubinfeld, Ronitt and Trevisan, Luca}, TITLE = {Approximating the minimum spanning tree weight in sublinear time}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {190-200}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=4B9QF9X7WRL7BTBR}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Engebretsen-Karpinski/01, AUTHOR = {Engebretsen, Lars and Karpinski, Marek}, TITLE = {Approximation hardness of TSP with bounded metrics}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {201-212}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=PP2J687V7HAAJA2L}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Feige-Langberg/01a, AUTHOR = {Feige, Uriel and Langberg, Michael}, TITLE = {The $RPR^2$ rounding technique for semidefinite programs}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {213-224}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=KMV0GMH08YFHGK7U}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Gandhi-Khuller-Srinivasan/01, AUTHOR = {Gandhi, Rajiv and Khuller, Samir and Srinivasan, Aravind}, TITLE = {Approximation algorithms for partial covering problems}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {225-236}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, KEYWORDS = {approximation algorithms, partial covering, set cover, vertex cover, primal-dual methods, randomized rounding}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=RMQCVU3FUC9V0BY0}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Alber-Fernau-Niedermeier/01, AUTHOR = {Alber, Jochen and Fernau, Henning and Niedermeier, Rolf}, TITLE = {Parameterized complexity: Exponential speed-up for planar graph problems}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {261-272}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=Q4TQC9LJWHVFDVMJ}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Cai-Juedes/01, AUTHOR = {Cai, Liming and Juedes, David}, TITLE = {Subexponential parameterized algorithms collapse the $W$-hierarchy}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {273-284}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=LF50CGDBXRJDET5R}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chakrabarti-Khot/01, AUTHOR = {Chakrabarti, Amit and Khot, Subhash}, TITLE = {Improved lower bounds on the randomized complexity of graph properties}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {285-296}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, KEYWORDS = {decision tree complexity, monotone graph properties, randomized complexity, randomized algorithms, graph packing, probabilistic method}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=1D44C1YP73W2Y287}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Dodis/01, AUTHOR = {Dodis, Yevgeniy}, TITLE = {New imperfect random source with applications to coin-flipping}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {297-309}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=3W06H7VGNFHXAMTW}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Friedman-Goerdt/01, AUTHOR = {Friedman, Joel and Goerdt, Andreas}, TITLE = {Recognizing more unsatisfiable random 3-SAT instances efficiently}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {310-321}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=D7KU9VK18Y3XWVKH}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Furer/01, AUTHOR = {F{\"u}rer, Martin}, TITLE = {Weisfeiler-Lehman refinement requires at least a linear number of iterations}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {322-333}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, KEYWORDS = {graph isomorphism testing, Weisfeiler-Lehman refinement, games, descriptive complexity}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=14LG8RYYMWLXERKC}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bandini-Segala/01, AUTHOR = {Bandini, Emanuele and Segala, Roberto}, TITLE = {Axiomatizations for probabilistic bisimulation}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {370-381}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=LAEYHHFFBFB3A71H}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Boudol-Castellani/01, AUTHOR = {Boudol, G{\'e}rard and Castellani, Ilaria}, TITLE = {Noninterference for concurrent programs}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {382-395}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=JVG0R5L711RVDH3H}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Cormode-Muthukrishnan-Sahinalp/01, AUTHOR = {Cormode, Graham and Muthukrishnan, S. and {\d{S}}ahinalp, S{\"u}leyman Cenk}, TITLE = {Permutation editing and matching via embeddings}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {481-492}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=HF0VWUH0RCYUJUG1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Czumaj-Sohler/01, AUTHOR = {Czumaj, Artur and Sohler, Christian}, TITLE = {Testing hypergraph coloring}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {493-505}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=8DX087WYCGEYNAL5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Diekert-Muscholl/01, AUTHOR = {Diekert, Volker and Muscholl, Anca}, TITLE = {Solvability of equations in free partially commutative groups is decidable}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {543-554}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=C1GRV4HQ4HBMN7DA}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Droste-Zhang/01, AUTHOR = {Droste, Manfred and Zhang, Guo-Qiang}, TITLE = {Rational transformations of formal power series}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {555-566}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, KEYWORDS = {formal power series, rational languages, recognizable languages, weighted finite automata}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=00YABNBEM9PU7WT0}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Ferenczi-Holton-Zamboni/01, AUTHOR = {Ferenczi, S{\'e}bastien and Holton, Charles and Zamboni, Luca Q.}, TITLE = {Combinatorics of three-interval exchanges}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {567-578}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=6QT5AEK1RNF2D3UJ}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Abdulla-Boasson-Bouajjani/01, AUTHOR = {Abdulla, Parosh Aziz and Boasson, Luc and Bouajjani, Ahmed}, TITLE = {Effective lossy queue languages}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {639-651}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=M9XB97EADXDHB6HK}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Benedikt-Godefroid-Reps/01, AUTHOR = {Benedikt, Michael and Godefroid, Patrice and Reps, Thomas}, TITLE = {Model checking of unrestricted hierarchical state machines}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {652-666}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=QHRM69MV6XUM2D12}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Boreale/01, AUTHOR = {Boreale, Michele}, TITLE = {Symbolic trace analysis of cryptographic protocols}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {667-681}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, KEYWORDS = {spi-calculus, concurrency, formal methods for security protocols}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=HMCR5V92UT57WH44}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Comon-Cortier-Mitchell/01, AUTHOR = {Comon, Hubert and Cortier, V{\'e}ronique and Mitchell, John}, TITLE = {Tree automata with one memory, set constraints, and ping-pong protocols}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {682-693}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=9YD03A0BY96V148D}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Etessami-Wilke-Schuller/01, AUTHOR = {Etessami, Kousha and Wilke, Thomas and Schuller, Rebecca A.}, TITLE = {Fair simulation relations, parity games, and state space reduction for B{\"u}chi automata}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {694-707}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=FQV3T1N6L107YFU5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Caragiannis-Ferreira-Kaklamanis-Perennes-Rivano/01, AUTHOR = {Caragiannis, Ioannis and Ferreira, Afonso and Kaklamanis, Christos and P{\'e}rennes, St{'e}phane and Rivano, Herv{\'e}}, TITLE = {Fractional path coloring with applications to WDM networks}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {732-743}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=2VPDT22YRUU6J0YF}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Cohen-Halperin-Kaplan/01, AUTHOR = {Cohen, Edith and Halperin, Eran and Kaplan, Haim}, TITLE = {Performance aspects of distributed caches using TTL-based consistency}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {744-756}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=0QNA21LKU9U2KM41}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Fraigniaud-Gavoille/01, AUTHOR = {Fraigniaud, Pierre and Gavoille, Cyril}, TITLE = {Routing in trees}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {757-772}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, KEYWORDS = {compact routing, trees, routing algorithms}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=XMNN1RWJWXPNGUKA}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Alur-Etessami-Yannakakis/01, AUTHOR = {Alur, Rajeev and Etessami, Kousha and Yannakakis, Mihalis}, TITLE = {Realizability and verification of MSC graphs}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {797-808}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=FEQHMBMYGR6DYPBT}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chekuri-Khanna/01, AUTHOR = {Chekuri, Chandra and Khanna, Sanjeev}, TITLE = {A PTAS for minimizing weighted completion time on uniformly related machines}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {848-861}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, KEYWORDS = {polynomial time approximation scheme, average completion time, scheduling, uniformly related machines, weighted completion time}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=79JLDNY104KQL760}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chrobak-Csirik-Imreh-Noga-Sgall-Woeginger/01, AUTHOR = {Chrobak, Marek and Csirik, J{\'a}nos and Imreh, Csan{\'a}d and Noga, John and Sgall, Ji{\v{r}}{\'{i}} and Woeginger, Gerhard J.}, TITLE = {The buffer minimization problem for multiprocessor scheduling with conflicts}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {862-874}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=7QETHAQPQ02CLL8Q}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Fishkin-Jansen-Porkolab/01, AUTHOR = {Fishkin, Aleksei V. and Jansen, Klaus and Porkolab, Lorant}, TITLE = {On minimizing average weighted completion time of multiprocessor tasks with release dates}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {875-886}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=0XEGQ6V95MT778TP}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Baum-Waidner/01, AUTHOR = {Baum-Waidner, Birgit}, TITLE = {Optimistic asynchronous multi-party contract signing with reduced number of rounds}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {898-911}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=89YG6FR6FKH1WUV9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Beimel-Ishai/01, AUTHOR = {Beimel, Amos and Ishai, Yuval}, TITLE = {Information-theoretic private information retrieval: A unified construction}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {912-926}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=JNHT3LCMUA2ENRMH}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Feigenbaum-Ishai-Malkin-Nissim-Strauss-Wright/01, AUTHOR = {Feigenbaum, Joan and Ishai, Yuval and Malkin, Tal and Nissim, Kobbi and Strauss, Martin J. and Wright, Rebecca N.}, TITLE = {Secure multiparty computation of approximations}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {927-938}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=CPQ5T97VRYMQ7Q3N}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bofill-Godoy/01, AUTHOR = {Bofill, Miquel and Godoy, Guillem}, TITLE = {On the completeness of arbitrary selection strategies for paramodulation}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {951-962}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, KEYWORDS = {automated deduction}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=A3FALV6H4Y9TWHD4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Atserias-Bonet-Esteban/01, AUTHOR = {Atserias, Albert and Bonet, Mar{\'{i}}a Luisa and Esteban, Juan Luis}, TITLE = {Lower bounds for the weak pigeonhole principle beyond resolution}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {1005-1016}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=74YXGK1T6ARVJYMD}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Buhrman-Tromp-Vitanyi/01, AUTHOR = {Buhrman, Harry and Tromp, John and Vit{\'a}nyi, Paul}, TITLE = {Time and space bounds for reversible simulation}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {1017-1027}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=JTR5L2K6MM6F85H5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Dai-Lathrop-Lutz-Mayordomo/01, AUTHOR = {Dai, Jack J. and Lathrop, James I. and Lutz, Jack H. and Mayordomo, Elvira}, TITLE = {Finite-state dimension}, BOOKTITLE = {Proceedings of the 28th International Colloquium on Automata, Languages and Programming, ICALP'2001 (Crete, Greece, July 8-12, 2001)}, SERIES = {LNCS}, VOLUME = {2076}, PAGES = {1028-1039}, YEAR = {2001}, EDITOR = {Orejas, Fernando and Spirakis, Paul G. and Leeuwen, Jan van}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&id=DP7R69U1CMLLBML6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Donatelli/01, AUTHOR = {Donatelli, Susanna}, TITLE = {Kronecker algebra and (stochastic) Petri nets: Is it worth the effort?}, BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)}, SERIES = {LNCS}, VOLUME = {2075}, PAGES = {1-18}, YEAR = {2001}, EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej}, URL = {http://dx.doi.org/10.1007/3-540-45740-2_1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Aziz_Abdulla-Nylen/01, AUTHOR = {Aziz Abdulla, Parosh and Nyl{\'e}n, Aletta}, TITLE = {Timed Petri nets and BQOs}, BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)}, SERIES = {LNCS}, VOLUME = {2075}, PAGES = {53-70}, YEAR = {2001}, EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej}, URL = {http://dx.doi.org/10.1007/3-540-45740-2_5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Beaudouin-Lafon-Mackay-Andersen-Janecek-Jensen-Lassen-Lund-Mortensen-Munck-Ratzer-Ravn-Christensen-Jensen/01, AUTHOR = {Beaudouin-Lafon, Michel and Mackay, Wendy E. and Andersen, Peter and Janecek, Paul and Jensen, Mads and Lassen, Michael and Lund, Kasper and Mortensen, Kjeld and Munck, Stephanie and Ratzer, Anne and Ravn, Katrine and Christensen, S{\o}ren and Jensen, Kurt}, TITLE = {CPN/Tools: A post-WIMP interface for editing and simulating coloured Petri nets}, BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)}, SERIES = {LNCS}, VOLUME = {2075}, PAGES = {71-80}, YEAR = {2001}, EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej}, URL = {http://dx.doi.org/10.1007/3-540-45740-2_6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bulach-Brauchle-Pfleiderer-Kucerovsky/01, AUTHOR = {Bulach, Slavek and Brauchle, Anton and Pfleiderer, Hans-J{\"o}rg and Kucerovsky, Zdenek}, TITLE = {Petri net based design and implementation methodology for discrete event control systems}, BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)}, SERIES = {LNCS}, VOLUME = {2075}, PAGES = {81-100}, YEAR = {2001}, EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej}, URL = {http://dx.doi.org/10.1007/3-540-45740-2_7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Christensen-Kristensen-Mailund/01, AUTHOR = {Christensen, S{\o}ren and Kristensen, Lars Michael and Mailund, Thomas}, TITLE = {Condensed state spaces for timed Petri nets}, BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)}, SERIES = {LNCS}, VOLUME = {2075}, PAGES = {101-120}, YEAR = {2001}, EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej}, URL = {http://dx.doi.org/10.1007/3-540-45740-2_8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Couvreur-Grivet-Poitrenaud/01, AUTHOR = {Couvreur, Jean-Michel and Grivet, S{\'e}bastien and Poitrenaud, Denis}, TITLE = {Unfolding of products of symmetrical Petri nets}, BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)}, SERIES = {LNCS}, VOLUME = {2075}, PAGES = {121-143}, YEAR = {2001}, EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej}, URL = {http://dx.doi.org/10.1007/3-540-45740-2_9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Deussen/01, AUTHOR = {Deussen, Peter}, TITLE = {Partial order verification of programmable logic controllers}, BOOKTITLE = {Proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN'2001 (Newcastle upon Tyne, UK, June 25-29, 2001)}, SERIES = {LNCS}, VOLUME = {2075}, PAGES = {144-163}, YEAR = {2001}, EDITOR = {Colom, Jos{\'e}-Manuel and Koutny, Maciej}, URL = {http://dx.doi.org/10.1007/3-540-45740-2_10}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Cassaigne/01, AUTHOR = {Cassaigne, Julien}, TITLE = {Recurrence in infinite words}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {1-11}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Aceto-Fokking-Ingolfsdottir/01, AUTHOR = {Aceto, Luca and Fokking, Wan and Ing{\'{o}}lfsd{\'{o}}ttir, Anna}, TITLE = {2-nested simulation is not finitely equationally axiomatizable}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {39-50}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Aida-Schuler-Tsukiji-Watanabe/01, AUTHOR = {Aida, Shin and Schuler, Rainer and Tsukiji, Tatsuie and Watanabe, Osamu}, TITLE = {On the difference between polynomial-time many-one and truth-table reducibilities on distributional problems}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {51-62}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Alt-Knauer-Wenk/01, AUTHOR = {Alt, Helmut and Knauer, Christian and Wenk, Carola}, TITLE = {Matching polygonal curves with respect to the Fr{\'e}chet distance}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {63-74}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2010&spage=63}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Ambainis-Kikusts-Valdats/01, AUTHOR = {Ambainis, Andris and {\c{K}}ikusts, Arnolds and Valdats, M{\=a}ris}, TITLE = {On the class of languages recognizable by 1-way quantum finite automata}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {75-86}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Beaudry-Lemieux-Therien/01, AUTHOR = {Beaudry, Martin and Lemieux, Fran{\c{c}}ois and Th{\'{e}}rien, Denis}, TITLE = {Star-free open languages and aperiodic loops}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {87-98}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Blaser/01, AUTHOR = {Bl{\"a}ser, Markus}, TITLE = {A $\frac{5}{2}n^2$-lower bound for the multiplicative complexity of $n\times n$-matrix multiplication}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {99-109}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chakrabarti-Khot-Shi/01, AUTHOR = {Chakrabarti, Amit and Khot, Subhash and Shi, Yaoyun}, TITLE = {Evasiveness of subgraph containment and related properties}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {110-120}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Clementi-Crescenzi-Penna-Rossi-Vocca/01, AUTHOR = {Clementi, Andrea E.F. and Crescenzi, Pilu and Penna, Paolo and Rossi, Gianluca and Vocca, Paola}, TITLE = {On the complexity of computing minimum energy consumption broadcast subgraphs}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {121-131}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Dang-San_Pietro-Kemmerer/01, AUTHOR = {Dang, Zhe and San Pietro, Pierluigi and Kemmerer, Richard A.}, TITLE = {On Presburger liveness of discrete timed automata}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {132-143}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Denis-Lemay-Terlutte/01, AUTHOR = {Denis, Fran{\c{c}}ois and Lemay, Aur{\'{e}}lien and Terlutte, Alain}, TITLE = {Residual finite state automata}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {144-157}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Dessmark-Pelc/01, AUTHOR = {Dessmark, Anders and Pelc, Andrzej}, TITLE = {Deterministic radio broadcasting at low cost}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {158-169}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Diekert-Gutierrez-Hagenah/01, AUTHOR = {Diekert, Volker and Guti{\'{e}}rrez, Claudio and Hagenah, Christian}, TITLE = {The existential theory of equations with rational constraints in free groups is PSPACE-complete}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {170-182}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Doerr-Srivastav/01, AUTHOR = {Doerr, Benjamin and Srivastav, Anand}, TITLE = {Recursive randomized coloring beats fair dice random colorings}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {183-194}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, KEYWORDS = {s}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Downey-Hirschfeldt-Nies/01, AUTHOR = {Downey, Rod G. and Hirschfeldt, Denis R. and Nies, Andr{\'{e}}}, TITLE = {Randomness, computability, and density}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {195-205}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Duris-Hromkovic-Jukna-Sauerhoff-Schnitger/01, AUTHOR = {{\v{D}}uri{\v{s}}, Pavol and Hromkovi{\v{c}}, Juraj and Jukna, Stasys and Sauerhoff, Martin and Schnitger, Georg}, TITLE = {On multipartition communication complexity}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {206-217}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Elsasser-Kralovic-Monien/01, AUTHOR = {Els{\"a}sser, Robert and Kr{\'{a}}lovi{\v{c}}, Rastislav and Monien, Burkhard}, TITLE = {Scalable sparse topologies with small spectrum}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {218-229}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Epstein/01a, AUTHOR = {Epstein, Leah}, TITLE = {Optimal preemptive scheduling on uniform processors with non-decreasing speed ratios}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {230-237}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Fernandes-Nierhoff/01, AUTHOR = {Fernandes, Cristina G. and Nierhoff, Till}, TITLE = {The UPS problem}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {238-246}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Flocchini-Prencipe-Santoro-Widmayer/01, AUTHOR = {Flocchini, Paola and Prencipe, Giuseppe and Santoro, Nicola and Widmayer, Peter}, TITLE = {Gathering of asynchronous oblivious robots with limited visibility}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {247-258}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Gajardo-Goles-Moreira/01, AUTHOR = {Gajardo, Anah{\'{i}} and Goles, Eric and Moreira, Andr{\'{e}}s}, TITLE = {Generalized Langton's ant: Dynamical behavior and complexity}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {259-270}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Galdi-Kaklamanis-Montangero-Persiano/01, AUTHOR = {Galdi, Clemente and Kaklamanis, Christos and Montangero, Manuela and Persiano, Pino}, TITLE = {Optimal and approximate station placement in networks (With applications to multicasting and space efficient traversals)}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {271-282}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Gavalda-Therien/01, AUTHOR = {Gavald{\`{a}}, Ricard and Th{\'{e}}rien, Denis}, TITLE = {Learning expressions over monoids}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {283-293}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Goerdt-Krivelevich/01, AUTHOR = {Goerdt, Andreas and Krivelevich, Michael}, TITLE = {Efficient recognition of random unsatisfiable $k$-SAT instances by spectral methods}, BOOKTITLE = {Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2001 (Dresden, Germany, February 15-17, 2001)}, SERIES = {LNCS}, VOLUME = {2010}, PAGES = {294-304}, YEAR = {2001}, EDITOR = {Ferreira, Afonso and Reichel, Horst}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bridgeman-Tamassia/01, AUTHOR = {Bridgeman, Stina and Tamassia, Roberto}, TITLE = {A user study in similarity measures for graph drawing}, BOOKTITLE = {Proceedings of the 8th International Symposium on Graph Drawing, GD'2000 (Colonial Williamsburg, VA, USA, September 20-23, 2000)}, SERIES = {LNCS}, VOLUME = {1984}, PAGES = {19-30}, YEAR = {2001}, EDITOR = {Marks, Joe}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1984&spage=19}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Brandes-Cornelsen-Wagner/01, AUTHOR = {Brandes, Ulrik and Cornelsen, Sabine and Wagner, Dorothea}, TITLE = {How to draw the minimum cuts of a planar graph}, BOOKTITLE = {Proceedings of the 8th International Symposium on Graph Drawing, GD'2000 (Colonial Williamsburg, VA, USA, September 20-23, 2000)}, SERIES = {LNCS}, VOLUME = {1984}, PAGES = {103-114}, YEAR = {2001}, EDITOR = {Marks, Joe}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1984&spage=103}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Boissonnat-Cazals-Flototto/01, AUTHOR = {Boissonnat, J.D. and Cazals, F. and Fl{\"o}totto, J.}, TITLE = {2D-structure drawings of similar molecules}, BOOKTITLE = {Proceedings of the 8th International Symposium on Graph Drawing, GD'2000 (Colonial Williamsburg, VA, USA, September 20-23, 2000)}, SERIES = {LNCS}, VOLUME = {1984}, PAGES = {115-126}, YEAR = {2001}, EDITOR = {Marks, Joe}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1984&spage=115}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Brandes-Shubina-Tamassia-Wagner/01, AUTHOR = {Brandes, Ulrik and Shubina, Galina and Tamassia, Roberto and Wagner, Dorothea}, TITLE = {Fast layout methods for timetable graphs}, BOOKTITLE = {Proceedings of the 8th International Symposium on Graph Drawing, GD'2000 (Colonial Williamsburg, VA, USA, September 20-23, 2000)}, SERIES = {LNCS}, VOLUME = {1984}, PAGES = {127-138}, YEAR = {2001}, EDITOR = {Marks, Joe}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1984&spage=127}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Castello-Mili-Tollis/01, AUTHOR = {Castell{\'o}, R. and Mili, R. and Tollis, I.G.}, TITLE = {An algorithmic framework for visualizing statecharts}, BOOKTITLE = {Proceedings of the 8th International Symposium on Graph Drawing, GD'2000 (Colonial Williamsburg, VA, USA, September 20-23, 2000)}, SERIES = {LNCS}, VOLUME = {1984}, PAGES = {139-149}, YEAR = {2001}, EDITOR = {Marks, Joe}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1984&spage=139}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Carmignani-di_Battista-Didimo-Matera-Pizzonia/01, AUTHOR = {Carmignani, Andrea and di Battista, Giuseppe and Didimo, Walter and Matera, Francesco and Pizzonia, Maurizio}, TITLE = {Visualization of the autonomous systems interconnections with HERMES}, BOOKTITLE = {Proceedings of the 8th International Symposium on Graph Drawing, GD'2000 (Colonial Williamsburg, VA, USA, September 20-23, 2000)}, SERIES = {LNCS}, VOLUME = {1984}, PAGES = {150-163}, YEAR = {2001}, EDITOR = {Marks, Joe}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1984&spage=150}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Bertault-Eades/01, AUTHOR = {Bertault, Fran{\c{c}}ois and Eades, Peter}, TITLE = {Drawing hypergraphs in the subset standard}, BOOKTITLE = {Proceedings of the 8th International Symposium on Graph Drawing, GD'2000 (Colonial Williamsburg, VA, USA, September 20-23, 2000)}, SERIES = {LNCS}, VOLUME = {1984}, PAGES = {164-169}, YEAR = {2001}, EDITOR = {Marks, Joe}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1984&spage=164}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Gajer-Goodrich-Kobourov/01, AUTHOR = {Gajer, Pawel and Goodrich, Michael T. and Kobourov, Stephen G.}, TITLE = {A multi-dimensional approach to force-directed layouts of large graphs}, BOOKTITLE = {Proceedings of the 8th International Symposium on Graph Drawing, GD'2000 (Colonial Williamsburg, VA, USA, September 20-23, 2000)}, SERIES = {LNCS}, VOLUME = {1984}, PAGES = {211-221}, YEAR = {2001}, EDITOR = {Marks, Joe}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1984&spage=211}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Gajer-Kobourov/01, AUTHOR = {Gajer, Pawel and Kobourov, Stephen G.}, TITLE = {GRIP: Graph dRawing with Intelligent Placement}, BOOKTITLE = {Proceedings of the 8th International Symposium on Graph Drawing, GD'2000 (Colonial Williamsburg, VA, USA, September 20-23, 2000)}, SERIES = {LNCS}, VOLUME = {1984}, PAGES = {222-228}, YEAR = {2001}, EDITOR = {Marks, Joe}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1984&spage=222}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Buchheim-Junger-Leipert/01, AUTHOR = {Buchheim, Christoph and J{\"u}nger, Michael and Leipert, Sebastian}, TITLE = {A fast layout algorithm for $k$-level graphs}, BOOKTITLE = {Proceedings of the 8th International Symposium on Graph Drawing, GD'2000 (Colonial Williamsburg, VA, USA, September 20-23, 2000)}, SERIES = {LNCS}, VOLUME = {1984}, PAGES = {229-240}, YEAR = {2001}, EDITOR = {Marks, Joe}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1984&spage=229}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Biedl-Thiele-Wood/01, AUTHOR = {Biedl, Therese and Thiele, Torsten and Wood, David R.}, TITLE = {Three-dimensional orthogonal graph drawing with optimal volume}, BOOKTITLE = {Proceedings of the 8th International Symposium on Graph Drawing, GD'2000 (Colonial Williamsburg, VA, USA, September 20-23, 2000)}, SERIES = {LNCS}, VOLUME = {1984}, PAGES = {284-295}, YEAR = {2001}, EDITOR = {Marks, Joe}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1984&spage=284}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Barequet/01, AUTHOR = {Barequet, Gill}, TITLE = {$\omega$-searchlight obedient graph drawings}, BOOKTITLE = {Proceedings of the 8th International Symposium on Graph Drawing, GD'2000 (Colonial Williamsburg, VA, USA, September 20-23, 2000)}, SERIES = {LNCS}, VOLUME = {1984}, PAGES = {321-327}, YEAR = {2001}, EDITOR = {Marks, Joe}, KEYWORDS = {geometric optimization, Heilbronn's triangle problem}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1984&spage=321}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Dean/01, AUTHOR = {Dean, Alice M.}, TITLE = {A layout algorithm for bar-visibility graphs on the M{\"o}bius band}, BOOKTITLE = {Proceedings of the 8th International Symposium on Graph Drawing, GD'2000 (Colonial Williamsburg, VA, USA, September 20-23, 2000)}, SERIES = {LNCS}, VOLUME = {1984}, PAGES = {350-359}, YEAR = {2001}, EDITOR = {Marks, Joe}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1984&spage=350}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Chen-Lu-Yen/01, AUTHOR = {Chen, Ho-Lin and Lu, Hsueh-I. and Yen, Hsu-Chun}, TITLE = {On maximum symmetric subgraphs}, BOOKTITLE = {Proceedings of the 8th International Symposium on Graph Drawing, GD'2000 (Colonial Williamsburg, VA, USA, September 20-23, 2000)}, SERIES = {LNCS}, VOLUME = {1984}, PAGES = {372-383}, YEAR = {2001}, EDITOR = {Marks, Joe}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1984&spage=372}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Friedrich-Eades/01, AUTHOR = {Friedrich, Carsten and Eades, Peter}, TITLE = {The Marey graph animation tool demo}, BOOKTITLE = {Proceedings of the 8th International Symposium on Graph Drawing, GD'2000 (Colonial Williamsburg, VA, USA, September 20-23, 2000)}, SERIES = {LNCS}, VOLUME = {1984}, PAGES = {396-406}, YEAR = {2001}, EDITOR = {Marks, Joe}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1984&spage=396}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Brandes-Marshall-North/01, AUTHOR = {Brandes, Ulrik and Marshall, M. Scott and North, Stephen C.}, TITLE = {Graph data format workshop report}, BOOKTITLE = {Proceedings of the 8th International Symposium on Graph Drawing, GD'2000 (Colonial Williamsburg, VA, USA, September 20-23, 2000)}, SERIES = {LNCS}, VOLUME = {1984}, PAGES = {407-409}, YEAR = {2001}, EDITOR = {Marks, Joe}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1984&spage=407}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, } @incollection{Brandenburg-Brandes-Himsolt-Raitner/01, AUTHOR = {Brandenburg, Franz and Brandes, Ulrik and Himsolt, Michael and Raitner, Marcus}, TITLE = {Graph-drawing contest report}, BOOKTITLE = {Proceedings of the 8th International Symposium on Graph Drawing, GD'2000 (Colonial Williamsburg, VA, USA, September 20-23, 2000)}, SERIES = {LNCS}, VOLUME = {1984}, PAGES = {410-418}, YEAR = {2001}, EDITOR = {Marks, Joe}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=1984&spage=410}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo}, }