@incollection{Aloupis-Bose-Morin/04, AUTHOR = {Aloupis, Greg and Bose, Prosenjit and Morin, Pat}, TITLE = {Reconfiguring triangulations with edge flips and point moves}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {1-11}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/x6l3453gf2w5dwqm}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Andersen-Chung-Lu/04, AUTHOR = {Andersen, Reid and Chung, Fan and Lu, Lincoln}, TITLE = {Drawing power law graphs}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {12-17}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/mlbd20wlghxyr57c}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Aziza-Biedl/04, AUTHOR = {Aziza, Shabnam and Biedl, Therese}, TITLE = {Hexagonal grid drawings: Algorithms and lower bounds}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {18-24}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/ntvm50cldugxvub0}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Balogh-Salazar/04, AUTHOR = {Balogh, J{\'o}zsef and Salazar, Gelasio}, TITLE = {Improved bounds for the number of $(\le k)$-sets, convex quadrilaterals, and the rectilinear crossing number of $K_n$}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {25-35}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/6dwp50y69pn7hw8t}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Basu-Dhandapani-Pollack/04, AUTHOR = {Basu, Saugata and Dhandapani, Raghavan and Pollack, Richard}, TITLE = {On the realizable weaving patterns of polynomial curves in $R^3$}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {36-42}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/6w67tqaj6vrt37rx}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Baur-Brandes-Gaertler-Wagner/04, AUTHOR = {Baur, Michael and Brandes, Ulrik and Gaertler, Marco and Wagner, Dorothea}, TITLE = {Drawing the AS graph in 2.5 dimensions}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {43-48}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/xfqay6gkcychr4hf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bekos-Kaufmann-Symvonis-Wolff/04, AUTHOR = {Bekos, Michael A. and Kaufmann, Michael and Symvonis, Antonios and Wolff, Alexander}, TITLE = {Boundary labeling: Models and efficient algorithms for rectangular maps}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {49-59}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/dlunjnmx392xyeer}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bonichon-Felsner-Mosbah/04, AUTHOR = {Bonichon, Nicolas and Felsner, Stefan and Mosbah, Mohamed}, TITLE = {Convex drawings of 3-connected plane graphs}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {60-70}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/t9aew1wyw090huq1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bose-Hurtado-Rivera-Campo-Wood/04, AUTHOR = {Bose, Prosenjit and Hurtado, Ferran and Rivera-Campo, Eduardo and Wood, David R.}, TITLE = {Partitions of complete geometric graphs into plane trees}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {71-81}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/6h7hf9hx31x92rpl}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Boyer/04, AUTHOR = {Boyer, John M.}, TITLE = {Additional PC-tree planarity conditions}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {82-88}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/n7t45ceny9w4rxa2}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brandes-Pich/04, AUTHOR = {Brandes, Ulrik and Pich, Christian}, TITLE = {GraphML transformation}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {89-99}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/e8hp0qpf2yaq8q63}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cortese-Di_Battista-Patrignani-Pizzonia/04, AUTHOR = {Cortese, Pier Francesco and Di Battista, Giuseppe and Patrignani, Maurizio and Pizzonia, Maurizio}, TITLE = {Clustering cycles into cycles of clusters}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {100-110}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/1a2jvp5abp5fumc7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dean-Gethner-Hutchinson/04, AUTHOR = {Dean, Alice M. and Gethner, Ellen and Hutchinson, Joan P.}, TITLE = {Unit bar-visibility layouts of triangulated polygons}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {111-121}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/4cn27024qm6ybtk3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dujmovic-Suderman-Wood/04, AUTHOR = {Dujmovi{\'c}, Vida and Suderman, Matthew and Wood, David R.}, TITLE = {Really straight graph drawings}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {122-132}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/f1t1mtcbfqtgeam3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Di_Giacomo-Didimo-Liotta-Meijer/04, AUTHOR = {Di Giacomo, Emilio and Didimo, Walter and Liotta, Giuseppe and Meijer, Henk}, TITLE = {Computing radial drawings on the minimum number of circles}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {251-261}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/ufc3qh0vmt8a4ab3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Di_Giacomo-Didimo-Liotta-Suderman/04, AUTHOR = {Di Giacomo, Emilio and Didimo, Walter and Liotta, Giuseppe and Suderman, Matthew}, TITLE = {Hamiltonian-with-handles graphs and the $k$-spine drawability problem}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {262-272}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/whxe50h72pu7q35n}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Abello-Kobourov-Yusufov/04, AUTHOR = {Abello, James and Kobourov, Stephen G. and Yusufov, Roman}, TITLE = {Visualizing large graphs with compound-fisheye views and treemaps}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {431-441}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/b61gl4fp4dv63j11}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dogrusoz-Giral-Cetintas-Civril-Demir/04, AUTHOR = {Dogrusoz, Ugur and Giral, Erhan and Cetintas, Ahmet and Civril, Ali and Demir, Emek}, TITLE = {A compound graph layout algorithm for biological pathways}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {442-447}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/1f4pl3gvwrqf33qn}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bachmaier-Brandenburg-Forster-Holleis-Raitner/04, AUTHOR = {Bachmaier, Christian and Brandenburg, Franz J. and Forster, Michael and Holleis, Paul and Raitner, Marcus}, TITLE = {Gravisto: Graph visualization toolkit}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {502-503}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/7x5x56dlhcawqu54}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Byun-Han/04, AUTHOR = {Byun, Yanga and Han, Kyungsook}, TITLE = {DNA secondary structures for probe design}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {504-507}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/3wblyx7rm92vh89a}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brandenburg-Duncan-Gansner-Kobourov/04, AUTHOR = {Brandenburg, Franz J. and Duncan, Christian A. and Gansner, Emden and Kobourov, Stephen G.}, TITLE = {Graph-drawing contest report}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {512-516}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/a562web52glu1hew}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Demaine-Hajiaghayi/04a, AUTHOR = {Demaine, Erik D. and Hajiaghayi, MohammadTaghi}, TITLE = {Fast algorithms for hard graph problems: Bidimensionality, minors, and local treewidth}, BOOKTITLE = {Proceedings of the 12th International Symposium on Graph Drawing, GD'2004 (New York, NY, USA, September 29 - October 2, 2004)}, SERIES = {LNCS}, VOLUME = {3383}, PAGES = {517-533}, YEAR = {2004}, EDITOR = {Pach, J{\'a}nos}, URL = {http://www.springerlink.com/content/t5hn8q0nd9cjqqhd}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Corneil/04, AUTHOR = {Corneil, Derek G.}, TITLE = {Lexicographic breadth first search --- A survey}, BOOKTITLE = {Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2004 (Bad Honnef, Germany, June 21-23, 2004)}, SERIES = {LNCS}, VOLUME = {3353}, PAGES = {1-19}, YEAR = {2004}, EDITOR = {Hromkovi{\v{c}}, Juraj and Nagl, Manfred and Westfechtel, Bernhard}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, TYPE = {inproceedings}, } @incollection{Cornelsen-di_Stefano/04, AUTHOR = {Cornelsen, Sabine and di Stefano, Gabriele}, TITLE = {Treelike comparability graphs: Characterization, recognition, and applications}, BOOKTITLE = {Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2004 (Bad Honnef, Germany, June 21-23, 2004)}, SERIES = {LNCS}, VOLUME = {3353}, PAGES = {46-57}, YEAR = {2004}, EDITOR = {Hromkovi{\v{c}}, Juraj and Nagl, Manfred and Westfechtel, Bernhard}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, TYPE = {inproceedings}, } @incollection{Dragan-Yan-Corneil/04, AUTHOR = {Dragan, Feodor and Yan, Chenyu and Corneil, Derek G.}, TITLE = {Collective tree spanners and routing in AT-free related graphs}, BOOKTITLE = {Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2004 (Bad Honnef, Germany, June 21-23, 2004)}, SERIES = {LNCS}, VOLUME = {3353}, PAGES = {68-80}, YEAR = {2004}, EDITOR = {Hromkovi{\v{c}}, Juraj and Nagl, Manfred and Westfechtel, Bernhard}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, TYPE = {inproceedings}, } @incollection{Bodlaender-Koster/04, AUTHOR = {Bodlaender, Hans L. and Koster, Arie M.C.A.}, TITLE = {On the maximum cardinality search lower bound for treewidth}, BOOKTITLE = {Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2004 (Bad Honnef, Germany, June 21-23, 2004)}, SERIES = {LNCS}, VOLUME = {3353}, PAGES = {81-92}, YEAR = {2004}, EDITOR = {Hromkovi{\v{c}}, Juraj and Nagl, Manfred and Westfechtel, Bernhard}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, TYPE = {inproceedings}, } @incollection{Crespelle-Paul/04, AUTHOR = {Crespelle, Christophe and Paul, Christophe}, TITLE = {Fully-dynamic recognition algorithm and certificate for directed cographs}, BOOKTITLE = {Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2004 (Bad Honnef, Germany, June 21-23, 2004)}, SERIES = {LNCS}, VOLUME = {3353}, PAGES = {93-104}, YEAR = {2004}, EDITOR = {Hromkovi{\v{c}}, Juraj and Nagl, Manfred and Westfechtel, Bernhard}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, TYPE = {inproceedings}, } @incollection{Baader/04, AUTHOR = {Baader, Franz}, TITLE = {A graph-theoretic generalization of the least common subsumer and the most specific concept in the description logic $\varepsilon L$}, BOOKTITLE = {Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2004 (Bad Honnef, Germany, June 21-23, 2004)}, SERIES = {LNCS}, VOLUME = {3353}, PAGES = {177-188}, YEAR = {2004}, EDITOR = {Hromkovi{\v{c}}, Juraj and Nagl, Manfred and Westfechtel, Bernhard}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, TYPE = {inproceedings}, } @incollection{Broersma-Paulusma-Smit-Vlaardingerbroek-Woeginger/04, AUTHOR = {Broersma, Hajo J. and Paulusma, Daniel and Smit, Gerard J.M. and Vlaardingerbroek, Frank and Woeginger, Gerhard J.}, TITLE = {The computational complexity of the minimum weight processor assignment problem}, BOOKTITLE = {Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2004 (Bad Honnef, Germany, June 21-23, 2004)}, SERIES = {LNCS}, VOLUME = {3353}, PAGES = {189-200}, YEAR = {2004}, EDITOR = {Hromkovi{\v{c}}, Juraj and Nagl, Manfred and Westfechtel, Bernhard}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, TYPE = {inproceedings}, } @incollection{Apollonio-Caramia-Italiano/04, AUTHOR = {Apollonio, Nicola and Caramia, Massimiliano and Italiano, Giuseppe F.}, TITLE = {A stochastic location problem with applications to tele-diagnostic}, BOOKTITLE = {Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2004 (Bad Honnef, Germany, June 21-23, 2004)}, SERIES = {LNCS}, VOLUME = {3353}, PAGES = {201-213}, YEAR = {2004}, EDITOR = {Hromkovi{\v{c}}, Juraj and Nagl, Manfred and Westfechtel, Bernhard}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, TYPE = {inproceedings}, } @incollection{Chor-Fellows-Juedes/04, AUTHOR = {Chor, Benny and Fellows, Mike and Juedes, David}, TITLE = {Linear kernels in linear time, or how to save $k$ colors in $O(n^2)$ steps}, BOOKTITLE = {Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2004 (Bad Honnef, Germany, June 21-23, 2004)}, SERIES = {LNCS}, VOLUME = {3353}, PAGES = {257-269}, YEAR = {2004}, EDITOR = {Hromkovi{\v{c}}, Juraj and Nagl, Manfred and Westfechtel, Bernhard}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, TYPE = {inproceedings}, } @incollection{Bonichon-Gavoille-Hanusse-Poulalhon-Schaeffer/04, AUTHOR = {Bonichon, Nicolas and Gavoille, Cyril and Hanusse, Nicolas and Poulalhon, Dominique and Schaeffer, Gilles}, TITLE = {Planar graphs, via well-orderly maps and trees}, BOOKTITLE = {Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2004 (Bad Honnef, Germany, June 21-23, 2004)}, SERIES = {LNCS}, VOLUME = {3353}, PAGES = {270-284}, YEAR = {2004}, EDITOR = {Hromkovi{\v{c}}, Juraj and Nagl, Manfred and Westfechtel, Bernhard}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, TYPE = {inproceedings}, } @incollection{Brimkov-Barneva-Klette-Straight/04, AUTHOR = {Brimkov, Valentin E. and Barneva, Reneta P. and Klette, Reinhard and Straight, Joseph}, TITLE = {Efficient computation of the Lov{\'a}sz theta function for a class of circulant graphs}, BOOKTITLE = {Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2004 (Bad Honnef, Germany, June 21-23, 2004)}, SERIES = {LNCS}, VOLUME = {3353}, PAGES = {285-295}, YEAR = {2004}, EDITOR = {Hromkovi{\v{c}}, Juraj and Nagl, Manfred and Westfechtel, Bernhard}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, TYPE = {inproceedings}, } @incollection{Chen-Tsukiji/04, AUTHOR = {Chen, Zhi-Zhong and Tsukiji, Tatsuie}, TITLE = {Computing bounded-degree phylogenetic roots of disconnected graphs}, BOOKTITLE = {Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2004 (Bad Honnef, Germany, June 21-23, 2004)}, SERIES = {LNCS}, VOLUME = {3353}, PAGES = {308-319}, YEAR = {2004}, EDITOR = {Hromkovi{\v{c}}, Juraj and Nagl, Manfred and Westfechtel, Bernhard}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, TYPE = {inproceedings}, } @incollection{Baur-Brandes/04, AUTHOR = {Baur, Michael and Brandes, Ulrik}, TITLE = {Crossing reduction in circular layouts}, BOOKTITLE = {Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2004 (Bad Honnef, Germany, June 21-23, 2004)}, SERIES = {LNCS}, VOLUME = {3353}, PAGES = {332-343}, YEAR = {2004}, EDITOR = {Hromkovi{\v{c}}, Juraj and Nagl, Manfred and Westfechtel, Bernhard}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, TYPE = {inproceedings}, } @incollection{Costa_Dourado-Protti-Szwarcfiter/04, AUTHOR = {Costa Dourado, Mitre and Protti, F{\'a}bio and Szwarcfiter, Jayme Luiz}, TITLE = {Characterization and recognition of generalized clique-Helly graphs}, BOOKTITLE = {Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2004 (Bad Honnef, Germany, June 21-23, 2004)}, SERIES = {LNCS}, VOLUME = {3353}, PAGES = {344-354}, YEAR = {2004}, EDITOR = {Hromkovi{\v{c}}, Juraj and Nagl, Manfred and Westfechtel, Bernhard}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, TYPE = {inproceedings}, } @incollection{Conforti-Galluccio-Proietti/04, AUTHOR = {Conforti, Michele and Galluccio, Anna and Proietti, Guido}, TITLE = {Edge-connectivity augmentation and network matrices}, BOOKTITLE = {Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2004 (Bad Honnef, Germany, June 21-23, 2004)}, SERIES = {LNCS}, VOLUME = {3353}, PAGES = {355-364}, YEAR = {2004}, EDITOR = {Hromkovi{\v{c}}, Juraj and Nagl, Manfred and Westfechtel, Bernhard}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, TYPE = {inproceedings}, } @incollection{Bietenhader-Okamoto/04, AUTHOR = {Bietenhader, Thomas and Okamoto, Yoshio}, TITLE = {Core stability of minimum coloring games}, BOOKTITLE = {Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2004 (Bad Honnef, Germany, June 21-23, 2004)}, SERIES = {LNCS}, VOLUME = {3353}, PAGES = {389-401}, YEAR = {2004}, EDITOR = {Hromkovi{\v{c}}, Juraj and Nagl, Manfred and Westfechtel, Bernhard}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, TYPE = {inproceedings}, } @incollection{Demaine/04, AUTHOR = {Demaine, Erik D.}, TITLE = {Puzzles, art, and magic with algorithms}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {1-1}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/mx9f4e8618klj4q3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Abraham-Cechlarova-Manlove-Mehlhorn/04, AUTHOR = {Abraham, David J. and Cechl{\'a}rov{\'a}, Katar{\'{i}}na and Manlove, David F. and Mehlhorn, Kurt}, TITLE = {Pareto optimality in house allocation problems}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {3-15}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/b33l6cl34pb7b29e}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ailon-Chazelle-Comandur-Liu/04, AUTHOR = {Ailon, Nir and Chazelle, Bernard and Comandur, Seshadhri and Liu, Ding}, TITLE = {Property-preserving data reconstruction}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {16-27}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/e7m9kybaxxc2v2d4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Amano-Maruoka/04, AUTHOR = {Amano, Kazuyuki and Maruoka, Akira}, TITLE = {On the monotone circuit complexity of quadratic Boolean functions}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {28-40}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/1qga9vbejqalxp5t}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Amir-Nor/04, AUTHOR = {Amir, Amihood and Nor, Igor}, TITLE = {Generalized function matching}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {41-52}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/bhf7ydgm9rk8xjly}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Andersson-Gudmundsson-Levcopoulos/04, AUTHOR = {Andersson, Mattias and Gudmundsson, Joachim and Levcopoulos, Christos}, TITLE = {Approximate distance oracles for graphs with dense clusters}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {53-64}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/lqfu41vcu5j6nn99}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Armon-Zwick/04, AUTHOR = {Armon, Amitai and Zwick, Uri}, TITLE = {Multicriteria global minimum cuts}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {65-76}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/yugl5fqcvg8ewfl1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Aronov-Asano-Katoh-Mehlhorn-Tokuyama/04, AUTHOR = {Aronov, Boris and Asano, Tetsuo and Katoh, Naoki and Mehlhorn, Kurt and Tokuyama, Takeshi}, TITLE = {Polyline fitting of planar points under min-sum criteria}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {77-88}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/j4wa24l12lxdrx3n}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Aronov-Asano-Kikuchi-Nandy-Sasahara-Uno/04, AUTHOR = {Aronov, Boris and Asano, Tetsuo and Kikuchi, Yosuke and Nandy, Subhas C. and Sasahara, Shinji and Uno, Takeaki}, TITLE = {A generalization of magic squares with applications to digital halftoning}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {89-100}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/62tmk8ejhrn20074}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bae-Chwa/04, AUTHOR = {Bae, Sang Won and Chwa, Kyung-Yong}, TITLE = {Voronoi diagrams with a transportation network on the Euclidean plane}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {101-112}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/mb1y6p1ahbptcv4q}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bauer-Klau/04, AUTHOR = {Bauer, Markus and Klau, Gunnar W.}, TITLE = {Structural alignment of two RNA sequences with Lagrangian relaxation}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {113-123}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/hwuf02fl43adkha0}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bazgan-Escoffier-Paschos/04, AUTHOR = {Bazgan, Cristina and Escoffier, Bruno and Paschos, Vangelis Th.}, TITLE = {Poly-APX- and PTAS-completeness in standard and differential approximation}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {124-136}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/jhq2qr3d0hmra8c7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bengtsson-Chen/04, AUTHOR = {Bengtsson, Fredrik and Chen, Jingsen}, TITLE = {Efficient algorithms for $k$ maximum sums}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {137-148}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/w10u652l723q5443}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bereg/04a, AUTHOR = {Bereg, Sergey}, TITLE = {Equipartitions of measures by 2-fans}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {149-158}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/8c02ehkeqpfhgaxq}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bilo-Proietti/04, AUTHOR = {Bil{\`o}, Davide and Proietti, Guido}, TITLE = {Augmenting the edge-connectivity of a spider tree}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {159-171}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/2ncbq55qw2j8wqy6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bilo-Flammini-Melideo-Moscardelli/04, AUTHOR = {Bil{\`o}, Vittorio and Flammini, Michele and Melideo, Giovanna and Moscardelli, Luca}, TITLE = {On Nash equilibria for multicast transmissions in ad-hoc wireless networks}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {172-183}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/jj8vr68bb8n541yq}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brandes-Lerner/04, AUTHOR = {Brandes, Ulrik and Lerner, J{\"u}rgen}, TITLE = {Structural similarity in graphs --- A relaxation approach for role assignment}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {184-195}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/f7j784xk574g7g87}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brazil-Winter-Zachariasen/04, AUTHOR = {Brazil, Marcus and Winter, Pawel and Zachariasen, Martin}, TITLE = {Flexibility of Steiner trees in uniform orientation metrics}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {196-208}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/jl7y11vddgwea2ej}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cai-Watanabe/04a, AUTHOR = {Cai, Jin-Yi and Watanabe, Osamu}, TITLE = {Random access to advice strings and collapsing results}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {209-220}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/h3qpty4fj4uf7aw4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Calinescu/04, AUTHOR = {Calinescu, Gruia}, TITLE = {Bounding the payment of approximate truthful mechanisms}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {221-233}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/hkn3e7r95q0t6wf4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Calinescu-Zelikovsky/04, AUTHOR = {Calinescu, Gruia and Zelikovsky, Alexander}, TITLE = {The polymatroid Steiner problems}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {234-245}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/tn9tpmlptj26xwnp}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chan-Sadjad/04, AUTHOR = {Chan, Timothy M. and Sadjad, Bashir S.}, TITLE = {Geometric optimization problems over sliding windows}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {246-258}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/0rkyfkvu21adu5vj}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chan-Wong/04, AUTHOR = {Chan, Wun-Tat and Wong, Prudence W.H.}, TITLE = {On-line windows scheduling of temporary items}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {259-270}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/wull8nmrr0f4lwga}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Hu-Luan-Naqvi-Wang-Yu/04, AUTHOR = {Chen, Danny Z. and Hu, Xiaobo S. and Luan, Shuang and Naqvi, Shahid A. and Wang, Chao and Yu, Cedric X.}, TITLE = {Generalized geometric approaches for leaf sequencing problems in radiation therapy}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {271-281}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/tbmq02ykw1bfl5n5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Chang/04, AUTHOR = {Chen, Hsin-Fu and Chang, Maw-Shang}, TITLE = {An efficient exact algorithm for the minimum ultrametric tree problem}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {282-293}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/c26meaybcpule4el}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Chao/04, AUTHOR = {Chen, Kuan-Yu and Chao, Kun-Mao}, TITLE = {On the range maximum-sum segment query problem}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {294-305}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/dx881gr3xn9765qy}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Zang/04, AUTHOR = {Chen, Xujin and Zang, Wenan}, TITLE = {An efficient algorithm for finding maximum cycle packings in reducible flow graphs}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {306-317}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/py59q44cd6952hyn}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Singh-Xu/04, AUTHOR = {Chen, Zhenming and Singh, Vikas and Xu, Jinhui}, TITLE = {Efficient job scheduling algorithms with multi-type contentions}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {318-329}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/ka49x8fpbjc9f4e5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Cheng/04a, AUTHOR = {Chen, Chao and Cheng, Ho-Lun}, TITLE = {Superimposing Voronoi complexes for shape deformation}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {330-341}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/capv6dlvwmc2vymb}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cheng-Huang/04a, AUTHOR = {Cheng, Qi and Huang, Ming-Deh}, TITLE = {On partial lifting and the elliptic curve discrete logarithm problem}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {342-351}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/mktu3ktj1ne3w4hp}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chwa-Jo-Knauer-Moet-van_Oostrum-Shin/04, AUTHOR = {Chwa, Kyung-Yong and Jo, Byung-Cheol and Knauer, Christian and Moet, Esther and van Oostrum, Ren{\'e} and Shin, Chan-Su}, TITLE = {Guarding art galleries by guarding witnesses}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {352-363}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/x50bk7wjy932h3f4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dai-Su/04, AUTHOR = {Dai, H.K. and Su, H.C.}, TITLE = {On $p$-norm based locality measures of space-filling curves}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {364-376}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/m0l07422p65553u2}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dang-Ibarra-Su/04, AUTHOR = {Dang, Zhe and Ibarra, Oscar H. and Su, Jianwen}, TITLE = {Composability of infinite-state activity automata}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {377-388}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/ja88nte69r99ql8x}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dom-Guo-Huffner-Niedermeier/04, AUTHOR = {Dom, Michael and Guo, Jiong and H{\"u}ffner, Falk and Niedermeier, Rolf}, TITLE = {Error compensation in leaf root problems}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {389-401}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/81lcymfngwjkh3gy}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dragan-Lomonosov/04, AUTHOR = {Dragan, Feodor F. and Lomonosov, Irina}, TITLE = {On compact and efficient routing in certain graph classes}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {402-414}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/h3nl07kqbgxdcmpk}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Duch/04, AUTHOR = {Duch, Amalia}, TITLE = {Randomized insertion and deletion in point quad trees}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {415-426}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/ylaqj0wapl05k203}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Daescu-Luo/04, AUTHOR = {Daescu, Ovidiu and Luo, Jun}, TITLE = {Cutting out polygons with lines and rays}, BOOKTITLE = {Proceedings of the 15th International Symposium on Algorithms and Computation, ISAAC'2004 (Hong Kong, China, December 20-22, 2004)}, SERIES = {LNCS}, VOLUME = {3341}, PAGES = {669-680}, YEAR = {2004}, EDITOR = {Fleischer, Rudolf and Trippen, Gerhard}, URL = {http://www.springerlink.com/content/rhvjwb1fhaldmra9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alekseyev-Pevzner/04, AUTHOR = {Alekseyev, Max A. and Pevzner, Pavel A.}, TITLE = {Genome Halving Problem revisited}, BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)}, SERIES = {LNCS}, VOLUME = {3328}, PAGES = {1-15}, YEAR = {2004}, EDITOR = {Lodaya, Kamal and Mahajan, Meena}, URL = {http://www.springerlink.com/content/kuh316j1yw8g4pvg}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Abdulla-Mahata-Mayr/04, AUTHOR = {Abdulla, Parosh and Mahata, Pritha and Mayr, Richard}, TITLE = {Decidability of zenoness, syntactic boundedness and token-liveness for dense-timed Petri nets}, BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)}, SERIES = {LNCS}, VOLUME = {3328}, PAGES = {58-70}, YEAR = {2004}, EDITOR = {Lodaya, Kamal and Mahajan, Meena}, URL = {http://www.springerlink.com/content/yc8anp627bqnkkqp}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Adelaide-Pagetti/04, AUTHOR = {Ad{\'e}la{\"{i}}de, Micha{\"e}l and Pagetti, Claire}, TITLE = {On the urgency expressiveness}, BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)}, SERIES = {LNCS}, VOLUME = {3328}, PAGES = {71-83}, YEAR = {2004}, EDITOR = {Lodaya, Kamal and Mahajan, Meena}, URL = {http://www.springerlink.com/content/6d3q7qfjdp70ygda}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Adsul-Sohoni/04, AUTHOR = {Adsul, Bharat and Sohoni, Milind}, TITLE = {Asynchronous automata-theoretic characterization of aperiodic trace languages}, BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)}, SERIES = {LNCS}, VOLUME = {3328}, PAGES = {84-96}, YEAR = {2004}, EDITOR = {Lodaya, Kamal and Mahajan, Meena}, URL = {http://www.springerlink.com/content/046pppf3dvl699ut}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Berdine-Calcagno-OHearn/04, AUTHOR = {Berdine, Josh and Calcagno, Cristiano and O'Hearn, Peter W.}, TITLE = {A decidable fragment of separation logic}, BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)}, SERIES = {LNCS}, VOLUME = {3328}, PAGES = {97-109}, YEAR = {2004}, EDITOR = {Lodaya, Kamal and Mahajan, Meena}, URL = {http://www.springerlink.com/content/j2lqa9127g80jyhr}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Beyersdorff/04, AUTHOR = {Beyersdorff, Olaf}, TITLE = {Representable disjoint $NP$-pairs}, BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)}, SERIES = {LNCS}, VOLUME = {3328}, PAGES = {122-134}, YEAR = {2004}, EDITOR = {Lodaya, Kamal and Mahajan, Meena}, URL = {http://www.springerlink.com/content/tpdaq2jhjh4a25lw}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bouajjani-Meyer/04, AUTHOR = {Bouajjani, Ahmed and Meyer, Antoine}, TITLE = {Symbolic reachability analysis of higher-order context-free processes}, BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)}, SERIES = {LNCS}, VOLUME = {3328}, PAGES = {135-147}, YEAR = {2004}, EDITOR = {Lodaya, Kamal and Mahajan, Meena}, URL = {http://www.springerlink.com/content/hrqa1kwqq26fbvdu}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bouyer-Cassez-Fleury-Larsen/04, AUTHOR = {Bouyer, Patricia and Cassez, Franck and Fleury, Emmanuel and Larsen, Kim G.}, TITLE = {Optimal strategies in priced timed game automata}, BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)}, SERIES = {LNCS}, VOLUME = {3328}, PAGES = {148-160}, YEAR = {2004}, EDITOR = {Lodaya, Kamal and Mahajan, Meena}, URL = {http://www.springerlink.com/content/9juw5jdvachyg41m}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Carbone-Nielsen-Sassone/04, AUTHOR = {Carbone, Marco and Nielsen, Mogens and Sassone, Vladimiro}, TITLE = {A calculus for trust management}, BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)}, SERIES = {LNCS}, VOLUME = {3328}, PAGES = {161-173}, YEAR = {2004}, EDITOR = {Lodaya, Kamal and Mahajan, Meena}, URL = {http://www.springerlink.com/content/jpug0m9q5qng46ay}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chandru-Hariharan-Krishnakumar/04, AUTHOR = {Chandru, Vijay and Hariharan, Ramesh and Krishnakumar, Narasimha M.}, TITLE = {Short-cuts on star, source and planar unfoldings}, BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)}, SERIES = {LNCS}, VOLUME = {3328}, PAGES = {174-185}, YEAR = {2004}, EDITOR = {Lodaya, Kamal and Mahajan, Meena}, URL = {http://www.springerlink.com/content/9cnr90gnwyqrbgnb}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cheng-Tan/04, AUTHOR = {Cheng, Ho-lun and Tan, Tony}, TITLE = {Subdividing alpha complex}, BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)}, SERIES = {LNCS}, VOLUME = {3328}, PAGES = {186-197}, YEAR = {2004}, EDITOR = {Lodaya, Kamal and Mahajan, Meena}, URL = {http://www.springerlink.com/content/wyrw73ra6rnju6q0}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dang-Ibarra-San_Pietro-Xie/04, AUTHOR = {Dang, Zhe and Ibarra, Oscar H. and San Pietro, Pierluigi and Xie, Gaoyan}, TITLE = {Real-counter automata and their decision problems}, BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)}, SERIES = {LNCS}, VOLUME = {3328}, PAGES = {198-210}, YEAR = {2004}, EDITOR = {Lodaya, Kamal and Mahajan, Meena}, URL = {http://www.springerlink.com/content/lrd546eu6ct3xhr7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dawar-Gardner-Ghelli/04, AUTHOR = {Dawar, Anuj and Gardner, Philippa and Ghelli, Giorgio}, TITLE = {Adjunct elimination through games in static ambient logic}, BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)}, SERIES = {LNCS}, VOLUME = {3328}, PAGES = {211-223}, YEAR = {2004}, EDITOR = {Lodaya, Kamal and Mahajan, Meena}, URL = {http://www.springerlink.com/content/kub7xu33nth2e3qy}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dawar-Janin/04, AUTHOR = {Dawar, Anuj and Janin, David}, TITLE = {On the bisimulation invariant fragment of monadic $\Sigma_1$ in the finite}, BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)}, SERIES = {LNCS}, VOLUME = {3328}, PAGES = {224-236}, YEAR = {2004}, EDITOR = {Lodaya, Kamal and Mahajan, Meena}, URL = {http://www.springerlink.com/content/kayfhuk45r10f2cf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Devanur-Lipton-Vishnoi/04, AUTHOR = {Devanur, Nikhil R. and Lipton, Richard J. and Vishnoi, Nisheeth K.}, TITLE = {On the complexity of Hilbert's 17th problem}, BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)}, SERIES = {LNCS}, VOLUME = {3328}, PAGES = {237-249}, YEAR = {2004}, EDITOR = {Lodaya, Kamal and Mahajan, Meena}, URL = {http://www.springerlink.com/content/fm3klel2hhlkfn7x}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Distefano-Katoen-Rensink/04, AUTHOR = {Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend}, TITLE = {Who is pointing when to whom? On the automated verification of linked list structures}, BOOKTITLE = {Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)}, SERIES = {LNCS}, VOLUME = {3328}, PAGES = {250-262}, YEAR = {2004}, EDITOR = {Lodaya, Kamal and Mahajan, Meena}, URL = {http://www.springerlink.com/content/ckvh49qy4qceqaya}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Agarwal-Arge-Erickson-Yu/04, AUTHOR = {Agarwal, Pankaj K. and Arge, Lars and Erickson, Jeff and Yu, Hai}, TITLE = {Efficient tradeoff schemes in data structures for querying moving objects}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {4-15}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Amir-Eisenberg-Porat/04, AUTHOR = {Amir, Amihood and Eisenberg, Estrella and Porat, Ely}, TITLE = {Swap and mismatch edit distance}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {16-27}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Anshelevich-Zhang/04, AUTHOR = {Anshelevich, Elliot and Zhang, Lisa}, TITLE = {Path decomposition under a new cost measure with applications to optical network design}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {28-39}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Arge-Samoladas-Yi/04, AUTHOR = {Arge, Lars and Samoladas, Vasilis and Yi, Ke}, TITLE = {Optimal external memory planar point enclosure}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {40-52}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Azar-Litichevskey/04, AUTHOR = {Azar, Yossi and Litichevskey, Arik}, TITLE = {Maximizing throughput in multi-queue switches}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {53-64}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Azar-Richter/04, AUTHOR = {Azar, Yossi and Richter, Yossi}, TITLE = {An improved algorithm for CIOQ switches}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {65-76}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Bansal-Meyer_auf_der_Heide-Sohler/04, AUTHOR = {Bansal, Vikas and Meyer auf der Heide, Friedhelm and Sohler, Christian}, TITLE = {Labeling smart dust}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {77-88}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Bartal/04, AUTHOR = {Bartal, Yair}, TITLE = {Graph decomposition lemmas and their role in metric embedding methods}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {89-97}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Becchetti/04, AUTHOR = {Becchetti, Luca}, TITLE = {Modeling locality: A probabilistic analysis of LRU and FWF}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {98-109}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Bhargava-Kosaraju/04, AUTHOR = {Bhargava, Ankur and Kosaraju, S. Rao}, TITLE = {An algorithm for computing DNA walks}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {110-121}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Boros-Elbassioni-Gurvich/04, AUTHOR = {Boros, Endre and Elbassioni, Khaled and Gurvich, Vladimir}, TITLE = {Algorithms for generating minimal blockers of perfect matchings in bipartite graphs and related problems}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {122-133}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Busch-Magdon-Ismail-Mavronicolas-Spirakis/04, AUTHOR = {Busch, Costas and Magdon-Ismail, Malik and Mavronicolas, Marios and Spirakis, Paul}, TITLE = {Direct routing: Algorithms and complexity}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {134-145}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Carroll-Goel/04, AUTHOR = {Carroll, Douglas E. and Goel, Ashish}, TITLE = {Lower bounds for embedding into distributions over excluded minor graph families}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {146-156}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Chan/04a, AUTHOR = {Chan, Hubert}, TITLE = {A parameterized algorithm for upward planarity testing}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {157-168}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Chen-Deng-Sun-Yao/04a, AUTHOR = {Chen, Ning and Deng, Xiaotie and Sun, Xiaoming and Yao, Andrew Chi-Chih}, TITLE = {Fisher equilibrium price with a class of concave utility functions}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {169-179}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Cheriyan-Salavatipour/04, AUTHOR = {Cheriyan, Joseph and Salavatipour, Mohammad R.}, TITLE = {Hardness and approximation results for packing Steiner trees}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {180-191}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Chlebik-Chlebikova/04b, AUTHOR = {Chleb{\'{i}}k, Miroslav and Chleb{\'{i}}kov{\'a}, Janka}, TITLE = {Approximation hardness of dominating set problems}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {192-203}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Chrobak-Jawor-Sgall-Tichy/04a, AUTHOR = {Chrobak, Marek and Jawor, Wojciech and Sgall, Ji{\v{r}}{\'{i}} and Tich{\'y}, Tom{\'a}{\v{s}}}, TITLE = {Improved online algorithms for buffer management in QOS switches}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {204-215}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Cohen-Rawitz-Raz/04, AUTHOR = {Cohen, Rami and Rawitz, Dror and Raz, Danny}, TITLE = {Time dependent multi scheduling of multicast}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {216-227}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Cohen-Peleg/04, AUTHOR = {Cohen, Reuven and Peleg, David}, TITLE = {Convergence properties of the gravitational algorithm in asynchronous robot systems}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {228-239}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Cole-Kandathil/04, AUTHOR = {Cole, Richard and Kandathil, David C.}, TITLE = {The average case analysis of partition sorts}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {240-251}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Czygrinow-Hanckowiak-Szymanska/04, AUTHOR = {Czygrinow, Andrzej and Ha{\'n}{\'c}kowiak, Micha{\l} and Szyma{\'n}ska, Edyta}, TITLE = {A fast distributed algorithm for approximating the maximum matching}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {252-263}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Damerow-Sohler/04, AUTHOR = {Damerow, Valentina and Sohler, Christian}, TITLE = {Extreme points under random noise}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {264-274}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Diaz-Serna-Thilikos/04, AUTHOR = {D{\'{i}}az, Josep and Serna, Maria and Thilikos, Dimitrios M.}, TITLE = {Fixed parameter algorithms for counting and deciding bounded restrictive list $H$-colorings}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {275-286}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Beier-Vocking/04a, AUTHOR = {Beier, Rene and V{\"o}cking, Berthold}, TITLE = {An experimental study of random knapsack problems}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {616-627}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Bodlaender-Koster-Wolle/04, AUTHOR = {Bodlaender, Hans L. and Koster, Arie M.C.A. and Wolle, Thomas}, TITLE = {Contraction and treewidth lower bounds}, BOOKTITLE = {Proceedings of the 12th Annual European Symposium on Algorithms, ESA'2004 (Bergen, Norway, September 14-17, 2004)}, SERIES = {LNCS}, VOLUME = {3221}, PAGES = {628-639}, YEAR = {2004}, EDITOR = {Albers, Susanne and Radzik, Tomasz}, URL = {http://dx.doi.org/}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Downey/04, AUTHOR = {Downey, Rod}, TITLE = {Some recent progress in algorithmic randomness}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {42-83}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/0dhkxy3hcen61c6e}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brand-Frisken-Lesh-Marks-Nikovski-Perry-Yedidia/04, AUTHOR = {Brand, Matthew and Frisken, Sarah and Lesh, Neal and Marks, Joe and Nikovski, Daniel and Perry, Ron and Yedidia, Jonathan}, TITLE = {Theory and applied computing: Observations and anecdotes}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {106-118}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/5r868qhgrpuuk4w1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bonelli-Compagnoni-Dezani-Ciancaglini-Garralda/04, AUTHOR = {Bonelli, Eduardo and Compagnoni, Adriana and Dezani-Ciancaglini, Mariangiola and Garralda, Pablo}, TITLE = {Boxed ambients with communication interfaces}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {119-148}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/bguprq53br2dnlwt}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bodlaender-Fomin/04, AUTHOR = {Bodlaender, Hans L. and Fomin, Fedor V.}, TITLE = {Equitable colorings of bounded treewidth graphs}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {180-190}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/4g78000v2r2rb91b}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Demaine-Hajiaghayi-Thilikos/04, AUTHOR = {Demaine, Erik D. and Hajiaghayi, MohammadTaghi and Thilikos, Dimitrios M.}, TITLE = {The bidimensional theory of bounded-genus graphs}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {191-203}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/j5wl8kbyt0ljyqkj}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Broersma-Fomin-Woeginger/04, AUTHOR = {Broersma, Hajo and Fomin, Fedor V. and Woeginger, Gerhard J.}, TITLE = {Parallel knock-out schemes in networks}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {204-214}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/58e62kapctj43x7e}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Caragiannis-Fishkin-Kaklamanis-Papaioannou/04, AUTHOR = {Caragiannis, Ioannis and Fishkin, Aleksei and Kaklamanis, Christos and Papaioannou, Evi}, TITLE = {Online algorithms for disk graphs}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {215-226}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/6x8mnunqjmhqubrm}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bockenhauer-Bongartz/04, AUTHOR = {B{\"o}ckenhauer, Hans-Joachim and Bongartz, Dirk}, TITLE = {Protein folding in the HP model on grid lattices with diagonals}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {227-238}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/hxdekdd42rtnx2l5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Pal/04, AUTHOR = {Chen, Hubie and P{\'a}l, Martin}, TITLE = {Optimization, games, and quantified constraint satisfaction}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {239-250}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/68uhuaerv8exa3t0}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chlebik-Chlebikova/04a, AUTHOR = {Chleb{\'{i}}k, Miroslav and Chleb{\'{i}}kov{\'a}, Janka}, TITLE = {On approximation hardness of the minimum 2SAT-DELITION problem}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {263-273}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/war7lqmn299nk6c9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Boros-Elbassioni-Gurvich-Khachiyan-Makino/04, AUTHOR = {Boros, Endre and Elbassioni, Khaled and Gurvich, Vladimir and Khachiyan, Leonid and Makino, Kazuhisa}, TITLE = {Generating paths and cuts in multi-pole (di)graphs}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {298-309}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/m27ed9du4d9chjfv}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Beygelzimer-Ogihara/04, AUTHOR = {Beygelzimer, Alina and Ogihara, Mitsunori}, TITLE = {The enumerability of collapses to $NC$}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {346-355}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/1ufqhvt5rrdmkrqy}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{De_Santis-Di_Crescenzo-Persiano/04, AUTHOR = {De Santis, Alfredo and Di Crescenzo, Giovanni and Persiano, Giuseppe}, TITLE = {On $NC^1$ Boolean circuit composition of non-interactive perfect zero-knowledge}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {356-367}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/twq78fvaekyxattq}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bohler-Glasser-Schwarz-Wagner/04, AUTHOR = {B{\"o}hler, Elmar and Gla{\ss}er, Christian and Schwarz, Bernhard and Wagner, Klaus}, TITLE = {Generation problems}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {392-403}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/6g5eh8elge2b3kx1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bab-Nickelsen/04, AUTHOR = {Bab, Sebastian and Nickelsen, Arfst}, TITLE = {One query reducibilities between partial information classes}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {404-415}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/bamepdbaxntww4u4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bernardi-Durand-Formenti-Kari/04, AUTHOR = {Bernardi, Vincent and Durand, Bruno and Formenti, Enrico and Kari, Jarkko}, TITLE = {A new dimension sensitive property for cellular automata}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {416-426}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/bmleqp7f55q7ptkk}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Huang-Kanj-Xia/04, AUTHOR = {Chen, Jianer and Huang, Xiuzhen and Kanj, Iyad A. and Xia, Ge}, TITLE = {Polynomial time approximation schemes and parameterized complexity}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {500-512}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/11ge6wm75qafqm7j}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Baumann-Kohler/04, AUTHOR = {Baumann, Nadine and K{\"o}hler, Ekkehard}, TITLE = {Approximating earliest arrival flows with flow-dependent transit times}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {599-610}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/bq06dhk0b9lx23hq}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Beal-Fiorenzi-Perrin/04a, AUTHOR = {B{\'e}al, Marie-Pierre and Fiorenzi, Francesca and Perrin, Dominique}, TITLE = {A hierarchy of irreducible sofic shifts}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {611-622}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/kc1e9r19m6qqknmm}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Crasmaru-Glasser-Regan-Sengupta/04, AUTHOR = {Crasmaru, Marcel and Gla{\ss}er, Christian and Regan, Kenneth W. and Sengupta, Samik}, TITLE = {A protocol for serializing unique strategies}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {660-672}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/51fv31ua3jbud6ca}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bjorklund-Sandberg-Vorobyov/04, AUTHOR = {Bj{\"o}rklund, Henrik and Sandberg, Sven and Vorobyov, Sergei}, TITLE = {A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {673-685}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/bw1qtnvyrx7vu1n4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ambos-Spies-Busse/04, AUTHOR = {Ambos-Spies, Klaus and Busse, Edgar}, TITLE = {Computational aspects of disjunctive sequences}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {711-722}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/thcbaupch5jygktl}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Domaratzki-Salomaa/04, AUTHOR = {Domaratzki, Michael and Salomaa, Kai}, TITLE = {Decidability of trajectory-based equations}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {723-734}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/deukgqgtkauqtmtl}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Biedl-Hasan-Lopez-Ortiz/04, AUTHOR = {Biedl, Therese and Hasan, Masud and L{\'o}pez-Ortiz, Alejandro}, TITLE = {Efficient view point selection for silhouettes of convex polyhedra}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {735-747}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/jrnweb4e5guvhyj1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Biedl-Lubiw-Spriggs/04, AUTHOR = {Biedl, Therese and Lubiw, Anna and Spriggs, Michael J.}, TITLE = {Angles and lengths in reconfigurations of polygons and polyhedra}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {748-759}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/ag2m6v2f0ta7d2kn}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Doerr-Hebbinghaus-Werth/04, AUTHOR = {Doerr, Benjamin and Hebbinghaus, Nils and Werth, S{\"o}ren}, TITLE = {Improved bounds and schemes for the declustering problem}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {760-771}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/7dlk6j6n1a0qgcuh}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Beaudry-Fernandez-Holzer/04, AUTHOR = {Beaudry, Martin and Fernandez, Jos{\'e} M. and Holzer, Markus}, TITLE = {A common algebraic description for probabilistic and quantum computations}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {851-862}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/k5ba5u2cugf6nfcq}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Andre-Caron-Debarbieux-Roos-Tison/04, AUTHOR = {Andr{\'e}, Yves and Caron, Anne-C{\'e}cile and Debarbieux, Denis and Roos, Yves and Tison, Sophie}, TITLE = {Extraction and implication of path constraints}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {863-875}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/3embj9hgy5gxdf8q}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bouchou-Duarte-Halfeld_Ferrari_Alves-Laurent-Musicante/04, AUTHOR = {Bouchou, B{\'e}atrice and Duarte, Denio and Halfeld Ferrari Alves, M{\'{i}}rian and Laurent, Dominique and Musicante, Martin A.}, TITLE = {Schema evolution for XML: A consistency-preserving approach}, BOOKTITLE = {Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science, MFCS'2004 (Prague, Czech Republic, August 22-27, 2004)}, SERIES = {LNCS}, VOLUME = {3153}, PAGES = {876-888}, YEAR = {2004}, EDITOR = {Fiala, Ji{\v{r}}{\'{i}} and Koubek, and V{\'a}clav and Kratochvi{\'{i}}l, Jan}, URL = {http://www.springerlink.com/content/8rpqabg7mg5k13mk}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Abadi-Cortier/04, AUTHOR = {Abadi, Mart{\'{i}}n and Cortier, V{\'e}ronique}, TITLE = {Deciding knowledge in security protocols under equational theories}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {46-58}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/ybq882dek1rlj3hh}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Abbott-Altenkirch-Ghani/04, AUTHOR = {Abbott, Michael and Altenkirch, Thorsten and Ghani, Neil}, TITLE = {Representing nested inductive types using $W$-types}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {59-71}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/vvvqcuex10we4vfy}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Aggarwal-Feder-Motwani-Zhu/04, AUTHOR = {Aggarwal, Gagan and Feder, Tom{\'a}s and Motwani, Rajeev and Zhu, An}, TITLE = {Algorithms for multi-product pricing}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {72-83}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/qgpp1mt60e7lam1c}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alekhnovich-Hirsch-Itsykson/04, AUTHOR = {Alekhnovich, Michael and Hirsch, Edward A. and Itsykson, Dmitry}, TITLE = {Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {84-96}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/yetpwppj8e8u7xe8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alon-Asodi/04, AUTHOR = {Alon, Noga and Asodi, Vera}, TITLE = {Learning a hidden subgraph}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {110-121}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/glmkcrmb907b3eqa}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alur-Bernadsky-Madhusudan/04, AUTHOR = {Alur, Rajeev and Bernadsky, Mikhail and Madhusudan, P.}, TITLE = {Optimal reachability for weighted timed games}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {122-133}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/te09tpwhm3mj5pn5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Andrews-Zhang/04a, AUTHOR = {Andrews, Matthew and Zhang, Lisa}, TITLE = {Wavelength assignment in optical networks with fixed fiber capacity}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {134-145}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/0yuby3h98xtyd0ng}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Arge-Meyer-Toma/04, AUTHOR = {Arge, Lars and Meyer, Ulrich and Toma, Laura}, TITLE = {External memory algorithms for diameter and all-pairs shortest-paths on sparse graphs}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {146-157}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/vp061p0k2wy6kafu}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Atkey/04, AUTHOR = {Atkey, Robert}, TITLE = {A $\lambda$-calculus for resource separation}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {158-170}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/9maxjlbfy42hdun3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Auletta-De_Prisco-Penna-Persiano/04, AUTHOR = {Auletta, Vincenzo and De Prisco, Roberto and Penna, Paolo and Persiano, Giuseppe}, TITLE = {The power of verification for one-parameter agents}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {171-182}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/y1kem6pngkdnmxbv}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Awerbuch-Scheideler/04, AUTHOR = {Awerbuch, Baruch and Scheideler, Christian}, TITLE = {Group spreading: A protocol for provably secure distributed name service}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {183-195}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/782vxmb2mlxxrmru}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bansal-Fleischer-Kimbrel-Mahdian-Schieber-Sviridenko/04, AUTHOR = {Bansal, Nikhil and Fleischer, Lisa K. and Kimbrel, Tracy and Mahdian, Mohammad and Schieber, Baruch and Sviridenko, Maxim}, TITLE = {Further improvements in competitive guarantees for QoS buffering}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {196-207}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/qlp5mfx2lecwbuct}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Berger-Borgs-Chayes-DSouza-Kleinberg/04, AUTHOR = {Berger, N. and Borgs, C. and Chayes, J.T. and D'Souza, R.M. and Kleinberg, R.D.}, TITLE = {Competition-induced preferential attachment}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {208-221}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/62yfv3j44fapht91}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bjorklund-Husfeldt-Khanna/04, AUTHOR = {Bj{\"o}rklund, Andreas and Husfeldt, Thore and Khanna, Sanjeev}, TITLE = {Approximating longest directed paths and cycles}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {222-233}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/2dj5dx39a4nka29m}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Blundo-DArco-De_Santis/04, AUTHOR = {Blundo, Carlo and D'Arco, Paolo and De Santis, Alfredo}, TITLE = {Definitions and bounds for self-healing key distribution schemes}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {234-245}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/gpn2u4b6jlrqdxqg}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bojanczyk-Colcombet/04, AUTHOR = {Boja{\'n}czyk, Miko{\l}aj and Colcombet, Thomas}, TITLE = {Tree-walking automata cannot be determinized}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {246-256}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/5ty7h16l9b6g6fnj}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Boudes/04, AUTHOR = {Boudes, Pierre}, TITLE = {Projecting games on hypercoherences}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {257-268}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/05fje58989re66ut}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bournez-Hainry/04, AUTHOR = {Bournez, Olivier and Hainry, Emmanuel}, TITLE = {An analog characterization of elementarily computable functions over the real numbers}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {269-280}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/1n54hgf5cdjkd469}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bruns-Godefroid/04, AUTHOR = {Bruns, Glenn and Godefroid, Patrice}, TITLE = {Model checking with multi-valued logics}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {281-293}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/5v91vfq729wnf4pd}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bulatov-Grohe/04, AUTHOR = {Bulatov, Andrei and Grohe, Martin}, TITLE = {The complexity of partition functions}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {294-306}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/dp0uq00bfwr2a68t}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Busi-Gabbrielli-Zavattaro/04, AUTHOR = {Busi, Nadia and Gabbrielli, Maurizio and Zavattaro, Gianluigi}, TITLE = {Comparing recursion, replication, and iteration in process calculi}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {307-319}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/tg0ddxw7xfcvd1l8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Deng-Sun-Yao/04, AUTHOR = {Chen, Ning and Deng, Xiaotie and Sun, Xiaoming and Yao, Andrew Chi-Chih}, TITLE = {Dynamic price sequence and incentive compatibility}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {320-331}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/fpw081xyxnb9y3kr}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cheney/04, AUTHOR = {Cheney, James}, TITLE = {The complexity of equivariant unification}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {332-344}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/0p2eck5pxnu2yfdg}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Christodoulou-Koutsoupias-Nanavati/04, AUTHOR = {Christodoulou, George and Koutsoupias, Elias and Nanavati, Akash}, TITLE = {Coordination mechanisms}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {345-357}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/vbmb71gc38t38548}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chrobak-Jawor-Sgall-Tichy/04, AUTHOR = {Chrobak, Marek and Jawor, Wojciech and Sgall, Ji{\v{r}}{\'{i}} and Tich{\'y}, Tom{\'a}{\v{s}}}, TITLE = {Online scheduling of equal-length jobs: Randomization and restarts help}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {358-370}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/11pf0llgcp2ryv7p}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Codenotti-Varadarajan/04, AUTHOR = {Codenotti, Bruno and Varadarajan, Kasturi}, TITLE = {Efficient computation of equilibrium prices for markets with Leontief utilities}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {371-382}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/8q40qjrly9jwalvu}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Coja-Oghlan/04, AUTHOR = {Coja-Oghlan, Amin}, TITLE = {Coloring semirandom graphs optimally}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {383-395}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/rkcwe0fy3j6j1307}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Czumaj-Sohler/04, AUTHOR = {Czumaj, Artur and Sohler, Christian}, TITLE = {Sublinear-time approximation for clustering via random sampling}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {396-407}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/a30ub9abd5m219ua}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dabrowski-Plandowski/04, AUTHOR = {D{\c{a}}browski, Robert and Plandowski, Wojtek}, TITLE = {Solving two-variable word equations}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {408-419}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/1wxcp66rbte41xwl}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dawar-Gradel-Kreutzer/04, AUTHOR = {Dawar, Anuj and Gr{\"a}del, Erich and Kreutzer, Stephan}, TITLE = {Backtracking games and inflationary fixed points}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {420-432}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/2utglpbxyrr5989e}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Deng-Li/04, AUTHOR = {Deng, Xiaotie and Li, Guojun}, TITLE = {A PTAS for embedding hypergraph in a cycle}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {433-444}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/tb4xqafvaakhqlm2}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Deng-Sangiorgi/04a, AUTHOR = {Deng, Yuxin and Sangiorgi, Davide}, TITLE = {Towards an algebraic theory of typed mobile processes}, BOOKTITLE = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming, ICALP'2004 (Turku, Finland, July 12-16, 2004)}, SERIES = {LNCS}, VOLUME = {3142}, PAGES = {445-456}, YEAR = {2004}, EDITOR = {D{\'{i}}az, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald}, URL = {http://www.springerlink.com/content/wx60ngu4e4c0b2gv}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brodal/04, AUTHOR = {Brodal, Gerth St{\o}lting}, TITLE = {Cache-oblivious algorithms and data structures}, BOOKTITLE = {Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, SWAT'2004 (Humleb{\ae}k, Denmark, July 8-10, 2004)}, SERIES = {LNCS}, VOLUME = {3111}, PAGES = {3-13}, YEAR = {2004}, EDITOR = {Hagerup, Torben and Katajainen, Jyrki}, URL = {http://www.springerlink.com/content/9m3anfybbgdc8l3v}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Andelman-Mansour/04, AUTHOR = {Andelman, Nir and Mansour, Yishay}, TITLE = {Auctions with budget constraints}, BOOKTITLE = {Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, SWAT'2004 (Humleb{\ae}k, Denmark, July 8-10, 2004)}, SERIES = {LNCS}, VOLUME = {3111}, PAGES = {26-38}, YEAR = {2004}, EDITOR = {Hagerup, Torben and Katajainen, Jyrki}, URL = {http://www.springerlink.com/content/ufw2j3fdm8h8wjat}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Berman-DasGupta-Kao/04, AUTHOR = {Berman, Piotr and DasGupta, Bhaskar and Kao, Ming-Yang}, TITLE = {Tight approximability results for test set problems in bioinformatics}, BOOKTITLE = {Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, SWAT'2004 (Humleb{\ae}k, Denmark, July 8-10, 2004)}, SERIES = {LNCS}, VOLUME = {3111}, PAGES = {39-50}, YEAR = {2004}, EDITOR = {Hagerup, Torben and Katajainen, Jyrki}, URL = {http://www.springerlink.com/content/0bdb0ttb0v8j1vnr}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Dragan-Yan-Lomonosov/04, AUTHOR = {Dragan, Feodor F. and Yan, Chenyu and Lomonosov, Irina}, TITLE = {Collective tree spanners of graphs}, BOOKTITLE = {Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, SWAT'2004 (Humleb{\ae}k, Denmark, July 8-10, 2004)}, SERIES = {LNCS}, VOLUME = {3111}, PAGES = {64-76}, YEAR = {2004}, EDITOR = {Hagerup, Torben and Katajainen, Jyrki}, URL = {http://www.springerlink.com/content/dx1aaye7w0y9x3al}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Bein-Epstein-Larmore-Noga/04, AUTHOR = {Bein, Wolfgang W. and Epstein, Leah and Larmore, Lawrence L. and Noga, John}, TITLE = {Optimally competitive list batching}, BOOKTITLE = {Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, SWAT'2004 (Humleb{\ae}k, Denmark, July 8-10, 2004)}, SERIES = {LNCS}, VOLUME = {3111}, PAGES = {77-89}, YEAR = {2004}, EDITOR = {Hagerup, Torben and Katajainen, Jyrki}, URL = {http://www.springerlink.com/content/gmn1can7xpr20ppc}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Boyar-Medvedev/04, AUTHOR = {Boyar, Joan and Medvedev, Paul}, TITLE = {The relative worst order ratio applied to seat reservation}, BOOKTITLE = {Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, SWAT'2004 (Humleb{\ae}k, Denmark, July 8-10, 2004)}, SERIES = {LNCS}, VOLUME = {3111}, PAGES = {90-101}, YEAR = {2004}, EDITOR = {Hagerup, Torben and Katajainen, Jyrki}, URL = {http://www.springerlink.com/content/k59juymcek4dha9q}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Agarwal-Mustafa/04, AUTHOR = {Agarwal, Pankaj K. and Mustafa, Nabil H.}, TITLE = {Independent set of intersection graphs of convex objects in 2D}, BOOKTITLE = {Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, SWAT'2004 (Humleb{\ae}k, Denmark, July 8-10, 2004)}, SERIES = {LNCS}, VOLUME = {3111}, PAGES = {127-137}, YEAR = {2004}, EDITOR = {Hagerup, Torben and Katajainen, Jyrki}, URL = {http://www.springerlink.com/content/lljcylfby4bll0tk}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Chan-Chen-Chin-Wang/04, AUTHOR = {Chan, M.Y. and Chen, Danny and Chin, Francis Y.L. and Wang, Cao An}, TITLE = {Construction of the nearest neighbor embracing graph of a point set}, BOOKTITLE = {Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, SWAT'2004 (Humleb{\ae}k, Denmark, July 8-10, 2004)}, SERIES = {LNCS}, VOLUME = {3111}, PAGES = {150-160}, YEAR = {2004}, EDITOR = {Hagerup, Torben and Katajainen, Jyrki}, URL = {http://www.springerlink.com/content/9y67uwqdpfgaqup8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Chlebik-Chlebikova/04, AUTHOR = {Chleb{\'{i}}k, Miroslav and Chleb{\'{i}}kov{\'a}, Janka}, TITLE = {Improvement of Nemhauser-Trotter theorem and its applications in parametrized complexity}, BOOKTITLE = {Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, SWAT'2004 (Humleb{\ae}k, Denmark, July 8-10, 2004)}, SERIES = {LNCS}, VOLUME = {3111}, PAGES = {174-186}, YEAR = {2004}, EDITOR = {Hagerup, Torben and Katajainen, Jyrki}, URL = {http://www.springerlink.com/content/kark44my53kmq471}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Dessmark-Lingas-Lundell/04, AUTHOR = {Dessmark, Anders and Lingas, Andrzej and Lundell, Eva-Marta}, TITLE = {Subexponential-time framework for optimal embeddings of graphs in integer lattices}, BOOKTITLE = {Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, SWAT'2004 (Humleb{\ae}k, Denmark, July 8-10, 2004)}, SERIES = {LNCS}, VOLUME = {3111}, PAGES = {248-259}, YEAR = {2004}, EDITOR = {Hagerup, Torben and Katajainen, Jyrki}, URL = {http://www.springerlink.com/content/f8v8l575rh3fv45k}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Avidor-Langberg/04, AUTHOR = {Avidor, Adi and Langberg, Michael}, TITLE = {The multi-multiway cut problem}, BOOKTITLE = {Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, SWAT'2004 (Humleb{\ae}k, Denmark, July 8-10, 2004)}, SERIES = {LNCS}, VOLUME = {3111}, PAGES = {273-284}, YEAR = {2004}, EDITOR = {Hagerup, Torben and Katajainen, Jyrki}, URL = {http://www.springerlink.com/content/pgunauf573hr60m5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Azar-Taub/04, AUTHOR = {Azar, Yossi and Taub, Shai}, TITLE = {All-norm approximation for scheduling on identical machines}, BOOKTITLE = {Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, SWAT'2004 (Humleb{\ae}k, Denmark, July 8-10, 2004)}, SERIES = {LNCS}, VOLUME = {3111}, PAGES = {298-310}, YEAR = {2004}, EDITOR = {Hagerup, Torben and Katajainen, Jyrki}, URL = {http://www.springerlink.com/content/0f588qnapvv9r7xa}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Carmi-Katz/04, AUTHOR = {Carmi, Paz and Katz, Matthew J.}, TITLE = {Power assignment in radio networks with two power levels}, BOOKTITLE = {Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, SWAT'2004 (Humleb{\ae}k, Denmark, July 8-10, 2004)}, SERIES = {LNCS}, VOLUME = {3111}, PAGES = {431-441}, YEAR = {2004}, EDITOR = {Hagerup, Torben and Katajainen, Jyrki}, URL = {http://www.springerlink.com/content/nd3mg7xkjl206pbl}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Asano-Katoh-Tamaki-Tokuyama/04, AUTHOR = {Asano, Tetsuo and Katoh, Naoki and Tamaki, Hisao and Tokuyama, Takeshi}, TITLE = {On geometric structure of global roundings for graphs and range spaces}, BOOKTITLE = {Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, SWAT'2004 (Humleb{\ae}k, Denmark, July 8-10, 2004)}, SERIES = {LNCS}, VOLUME = {3111}, PAGES = {455-467}, YEAR = {2004}, EDITOR = {Hagerup, Torben and Katajainen, Jyrki}, URL = {http://www.springerlink.com/content/1by3qykkhdahd2cv}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Brodal-Fagerberg-Meyer-Zeh/04, AUTHOR = {Brodal, Gerth St{\o}lting and Fagerberg, Rolf and Meyer, Ulrich and Zeh, Norbert}, TITLE = {Cache-oblivious data structures and algorithms for undirected breadth-first search and shortest paths}, BOOKTITLE = {Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, SWAT'2004 (Humleb{\ae}k, Denmark, July 8-10, 2004)}, SERIES = {LNCS}, VOLUME = {3111}, PAGES = {480-492}, YEAR = {2004}, EDITOR = {Hagerup, Torben and Katajainen, Jyrki}, URL = {http://www.springerlink.com/content/u3vbtnyvrc5weebc}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Arge-Toma/04, AUTHOR = {Arge, Lars and Toma, Laura}, TITLE = {Simplified external memory algorithms for planar DAGs}, BOOKTITLE = {Proceedings of the 9th Scandinavian Workshop on Algorithm Theory, SWAT'2004 (Humleb{\ae}k, Denmark, July 8-10, 2004)}, SERIES = {LNCS}, VOLUME = {3111}, PAGES = {493-503}, YEAR = {2004}, EDITOR = {Hagerup, Torben and Katajainen, Jyrki}, URL = {http://www.springerlink.com/content/bx5tj7ev3hqncerk}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Barzuza-Beckmann-Shamir-Peer/04, AUTHOR = {Barzuza, Tamar and Beckmann, Jacques S. and Shamir, Ron and Pe'er, Itsik}, TITLE = {Computational problems in perfect phylogeny haplotyping: Xor-genotypes and tag SNPs}, BOOKTITLE = {Proceedings of the 15th Annual Symposium on Combinatorial Pattern Matching, CPM'2004 (Istanbul, Turkey, July 5-7, 2004)}, SERIES = {LNCS}, VOLUME = {3109}, PAGES = {14-31}, YEAR = {2004}, EDITOR = {Sahinalp, Suleyman Cenk and Muthukrishnan, S. and Dogrusoz, Ugur}, URL = {http://www.springerlink.com/content/lfv09pmjxbkcak3p}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Crochemore-Epifanio-Grossi-Mignosi/04, AUTHOR = {Crochemore, Maxime and Epifanio, Chiara and Grossi, Roberto and Mignosi, Filippo}, TITLE = {A trie-based approach for compacting automata}, BOOKTITLE = {Proceedings of the 15th Annual Symposium on Combinatorial Pattern Matching, CPM'2004 (Istanbul, Turkey, July 5-7, 2004)}, SERIES = {LNCS}, VOLUME = {3109}, PAGES = {145-158}, YEAR = {2004}, EDITOR = {Sahinalp, Suleyman Cenk and Muthukrishnan, S. and Dogrusoz, Ugur}, URL = {http://www.springerlink.com/content/3pj27txrqmdlvttr}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Bansal-Cieliebak-Liptak/04, AUTHOR = {Bansal, Nikhil and Cieliebak, Mark and Lipt{\'a}k, Zsuzsanna}, TITLE = {Efficient algorithms for finding submasses in weighted strings}, BOOKTITLE = {Proceedings of the 15th Annual Symposium on Combinatorial Pattern Matching, CPM'2004 (Istanbul, Turkey, July 5-7, 2004)}, SERIES = {LNCS}, VOLUME = {3109}, PAGES = {194-204}, YEAR = {2004}, EDITOR = {Sahinalp, Suleyman Cenk and Muthukrishnan, S. and Dogrusoz, Ugur}, URL = {http://www.springerlink.com/content/v6r1t0lrxc7p999j}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Berry-Nicolas/04, AUTHOR = {Berry, Vincent and Nicolas, Fran{\c{c}}ois}, TITLE = {Maximum agreement and compatible supertrees}, BOOKTITLE = {Proceedings of the 15th Annual Symposium on Combinatorial Pattern Matching, CPM'2004 (Istanbul, Turkey, July 5-7, 2004)}, SERIES = {LNCS}, VOLUME = {3109}, PAGES = {205-219}, YEAR = {2004}, EDITOR = {Sahinalp, Suleyman Cenk and Muthukrishnan, S. and Dogrusoz, Ugur}, URL = {http://www.springerlink.com/content/12c7y19avxpk5hnm}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Dessmark-Jansson-Lingas-Lundell/04, AUTHOR = {Dessmark, Anders and Jansson, Jesper and Lingas, Andrzej and Lundell, Eva-Marta}, TITLE = {Polynomial-time algorithms for the ordered maximum agreement subtree problem}, BOOKTITLE = {Proceedings of the 15th Annual Symposium on Combinatorial Pattern Matching, CPM'2004 (Istanbul, Turkey, July 5-7, 2004)}, SERIES = {LNCS}, VOLUME = {3109}, PAGES = {220-229}, YEAR = {2004}, EDITOR = {Sahinalp, Suleyman Cenk and Muthukrishnan, S. and Dogrusoz, Ugur}, URL = {http://www.springerlink.com/content/guj5j068wpqjxh5v}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Berman-DasGupta-Mubayi-Sloan-Turan-Zhang/04, AUTHOR = {Berman, Piotr and DasGupta, Bhaskar and Mubayi, Dhruv and Sloan, Robert and Tur{\'a}n, Gy{\"o}rgy and Zhang, Yi}, TITLE = {The protein sequence design problem in canonical model on 2D and 3D lattices}, BOOKTITLE = {Proceedings of the 15th Annual Symposium on Combinatorial Pattern Matching, CPM'2004 (Istanbul, Turkey, July 5-7, 2004)}, SERIES = {LNCS}, VOLUME = {3109}, PAGES = {244-253}, YEAR = {2004}, EDITOR = {Sahinalp, Suleyman Cenk and Muthukrishnan, S. and Dogrusoz, Ugur}, URL = {http://www.springerlink.com/content/up1mtyr6dv8gumnv}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Davydov-Batzoglou/04, AUTHOR = {Davydov, Eugene and Batzoglou, Serafim}, TITLE = {A computational model for RNA multiple structural alignment}, BOOKTITLE = {Proceedings of the 15th Annual Symposium on Combinatorial Pattern Matching, CPM'2004 (Istanbul, Turkey, July 5-7, 2004)}, SERIES = {LNCS}, VOLUME = {3109}, PAGES = {254-269}, YEAR = {2004}, EDITOR = {Sahinalp, Suleyman Cenk and Muthukrishnan, S. and Dogrusoz, Ugur}, URL = {http://www.springerlink.com/content/clcg81hnp2cm207m}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Backofen-Busch/04, AUTHOR = {Backofen, Rolf and Busch, Anke}, TITLE = {Computational design of new and recombinant selenoproteins}, BOOKTITLE = {Proceedings of the 15th Annual Symposium on Combinatorial Pattern Matching, CPM'2004 (Istanbul, Turkey, July 5-7, 2004)}, SERIES = {LNCS}, VOLUME = {3109}, PAGES = {270-284}, YEAR = {2004}, EDITOR = {Sahinalp, Suleyman Cenk and Muthukrishnan, S. and Dogrusoz, Ugur}, URL = {http://www.springerlink.com/content/qj6pp7tlhqhh5hbu}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Choi-Goyal/04, AUTHOR = {Choi, Vicky and Goyal, Navin}, TITLE = {A combinatorial shape matching algorithm for rigid protein docking}, BOOKTITLE = {Proceedings of the 15th Annual Symposium on Combinatorial Pattern Matching, CPM'2004 (Istanbul, Turkey, July 5-7, 2004)}, SERIES = {LNCS}, VOLUME = {3109}, PAGES = {285-296}, YEAR = {2004}, EDITOR = {Sahinalp, Suleyman Cenk and Muthukrishnan, S. and Dogrusoz, Ugur}, URL = {http://www.springerlink.com/content/0lty0k19fyc5pgap}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Blin-Fertin-Vialette/04, AUTHOR = {Blin, Guillaume and Fertin, Guillaume and Vialette, St{\'e}phane}, TITLE = {New results for the 2-interval pattern problem}, BOOKTITLE = {Proceedings of the 15th Annual Symposium on Combinatorial Pattern Matching, CPM'2004 (Istanbul, Turkey, July 5-7, 2004)}, SERIES = {LNCS}, VOLUME = {3109}, PAGES = {311-322}, YEAR = {2004}, EDITOR = {Sahinalp, Suleyman Cenk and Muthukrishnan, S. and Dogrusoz, Ugur}, URL = {http://www.springerlink.com/content/1m1ydj1eqtrdkx9r}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Csuros/04, AUTHOR = {Cs{\H{u}}r{\"o}s, Mikl{\'o}s}, TITLE = {Performing local similarity searches with variable length seeds}, BOOKTITLE = {Proceedings of the 15th Annual Symposium on Combinatorial Pattern Matching, CPM'2004 (Istanbul, Turkey, July 5-7, 2004)}, SERIES = {LNCS}, VOLUME = {3109}, PAGES = {373-387}, YEAR = {2004}, EDITOR = {Sahinalp, Suleyman Cenk and Muthukrishnan, S. and Dogrusoz, Ugur}, URL = {http://www.springerlink.com/content/r522bxk567yh1h5b}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Bergeron-Mixtacki-Stoye/04, AUTHOR = {Bergeron, Anne and Mixtacki, Julia and Stoye, Jens}, TITLE = {Reversal distance without hurdles and fortresses}, BOOKTITLE = {Proceedings of the 15th Annual Symposium on Combinatorial Pattern Matching, CPM'2004 (Istanbul, Turkey, July 5-7, 2004)}, SERIES = {LNCS}, VOLUME = {3109}, PAGES = {388-399}, YEAR = {2004}, EDITOR = {Sahinalp, Suleyman Cenk and Muthukrishnan, S. and Dogrusoz, Ugur}, URL = {http://www.springerlink.com/content/b3l71bytqcc3jg23}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Baeza-Yates/04, AUTHOR = {Baeza-Yates, Ricardo}, TITLE = {A fast set intersection algorithm for sorted sequences}, BOOKTITLE = {Proceedings of the 15th Annual Symposium on Combinatorial Pattern Matching, CPM'2004 (Istanbul, Turkey, July 5-7, 2004)}, SERIES = {LNCS}, VOLUME = {3109}, PAGES = {400-408}, YEAR = {2004}, EDITOR = {Sahinalp, Suleyman Cenk and Muthukrishnan, S. and Dogrusoz, Ugur}, URL = {http://www.springerlink.com/content/yth9h90y94n10l7e}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Amir-Kapah-Tsur/04, AUTHOR = {Amir, Amihood and Kapah, Oren and Tsur, Dekel}, TITLE = {Faster two dimensional pattern matching with rotations}, BOOKTITLE = {Proceedings of the 15th Annual Symposium on Combinatorial Pattern Matching, CPM'2004 (Istanbul, Turkey, July 5-7, 2004)}, SERIES = {LNCS}, VOLUME = {3109}, PAGES = {409-419}, YEAR = {2004}, EDITOR = {Sahinalp, Suleyman Cenk and Muthukrishnan, S. and Dogrusoz, Ugur}, URL = {http://www.springerlink.com/content/tl9dqble4946dfb1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Chan-Hon-Lam/04, AUTHOR = {Chan, Ho-Leung and Hon, Wing-Kai and Lam, Tak-Wah}, TITLE = {Compressed index for a dynamic collection of texts}, BOOKTITLE = {Proceedings of the 15th Annual Symposium on Combinatorial Pattern Matching, CPM'2004 (Istanbul, Turkey, July 5-7, 2004)}, SERIES = {LNCS}, VOLUME = {3109}, PAGES = {445-456}, YEAR = {2004}, EDITOR = {Sahinalp, Suleyman Cenk and Muthukrishnan, S. and Dogrusoz, Ugur}, URL = {http://www.springerlink.com/content/1wv80xnpjlqdlwlx}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Arge/04, AUTHOR = {Arge, Lars}, TITLE = {External geometric data structures}, BOOKTITLE = {Proceedings of the 10th Annual International Conference on Computing and Combinatorics, COCOON'2004 (Jeju Island, Korea, August 17-20, 2004)}, SERIES = {LNCS}, VOLUME = {3106}, PAGES = {1-1}, YEAR = {2004}, EDITOR = {Chwa, Kyung-Yong and Munro, J. Ian}, URL = {http://www.springerlink.com/content/np6rknuj794txkkc}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chin-Qian-Wang/04, AUTHOR = {Chin, Francis Y.L. and Qian, Jianbo and Wang, Cao An}, TITLE = {Progress on maximum weight triangulation}, BOOKTITLE = {Proceedings of the 10th Annual International Conference on Computing and Combinatorics, COCOON'2004 (Jeju Island, Korea, August 17-20, 2004)}, SERIES = {LNCS}, VOLUME = {3106}, PAGES = {53-61}, YEAR = {2004}, EDITOR = {Chwa, Kyung-Yong and Munro, J. Ian}, URL = {http://www.springerlink.com/content/t896238l4ranku1w}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Adamy-Hoffmann-Solymosi-Stojakovic/04, AUTHOR = {Adamy, Udo and Hoffmann, Michael and Solymosi, J{\'o}zsef and Stojakovi{\'c}, Milo{\v{s}}}, TITLE = {Coloring octrees}, BOOKTITLE = {Proceedings of the 10th Annual International Conference on Computing and Combinatorics, COCOON'2004 (Jeju Island, Korea, August 17-20, 2004)}, SERIES = {LNCS}, VOLUME = {3106}, PAGES = {62-71}, YEAR = {2004}, EDITOR = {Chwa, Kyung-Yong and Munro, J. Ian}, URL = {http://www.springerlink.com/content/xtwrq8gwgmbqrjxv}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cicalese-Deppe-Mundici/04, AUTHOR = {Cicalese, Ferdinando and Deppe, Christian and Mundici, Daniele}, TITLE = {$Q$-ary Ulam-R{\'e}nyi game with weighted constrained lies}, BOOKTITLE = {Proceedings of the 10th Annual International Conference on Computing and Combinatorics, COCOON'2004 (Jeju Island, Korea, August 17-20, 2004)}, SERIES = {LNCS}, VOLUME = {3106}, PAGES = {82-91}, YEAR = {2004}, EDITOR = {Chwa, Kyung-Yong and Munro, J. Ian}, URL = {http://www.springerlink.com/content/g3uc1cwxf14yh1r1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Du-Chen-Wu/04, AUTHOR = {Du, Ying and Chen, Danny Z. and Wu, Xiaodong}, TITLE = {Approximation algorithms for multicommodity flow and normalized cut problems: Implementations and experimental study}, BOOKTITLE = {Proceedings of the 10th Annual International Conference on Computing and Combinatorics, COCOON'2004 (Jeju Island, Korea, August 17-20, 2004)}, SERIES = {LNCS}, VOLUME = {3106}, PAGES = {112-121}, YEAR = {2004}, EDITOR = {Chwa, Kyung-Yong and Munro, J. Ian}, URL = {http://www.springerlink.com/content/b3x525p4t447ng9e}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chandran-Narayanaswamy/04, AUTHOR = {Chandran, L. Sunil and Narayanaswamy, N.S.}, TITLE = {On the arrangement of cliques in chordal graphs with respect to the cuts}, BOOKTITLE = {Proceedings of the 10th Annual International Conference on Computing and Combinatorics, COCOON'2004 (Jeju Island, Korea, August 17-20, 2004)}, SERIES = {LNCS}, VOLUME = {3106}, PAGES = {151-160}, YEAR = {2004}, EDITOR = {Chwa, Kyung-Yong and Munro, J. Ian}, URL = {http://www.springerlink.com/content/69cq4vle4qqqm18d}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chan-Lam-Ting-Wong/04, AUTHOR = {Chan, Wun-Tat and Lam, Tak-Wah and Ting, Hing-Fung and Wong, Prudence W.H.}, TITLE = {New results on on-demand broadcasting with deadline via job scheduling with cancellation}, BOOKTITLE = {Proceedings of the 10th Annual International Conference on Computing and Combinatorics, COCOON'2004 (Jeju Island, Korea, August 17-20, 2004)}, SERIES = {LNCS}, VOLUME = {3106}, PAGES = {210-218}, YEAR = {2004}, EDITOR = {Chwa, Kyung-Yong and Munro, J. Ian}, URL = {http://www.springerlink.com/content/wl3kvcqg5823a57u}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Baille-Bampis-Laforest/04, AUTHOR = {Baille, Fabien and Bampis, Evripidis and Laforest, Christian}, TITLE = {Maximization of the size and the weight of schedules of degradable intervals}, BOOKTITLE = {Proceedings of the 10th Annual International Conference on Computing and Combinatorics, COCOON'2004 (Jeju Island, Korea, August 17-20, 2004)}, SERIES = {LNCS}, VOLUME = {3106}, PAGES = {219-228}, YEAR = {2004}, EDITOR = {Chwa, Kyung-Yong and Munro, J. Ian}, URL = {http://www.springerlink.com/content/46pgnq539dhtf206}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Chun-Katoh-Tokuyama/04, AUTHOR = {Chen, Danny Z. and Chun, Jinhee and Katoh, Naoki and Tokuyama, Takeshi}, TITLE = {Efficient algorithms for approximating a multi-dimensional voxel terrain by a unimodal terrain}, BOOKTITLE = {Proceedings of the 10th Annual International Conference on Computing and Combinatorics, COCOON'2004 (Jeju Island, Korea, August 17-20, 2004)}, SERIES = {LNCS}, VOLUME = {3106}, PAGES = {238-248}, YEAR = {2004}, EDITOR = {Chwa, Kyung-Yong and Munro, J. Ian}, URL = {http://www.springerlink.com/content/xxr56fj3maf6aulr}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Akutsu/04, AUTHOR = {Akutsu, Tatsuya}, TITLE = {Algorithms for point set matching with $k$-differences}, BOOKTITLE = {Proceedings of the 10th Annual International Conference on Computing and Combinatorics, COCOON'2004 (Jeju Island, Korea, August 17-20, 2004)}, SERIES = {LNCS}, VOLUME = {3106}, PAGES = {249-258}, YEAR = {2004}, EDITOR = {Chwa, Kyung-Yong and Munro, J. Ian}, URL = {http://www.springerlink.com/content/l12lu9qkx5yqbltj}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ahn-Brass-Cheong-Na-Shin-Vigneron/04, AUTHOR = {Ahn, Hee-Kap and Brass, Peter and Cheong, Otfried and Na, Hyeon-Suk and Shin, Chan-Su and Vigneron, Antoine}, TITLE = {Approximation algorithms for inscribing or circumscribing an axially symmetric polygon to a convex polygon}, BOOKTITLE = {Proceedings of the 10th Annual International Conference on Computing and Combinatorics, COCOON'2004 (Jeju Island, Korea, August 17-20, 2004)}, SERIES = {LNCS}, VOLUME = {3106}, PAGES = {259-267}, YEAR = {2004}, EDITOR = {Chwa, Kyung-Yong and Munro, J. Ian}, URL = {http://www.springerlink.com/content/7g3cxvcbt9b7yjbt}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Deneko-Hoffmann-Okamoto-Woeginger/04, AUTHOR = {De{\u{\i}}neko, Vladimir G. and Hoffmann, Michael and Okamoto, Yoshio and Woeginger, Gerhard J.}, TITLE = {The Traveling Salesman Problem with few inner points}, BOOKTITLE = {Proceedings of the 10th Annual International Conference on Computing and Combinatorics, COCOON'2004 (Jeju Island, Korea, August 17-20, 2004)}, SERIES = {LNCS}, VOLUME = {3106}, PAGES = {268-277}, YEAR = {2004}, EDITOR = {Chwa, Kyung-Yong and Munro, J. Ian}, URL = {http://www.springerlink.com/content/k2v23krveq2d7g59}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ausiello-Demange-Laura-Paschos/04a, AUTHOR = {Ausiello, Giorgio and Demange, Marc and Laura, Luigi and Paschos, Vangelis}, TITLE = {Algorithms for the on-line quota Traveling Salesman Problem}, BOOKTITLE = {Proceedings of the 10th Annual International Conference on Computing and Combinatorics, COCOON'2004 (Jeju Island, Korea, August 17-20, 2004)}, SERIES = {LNCS}, VOLUME = {3106}, PAGES = {290-299}, YEAR = {2004}, EDITOR = {Chwa, Kyung-Yong and Munro, J. Ian}, URL = {http://www.springerlink.com/content/hxk2feu3nvpcgrb6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen/04b, AUTHOR = {Chen, Zhi-Zhong}, TITLE = {New bounds on the number of edges in a $k$-map graph}, BOOKTITLE = {Proceedings of the 10th Annual International Conference on Computing and Combinatorics, COCOON'2004 (Jeju Island, Korea, August 17-20, 2004)}, SERIES = {LNCS}, VOLUME = {3106}, PAGES = {319-328}, YEAR = {2004}, EDITOR = {Chwa, Kyung-Yong and Munro, J. Ian}, URL = {http://www.springerlink.com/content/1rkvj8aanxfh8v6c}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Busi-Gorrieri/04, AUTHOR = {Busi, Nadia and Gorrieri, Roberto}, TITLE = {Positive non-interference in elementary and trace nets}, BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)}, SERIES = {LNCS}, VOLUME = {3099}, PAGES = {1-16}, YEAR = {2004}, EDITOR = {Cortadella, Jordi and Reisig, Wolfgang}, URL = {http://www.springerlink.com/content/14qunmlra103h276}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Ciardo/04, AUTHOR = {Ciardo, Gianfranco}, TITLE = {Reachability set generation for Petri nets: Can brute force be smart?}, BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)}, SERIES = {LNCS}, VOLUME = {3099}, PAGES = {17-34}, YEAR = {2004}, EDITOR = {Cortadella, Jordi and Reisig, Wolfgang}, URL = {http://www.springerlink.com/content/8f0cv94wrf8cnhny}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Alexander/04, AUTHOR = {Alexander, Adrianna}, TITLE = {Composition of temporal logic specifications}, BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)}, SERIES = {LNCS}, VOLUME = {3099}, PAGES = {98-116}, YEAR = {2004}, EDITOR = {Cortadella, Jordi and Reisig, Wolfgang}, URL = {http://www.springerlink.com/content/qx4nykctny4x8ewg}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Barros-Gomes/04, AUTHOR = {Barros, Jo{\~a}o Paulo and Gomes, Lu{\'{i}}s}, TITLE = {On the use of coloured Petri nets for object-oriented design}, BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)}, SERIES = {LNCS}, VOLUME = {3099}, PAGES = {117-136}, YEAR = {2004}, EDITOR = {Cortadella, Jordi and Reisig, Wolfgang}, URL = {http://www.springerlink.com/content/ppnn99u1rn8ymgxt}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Chaouiya-Remy-Ruet-Thieffry/04, AUTHOR = {Chaouiya, Claudine and Remy, Elisabeth and Ruet, Paul and Thieffry, Denis}, TITLE = {Qualitative modelling of genetic networks: From logical regulatory graphs to standard Petri nets}, BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)}, SERIES = {LNCS}, VOLUME = {3099}, PAGES = {137-156}, YEAR = {2004}, EDITOR = {Cortadella, Jordi and Reisig, Wolfgang}, URL = {http://www.springerlink.com/content/xdpxrb55w7xbhj7j}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Desel-Juhas-Neumair/04, AUTHOR = {Desel, J{\"o}rg and Juh{\'a}s, Gabriel and Neumair, Christian}, TITLE = {Finite unfoldings of unbounded Petri nets}, BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)}, SERIES = {LNCS}, VOLUME = {3099}, PAGES = {157-176}, YEAR = {2004}, EDITOR = {Cortadella, Jordi and Reisig, Wolfgang}, URL = {http://www.springerlink.com/content/a6ce5kkuy7phlr5j}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Agarwal-Frandsen/04, AUTHOR = {Agarwal, Saurabh and Frandsen, Gudmund Skovberg}, TITLE = {Binary GCD like algorithms for some complex quadratic rings}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithmic Number Theory, ANTS'2004 (Burlington, VT, USA, June 13-18, 2004)}, SERIES = {LNCS}, VOLUME = {3076}, PAGES = {57-71}, YEAR = {2004}, EDITOR = {Buell, Duncan}, URL = {http://www.springerlink.com/content/j4up5k6v8n7ujh6d}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Arvind-Kurur/04, AUTHOR = {Arvind, V. and Kurur, Piyush P.}, TITLE = {On the complexity of computing units in a number field}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithmic Number Theory, ANTS'2004 (Burlington, VT, USA, June 13-18, 2004)}, SERIES = {LNCS}, VOLUME = {3076}, PAGES = {72-86}, YEAR = {2004}, EDITOR = {Buell, Duncan}, URL = {http://www.springerlink.com/content/be6yh6lxrb75xyvp}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Basiri-Enge-Faugere-Gurel/04, AUTHOR = {Basiri, Abdolali and Enge, Andreas and Faug{\`e}re, Jean-Charles and G{\"u}rel, Nicolas}, TITLE = {Implementing the arithmetic of $C_{3,4}$ curves}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithmic Number Theory, ANTS'2004 (Burlington, VT, USA, June 13-18, 2004)}, SERIES = {LNCS}, VOLUME = {3076}, PAGES = {87-101}, YEAR = {2004}, EDITOR = {Buell, Duncan}, URL = {http://www.springerlink.com/content/eg35cl1pn5w86feq}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Berrizbeitia-Muller-Williams/04, AUTHOR = {Berrizbeitia, P. and M{\"u}ller, S. and Williams, H.C.}, TITLE = {Pseudocubes and primality testing}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithmic Number Theory, ANTS'2004 (Burlington, VT, USA, June 13-18, 2004)}, SERIES = {LNCS}, VOLUME = {3076}, PAGES = {102-116}, YEAR = {2004}, EDITOR = {Buell, Duncan}, URL = {http://www.springerlink.com/content/jdc0rq3wnpy5eg2k}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Broker-Stevenhagen/04, AUTHOR = {Br{\"o}ker, Reinier and Stevenhagen, Peter}, TITLE = {Elliptic curves with a given number of points}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithmic Number Theory, ANTS'2004 (Burlington, VT, USA, June 13-18, 2004)}, SERIES = {LNCS}, VOLUME = {3076}, PAGES = {117-131}, YEAR = {2004}, EDITOR = {Buell, Duncan}, URL = {http://www.springerlink.com/content/0qeqn2pdmfn0b0m7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Bruin-Flynn/04, AUTHOR = {Bruin, N. and Flynn, E.V.}, TITLE = {Rational divisors in rational divisor classes}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithmic Number Theory, ANTS'2004 (Burlington, VT, USA, June 13-18, 2004)}, SERIES = {LNCS}, VOLUME = {3076}, PAGES = {132-139}, YEAR = {2004}, EDITOR = {Buell, Duncan}, URL = {http://www.springerlink.com/content/pdf5mpdw43xawcan}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Calegari-Stein/04, AUTHOR = {Calegari, Frank and Stein, William A.}, TITLE = {Conjectures about discriminants of Hecke algebras of prime level}, BOOKTITLE = {Proceedings of the 6th International Symposium on Algorithmic Number Theory, ANTS'2004 (Burlington, VT, USA, June 13-18, 2004)}, SERIES = {LNCS}, VOLUME = {3076}, PAGES = {140-152}, YEAR = {2004}, EDITOR = {Buell, Duncan}, URL = {http://www.springerlink.com/content/kph8y3fjpqlneyr9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Avella-Mattia-Sassano/04, AUTHOR = {Avella, Pasquale and Mattia, Sara and Sassano, Antonio}, TITLE = {Metric inequalities and the network loading problem}, BOOKTITLE = {Proceedings of the 10th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2004 (New York, NY, USA, June 7-11, 2004)}, SERIES = {LNCS}, VOLUME = {3064}, PAGES = {16-32}, YEAR = {2004}, EDITOR = {Bienstock, Daniel and Nemhauser, George}, URL = {http://www.springerlink.com/content/8tl3m9wwbgy9eg2d}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Dash-Gunluk/04, AUTHOR = {Dash, Sanjeeb and G{\"u}nl{\"u}k, Oktay}, TITLE = {Valid inequalities based on simple mixed-integer sets}, BOOKTITLE = {Proceedings of the 10th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2004 (New York, NY, USA, June 7-11, 2004)}, SERIES = {LNCS}, VOLUME = {3064}, PAGES = {33-45}, YEAR = {2004}, EDITOR = {Bienstock, Daniel and Nemhauser, George}, URL = {http://www.springerlink.com/content/3dqhplqd0llu6812}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Correa-Schulz-Stier_Moses/04, AUTHOR = {Correa, Jos{\'e} R. and Schulz, Andreas S. and Stier Moses, Nicol{\'a}s E.}, TITLE = {Computational complexity, fairness, and the price of anarchy of the maximum latency problem}, BOOKTITLE = {Proceedings of the 10th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2004 (New York, NY, USA, June 7-11, 2004)}, SERIES = {LNCS}, VOLUME = {3064}, PAGES = {59-73}, YEAR = {2004}, EDITOR = {Bienstock, Daniel and Nemhauser, George}, URL = {http://www.springerlink.com/content/11fj34mwqjecurdy}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Bertsimas-Thiele/04, AUTHOR = {Bertsimas, Dimitris and Thiele, Aur{\'e}lie}, TITLE = {A robust optimization approach to supply chain management}, BOOKTITLE = {Proceedings of the 10th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2004 (New York, NY, USA, June 7-11, 2004)}, SERIES = {LNCS}, VOLUME = {3064}, PAGES = {86-100}, YEAR = {2004}, EDITOR = {Bienstock, Daniel and Nemhauser, George}, URL = {http://www.springerlink.com/content/h4yac7pxywq7kg4u}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Asgeirsson-Berry-Phillips-Phillips-Stein-Wein/04, AUTHOR = {Asgeirsson, Eyjolfur and Berry, Jonathan and Phillips, Cynthia A. and Phillips, David J. and Stein, Cliff and Wein, Joel}, TITLE = {Scheduling an industrial production facility}, BOOKTITLE = {Proceedings of the 10th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2004 (New York, NY, USA, June 7-11, 2004)}, SERIES = {LNCS}, VOLUME = {3064}, PAGES = {116-131}, YEAR = {2004}, EDITOR = {Bienstock, Daniel and Nemhauser, George}, URL = {http://www.springerlink.com/content/w19c2bb7gxrdl8rr}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Bessy-Thomasse/04, AUTHOR = {Bessy, St{\'e}phane and Thomass{\'e}, St{\'e}phan}, TITLE = {Three min-max theorems concerning cyclic orders of strong digraphs}, BOOKTITLE = {Proceedings of the 10th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2004 (New York, NY, USA, June 7-11, 2004)}, SERIES = {LNCS}, VOLUME = {3064}, PAGES = {132-138}, YEAR = {2004}, EDITOR = {Bienstock, Daniel and Nemhauser, George}, URL = {http://www.springerlink.com/content/wp30hfy02916x5tp}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Boros-Elbassioni-Gurvich-Khachiyan/04, AUTHOR = {Boros, E. and Elbassioni, K. and Gurvich, V. and Khachiyan, L.}, TITLE = {Enumerating minimal dicuts and strongly connected subgraphs and related geometric problems}, BOOKTITLE = {Proceedings of the 10th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2004 (New York, NY, USA, June 7-11, 2004)}, SERIES = {LNCS}, VOLUME = {3064}, PAGES = {152-162}, YEAR = {2004}, EDITOR = {Bienstock, Daniel and Nemhauser, George}, URL = {http://www.springerlink.com/content/f6auy1gxa00j9ryd}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Codato-Fischetti/04, AUTHOR = {Codato, Gianni and Fischetti, Matteo}, TITLE = {Combinatorial Benders' cuts}, BOOKTITLE = {Proceedings of the 10th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2004 (New York, NY, USA, June 7-11, 2004)}, SERIES = {LNCS}, VOLUME = {3064}, PAGES = {178-195}, YEAR = {2004}, EDITOR = {Bienstock, Daniel and Nemhauser, George}, URL = {http://www.springerlink.com/content/xnw862a4v91vn3cx}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{De_Loera-Haws-Hemmecke-Huggins-Yoshida/04, AUTHOR = {De Loera, J.A. and Haws, D. and Hemmecke, R. and Huggins, P. and Yoshida, R.}, TITLE = {Three kinds of integer programming algorithms based on Barvinok's rational functions}, BOOKTITLE = {Proceedings of the 10th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2004 (New York, NY, USA, June 7-11, 2004)}, SERIES = {LNCS}, VOLUME = {3064}, PAGES = {244-255}, YEAR = {2004}, EDITOR = {Bienstock, Daniel and Nemhauser, George}, URL = {http://www.springerlink.com/content/eq5qkgvxxyquypc3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Correa-Schulz/04, AUTHOR = {Correa, Jos{\'e} R. and Schulz, Andreas S.}, TITLE = {Single machine scheduling with precedence constraints}, BOOKTITLE = {Proceedings of the 10th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2004 (New York, NY, USA, June 7-11, 2004)}, SERIES = {LNCS}, VOLUME = {3064}, PAGES = {283-297}, YEAR = {2004}, EDITOR = {Bienstock, Daniel and Nemhauser, George}, URL = {http://www.springerlink.com/content/1wpcxd3emjvk9kwu}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{De_Loera-Onn/04, AUTHOR = {De Loera, Jesus and Onn, Shmuel}, TITLE = {All rational polytopes are transportation polytopes and all polytopal integer sets are contingency tables}, BOOKTITLE = {Proceedings of the 10th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2004 (New York, NY, USA, June 7-11, 2004)}, SERIES = {LNCS}, VOLUME = {3064}, PAGES = {338-351}, YEAR = {2004}, EDITOR = {Bienstock, Daniel and Nemhauser, George}, URL = {http://www.springerlink.com/content/hc3m8c88q0c2p6nv}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Apollonio-Sebo/04, AUTHOR = {Apollonio, Nicola and Seb{\H{o}}, Andr{\'a}s}, TITLE = {Minsquare factors and maxfix covers of graphs}, BOOKTITLE = {Proceedings of the 10th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2004 (New York, NY, USA, June 7-11, 2004)}, SERIES = {LNCS}, VOLUME = {3064}, PAGES = {388-400}, YEAR = {2004}, EDITOR = {Bienstock, Daniel and Nemhauser, George}, URL = {http://www.springerlink.com/content/cjct2v6jp0wh6rbk}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @book{Dietzfelbinger/04, AUTHOR = {Dietzfelbinger, Martin}, TITLE = {Primality Testing in Polynomial Time --- From Randomized Algorithms to ``PRIMES is in P''}, BOOKTITLE = {Primality Testing in Polynomial Time --- From Randomized Algorithms to ``PRIMES is in P''}, SERIES = {LNCS}, VOLUME = {3000}, PAGES = {x, 147}, YEAR = {2004}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong-Kong-London-Milan-Paris-Tokyo}, } @incollection{Buhrman-Klauck-Vereshchagin-Vitanyi/04, AUTHOR = {Buhrman, Harry and Klauck, Hartmut and Vereshchagin, Nikolai and Vit{\'a}nyi, Paul}, TITLE = {Individual communication complexity}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {19-30}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=19}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Arnsfelt_Hansen/04, AUTHOR = {Arnsfelt Hansen, Kristoffer}, TITLE = {Constant width planar computation characterizes ACC$^0$}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {44-55}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=44}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Bast-Mehlhorn-Schafer-Tamaki/04, AUTHOR = {Bast, Holger and Mehlhorn, Kurt and Sch{\"a}fer, Guido and Tamaki, Hisao}, TITLE = {Matching algorithms are fast in sparse random graphs}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {81-92}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=81}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Ambainis-Beaudry-Golovkins-Kikusts-Mercer-Therien/04, AUTHOR = {Ambainis, Andris and Beaudry, Martin and Golovkins, Marats and {\c{K}}ikusts, Arnolds and Mercer, Mark and Th{\'e}rien, Denis}, TITLE = {Algebraic results on quantum automata}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {93-104}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=93}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Ambainis-Iwama-Kawachi-Masuda-Putra-Yamashita/04, AUTHOR = {Ambainis, Andris and Iwama, Kazuo and Kawachi, Akinori and Masuda, Hiroyuki and Putra, Raymond H. and Yamashita, Shigeru}, TITLE = {Quantum identification of Boolean oracles}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {105-116}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=105}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Bertoni-Choffrut-Goldwurm-Lonati/04, AUTHOR = {Bertoni, Alberto and Choffrut, Christian and Goldwurm, Massimiliano and Lonati, Violetta}, TITLE = {Local limit distributions in pattern statistics: Beyond the Markovian models}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {117-128}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, KEYWORDS = {automata and formal languages, pattern statistics, local limit theorems, perron-frobenius theory}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=117}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Dantsin-Hirsch-Wolpert/04, AUTHOR = {Dantsin, Evgeny and Hirsch, Edward A. and Wolpert, Alexander}, TITLE = {Algorithms for SAT based on search in Hamming balls}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {141-151}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=141}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Cohen-Cooper-Jeavons-Krokhin/04, AUTHOR = {Cohen, David and Cooper, Martin and Jeavons, Peter and Krokhin, Andrei}, TITLE = {Identifying efficiently solvable cases of Max CSP}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {152-163}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=152}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Bohler-Hemaspaandra-Reith-Vollmer/04, AUTHOR = {B{\"o}hler, Elmar and Hemaspaandra, Edith and Reith, Steffen and Vollmer, Heribert}, TITLE = {The complexity of Boolean constraint isomorphism}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {164-175}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=164}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Bartal-Chin-Chrobak-Fung-Jawor-Lavi-Sgall-Tichy/04, AUTHOR = {Bartal, Yair and Chin, Francis Y.L. and Chrobak, Marek and Fung, Stanley P.Y. and Jawor, Wojciech and Lavi, Ron and Sgall, Ji{\v{r}}{\'{\i}} and Tich{\'y}, Tom{\'a}{\v{s}}}, TITLE = {Online competitive algorithms for maximizing weighted throughput of unit jobs}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {187-198}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=187}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Ambuhl-Weber/04, AUTHOR = {Amb{\"u}hl, Christoph and Weber, Birgitta}, TITLE = {Parallel prefetching and caching is hard}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {211-221}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=211}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Dhamdhere-Gupta-Ravi/04, AUTHOR = {Dhamdhere, Kedar and Gupta, Anupam and Ravi, R.}, TITLE = {Approximation algorithms for minimizing average distortion}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {234-245}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=234}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Caragiannis-Kaklamanis/04, AUTHOR = {Caragiannis, Ioannis and Kaklamanis, Christos}, TITLE = {Approximate path coloring with applications to wavelength assignment in WDM optical networks}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {258-269}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=258}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Beal-Fiorenzi-Perrin/04, AUTHOR = {B{\'e}al, Marie-Pierre and Fiorenzi, Francesca and Perrin, Dominique}, TITLE = {The syntactic graph of a sofic shift}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {282-293}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, KEYWORDS = {automata and formal languages, symbolic dynamics}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=282}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Barbanchon-Grandjean/04, AUTHOR = {Barbanchon, R{\'e}gis and Grandjean, Etienne}, TITLE = {The minimal logically-defined $NP$-complete problem}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {338-349}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, KEYWORDS = {computational complexity, descriptive complexity, finite model theory, second-order logic, $NP$-completeness, parsimony}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=338}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Ambuhl-Clementi-di_Ianni-Lev-Tov-Monti-Peleg-Rossi-Silvestri/04, AUTHOR = {Amb{\"u}hl, Christoph and Clementi, Andrea E.F. and di Ianni, Miriam and Lev-Tov, Nissan and Monti, Angelo and Peleg, David and Rossi, Gianluca and Silvestri, Riccardo}, TITLE = {Efficient algorithms for low-energy bounded-hop broadcast in ad-hoc wireless networks}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {418-427}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=418}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Colcombet-Loding/04, AUTHOR = {Colcombet, Thomas and L{\"o}ding, Christof}, TITLE = {On the expressiveness of deterministic transducers over infinite trees}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {428-439}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=428}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Aigner-de_Marco-Montangero/04, AUTHOR = {Aigner, Martin and de Marco, Gianluca and Montangero, Manuela}, TITLE = {The plurality problem with three colors}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {513-521}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=513}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Bustan-Kupferman-Vardi/04, AUTHOR = {Bustan, Doron and Kupferman, Orna and Vardi, Moshe Y.}, TITLE = {A measured collapse of the modal $mu$-calculus alternation hierarchy}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {522-533}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=522}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Brito-Gafni-Vaya/04, AUTHOR = {Brito, Carlos and Gafni, Eli and Vaya, Shailesh}, TITLE = {An information theoretic lower bound for broadcasting in radio networks}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {534-546}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=534}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Duchon-Hanusse-Saheb-Zemmari/04, AUTHOR = {Duchon, Philippe and Hanusse, Nicolas and Saheb, Nasser and Zemmari, Akka}, TITLE = {Broadcast in the rendezvous model}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {559-570}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, KEYWORDS = {algorithms and data structures, distributed algorithms, graph, broadcast, rendezvous model}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=559}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Cai-Chakaravarthy-van_Melkebeek/04, AUTHOR = {Cai, Jin-Yi and Chakaravarthy, Venkatesan T. and van Melkebeek, Dieter}, TITLE = {Time-space tradeoff in derandomizing probabilistic logspace}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {571-583}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=571}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Allender-Buhrman-Koucky/04, AUTHOR = {Allender, Eric and Buhrman, Harry and Kouck{\'y}, Michal}, TITLE = {What can be efficiently reduced to the $K$-random strings?}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {584-595}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=584}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Bala/04, AUTHOR = {Bala, Sebastian}, TITLE = {Regular language matching and other decidable cases of the satisfiability problem for constraints between regular open terms}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {596-607}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=596}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Auletta-de_Prisco-Penna-Persiano/04, AUTHOR = {Auletta, Vincenzo and de Prisco, Roberto and Penna, Paolo and Persiano, Giuseppe}, TITLE = {Deterministic truthful approximation mechanisms for scheduling related machines}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {608-619}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=608}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Athreya-Hitchcock-Lutz-Mayordomo/04, AUTHOR = {Athreya, Krishna B. and Hitchcock, John M. and Lutz, Jack H. and Mayordomo, Elvira}, TITLE = {Effective strong dimension in algorithmic information and computational complexity}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {632-643}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=632}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, } @incollection{Chrobak-Sgall/04, AUTHOR = {Chrobak, Marek and Sgall, Ji{\v{r}}{\'{\i}}}, TITLE = {Erratum to ''Analysis of the harmonic algorithm for three servers''}, BOOKTITLE = {Proceedings of the 21st Annual Symposium on Theoretical Aspects of Computer Science, STACS'2004 (Montpellier, France, March 25-27, 2004)}, SERIES = {LNCS}, VOLUME = {2996}, PAGES = {656-656}, YEAR = {2004}, EDITOR = {Diekert, Volker and Habib, Michel}, URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2996&spage=656}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York}, NOTE = {Originally in Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2003, 2003, 247-259}, } @incollection{Dickerson-Eppstein-Goodrich-Meng/04, AUTHOR = {Dickerson, Matthew and Eppstein, David and Goodrich, Michael T. and Meng, Jeremy Yu}, TITLE = {Confluent drawings: Visualizing non-planar diagrams in a planar way}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {1-12}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/y71vk0bxcbv2c9la}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Boyer-Cortese-Patrignani-Di_Battista/04, AUTHOR = {Boyer, John M. and Cortese, Pier Francesco and Patrignani, Maurizio and Di Battista, Giuseppe}, TITLE = {Stop minding your P's and Q's: Implementing a fast and simple DFS-based planarity testing and embedding algorithm}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {25-36}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/9ccuwf1vplbvhc7w}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Cerny-Dvorak-Jelinek-Kara/04, AUTHOR = {{\v{C}}ern{\'y}, Jakub and Dvo{\v{r}}{\'a}k, Zden{\v{e}}k and Jel{\'{i}}nek, V{\'{i}}t and K{\'a}ra, Jan}, TITLE = {Noncrossing Hamiltonian paths in geometric graphs}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {86-97}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/g9g40k6btx1atygp}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Brandes-Dwyer-Schreiber/04, AUTHOR = {Brandes, Ulrik and Dwyer, Tim and Schreiber, Falk}, TITLE = {Visualizing related metabolic pathways in two and a half dimensions}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {111-122}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/p8v4vxuv7l2tnh3u}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Buchheim-Junger/04, AUTHOR = {Buchheim, Christoph and J{\"u}nger, Michael}, TITLE = {An integer programming approach to fuzzy symmetry detection}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {166-177}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/2ur4but2hc3w2n6r}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Delgado-Friedrichs/04, AUTHOR = {Delgado-Friedrichs, Olaf}, TITLE = {Barycentric drawings of periodic graphs}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {178-189}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/tq88g0w548kqr2nx}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Dujmovic-Wood/04, AUTHOR = {Dujmovi{\'c}, Vida and Wood, David R.}, TITLE = {Three-dimensional grid drawings with sub-quadratic volume}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {190-201}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/0mwm81q5epjhkqbq}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Di_Giacomo-Meijer/04, AUTHOR = {Di Giacomo, Emilio and Meijer, Henk}, TITLE = {Track drawings of graphs with constant queue number}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {214-225}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/lqhfgc01ckbhqef2}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Di_Giacomo/04, AUTHOR = {Di Giacomo, Emilio}, TITLE = {Drawing series-parallel graphs on restricted integer 3D grids}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {238-246}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/32xn718nwebqy6je}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Calamoneri-Massini/04a, AUTHOR = {Calamoneri, Tiziana and Massini, Annalisa}, TITLE = {Nearly optimal three dimensional layout of hypercube networks}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {247-258}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/x3cetft8ag0fhxkg}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Cabello-Demaine-Rote/04, AUTHOR = {Cabello, Sergio and Demaine, Erik D. and Rote, G{\"u}nter}, TITLE = {Planar embeddings of graphs with specified edge lengths}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {283-294}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/37l47ftfj2mvx2h7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Di_Battista-Mariani-Patrignani-Pizzonia/04, AUTHOR = {Di Battista, Giuseppe and Mariani, Federico and Patrignani, Maurizio and Pizzonia, Maurizio}, TITLE = {BGPlay: A system for visualizing the interdomain routing evolution}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {295-306}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/0x6fjpmrn510ne09}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Bridgeman/04, AUTHOR = {Bridgeman, Stina}, TITLE = {GraphEx: An improved graph translation service}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {307-313}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/3tabwq53b7629bqx}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Dujmovic-Fernau-Kaufmann/04, AUTHOR = {Dujmovi{\'c}, Vida and Fernau, Henning and Kaufmann, Michael}, TITLE = {Fixed parameter algorithms for ONE-SIDED CROSSING MINIMIZATION revisited}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {332-344}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/jwhew5fck9a3456d}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Brandes-Cornelsen-Wagner/04, AUTHOR = {Brandes, Ulrik and Cornelsen, Sabine and Wagner, Dorothea}, TITLE = {Characterizing families of cuts that can be represented by axis-parallel rectangles}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {357-368}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/0bxj13pwcl4bputw}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Bachmaier-Brandenburg-Forster/04, AUTHOR = {Bachmaier, Christian and Brandenburg, Franz J. and Forster, Michael}, TITLE = {Radial level planarity testing and embedding in linear time}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {393-405}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/9fuw3rfdw3pm0djf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Di_Giacomo-Didimo/04, AUTHOR = {Di Giacomo, Emilio and Didimo, Walter}, TITLE = {Straight-line drawings of 2-outerplanar graphs on two curves}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {419-424}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/c11yjtejgkgx08pl}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Chuang-Lin-Yen/04, AUTHOR = {Chuang, Jen-Hui and Lin, Chun-Cheng and Yen, Hsu-Chun}, TITLE = {Drawing graphs with nonuniform nodes using potential fields}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {460-465}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/dmm8l3b7ul6ccge1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Chow-Ruskey/04, AUTHOR = {Chow, Stirling and Ruskey, Frank}, TITLE = {Drawing area-proportional Venn and Euler diagrams}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {466-477}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/rxhtlmqav45gc84q}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Asano-Nishizeki/04, AUTHOR = {Asano, Yasuhito and Nishizeki, Takao}, TITLE = {Web-linkage viewer: Drawing links in the Web based on a site-oriented framework}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {498-499}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/tj33kn2m484l0pkj}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Baudel-Haible-Sander/04, AUTHOR = {Baudel, Thomas and Haible, Bruno and Sander, Georg}, TITLE = {Visual data mining with ILOG discovery}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {502-503}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/h9gbn1bnly44emkp}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Brandenburg-Brandes-Eades-Marks/04, AUTHOR = {Brandenburg, Franz J. and Brandes, Ulrik and Eades, Peter and Marks, Joe}, TITLE = {Graph drawing contest report}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {504-508}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/krvvrb66wk5g40gx}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Demetrescu-Finocchi-Italiano/04, AUTHOR = {Demetrescu, Camil and Finocchi, Irene and Italiano, Giuseppe F.}, TITLE = {Engineering and visualizing algorithms}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {509-513}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/wabvwhyw1vwxfty1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, } @incollection{Brandenburg-Eppstein-Goodrich-Kobourov-Liotta-Mutzel/04, AUTHOR = {Brandenburg, Franz and Eppstein, David and Goodrich, Michael T. and Kobourov, Stephen and Liotta, Giuseppe and Mutzel, Petra}, TITLE = {Selected open problems in graph drawing}, BOOKTITLE = {Proceedings of the 11th International Symposium on Graph Drawing, GD'2003 (Perugia, Italy, September 21-24, 2003)}, SERIES = {LNCS}, VOLUME = {2912}, PAGES = {515-539}, YEAR = {2004}, EDITOR = {Liotta, Giuseppe}, URL = {http://www.springerlink.com/content/kld6amu6aaptpuk1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo}, }