@incollection{Arora/11, AUTHOR = {Arora, Sanjeev}, TITLE = {Semidefinite programming and approximation algorithms: A survey}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {6-9}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_2}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bock-Grant-Konemann-Sanita/11, AUTHOR = {Bock, Adrian and Grant, Elyot and K{\"o}nemann, Jochen and Sanit{\`a}, Laura}, TITLE = {The School Bus Problem The School Bus Problem is an NP-hard vehicle routing problem in which the goal is to route buses that transport children to a school such that for each child, the distance travelled on the bus does not exceed the shortest distance from the child's home to the school by more than a given regret threshold. Subject to this constraint and bus capacity limit, the goal is to minimize the number of buses required. In this paper, we give a polynomial time 4-approximation algorithm when the children and school are located at vertices of a fixed tree. As a byproduct of our analysis, we show that the integrality gap of the natural set-cover formulation for this problem is also bounded by 4. We also present a constant approximation for the variant where we have a fixed number of buses to use, and the goal is to minimize the maximum regret.on trees}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {10-19}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chimani-Woste/11, AUTHOR = {Chimani, Markus and Woste, Matthias}, TITLE = {Contraction-based Steiner tree approximations in practice}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {40-49}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ahn-Kim-Knauer-Schlipf-Shin-Vigneron/11, AUTHOR = {Ahn, Hee-Kap and Kim, Sang-Sub and Knauer, Christian and Schlipf, Lena and Shin, Chan-Su and Vigneron, Antoine}, TITLE = {Covering and piercing disks with two centers}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {50-59}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ahn-Bae-Knauer-Lee-Shin-Vigneron/11, AUTHOR = {Ahn, Hee-Kap and Bae, Sang Won and Knauer, Christian and Lee, Mira and Shin, Chan-Su and Vigneron, Antoine}, TITLE = {Generating realistic roofs over a rectilinear polygon}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {60-69}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Barba-Korman-Langerman-Silveira/11, AUTHOR = {Barba, Luis and Korman, Matias and Langerman, Stefan and Silveira, Rodrigo I.}, TITLE = {Computing the visibility polygon using few variables}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {70-79}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brandstadt-Mosca/11, AUTHOR = {Brandst{\"a}dt, Andreas and Mosca, Raffaele}, TITLE = {Dominating induced matchings for $P_7$-free graphs in linear time}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {100-109}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_12}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Belmonte-Golovach-Heggernes-van_t_Hof-Kaminski-Paulusma/11, AUTHOR = {Belmonte, R{\'e}my and Golovach, Petr A. and Heggernes, Pinar and van 't Hof, Pim and Kami{\'n}ski, Marcin and Paulusma, Dani{\"e}l}, TITLE = {Finding contractions and induced minors in chordal graphs via disjoint paths}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {110-119}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_13}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Elmasry-He-Munro-Nicholson/11, AUTHOR = {Elmasry, Amr and He, Meng and Munro, J. Ian and Nicholson, Patrick K.}, TITLE = {Dynamic range majority data structures}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {150-159}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_17}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dumitrescu-Hilscher/11, AUTHOR = {Dumitrescu, Adrian and Hilscher, Evan}, TITLE = {Animal testing}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {220-229}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_24}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dumitrescu-Hasan/11, AUTHOR = {Dumitrescu, Adrian and Hasan, Masud}, TITLE = {Cutting out polygons with a circular saw}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {230-239}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_25}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Buchin-Speckmann-Verbeek/11, AUTHOR = {Buchin, Kevin and Speckmann, Bettina and Verbeek, Kevin}, TITLE = {Angle-restricted Steiner arborescences for flow map layout}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {250-259}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_27}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Angelini-Di_Battista-Frati/11, AUTHOR = {Angelini, Patrizio and Di Battista, Giuseppe and Frati, Fabrizio}, TITLE = {Simultaneous embedding of embedded planar graphs}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {271-280}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_29}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alam-Biedl-Felsner-Gerasch-Kaufmann-Kobourov/11, AUTHOR = {Alam, Muhammad Jawaherul and Biedl, Therese and Felsner, Stefan and Gerasch, Andreas and Kaufmann, Michael and Kobourov, Stephen G.}, TITLE = {Linear-time algorithms for hole-free rectilinear proportional contact graph representations}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {281-291}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_30}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Farzan-Fischer/11, AUTHOR = {Farzan, Arash and Fischer, Johannes}, TITLE = {Compact representation of posets}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {302-311}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_32}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Castelli_Aleardi-Devillers/11, AUTHOR = {Castelli Aleardi, Luca and Devillers, Olivier}, TITLE = {Explicit array-based compact data structures for triangulations}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {312-322}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_33}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Angelino-Goodrich-Mitzenmacher-Thaler/11, AUTHOR = {Angelino, Elaine and Goodrich, Michael T. and Mitzenmacher, Michael and Thaler, Justin}, TITLE = {External-memory multimaps}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {384-394}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_40}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Avis-Iwama-Paku/11, AUTHOR = {Avis, David and Iwama, Kazuo and Paku, Daichi}, TITLE = {Verifying Nash equilibria in PageRank games on undirected web graphs}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {415-424}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_43}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Doty-Seki/11, AUTHOR = {Chen, Ho-Lin and Doty, David and Seki, Shinnosuke}, TITLE = {Program size and temperature in self-assembly}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {445-453}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_46}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ando-Matsui/11, AUTHOR = {Ando, Ryuta and Matsui, Tomomi}, TITLE = {Algorithm for single allocation problem on hub-and-spoke networks in 2-dimensional plane}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {474-483}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_49}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Atsonios-Beaumont-Hanusse-Kim/11, AUTHOR = {Atsonios, Ioannis and Beaumont, Olivier and Hanusse, Nicolas and Kim, Yusik}, TITLE = {On power-law distributed balls in bins and its applications to view size estimation}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {504-513}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_52}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chan-Lam-Lee-Pan-Ting-Zhang/11, AUTHOR = {Chan, Ho-Leung and Lam, Tak-Wah and Lee, Lap-Kei and Pan, Jiangwei and Ting, Hing-Fung and Zhang, Qin}, TITLE = {Edit distance to monotonicity in sliding windows}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {564-573}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_58}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Abel-Demaine-Demaine-Eisenstat-Lynch-Schardl-Shapiro-Ellowitz/11, AUTHOR = {Abel, Zachary and Demaine, Erik D. and Demaine, Martin L. and Eisenstat, Sarah and Lynch, Jayson and Schardl, Tao B. and Shapiro-Ellowitz, Isaac}, TITLE = {Folding equilateral plane graphs}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {574-583}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_59}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Wang/11c, AUTHOR = {Chen, Danny Z. and Wang, Haitao}, TITLE = {Efficient algorithms for the weighted $k$-center problem on a real line}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {584-593}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_60}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Wang/11d, AUTHOR = {Chen, Danny Z. and Wang, Haitao}, TITLE = {Outlier respecting points approximation}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {594-603}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_61}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Wang/11e, AUTHOR = {Chen, Danny Z. and Wang, Haitao}, TITLE = {An improved algorithm for reconstructing a simple polygon from the visibility angles}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {604-613}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_62}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dornfelder-Guo-Komusiewicz-Weller/11, AUTHOR = {D{\"o}rnfelder, Martin and Guo, Jiong and Komusiewicz, Christian and Weller, Mathias}, TITLE = {On the parameterized complexity of consensus clustering}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {624-633}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_64}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Campos-Klein-Sampaio-Silva/11, AUTHOR = {Campos, Victor and Klein, Sulamita and Sampaio, Rudini and Silva, Ana}, TITLE = {Two fixed-parameter algorithms for the cocoloring problem}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {634-642}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_65}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bazgan-Chopin-Fellows/11, AUTHOR = {Bazgan, Cristina and Chopin, Morgan and Fellows, Michael R.}, TITLE = {Parameterized complexity of the firefighter problem}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {643-652}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_66}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Amir-Apostolico-Landau-Levy-Lewenstein-Porat/11, AUTHOR = {Amir, Amihood and Apostolico, Alberto and Landau, Gad M. and Levy, Avivit and Lewenstein, Moshe and Porat, Ely}, TITLE = {Range LCP}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {683-692}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_70}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Amir-Eisenberg-Levy-Lewenstein/11, AUTHOR = {Amir, Amihood and Eisenberg, Estrella and Levy, Avivit and Lewenstein, Noa}, TITLE = {Closest periodic vectors in $L_p$ spaces}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {714-723}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_73}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cui-Jansson-Sung/11, AUTHOR = {Cui, Yun and Jansson, Jesper and Sung, Wing-Kin}, TITLE = {Algorithms for building consensus MUL-trees}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {744-753}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_76}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chin-Leung-Yiu/11, AUTHOR = {Chin, Francis Y.L. and Leung, Henry C.M. and Yiu, S.M.}, TITLE = {Adaptive phenotype testing for AND/OR items}, BOOKTITLE = {Proceedings of the 22nd International Symposium on Algorithms and Computation, ISAAC'2011 (Yokohama, Japan, December 5-8, 2011)}, SERIES = {LNCS}, VOLUME = {7074}, PAGES = {754-763}, YEAR = {2011}, EDITOR = {Asano, Takao and Nakano, Shin-ichi and Okamoto, Yoshio and Watanabe, Osamu}, URL = {http://dx.doi.org/10.1007/978-3-642-25591-5_77}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alcon-Faria-de_Figueiredo-Gutierrez/11, AUTHOR = {Alc{\'o}n, Liliana and Faria, Luerbio and de Figueiredo, Celina M.H. and Gutierrez, Marisa}, TITLE = {Split clique graph complexity}, BOOKTITLE = {Proceedings of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2011 (Tepl{\'a} Monastery, Czech Republic, June 21-24, 2011)}, SERIES = {LNCS}, VOLUME = {6986}, PAGES = {11-22}, YEAR = {2011}, EDITOR = {Kolman, Petr and Kratochv{\'{i}}l, Jan}, URL = {http://springerlink.metapress.com/content/45tx8512h3300853/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Arends-Ouaknine-Wampler/11, AUTHOR = {Arends, Felix and Ouaknine, Jo{\"e}l and Wampler, Charles W.}, TITLE = {On searching for small Kochen-Specker vector systems}, BOOKTITLE = {Proceedings of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2011 (Tepl{\'a} Monastery, Czech Republic, June 21-24, 2011)}, SERIES = {LNCS}, VOLUME = {6986}, PAGES = {23-34}, YEAR = {2011}, EDITOR = {Kolman, Petr and Kratochv{\'{i}}l, Jan}, URL = {http://springerlink.metapress.com/content/l6v3583222491127/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Auer-Gleissner/11, AUTHOR = {Auer, Christopher and Glei{\ss}ner, Andreas}, TITLE = {Characterizations of deque and queue graphs}, BOOKTITLE = {Proceedings of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2011 (Tepl{\'a} Monastery, Czech Republic, June 21-24, 2011)}, SERIES = {LNCS}, VOLUME = {6986}, PAGES = {35-46}, YEAR = {2011}, EDITOR = {Kolman, Petr and Kratochv{\'{i}}l, Jan}, URL = {http://springerlink.metapress.com/content/1126034253wt55hq/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Belmonte-Vatshelle/11, AUTHOR = {Belmonte, R{\'e}my and Vatshelle, Martin}, TITLE = {Graph classes with structured neighborhoods and algorithmic applications}, BOOKTITLE = {Proceedings of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2011 (Tepl{\'a} Monastery, Czech Republic, June 21-24, 2011)}, SERIES = {LNCS}, VOLUME = {6986}, PAGES = {47-58}, YEAR = {2011}, EDITOR = {Kolman, Petr and Kratochv{\'{i}}l, Jan}, URL = {http://springerlink.metapress.com/content/w9928w467263t682/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bodlaender-Kratsch/11, AUTHOR = {Bodlaender, Hans L. and Kratsch, Dieter}, TITLE = {Exact algorithms for Kayles}, BOOKTITLE = {Proceedings of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2011 (Tepl{\'a} Monastery, Czech Republic, June 21-24, 2011)}, SERIES = {LNCS}, VOLUME = {6986}, PAGES = {59-70}, YEAR = {2011}, EDITOR = {Kolman, Petr and Kratochv{\'{i}}l, Jan}, URL = {http://springerlink.metapress.com/content/v104634735642w50/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bodlaender-Hurkens-Woeginger/11, AUTHOR = {Bodlaender, Marijke H.L. and Hurkens, Cor A.J. and Woeginger, Gerhard J.}, TITLE = {The Cinderella game on holes and anti-holes}, BOOKTITLE = {Proceedings of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2011 (Tepl{\'a} Monastery, Czech Republic, June 21-24, 2011)}, SERIES = {LNCS}, VOLUME = {6986}, PAGES = {71-82}, YEAR = {2011}, EDITOR = {Kolman, Petr and Kratochv{\'{i}}l, Jan}, URL = {http://springerlink.metapress.com/content/63w682636pj6k15r/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bilka-Jirasek-Klavik-Tancer-Volec/11, AUTHOR = {B{\'{i}}lka, Ond{\v{r}}ej and Jir{\'a}sek, Jozef and Klav{\'{i}}k, Pavel and Tancer, Martin and Volec, Jan}, TITLE = {On the complexity of planar covering of small graphs}, BOOKTITLE = {Proceedings of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2011 (Tepl{\'a} Monastery, Czech Republic, June 21-24, 2011)}, SERIES = {LNCS}, VOLUME = {6986}, PAGES = {83-94}, YEAR = {2011}, EDITOR = {Kolman, Petr and Kratochv{\'{i}}l, Jan}, URL = {http://springerlink.metapress.com/content/nt2718022h6x0nm8/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cechlarova-Jelinkova/11a, AUTHOR = {Cechl{\'a}rov{\'a}, Katar{\'{i}}na and Jel{\'{i}}nkov{\'a}, Eva}, TITLE = {Approximability of economic equilibrium for housing markets with duplicate houses}, BOOKTITLE = {Proceedings of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2011 (Tepl{\'a} Monastery, Czech Republic, June 21-24, 2011)}, SERIES = {LNCS}, VOLUME = {6986}, PAGES = {95-106}, YEAR = {2011}, EDITOR = {Kolman, Petr and Kratochv{\'{i}}l, Jan}, URL = {http://springerlink.metapress.com/content/h5r243002g73301p/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cheng-McDermid-Suzuki/11a, AUTHOR = {Cheng, Christine and McDermid, Eric and Suzuki, Ichiro}, TITLE = {Planarization and acyclic colorings of subcubic claw-free graphs}, BOOKTITLE = {Proceedings of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2011 (Tepl{\'a} Monastery, Czech Republic, June 21-24, 2011)}, SERIES = {LNCS}, VOLUME = {6986}, PAGES = {107-118}, YEAR = {2011}, EDITOR = {Kolman, Petr and Kratochv{\'{i}}l, Jan}, URL = {http://springerlink.metapress.com/content/r81x23237733m864/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Couturier-Golovach-Kratsch-Paulusma/11, AUTHOR = {Couturier, Jean-Fran{\c{c}}ois and Golovach, Petr A. and Kratsch, Dieter and Paulusma, Dani{\"e}l}, TITLE = {List coloring in the absence of a linear forest}, BOOKTITLE = {Proceedings of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2011 (Tepl{\'a} Monastery, Czech Republic, June 21-24, 2011)}, SERIES = {LNCS}, VOLUME = {6986}, PAGES = {119-130}, YEAR = {2011}, EDITOR = {Kolman, Petr and Kratochv{\'{i}}l, Jan}, URL = {http://springerlink.metapress.com/content/t6h313p1732670w1/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cygan-Marx-Pilipczuk-Pilipczuk-Schlotter/11, AUTHOR = {Cygan, Marek and Marx, D{\'a}niel and Pilipczuk, Marcin and Pilipczuk, Micha{\l} and Schlotter, Ildik{\'o}}, TITLE = {Parameterized complexity of Eulerian deletion problems}, BOOKTITLE = {Proceedings of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2011 (Tepl{\'a} Monastery, Czech Republic, June 21-24, 2011)}, SERIES = {LNCS}, VOLUME = {6986}, PAGES = {131-142}, YEAR = {2011}, EDITOR = {Kolman, Petr and Kratochv{\'{i}}l, Jan}, URL = {http://springerlink.metapress.com/content/3371x4636418gpjh/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Feldmann-Das-Widmayer/11, AUTHOR = {Feldmann, Andreas Emil and Das, Shantanu and Widmayer, Peter}, TITLE = {Restricted cuts for bisections in solid grids: A proof via polygons}, BOOKTITLE = {Proceedings of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2011 (Tepl{\'a} Monastery, Czech Republic, June 21-24, 2011)}, SERIES = {LNCS}, VOLUME = {6986}, PAGES = {143-154}, YEAR = {2011}, EDITOR = {Kolman, Petr and Kratochv{\'{i}}l, Jan}, URL = {http://springerlink.metapress.com/content/u904v15167720384/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Flier-Mihalak-Widmayer-Zych/11, AUTHOR = {Flier, Holger and Mihal{\'a}k, Mat{\'u}{\v{s}} and Widmayer, Peter and Zych, Anna}, TITLE = {Maximum independent set in 2-direction outersegment graphs}, BOOKTITLE = {Proceedings of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2011 (Tepl{\'a} Monastery, Czech Republic, June 21-24, 2011)}, SERIES = {LNCS}, VOLUME = {6986}, PAGES = {155-166}, YEAR = {2011}, EDITOR = {Kolman, Petr and Kratochv{\'{i}}l, Jan}, URL = {http://springerlink.metapress.com/content/v844552882626531/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chaplick-Cohen-Stacho/11, AUTHOR = {Chaplick, Steven and Cohen, Elad and Stacho, Juraj}, TITLE = {Recognizing some subclasses of vertex intersection graphs of 0-bend paths in a grid}, BOOKTITLE = {Proceedings of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2011 (Tepl{\'a} Monastery, Czech Republic, June 21-24, 2011)}, SERIES = {LNCS}, VOLUME = {6986}, PAGES = {319-330}, YEAR = {2011}, EDITOR = {Kolman, Petr and Kratochv{\'{i}}l, Jan}, URL = {http://springerlink.metapress.com/content/a51v71mw14637172/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ailon-Avigdor-Elgrabli-Liberty-van_Zuylen/11, AUTHOR = {Ailon, Nir and Avigdor-Elgrabli, Noa and Liberty, Edo and van Zuylen, Anke}, TITLE = {Improved approximation algorithms for Bipartite Correlation Clustering}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {25-36}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Das-Gansner-Kaufmann-Kobourov-Spoerhase-Wolff/11, AUTHOR = {Das, Aparna and Gansner, Emden R. and Kaufmann, Michael and Kobourov, Stephen and Spoerhase, Joachim and Wolff, Alexander}, TITLE = {Approximating minimum Manhattan networks in higher dimensions}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {49-60}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alvarez-Kirkpatrick-Seidel/11, AUTHOR = {Alvarez, Victor and Kirkpatrick, David G. and Seidel, Raimund}, TITLE = {Can nearest neighbor searching be simple and always fast?}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {82-92}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Deng-Zhang/11, AUTHOR = {Chen, Ning and Deng, Xiaotie and Zhang, Jie}, TITLE = {How profitable are strategic behaviors in a market?}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {106-118}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_10}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Christodoulou-Mehlhorn-Pyrga/11, AUTHOR = {Christodoulou, George and Mehlhorn, Kurt and Pyrga, Evangelia}, TITLE = {Improving the price of anarchy for Selfish Routing via coordination mechanisms}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {119-130}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_11}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Feldmann-Widmayer/11, AUTHOR = {Feldmann, Andreas Emil and Widmayer, Peter}, TITLE = {An $\mathcal O(n^4)$ time algorithm to compute the bisection width of solid grid graphs}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {143-154}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_13}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ederer-Lorenz-Martin-Wolf/11, AUTHOR = {Ederer, Thorsten and Lorenz, Ulf and Martin, Alexander and Wolf, Jan}, TITLE = {Quantified linear programs: A computational study}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {203-214}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_18}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bouman-van_den_Akker-Hoogeveen/11, AUTHOR = {Bouman, P.C. and van den Akker, J.M. and Hoogeveen, J.A.}, TITLE = {Recoverable robustness by column generation}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {215-226}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_19}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Berger-Blaar-Gebhardt-Muller-Hannemann-Schnee/11, AUTHOR = {Berger, Annabell and Blaar, Christian and Gebhardt, Andreas and M{\"u}ller-Hannemann, Matthias and Schnee, Mathias}, TITLE = {Passenger flow-oriented train disposition}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {227-238}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_20}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chrobak-Jez-Sgall/11, AUTHOR = {Chrobak, Marek and Je{\.z}, {\L}ukasz and Sgall, Ji{\v{r}}{\'{i}}}, TITLE = {Better bounds for incremental frequency allocation in bipartite graphs}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {251-262}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_22}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chrobak-Sgall-Woeginger/11, AUTHOR = {Chrobak, Marek and Sgall, Ji{\v{r}}{\'{i}} and Woeginger, Gerhard J.}, TITLE = {Two-bounded-space bin packing revisited}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {263-274}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_23}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ferreira-Grossi-Rizzi/11, AUTHOR = {Ferreira, Rui and Grossi, Roberto and Rizzi, Romeo}, TITLE = {Output-sensitive listing of bounded-size trees in undirected graphs}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {275-286}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_24}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Fomin-Todinca-Villanger/11, AUTHOR = {Fomin, Fedor V. and Todinca, Ioan and Villanger, Yngve}, TITLE = {Exact algorithm for the maximum induced planar subgraph problem}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {287-298}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_25}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cygan-Pilipczuk-Pilipczuk-Wojtaszczyk/11a, AUTHOR = {Cygan, Marek and Pilipczuk, Marcin and Pilipczuk, Micha{\l} and Wojtaszczyk, Jakub Onufry}, TITLE = {Scheduling partially ordered jobs faster than $2^n$}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {299-310}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_26}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alaei-Hajiaghayi-Liaghat-Pei-Saha/11, AUTHOR = {Alaei, Saeed and Hajiaghayi, Mohammad T. and Liaghat, Vahid and Pei, Dan and Saha, Barna}, TITLE = {AdCell: Ad allocation in cellular networks}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {311-322}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_27}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Azar-Gamzu-Roth/11, AUTHOR = {Azar, Yossi and Gamzu, Iftah and Roth, Ran}, TITLE = {Submodular Max-SAT}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {323-334}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_28}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Even-Smorodinsky/11, AUTHOR = {Even, Guy and Smorodinsky, Shakhar}, TITLE = {Hitting sets online and vertex ranking}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {347-357}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_30}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bansal-Spencer/11, AUTHOR = {Bansal, Nikhil and Spencer, Joel}, TITLE = {Deterministic discrepancy minimization}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {408-420}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_35}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Wang/11b, AUTHOR = {Chen, Danny Z. and Wang, Haitao}, TITLE = {A nearly optimal algorithm for finding $L_1$ shortest paths among polygonal obstacles in the plane}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {481-492}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_41}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chakaravarthy-Kumar-Roy-Sabharwal/11, AUTHOR = {Chakaravarthy, Venkatesan T. and Kumar, Amit and Roy, Sambuddha and Sabharwal, Yogish}, TITLE = {Resource allocation for covering time varying demands}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {543-554}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_46}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Baruah-Bonifaci-DAngelo-Marchetti-Spaccamela-van_der_Ster-Stougie/11, AUTHOR = {Baruah, Sanjoy K. and Bonifaci, Vincenzo and D'Angelo, Gianlorenzo and Marchetti-Spaccamela, Alberto and van der Ster, Suzanne and Stougie, Leen}, TITLE = {Mixed-criticality scheduling of sporadic task systems}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {555-566}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_47}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Epstein-Levin/11, AUTHOR = {Epstein, Leah and Levin, Asaf}, TITLE = {Robust algorithms for preemptive scheduling}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {567-578}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_48}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Djidjev-Sommer/11, AUTHOR = {Djidjev, Hristo N. and Sommer, Christian}, TITLE = {Approximate distance queries for weighted polyhedral surfaces}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {579-590}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_49}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dietzfelbinger-Mitzenmacher-Rink/11, AUTHOR = {Dietzfelbinger, Martin and Mitzenmacher, Michael and Rink, Michael}, TITLE = {Cuckoo hashing with pages}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {615-627}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_52}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Couetoux/11, AUTHOR = {Cou{\"e}toux, Basile}, TITLE = {A $\frac{3}{2}$ approximation for a constrained forest problem}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {652-663}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_55}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Demaine-Demaine-Eisenstat-Lubiw-Winslow/11, AUTHOR = {Demaine, Erik D. and Demaine, Martin L. and Eisenstat, Sarah and Lubiw, Anna and Winslow, Andrew}, TITLE = {Algorithms for solving Rubik's Cubes}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {689-700}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_58}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Czyzowicz-Gasieniec-Kosowski-Kranakis/11, AUTHOR = {Czyzowicz, Jurek and G{\c{a}}sieniec, Leszek and Kosowski, Adrian and Kranakis, Evangelos}, TITLE = {Boundary patrolling by mobile agents with distinct maximal speeds}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {701-712}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_59}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Azar-Gurel-Gurevich-Lubetzky-Moscibroda/11, AUTHOR = {Azar, Yossi and Gurel-Gurevich, Ori and Lubetzky, Eyal and Moscibroda, Thomas}, TITLE = {Optimal discovery strategies in white space networks}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {713-722}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_60}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Diaz-Marchetti-Spaccamela-Mitsche-Santi-Stefa/11, AUTHOR = {D{\'{i}}az, Josep and Marchetti-Spaccamela, Alberto and Mitsche, Dieter and Santi, Paolo and Stefa, Julinda}, TITLE = {Social-aware forwarding improves routing performance in pocket switched networks}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {723-735}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_61}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Belazzougui-Navarro/11, AUTHOR = {Belazzougui, Djamal and Navarro, Gonzalo}, TITLE = {Alphabet-independent compressed text indexing}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {748-759}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_63}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ferragina-Siren-Venturini/11, AUTHOR = {Ferragina, Paolo and Sir{\'e}n, Jouni and Venturini, Rossano}, TITLE = {Distribution-aware compressed full-text indexes}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {760-771}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_64}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brunsch-Roglin-Rutten-Vredeveld/11, AUTHOR = {Brunsch, Tobias and R{\"o}glin, Heiko and Rutten, Cyriel and Vredeveld, Tjark}, TITLE = {Smoothed performance guarantees for local search}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {772-783}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_65}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Feldman-Naor-Schwartz-Ward/11, AUTHOR = {Feldman, Moran and Naor, Joseph (Seffi) and Schwartz, Roy and Ward, Justin}, TITLE = {Improved approximations for $k$-exchange systems}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {784-798}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_66}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, PCOMMENT = {Extended Abstract}, } @incollection{Bollobas-Pritchard-Rothvoss-Scott/11, AUTHOR = {Bollob{\'a}s, B{\'e}la and Pritchard, David and Rothvo{\ss}, Thomas and Scott, Alex}, TITLE = {Cover-decomposition and polychromatic numbers}, BOOKTITLE = {Proceedings of the 19th Annual European Symposium on Algorithms, ESA'2011, (Saarbr{\"u}cken, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6942}, PAGES = {799-810}, YEAR = {2011}, EDITOR = {Demetrescu, Camil and Halld{\'o}rsson, Magn{\'u}s M.}, URL = {http://dx.doi.org/10.1007/978-3-642-23719-5_67}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Andoni/11, AUTHOR = {Andoni, Alexandr}, TITLE = {Nearest neighbor search in high-dimensional spaces}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {1-1}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/v24m5g422v247233/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Flum/11, AUTHOR = {Flum, J{\"o}rg}, TITLE = {Invariantization of listings}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {2-2}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/m860v76r55xm5567/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bachrach/11, AUTHOR = {Bachrach, Yoram}, TITLE = {The least-core of threshold network flow games}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {36-47}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/kq53401843030364/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Baldan-Gadducci-Sobocinski/11, AUTHOR = {Baldan, Paolo and Gadducci, Fabio and Soboci{\'n}ski, Pawel}, TITLE = {Adhesivity is not enough: Local Church-Rosser revisited}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {48-59}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/u231116003607305/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bauer-Fahrenberg-Juhl-Larsen-Legay-Thrane/11, AUTHOR = {Bauer, Sebastian S. and Fahrenberg, Uli and Juhl, Line and Larsen, Kim G. and Legay, Axel and Thrane, Claus}, TITLE = {Quantitative refinement for weighted modal transition systems}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {60-71}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/l237321580j34mur/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Berenbrink-Elsasser-Friedetzky-Nagel-Sauerwald/11, AUTHOR = {Berenbrink, Petra and Els{\"a}sser, Robert and Friedetzky, Tom and Nagel, Lars and Sauerwald, Thomas}, TITLE = {Faster coupon collecting via replication with applications in gossiping}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {72-83}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/730t205908j51217/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Beyersdorff-Datta-Mahajan-Scharfenberger-Fabian-Sreenivasaiah-Thomas-Vollmer/11, AUTHOR = {Beyersdorff, Olaf and Datta, Samir and Mahajan, Meena and Scharfenberger-Fabian, Gido and Sreenivasaiah, Karteek and Thomas, Michael and Vollmer, Heribert}, TITLE = {Verifying proofs in constant depth}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {84-95}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/5671g7923m7076vu/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Blaser-Curticapean/11, AUTHOR = {Bl{\"a}ser, Markus and Curticapean, Radu}, TITLE = {The complexity of the cover polynomials for planar graphs of bounded degree}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {96-107}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/0738027k7419014h/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Blockelet-Schmitz/11, AUTHOR = {Blockelet, Michel and Schmitz, Sylvain}, TITLE = {Model checking coverability graphs of vector addition systems}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {108-119}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/10804087htq87029/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bogdanov-Kawachi-Tanaka/11, AUTHOR = {Bogdanov, Andrej and Kawachi, Akinori and Tanaka, Hidetoki}, TITLE = {Hard functions for low-degree polynomials over prime fields}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {120-131}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/r5735144v227t83q/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bollig-Cyriac-Gastin-Zeitoun/11, AUTHOR = {Bollig, Benedikt and Cyriac, Aiswarya and Gastin, Paul and Zeitoun, Marc}, TITLE = {Temporal logics for concurrent recursive programs: Satisfiability and model checking}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {132-144}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/h279152t3w2gl175/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bonnet/11, AUTHOR = {Bonnet, R{\'e}mi}, TITLE = {The reachability problem for Vector Addition System with one zero-test}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {145-157}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/t604kwj531k10263/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Boucher/11, AUTHOR = {Boucher, Christina}, TITLE = {The bounded search tree algorithm for the {\sc Closest String} problem has quadratic smoothed complexity}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {158-169}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/u5266n232301668n/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bournez-Graca-Pouly/11, AUTHOR = {Bournez, Olivier and Gra{\c{c}}a, Daniel S. and Pouly, Amaury}, TITLE = {Solving analytic differential equations in polynomial time over unbounded domains}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {170-181}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/j4uj170467447676/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bredereck-Nichterlein-Niedermeier-Philip/11, AUTHOR = {Bredereck, Robert and Nichterlein, Andr{\'e} and Niedermeier, Rolf and Philip, Geevarghese}, TITLE = {Pattern-guided data anonymization and clustering}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {182-193}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/k3q036770up07x70/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bohm-Goller/11, AUTHOR = {B{\"o}hm, Stanislav and G{\"o}ller, Stefan}, TITLE = {Language equivalence of deterministic real-time one-counter automata is NL-complete}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {194-205}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/m78576607705w1q1/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chatterjee-Doyen/11, AUTHOR = {Chatterjee, Krishnendu and Doyen, Laurent}, TITLE = {Energy and mean-payoff parity Markov decision processes}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {206-218}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/l113742p657t2l1n/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chrzaszcz-Schubert/11, AUTHOR = {Chrz{\c{a}}szcz, Jacek and Schubert, Aleksy}, TITLE = {The role of polymorphism in the characterisation of complexity by soft types}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {219-230}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/v7p4jv12484m4430/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cohen-Creed-Jeavons-Zivny/11, AUTHOR = {Cohen, David A. and Creed, P{\'a}id{\'{i}} and Jeavons, Peter G. and {\v{Z}}ivn{\'y}, Stanislav}, TITLE = {An algebraic theory of complexity for valued constraints: Establishing a Galois connection}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {231-242}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/dt30100037655585/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Colcombet-Ley-Puppis/11, AUTHOR = {Colcombet, Thomas and Ley, Clemens and Puppis, Gabriele}, TITLE = {On the use of guards for logics with data}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {243-255}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/6n7j27w48l074267/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Demenkov-Kulikov/11, AUTHOR = {Demenkov, Evgeny and Kulikov, Alexander S.}, TITLE = {An elementary proof of a $3n-o(n)$ lower bound on the circuit complexity of affine dispersers}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {256-265}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/727855w787757137/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dondi-Mauri-Zoppis/11, AUTHOR = {Dondi, Riccardo and Mauri, Giancarlo and Zoppis, Italo}, TITLE = {On the complexity of the $l$-diversity problem}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {266-277}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/e72w334157t754k6/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Doyen-Massart-Shirmohammadi/11, AUTHOR = {Doyen, Laurent and Massart, Thierry and Shirmohammadi, Mahsa}, TITLE = {Infinite synchronizing words for probabilistic automata}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {278-289}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/xw48r18h34245885/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Fearnley-Lachish/11, AUTHOR = {Fearnley, John and Lachish, Oded}, TITLE = {Parity games on graphs with medium tree-width}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {303-314}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/w8v777048958v738/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Franek-Ratschan-Zgliczynski/11, AUTHOR = {Franek, Peter and Ratschan, Stefan and Zgliczynski, Piotr}, TITLE = {Satisfiability of systems of equations of real analytic functions is quasi-decidable}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {315-326}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/g11217557n234g56/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Fridman-Puchala/11, AUTHOR = {Fridman, Wladimir and Puchala, Bernd}, TITLE = {Distributed synthesis for regular and contextfree specifications}, BOOKTITLE = {Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science, MFCS'2011 (Warsaww, Poland, August 22-26, 2011)}, SERIES = {LNCS}, VOLUME = {6907}, PAGES = {532-543}, YEAR = {2011}, EDITOR = {Murlak, Filip and Sankowski, Piotr}, URL = {http://springerlink.metapress.com/content/g3560148h861uuv8/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Abrahamyan-Kyureghyan/11, AUTHOR = {Abrahamyan, Sergey and Kyureghyan, Melsik}, TITLE = {A recurrent method for constructing irreducible polynomials over finite fields}, BOOKTITLE = {Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC'2011 (Kassel, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6885}, PAGES = {1-9}, YEAR = {2011}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, URL = {http://springerlink.metapress.com/content/t1866u88095j6p58/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Abramov-Barkatou-Pflugel/11, AUTHOR = {Abramov, S.A. and Barkatou, M.A. and Pfl{\"u}gel, E.}, TITLE = {Higher-order linear differential systems with truncated coefficients}, BOOKTITLE = {Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC'2011 (Kassel, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6885}, PAGES = {10-24}, YEAR = {2011}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, URL = {http://springerlink.metapress.com/content/p316044l223615w8/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alcazar/11, AUTHOR = {Alc{\'a}zar, Juan Gerardo}, TITLE = {Topology of families of implicit algebraic surfaces depending on a parameter}, BOOKTITLE = {Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC'2011 (Kassel, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6885}, PAGES = {25-36}, YEAR = {2011}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, URL = {http://springerlink.metapress.com/content/71w6215227n97767/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Andrianov/11, AUTHOR = {Andrianov, Serge N.}, TITLE = {A modular approach for beam lines design}, BOOKTITLE = {Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC'2011 (Kassel, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6885}, PAGES = {37-48}, YEAR = {2011}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, URL = {http://springerlink.metapress.com/content/0g3q24r7p46013qj/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Berghammer-Rusinowska-de_Swart/11, AUTHOR = {Berghammer, Rudolf and Rusinowska, Agnieszka and de Swart, Harrie}, TITLE = {Computations on simple games using {\sc RelView}}, BOOKTITLE = {Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC'2011 (Kassel, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6885}, PAGES = {49-60}, YEAR = {2011}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, URL = {http://springerlink.metapress.com/content/g508785j2671g7j1/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Boulier-Lemaire-Sedoglavic/11, AUTHOR = {Boulier, Fran{\c{c}}ois and Lemaire, Fran{\c{c}}ois and Sedoglavic, Alexandre}, TITLE = {On the regularity property of differential polynomials modulo regular differential chains}, BOOKTITLE = {Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC'2011 (Kassel, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6885}, PAGES = {61-72}, YEAR = {2011}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, URL = {http://springerlink.metapress.com/content/21x278t5t2723078/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Boulier-Lemaire-Petitot-Sedoglavic/11, AUTHOR = {Boulier, Fran{\c{c}}ois and Lemaire, Fran{\c{c}}ois and Petitot, Michel and Sedoglavic, Alexandre}, TITLE = {Chemical reaction systems, computer algebra and systems biology}, BOOKTITLE = {Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC'2011 (Kassel, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6885}, PAGES = {73-87}, YEAR = {2011}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, URL = {http://springerlink.metapress.com/content/h26339g41vg56841/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Budzko-Prokopenya/11, AUTHOR = {Budzko, Dzmitry A. and Prokopenya, Alexander N.}, TITLE = {On the stability of equilibrium positions in the circular restricted four-body problem}, BOOKTITLE = {Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC'2011 (Kassel, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6885}, PAGES = {88-100}, YEAR = {2011}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, URL = {http://springerlink.metapress.com/content/948500477u376q42/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Maza/11, AUTHOR = {Chen, Changbo and Maza, Marc Moreno}, TITLE = {Semi-algebraic description of the equilibria of dynamical systems}, BOOKTITLE = {Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC'2011 (Kassel, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6885}, PAGES = {101-125}, YEAR = {2011}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, URL = {http://springerlink.metapress.com/content/6610545u41671035/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Edneral-Romanovski/11, AUTHOR = {Edneral, Victor and Romanovski, Valery G.}, TITLE = {Normal forms of two $p:-q$ resonant polynomial vector fields}, BOOKTITLE = {Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC'2011 (Kassel, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6885}, PAGES = {126-134}, YEAR = {2011}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, URL = {http://springerlink.metapress.com/content/m3l7u00076641614/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Errami-Seiler-Sturm-Weber/11, AUTHOR = {Errami, Hassan and Seiler, Werner M. and Sturm, Thomas and Weber, Andreas}, TITLE = {On Muldowney's criteria for polynomial vector fields with constraints}, BOOKTITLE = {Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC'2011 (Kassel, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6885}, PAGES = {135-143}, YEAR = {2011}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, URL = {http://springerlink.metapress.com/content/x21182u18uh12k45/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Fabregat-Traver-Bientinesi/11, AUTHOR = {Fabregat-Traver, Diego and Bientinesi, Paolo}, TITLE = {Knowledge-based automatic generation of partitioned matrix expressions}, BOOKTITLE = {Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing, CASC'2011 (Kassel, Germany, September 5-9, 2011)}, SERIES = {LNCS}, VOLUME = {6885}, PAGES = {144-157}, YEAR = {2011}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, URL = {http://springerlink.metapress.com/content/p4723387013371x8/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Abam-de_Berg-Khosravi/11, AUTHOR = {Abam, Mohammad Ali and de Berg, Mark and Khosravi, Amirali}, TITLE = {Piecewise-linear approximations of uncertain functions}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {1-12}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/x2n2q52411782v54/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Adiga-Babu-Chandran/11, AUTHOR = {Adiga, Abhijin and Babu, Jasine and Chandran, L. Sunil}, TITLE = {A constant factor approximation algorithm for boxicity of circular arc graphs}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {13-24}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/a65003987223h8r1/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Angelini-Bruckdorfer-Chiesa-Frati-Kaufmann-Sqarcella/11, AUTHOR = {Angelini, Patrizio and Bruckdorfer, Till and Chiesa, Marco and Frati, Fabrizio and Kaufmann, Michael and Sqarcella, Claudio}, TITLE = {On the area requirements of Euclidean minimum spanning trees}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {25-36}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/f89kq38827u1p284/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Angelopoulos-Lopez-Ortiz-Panagiotou/11, AUTHOR = {Angelopoulos, Spyros and L{\'o}pez-Ortiz, Alejandro and Panagiotou, Konstantinos}, TITLE = {Multi-target ray searching problems}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {37-48}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/b21q2q0tn057hr83/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Arkin-Dieckmann-Knauer-Mitchell-Polishchuk-Schlipf-Yang/11, AUTHOR = {Arkin, Esther M. and Dieckmann, Claudia and Knauer, Christian and Mitchell, Joseph S.B. and Polishchuk, Valentin and Schlipf, and Lena and Yang, Shang}, TITLE = {Convex transversals}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {49-60}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/h8v05j3065308205/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Aronov-Dulieu/11, AUTHOR = {Aronov, Boris and Dulieu, Muriel}, TITLE = {How to cover a point set with a V-shape of minimum width}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {61-72}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/u557006747526g09/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Aronov-Dulieu-Hurtado/11, AUTHOR = {Aronov, Boris and Dulieu, Muriel and Hurtado, Ferran}, TITLE = {Witness rectangle graphs}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {73-85}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/327245924742m9p5/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Biedl-Durocher-Engelbeen-Fiorini-Young/11, AUTHOR = {Biedl, Therese and Durocher, Stephane and Engelbeen, C{\'e}line and Fiorini, Samuel and Young, Maxwell}, TITLE = {Faster optimal algorithms for segment minimization with small maximal value}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {86-97}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/lw623777383437j5/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Biedl-Ruiz_Velazquez/11, AUTHOR = {Biedl, Therese and Ruiz Vel{\'a}zquez, Lesvia Elena}, TITLE = {Orthogonal cartograms with few corners per face}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {98-109}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/b760234524u76033/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Blaser-Manthey-Rao/11, AUTHOR = {Bl{\"a}ser, Markus and Manthey, Bodo and Rao, B.V. Raghavendra}, TITLE = {Smoothed analysis of partitioning algorithms for Euclidean functionals}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {110-121}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/t81m345150084564/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bonsma-Lokshtanov/11, AUTHOR = {Bonsma, Paul and Lokshtanov, Daniel}, TITLE = {Feedback vertex set in mixed graphs}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {122-133}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/n723412475k214u2/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bose-Carmi-Damian-Flatland-Katz-Maheshwari/11, AUTHOR = {Bose, Prosenjit and Carmi, Paz and Damian, Mirela and Flatland, Robin and Katz, Matthew J. and Maheshwari, Anil}, TITLE = {Switching to directional antennas with constant increase in radius and hop distance}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {134-146}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/22202gj3x42740h7/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Buchbinder-Feldman-Ghosh-Naor/11, AUTHOR = {Buchbinder, Niv and Feldman, Moran and Ghosh, Arpita and Naor, Joseph (Seffi)}, TITLE = {Frequency capping in online advertising}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {147-158}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/b2v4053j10641r51/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, PCOMMENT = {extended abstract}, } @incollection{Buchin-Eppstein-Loffler-Nollenburg-Silveira/11, AUTHOR = {Buchin, Kevin and Eppstein, David and L{\"o}ffler, Maarten and N{\"o}llenburg, Martin and Silveira, Rodrigo I.}, TITLE = {Adjacency-preserving spatial treemaps}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {159-170}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/a33g0308h5574420/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Calinescu-Li/11, AUTHOR = {Calinescu, Gruia and Li, Minming}, TITLE = {Register loading via linear programming}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {171-182}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/up61722g4018378v/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chambers-Fekete-Hoffmann-Marinakis-Mitchell-Srinivasan-Stege-Whitesides/11, AUTHOR = {Chambers, Erin Wolf and Fekete, S{\'a}ndor P. and Hoffmann, Hella-Franziska and Marinakis, Dimitri and Mitchell, Joseph S.B. and Srinivasan, Venkatesh and Stege, Ulrike and Whitesides, Sue}, TITLE = {Connecting a set of circles with minimum sum of radii}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {183-194}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/d156573l677u2376/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chan-Pathak/11, AUTHOR = {Chan, Timothy M. and Pathak, Vinayak}, TITLE = {Streaming and dynamic algorithms for minimum enclosing balls in high dimensions}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {195-206}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/572143044127165t/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Wang/11a, AUTHOR = {Chen, Danny Z. and Wang, Haitao}, TITLE = {New algorithms for 1-D facility location and path equipartition problems}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {207-218}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/c6u1250010572wql/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Fan-Kanj-Liu-Zhang/11, AUTHOR = {Chen, Jianer and Fan, Jia-Hao and Kanj, Iyad A. and Liu, Yang and Zhang, Fenghui}, TITLE = {Multicut in trees viewed through the eyes of vertex cover}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {219-230}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/66435295g3404704/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Christ/11, AUTHOR = {Christ, Tobias}, TITLE = {Beyond triangulation: Covering polygons with triangles}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {231-242}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/7q732968l46p8135/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Christiano-Demaine-Kishore/11, AUTHOR = {Christiano, Paul and Demaine, Erik D. and Kishore, Shaunak}, TITLE = {Lossless fault-tolerant data structures with additive overhead}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {243-254}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/e7631k686056141m/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cicalese-Jacobs-Laber-Valentim/11, AUTHOR = {Cicalese, Ferdinando and Jacobs, Tobias and Laber, Eduardo and Valentim, Caio}, TITLE = {Binary identification problems for weighted trees}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {255-266}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/q6x200183k0389g1/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cook-Driemel-Har-Peled-Sherette-Wenk/11, AUTHOR = {Cook IV, Atlas F. and Driemel, Anne and Har-Peled, Sariel and Sherette, Jessica and Wenk, Carola}, TITLE = {Computing the Fr{\'e}chet distance between folded polygons}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {267-278}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/gk177v21r5852763/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Damaschke-Molokov/11, AUTHOR = {Damaschke, Peter and Molokov, Leonid}, TITLE = {Parameterized reductions and algorithms for another vertex cover generalization}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {279-289}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/f02772n4464307g1/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brodal-Davoodi-Rao/11, AUTHOR = {Brodal, Gerth St{\o}lting and Davoodi, Pooya and Rao, S. Srinivasa}, TITLE = {Path minima queries in dynamic weighted trees}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {290-301}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/050013630x463169/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Demaine-Eisenstat/11, AUTHOR = {Demaine, Erik D. and Eisenstat, Sarah}, TITLE = {Flattening fixed-angle chains is strongly NP-hard}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {314-325}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/7872203jq24w19h1/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Devanur-Feige/11, AUTHOR = {Devanur, Nikhil R. and Feige, Uriel}, TITLE = {An $O(n\log n)$ algorithm for a load balancing problem on paths}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {326-337}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/3912xw87v13wv473/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Doll-Hartmann-Wagner/11, AUTHOR = {Doll, Christof and Hartmann, Tanja and Wagner, Dorothea}, TITLE = {Fully-dynamic hierarchical graph clustering using cut trees}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {338-349}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/20n3742773517522/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Driemel-Haverkort-Loffler-Silveira/11, AUTHOR = {Driemel, Anne and Haverkort, Herman and L{\"o}ffler, Maarten and Silveira, Rodrigo I.}, TITLE = {Flow computations on imprecise terrains}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {350-361}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/j5g8k7617107834j/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Eppstein-Goodrich-Loffler/11, AUTHOR = {Eppstein, David and Goodrich, Michael T. and L{\"o}ffler, Maarten}, TITLE = {Tracking moving objects with few handovers}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {362-373}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/425847g307663528/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Fischer/11, AUTHOR = {Fischer, Johannes}, TITLE = {Inducing the LCP-array}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {374-385}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/c31t6410n3401591/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Fletcher-Moeller-Phillips-Venkatasubramanian/11, AUTHOR = {Fletcher, P. Thomas and Moeller, John and Phillips, Jeff M. and Venkatasubramanian, Suresh}, TITLE = {Horoball hulls and extents in positive definite space}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {386-398}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/m5322322226hu83u/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Fomin-Heggernes-Kratsch-Papadopoulos-Villanger/11, AUTHOR = {Fomin, Fedor V. and Heggernes, Pinar and Kratsch, Dieter and Papadopoulos, Charis and Villanger, Yngve}, TITLE = {Enumerating minimal subset feedback vertex sets}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {399-410}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/l7t8364tkv406u78/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Fox/11, AUTHOR = {Fox, Kyle}, TITLE = {Upper bounds for maximally greedy binary search trees}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {411-422}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/8x6443j623n0882n/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Fredman/11, AUTHOR = {Fredman, Michael L.}, TITLE = {On the matter of dynamic optimality in an extended model for tree access operations}, BOOKTITLE = {Proceedings of the 12th International Symmposium on Algorithms and Data Structures, WADS'2011 (New York, NY, USA, August 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6844}, PAGES = {423-437}, YEAR = {2011}, EDITOR = {Dehne, Frank and Iacono, John and Sack, J{\"o}rg-R{\"u}diger}, URL = {http://springerlink.metapress.com/content/n815x0m11x1m4605/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brinkmeyer-Griebel-Bocker/11, AUTHOR = {Brinkmeyer, Malte and Griebel, Thasso and B{\"o}cker, Sebastian}, TITLE = {FlipCut supertrees: Towards matrix representation accuracy in polynomial time}, BOOKTITLE = {Proceedings of the 17th Annual International Conference on Computing and Combinatorics, COCOON'2011 (Dallas, TX, USA, August 14-16, 2011)}, SERIES = {LNCS}, VOLUME = {6842}, PAGES = {37-48}, YEAR = {2011}, EDITOR = {Fu, Bin and Du, Ding-Zhu}, URL = {http://springerlink.metapress.com/content/7025401884012485/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cai-Kowalczyk/11, AUTHOR = {Cai, Jin-Yi and Kowalczyk, Michael}, TITLE = {Spin systems on graphs with complex edge functions and specified degree regularities}, BOOKTITLE = {Proceedings of the 17th Annual International Conference on Computing and Combinatorics, COCOON'2011 (Dallas, TX, USA, August 14-16, 2011)}, SERIES = {LNCS}, VOLUME = {6842}, PAGES = {146-157}, YEAR = {2011}, EDITOR = {Fu, Bin and Du, Ding-Zhu}, URL = {http://springerlink.metapress.com/content/d3n6418390584p12/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Asinowski-Barequet-Barequet-Rote/11, AUTHOR = {Asinowski, Andrei and Barequet, Gill and Barequet, Ronnie and Rote, G{\"u}nter}, TITLE = {Proper $n$-cell polycubes in $n-3$ dimensions}, BOOKTITLE = {Proceedings of the 17th Annual International Conference on Computing and Combinatorics, COCOON'2011 (Dallas, TX, USA, August 14-16, 2011)}, SERIES = {LNCS}, VOLUME = {6842}, PAGES = {180-191}, YEAR = {2011}, EDITOR = {Fu, Bin and Du, Ding-Zhu}, URL = {http://springerlink.metapress.com/content/eu8u754x8266625h/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Daescu-Ju-Luo-Zhu/11, AUTHOR = {Daescu, Ovidiu and Ju, Wenqi and Luo, Jun and Zhu, Binhai}, TITLE = {Largest area convex hull of axis-aligned squares based on imprecise data}, BOOKTITLE = {Proceedings of the 17th Annual International Conference on Computing and Combinatorics, COCOON'2011 (Dallas, TX, USA, August 14-16, 2011)}, SERIES = {LNCS}, VOLUME = {6842}, PAGES = {192-203}, YEAR = {2011}, EDITOR = {Fu, Bin and Du, Ding-Zhu}, URL = {http://springerlink.metapress.com/content/x614k027632431l1/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Banik-Bhattacharya-Das/11, AUTHOR = {Banik, Aritra and Bhattacharya, Bhaswar B. and Das, Sandip}, TITLE = {Optimal strategies for the one-round discrete Voronoi game on a line}, BOOKTITLE = {Proceedings of the 17th Annual International Conference on Computing and Combinatorics, COCOON'2011 (Dallas, TX, USA, August 14-16, 2011)}, SERIES = {LNCS}, VOLUME = {6842}, PAGES = {213-224}, YEAR = {2011}, EDITOR = {Fu, Bin and Du, Ding-Zhu}, URL = {http://springerlink.metapress.com/content/r8775544282g6261/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chang-Lu/11, AUTHOR = {Chang, Hsien-Chih and Lu, Hsueh-I}, TITLE = {Computing the girth of a planar graph in linear time}, BOOKTITLE = {Proceedings of the 17th Annual International Conference on Computing and Combinatorics, COCOON'2011 (Dallas, TX, USA, August 14-16, 2011)}, SERIES = {LNCS}, VOLUME = {6842}, PAGES = {225-236}, YEAR = {2011}, EDITOR = {Fu, Bin and Du, Ding-Zhu}, URL = {http://springerlink.metapress.com/content/160n03j2g1474612/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Asahiro-Kanmera-Miyano/11, AUTHOR = {Asahiro, Yuichi and Kanmera, Kenta and Miyano, Eiji}, TITLE = {$(1+\epsilon)$-competitive algorithm for online OVSF code assignment with resource augmentation}, BOOKTITLE = {Proceedings of the 17th Annual International Conference on Computing and Combinatorics, COCOON'2011 (Dallas, TX, USA, August 14-16, 2011)}, SERIES = {LNCS}, VOLUME = {6842}, PAGES = {259-270}, YEAR = {2011}, EDITOR = {Fu, Bin and Du, Ding-Zhu}, URL = {http://springerlink.metapress.com/content/t183u480103h8512/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bougeret-Dutot-Jansen-Robenek-Trystram/11, AUTHOR = {Bougeret, Marin and Dutot, Pierre Francois and Jansen, Klaus and Robenek, Christina and Trystram, Denis}, TITLE = {Scheduling jobs on heterogeneous platforms}, BOOKTITLE = {Proceedings of the 17th Annual International Conference on Computing and Combinatorics, COCOON'2011 (Dallas, TX, USA, August 14-16, 2011)}, SERIES = {LNCS}, VOLUME = {6842}, PAGES = {271-283}, YEAR = {2011}, EDITOR = {Fu, Bin and Du, Ding-Zhu}, URL = {http://springerlink.metapress.com/content/u678014313777874/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ahlroth-Pottonen-Schumacher/11, AUTHOR = {Ahlroth, Lauri and Pottonen, Olli and Schumacher, Andr{\'e}}, TITLE = {Approximately uniform online checkpointing}, BOOKTITLE = {Proceedings of the 17th Annual International Conference on Computing and Combinatorics, COCOON'2011 (Dallas, TX, USA, August 14-16, 2011)}, SERIES = {LNCS}, VOLUME = {6842}, PAGES = {297-306}, YEAR = {2011}, EDITOR = {Fu, Bin and Du, Ding-Zhu}, URL = {http://springerlink.metapress.com/content/k8t7587x1t66j729/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bui-Xuan-Heggernes-Meister-Proskurowski/11, AUTHOR = {Bui-Xuan, Binh-Minh and Heggernes, Pinar and Meister, Daniel and Proskurowski, Andrzej}, TITLE = {A generic approach to decomposition algorithms, with an application to digraph decomposition}, BOOKTITLE = {Proceedings of the 17th Annual International Conference on Computing and Combinatorics, COCOON'2011 (Dallas, TX, USA, August 14-16, 2011)}, SERIES = {LNCS}, VOLUME = {6842}, PAGES = {331-342}, YEAR = {2011}, EDITOR = {Fu, Bin and Du, Ding-Zhu}, URL = {http://springerlink.metapress.com/content/n78u775l23326215/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Feng-Wang-Chen/11, AUTHOR = {Feng, Qilong and Wang, Jianxin and Chen, Jianer}, TITLE = {Matching and $P_2$-packing: Weighted versions}, BOOKTITLE = {Proceedings of the 17th Annual International Conference on Computing and Combinatorics, COCOON'2011 (Dallas, TX, USA, August 14-16, 2011)}, SERIES = {LNCS}, VOLUME = {6842}, PAGES = {343-353}, YEAR = {2011}, EDITOR = {Fu, Bin and Du, Ding-Zhu}, URL = {http://springerlink.metapress.com/content/6568447t13131402/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Arvind-Kobler/11, AUTHOR = {Arvind, V. and K{\"o}bler, Johannes}, TITLE = {Canonizing hypergraphs under Abelian group action}, BOOKTITLE = {Proceedings of the 17th Annual International Conference on Computing and Combinatorics, COCOON'2011 (Dallas, TX, USA, August 14-16, 2011)}, SERIES = {LNCS}, VOLUME = {6842}, PAGES = {444-455}, YEAR = {2011}, EDITOR = {Fu, Bin and Du, Ding-Zhu}, URL = {http://springerlink.metapress.com/content/2v3641704388m10q/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Christou-Crochemore-Guth-Iliopoulos-Pissis/11, AUTHOR = {Christou, Michalis and Crochemore, Maxime and Guth, Ondrej and Iliopoulos, Costas S. and Pissis, Solon P.}, TITLE = {On the right-seed array of a string}, BOOKTITLE = {Proceedings of the 17th Annual International Conference on Computing and Combinatorics, COCOON'2011 (Dallas, TX, USA, August 14-16, 2011)}, SERIES = {LNCS}, VOLUME = {6842}, PAGES = {492-502}, YEAR = {2011}, EDITOR = {Fu, Bin and Du, Ding-Zhu}, URL = {http://springerlink.metapress.com/content/k2513g07893r3123/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Churchill-Lamagna/11, AUTHOR = {Churchill, Berkeley R. and Lamagna, Edmund A.}, TITLE = {Summing symbols in mutual recurrences}, BOOKTITLE = {Proceedings of the 17th Annual International Conference on Computing and Combinatorics, COCOON'2011 (Dallas, TX, USA, August 14-16, 2011)}, SERIES = {LNCS}, VOLUME = {6842}, PAGES = {531-542}, YEAR = {2011}, EDITOR = {Fu, Bin and Du, Ding-Zhu}, URL = {http://springerlink.metapress.com/content/54vt0n4n30128k26/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{De_Bonis-Di_Crescenzo/11, AUTHOR = {De Bonis, Annalisa and Di Crescenzo, Giovanni}, TITLE = {Combinatorial group testing for corruption localizing hashing}, BOOKTITLE = {Proceedings of the 17th Annual International Conference on Computing and Combinatorics, COCOON'2011 (Dallas, TX, USA, August 14-16, 2011)}, SERIES = {LNCS}, VOLUME = {6842}, PAGES = {579-591}, YEAR = {2011}, EDITOR = {Fu, Bin and Du, Ding-Zhu}, URL = {http://springerlink.metapress.com/content/y8x1j908nm327668/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Carpov-Carlier-Nace-Sirdey/11, AUTHOR = {Carpov, Sergiu and Carlier, Jacques and Nace, Dritan and Sirdey, Renaud}, TITLE = {Task ordering and memory management problem for degree of parallelism estimation}, BOOKTITLE = {Proceedings of the 17th Annual International Conference on Computing and Combinatorics, COCOON'2011 (Dallas, TX, USA, August 14-16, 2011)}, SERIES = {LNCS}, VOLUME = {6842}, PAGES = {592-603}, YEAR = {2011}, EDITOR = {Fu, Bin and Du, Ding-Zhu}, URL = {http://springerlink.metapress.com/content/p84630rll2284232/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{De_Marco-Kranakis-Wiener/11, AUTHOR = {De Marco, Gianluca and Kranakis, Evangelos and Wiener, G{\'a}bor}, TITLE = {Computing majority with triple queries}, BOOKTITLE = {Proceedings of the 17th Annual International Conference on Computing and Combinatorics, COCOON'2011 (Dallas, TX, USA, August 14-16, 2011)}, SERIES = {LNCS}, VOLUME = {6842}, PAGES = {604-615}, YEAR = {2011}, EDITOR = {Fu, Bin and Du, Ding-Zhu}, URL = {http://springerlink.metapress.com/content/g252746q28g4j420/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chee-Wang-Zhang/11, AUTHOR = {Chee, Yeow Meng and Wang, Huaxiong and Zhang, Liang Feng}, TITLE = {Oblivious transfer and $n$-variate linear function evaluation}, BOOKTITLE = {Proceedings of the 17th Annual International Conference on Computing and Combinatorics, COCOON'2011 (Dallas, TX, USA, August 14-16, 2011)}, SERIES = {LNCS}, VOLUME = {6842}, PAGES = {627-637}, YEAR = {2011}, EDITOR = {Fu, Bin and Du, Ding-Zhu}, URL = {http://springerlink.metapress.com/content/1633767320456688/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alur-Deshmukh/11, AUTHOR = {Alur, Rajeev and Deshmukh, Jyotirmoy V.}, TITLE = {Nondeterministic streaming string transducers}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {1-20}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/e24648j020818jn7/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alvim-Andres-Chatzikokolakis-Palamidessi/11, AUTHOR = {Alvim, M{\'a}rio S. and Andr{\'e}s, Miguel E. and Chatzikokolakis, Konstantinos and Palamidessi, Catuscia}, TITLE = {On the relation between differential privacy and quantitative information flow}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {60-76}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/f84721hl3p440830/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Delacourt/11, AUTHOR = {Delacourt, Martin}, TITLE = {Rice's theorem for $\mu$-limit sets of cellular automata}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {89-100}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/q06w87835w815455/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chechik/11, AUTHOR = {Chechik, Shiri}, TITLE = {Fault-tolerant compact routing schemes for general graphs}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {101-112}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/12348u7546837236/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Carton-Colcombet-Puppis/11, AUTHOR = {Carton, Olivier and Colcombet, Thomas and Puppis, Gabriele}, TITLE = {Regular languages of words over countable linear orderings}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {125-136}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/a12105145v67l838/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Beecken-Mittmann-Saxena/11, AUTHOR = {Beecken, Malte and Mittmann, Johannes and Saxena, Nitin}, TITLE = {Algebraic independence and blackbox identity testing}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {137-148}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/222403j5r3124546/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Benedikt-Puppis-Riveros/11, AUTHOR = {Benedikt, Michael and Puppis, Gabriele and Riveros, Cristian}, TITLE = {The cost of traveling between languages}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {234-245}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/n92l436179818726/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bertrand-Bouyer-Brihaye-Stainer/11, AUTHOR = {Bertrand, Nathalie and Bouyer, Patricia and Brihaye, Thomas and Stainer, Am{\'e}lie}, TITLE = {Emptiness and universality problems in timed automata with positive frequency}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {246-257}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/f23p75665xww7954/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Clemente/11, AUTHOR = {Clemente, Lorenzo}, TITLE = {B{\"u}chi automata can have smaller quotients}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {258-270}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/0w325244246108x8/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Crafa-Ranzato/11, AUTHOR = {Crafa, Silvia and Ranzato, Francesco}, TITLE = {Probabilistic bisimulation and simulation algorithms by abstract interpretation}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {295-306}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/1t37354835752647/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Deng-Hennessy/11, AUTHOR = {Deng, Yuxin and Hennessy, Matthew}, TITLE = {On the semantics of Markov automata}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {307-318}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/tv27238935194756/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brazdil-Kiefer-Kucera-Varekova/11, AUTHOR = {Br{\'a}zdil, Tom{\'a}{\v{s}} and Kiefer, Stefan and Ku{\v{c}}era, Anton{\'{i}}n and Va{\v{r}}ekov{\'a}, Ivana Huta{\v{r}}ov{\'a}}, TITLE = {Runtime analysis of probabilistic programs with unbounded recursion}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {319-331}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/a7034251r8322652/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brazdil-Brozek-Etessami-Kucera/11, AUTHOR = {Br{\'a}zdil, Tom{\'a}{\v{s}} and Bro{\v{z}}ek, V{\'a}clav and Etessami, Kousha and Ku{\v{c}}era, Anton{\'{i}}n}, TITLE = {Approximating the termination value of one-counter MDPs and stochastic games}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {332-343}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/24n78x221l736178/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bova-Chen-Valeriote/11, AUTHOR = {Bova, Simone and Chen, Hubie and Valeriote, Matthew}, TITLE = {Generic expression hardness results for primitive positive formula comparison}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {344-355}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/ju5t310243988822/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Barany-ten_Cate-Segoufin/11, AUTHOR = {B{\'a}r{\'a}ny, Vince and ten Cate, Balder and Segoufin, Luc}, TITLE = {Guarded negation}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {356-367}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/42390610v21473h8/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Anderson-van_Melkebeek-Schweikardt-Segoufin/11, AUTHOR = {Anderson, Matthew and van Melkebeek, Dieter and Schweikardt, Nicole and Segoufin, Luc}, TITLE = {Locality of queries definable in invariant first-order logic with arbitrary built-in predicates}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {368-379}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/l150l767q2831618/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cardelli-Larsen-Mardare/11, AUTHOR = {Cardelli, Luca and Larsen, Kim G. and Mardare, Radu}, TITLE = {Modular Markovian logic}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {380-391}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/lk672675p4136463/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Fischer-Kaiser/11, AUTHOR = {Fischer, Diana and Kaiser, {\L}ukasz}, TITLE = {Model checking the quantitative $\mu$-calculus on linear hybrid systems}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {404-415}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/m775305373735562/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brihaye-Doyen-Geeraerts-Ouaknine-Raskin-Worrell/11, AUTHOR = {Brihaye, Thomas and Doyen, Laurent and Geeraerts, Gilles and Ouaknine, Jo{\"e}l and Raskin, Jean-Fran{\c{c}}ois and Worrell, James}, TITLE = {On reachability for hybrid automata over bounded time}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {416-427}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/e746j0553g876358/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bouajjani-Meyer-Mohlmann/11, AUTHOR = {Bouajjani, Ahmed and Meyer, Roland and M{\"o}hlmann, Eike}, TITLE = {Deciding robustness against total store ordering}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {428-440}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/v516v44774t47011/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Doerr-Fouz/11a, AUTHOR = {Doerr, Benjamin and Fouz, Mahmoud}, TITLE = {Asymptotically optimal randomized rumor spreading}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {502-513}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/p066820m675m1172/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chan-Ning/11, AUTHOR = {Chan, T.-H. Hubert and Ning, Li}, TITLE = {Fast convergence for consensus in dynamic networks}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {514-525}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/97j7mhm0485017pg/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ahn-Guha/11, AUTHOR = {Ahn, Kook Jin and Guha, Sudipto}, TITLE = {Linear programming in the semi-streaming model with application to the maximum matching problem}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {526-538}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/q381g21201w18252/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cominetti-Correa-Larre/11, AUTHOR = {Cominetti, Roberto and Correa, Jos{\'e} R. and Larr{\'e}, Omar}, TITLE = {Existence and uniqueness of equilibria for flows over time}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {552-563}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/260620jn50483667/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chlebus-Kowalski-Pelc-Rokicki/11, AUTHOR = {Chlebus, Bogdan S. and Kowalski, Dariusz R. and Pelc, Andrzej and Rokicki, Mariusz A.}, TITLE = {Efficient distributed communication in ad-hoc radio networks}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {613-624}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/l285077n79w31535/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dams-Hoefer-Kesselheim/11, AUTHOR = {Dams, Johannes and Hoefer, Martin and Kesselheim, Thomas}, TITLE = {Convergence time of power-control dynamics}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {637-649}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/d702636480385u41/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cord-Landwehr-Degener-Fischer-Hullmann-Kempkes-Klaas-Kling-Kurras-Martens-Meyer_auf_der_Heide-Raupach-Swierkot-Warner-Weddemann-Wonisch/11, AUTHOR = {Cord-Landwehr, Andreas and Degener, Bastian and Fischer, Matthias and H{\"u}llmann, Martina and Kempkes, Barbara and Klaas, Alexander and Kling, Peter and Kurras, Sven and M{\"a}rtens, Marcus and Meyer auf der Heide, Friedhelm and Raupach, Christoph and Swierkot, Kamil and Warner, Daniel and Weddemann, Christoph and Wonisch, Daniel}, TITLE = {A new approach for analyzing convergence algorithms for mobile robots}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part II (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6756}, PAGES = {650-661}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/6u8w33qw46n65341/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Berman-Bhattacharyya-Makarychev-Raskhodnikova-Yaroslavtsev/11, AUTHOR = {Berman, Piotr and Bhattacharyya, Arnab and Makarychev, Konstantin and Raskhodnikova, Sofya and Yaroslavtsev, Grigory}, TITLE = {Improved approximation for the directed spanner problem}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {1-12}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/mm483q5632522754/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Adamaszek-Czumaj-Lingas-Wojtaszczyk/11, AUTHOR = {Adamaszek, Anna and Czumaj, Artur and Lingas, Andrzej and Wojtaszczyk, Jakub Onufry}, TITLE = {Approximation schemes for capacitated geometric network design}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {25-36}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/e6g17t6988g37363/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Aaronson-Drucker/11, AUTHOR = {Aaronson, Scott and Drucker, Andrew}, TITLE = {Advice coins for classical and quantum computation}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {61-72}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/h30puk784u218k1t/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chailloux-Kerenidis-Rosgen/11, AUTHOR = {Chailloux, Andr{\'e} and Kerenidis, Iordanis and Rosgen, Bill}, TITLE = {Quantum commitments from complexity assumptions}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {73-85}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/f3l626366v844l0r/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Canzar-Elbassioni-Klau-Mestre/11, AUTHOR = {Canzar, Stefan and Elbassioni, Khaled and Klau, Gunnar W. and Mestre, Juli{\'a}n}, TITLE = {On tree-constrained matchings and generalizations}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {98-109}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/1508kw5k52706590/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Adler-Kolliopoulos-Krause-Lokshtanov-Saurabh-Thilikkos/11, AUTHOR = {Adler, Isolde and Kolliopoulos, Stavros G. and Krause, Philipp Klaus and Lokshtanov, Daniel and Saurabh, Saket and Thilikkos, Dimitrios}, TITLE = {Tight bounds for linkages in planar graphs}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {110-121}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/p434155122077870/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chimani-Hlineny/11, AUTHOR = {Chimani, Markus and Hlin{\v{e}}n{\'y}, Petr}, TITLE = {A tighter insertion-based approximation of the crossing number}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {122-134}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/y004286471708566/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Boros-Elbassioni-Fouz-Gurvich-Makino-Manthey/11, AUTHOR = {Boros, Endre and Elbassioni, Khaled and Fouz, Mahmoud and Gurvich, Vladimir and Makino, Kazuhisa and Manthey, Bodo}, TITLE = {Stochastic mean payoff games: Smoothed analysis and approximation schemes}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {147-158}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/h54461405k455349/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dyer-Mohanaraj/11, AUTHOR = {Dyer, Martin and Mohanaraj, Velumailum}, TITLE = {Pairwise-interaction games}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {159-170}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/a7h26772751r2245/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Elsasser-Tscheuschner/11, AUTHOR = {Els{\"a}sser, Robert and Tscheuschner, Tobias}, TITLE = {Settling the complexity of local max-cut (almost) completely}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {171-182}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/99433552k8232k20/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Epstein-Imreh-Levin-Nagy-Gyorgy/11, AUTHOR = {Epstein, Leah and Imreh, Csan{\'a}d and Levin, Asaf and Nagy-Gy{\"o}rgy, Judit}, TITLE = {On variants of file caching}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {195-206}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/b93q457mr8n4443v/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bockenhauer-Komm-Kralovic-Kralovic/11, AUTHOR = {B{\"o}ckenhauer, Hans-Joachim and Komm, Dennis and Kr{\'a}lovi{\v{c}}, Rastislav and Kr{\'a}lovi{\v{c}}, Richard}, TITLE = {On the advice complexity of the $k$-server problem}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {207-218}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/4mm881k431643772/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chan-Lam-Lee-Liu-Ting/11, AUTHOR = {Chan, Sze-Hang and Lam, Tak-Wah and Lee, Lap-Kei and Liu, Chi-Man and Ting, Hing-Fung}, TITLE = {Sleep management on multiple machines for energy and flow time}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {219-231}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/l134v11g501302g2/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Anand-Garg-Megow/11, AUTHOR = {Anand, S. and Garg, Naveen and Megow, Nicole}, TITLE = {Meeting deadlines: How much speed suffices?}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {232-243}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/v0418052h3266n67/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Durocher-He-Munro-Nicholson-Skala/11, AUTHOR = {Durocher, Stephane and He, Meng and Munro, J. Ian and Nicholson, Patrick K. and Skala, Matthew}, TITLE = {Range majority in constant time and linear space}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {244-255}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/231110g046717015/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brodal-Tsakalidis/11, AUTHOR = {Brodal, Gerth St{\o}lting and Tsakalidis, Konstantinos}, TITLE = {Dynamic planar range maxima queries}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {256-267}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/t1483m160207317v/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Farzan-Kamali/11, AUTHOR = {Farzan, Arash and Kamali, Shahin}, TITLE = {Compact navigation and distance oracles for graphs with small treewidth}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {268-280}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/u6tgl6538361k145/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Allender-Friedman-Gasarch/11, AUTHOR = {Allender, Eric and Friedman, Luke and Gasarch, William}, TITLE = {Limits on the computational power of random strings}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {293-304}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/w2p5j1235926t353/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Coja-Oghlan-Pachon-Pinzon/11, AUTHOR = {Coja-Oghlan, Amin and Pachon-Pinzon, Angelica Y.}, TITLE = {The decimation process in random $k$-SAT}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {305-316}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/m685l24657826m71/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Feldman-Naor-Schwartz/11, AUTHOR = {Feldman, Moran and Naor, Joseph (Seffi) and Schwartz, Roy}, TITLE = {Nonmonotone submodular maximization via a structural continuous greedy algorithm}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {342-353}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/b63453554847181g/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, PCOMMENT = {extended abstract}, } @incollection{Chekuri-Ene/11, AUTHOR = {Chekuri, Chandra and Ene, Alina}, TITLE = {Submodular cost allocation problem and applications}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {354-366}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/c63q426664560623/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Faust-Pietrzak-Venturi/11, AUTHOR = {Faust, Sebastian and Pietrzak, Krzysztof and Venturi, Daniele}, TITLE = {Tamper-proof circuits: How to trade leakage for tamper-resilience}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {391-402}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/p0201mv75kv2u35v/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Arora-Ge/11, AUTHOR = {Arora, Sanjeev and Ge, Rong}, TITLE = {New algorithms for learning in presence of errors}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {403-415}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/07814047l560k344/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bulatov-Marx/11, AUTHOR = {Bulatov, Andrei A. and Marx, D{\'a}niel}, TITLE = {Constraint satisfaction parameterized by solution size}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {424-436}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/8k1l55585k79n445/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bodlaender-Jansen-Kratsch/11, AUTHOR = {Bodlaender, Hans L. and Jansen, Bart M.P. and Kratsch, Stefan}, TITLE = {Preprocessing for treewidth: A combinatorial analysis through kernelization}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {437-448}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/2rx0v1144n246h00/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cygan-Pilipczuk-Pilipczuk-Wojtaszczyk/11, AUTHOR = {Cygan, Marek and Pilipczuk, Marcin and Pilipczuk, Micha{\l} and Wojtaszczyk, Jakub Onufry}, TITLE = {Subset feedback vertex set is fixed-parameter tractable}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {449-461}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/j21g14p2174j7362/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Austrin-Khot/11, AUTHOR = {Austrin, Per and Khot, Subhash}, TITLE = {A simple deterministic reduction for the gap minimum distance of code problem}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {474-485}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/6nq633917427g2l6/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Feige-Reichman/11, AUTHOR = {Feige, Uriel and Reichman, Daniel}, TITLE = {Recoverable values for independent sets}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {486-497}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/745778381u712861/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bordewich-Kang/11, AUTHOR = {Bordewich, Magnus and Kang, Ross J.}, TITLE = {Rapid mixing of subset Glauber dynamics on graphs of bounded tree-width}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {533-544}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/0123l8lg2gg50q38/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chakraborty-Garcia-Soriano-Matsliah/11, AUTHOR = {Chakraborty, Sourav and Garc{\'{i}}a-Soriano, David and Matsliah, Arie}, TITLE = {Efficient sample extractors for juntas with applications}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {545-556}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/g5158435318t052m/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Fortnow-Santhanam/11a, AUTHOR = {Fortnow, Lance and Santhanam, Rahul}, TITLE = {Robust simulations and significant separations}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {569-580}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/pm211m66443x2674/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Drucker/11, AUTHOR = {Drucker, Andrew}, TITLE = {A PCP characterization of AM}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {581-592}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/gw55223808027m2j/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Clifford-Jalsenius/11, AUTHOR = {Clifford, Rapha{\"e}l and Jalsenius, Markus}, TITLE = {Lower bounds for online integer multiplication and convolution in the cell-probe model}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {593-604}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/q601127kkw6261g5/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Filmus-Pitassi-Santhanam/11, AUTHOR = {Filmus, Yuval and Pitassi, Toniann and Santhanam, Rahul}, TITLE = {Exponential lower bounds for AC$^{\small\mbox{0}}$-Frege imply superpolynomial frege lower bounds}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {618-629}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/j56pr6x245px544w/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Beyersdorff-Galesi-Lauria-Razborov/11, AUTHOR = {Beyersdorff, Olaf and Galesi, Nicola and Lauria, Massimo and Razborov, Alexander}, TITLE = {Parameterized bounded-depth Frege is not optimal}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {630-641}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/t430533203307r51/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bulteau-Fertin-Rusu/11, AUTHOR = {Bulteau, Laurent and Fertin, Guillaume and Rusu, Irena}, TITLE = {Sorting by transpositions is difficult}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {654-665}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/bl7p72n34631mj82/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cheng-McDermid-Suzuki/11, AUTHOR = {Cheng, Christine and McDermid, Eric and Suzuki, Ichiro}, TITLE = {Center stable matchings and centers of cover graphs of distributive lattices}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {678-689}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/u3523613325q333x/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Abraham-Delling-Fiat-Goldberg-Werneck/11, AUTHOR = {Abraham, Ittai and Delling, Daniel and Fiat, Amos and Goldberg, Andrew V. and Werneck, Renato F.}, TITLE = {VC-dimension and shortest path algorithms}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {690-699}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/5k83q577q27j4331/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Allender-Wang/11, AUTHOR = {Allender, Eric and Wang, Fengming}, TITLE = {On the power of algebraic branching programs of width two}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {736-747}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/5t44710005871g58/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Berman-Bhattacharyya-Grigorescu-Raskhodnikova-Woodruff-Yaroslavtsev/11, AUTHOR = {Berman, Piotr and Bhattacharyya, Arnab and Grigorescu, Elena and Raskhodnikova, Sofya and Woodruff, David P. and Yaroslavtsev, Grigory}, TITLE = {Steiner transitive-closure spanners of low-dimensional posets}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {760-772}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/mj67t2r7t246g131/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ding-Xu/11, AUTHOR = {Ding, Hu and Xu, Jinhui}, TITLE = {Solving the Chromatic Cone Clustering problem via minimum spanning sphere}, BOOKTITLE = {Proceedings of the 38th International Colloquium on Automata, Languages and Programming, ICALP'2011, Part I (Zurich, Switzerland, July 4-8, 2011)}, SERIES = {LNCS}, VOLUME = {6755}, PAGES = {773-784}, YEAR = {2011}, EDITOR = {Aceto, Luca and Henzinger, Monika and Sgall, Ji{\v{r}}{\'{i}}}, URL = {http://springerlink.metapress.com/content/x1u7352353g04w36/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chambart-Finkel-Schmitz/11, AUTHOR = {Chambart, Pierre and Finkel, Alain and Schmitz, Sylvain}, TITLE = {Forward analysis and model checking for trace bounded WSTS}, BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)}, SERIES = {LNCS}, VOLUME = {6709}, PAGES = {49-68}, YEAR = {2011}, EDITOR = {Kristensen, Lars M. and Petrucci, Laure}, URL = {http://springerlink.metapress.com/content/p3760k723201774w/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Couvreur-Poitrenaud-Weil/11, AUTHOR = {Couvreur, Jean-Michel and Poitrenaud, Denis and Weil, Pascal}, TITLE = {Branching processes of general Petri nets}, BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)}, SERIES = {LNCS}, VOLUME = {6709}, PAGES = {129-148}, YEAR = {2011}, EDITOR = {Kristensen, Lars M. and Petrucci, Laure}, URL = {http://springerlink.metapress.com/content/86j44652871j2701/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Billington-Gallasch/11, AUTHOR = {Billington, Jonathan and Gallasch, Guy Edward}, TITLE = {On parametric steady state analysis of a generalized stochastic Petri net with a fork-join subnet}, BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)}, SERIES = {LNCS}, VOLUME = {6709}, PAGES = {268-287}, YEAR = {2011}, EDITOR = {Kristensen, Lars M. and Petrucci, Laure}, URL = {http://springerlink.metapress.com/content/nh404u8566881227/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Colange-Baarir-Kordon-Thierry-Mieg/11, AUTHOR = {Colange, M. and Baarir, S. and Kordon, F. and Thierry-Mieg, Y.}, TITLE = {Crocodile: A symbolic/symbolic tool for the analysis of symmetric nets with bag}, BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)}, SERIES = {LNCS}, VOLUME = {6709}, PAGES = {338-347}, YEAR = {2011}, EDITOR = {Kristensen, Lars M. and Petrucci, Laure}, URL = {http://springerlink.metapress.com/content/k85g491212w85760/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cristianini/11, AUTHOR = {Cristianini, Nello}, TITLE = {Automatic discovery of patterns in media content}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {2-13}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/0862m315r7181175/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Daykin-Daykin-Smyth/11, AUTHOR = {Daykin, David E. and Daykin, Jacqueline W. and Smyth, W.F.}, TITLE = {String comparison and Lyndon-like factorization using V-order in linear time}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {65-76}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/xw063p6w41t4x644/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Deza-Franek-Jiang/11, AUTHOR = {Deza, Antoine and Franek, Frantisek and Jiang, Mei}, TITLE = {A $d$-step approach for distinct squares in strings}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {77-89}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/f5g81n57x3470718/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chauve-Manuch-Patterson-Wittler/11, AUTHOR = {Chauve, Cedric and Ma{\v{n}}uch, J{\'a}n and Patterson, Murray and Wittler, Roland}, TITLE = {Tractability results for the consecutive-ones property with multiplicity}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {90-103}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/w8227502h51r644t/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brown-Truszkowski/11, AUTHOR = {Brown, Daniel G. and Truszkowski, Jakub}, TITLE = {Fast error-tolerant quartet phylogeny algorithms}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {147-161}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/8w414250473834q6/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Breslauer-Galil/11, AUTHOR = {Breslauer, Dany and Galil, Zvi}, TITLE = {Real-time streaming string-matching}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {162-172}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/f29831150237075x/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Breslauer-Grossi-Mignosi/11, AUTHOR = {Breslauer, Dany and Grossi, Roberto and Mignosi, Filippo}, TITLE = {Simple real-time constant-space string matching}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {173-183}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/gk527n81211822u4/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Clifford-Jalsenius-Porat-Sach/11, AUTHOR = {Clifford, Rapha{\"e}l and Jalsenius, Markus and Porat, Ely and Sach, Benjamin}, TITLE = {Space lower bounds for online pattern matching}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {184-196}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/r1785r23204v5hv8/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bauer-Cox-Rosone/11, AUTHOR = {Bauer, Markus J. and Cox, Anthony J. and Rosone, Giovanna}, TITLE = {Lightweight BWT construction for very large string collections}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {219-231}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/b55m96rj18462152/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ferragina/11, AUTHOR = {Ferragina, Paolo}, TITLE = {On the weak prefix-search problem}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {261-272}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/45714w344g058l86/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Barbay-Fischer-Navarro/11, AUTHOR = {Barbay, J{\'e}r{\'e}my and Fischer, Johannes and Navarro, Gonzalo}, TITLE = {LRM-Trees: Compressed indices, adaptive sorting, and compressed permutations}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {285-298}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/6635v743j708719g/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bille-Gortz/11, AUTHOR = {Bille, Philip and G{\o}rtz, Inge Li}, TITLE = {Substring range reporting}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {299-308}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/m0452053l0443u48/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bulteau-Fertin-Jiang-Rusu/11, AUTHOR = {Bulteau, Laurent and Fertin, Guillaume and Jiang, Minghui and Rusu, Irena}, TITLE = {Tractability and approximability of maximal strip recovery}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {336-349}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/613w177501p40v12/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Christou-Crochemore-Iliopoulos-Kubica-Pissis-Radoszewski-Rytter-Szreder-Walen/11, AUTHOR = {Christou, Michalis and Crochemore, Maxime and Iliopoulos, Costas S. and Kubica, Marcin and Pissis, Solon P. and Radoszewski, Jakub and Rytter, Wojciech and Szreder, Bartosz and Wale{\'n}, Tomasz}, TITLE = {Efficient seeds computation revisited}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {350-363}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/85w411368423162q/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cantone-Cristofaro-Faro/11, AUTHOR = {Cantone, Domenico and Cristofaro, Salvatore and Faro, Simone}, TITLE = {Efficient matching of biological sequences allowing for non-overlapping inversions}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {364-375}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/g12860n3u745404g/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dondi-Fertin-Vialette/11, AUTHOR = {Dondi, Riccardo and Fertin, Guillaume and Vialette, St{\'e}phane}, TITLE = {Finding approximate and constrained motifs in graphs}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {388-401}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/1201836003p06428/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Elberfeld-Segev-Davidson-Silverbush-Sharan/11, AUTHOR = {Elberfeld, Michael and Segev, Danny and Davidson, Colin R. and Silverbush, Dana and Sharan, Roded}, TITLE = {Approximation algorithms for orienting mixed graphs}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {416-428}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/226370611278701h/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cygan-Kubica-Radoszewski-Rytter-Walen/11, AUTHOR = {Cygan, Marek and Kubica, Marcin and Radoszewski, Jakub and Rytter, Wojciech and Wale{\'n}, Tomasz}, TITLE = {Polynomial-time approximation algorithms for weighted LCS problem}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {455-466}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/b60405qp63285545/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Clifford-Gotthilf-Lewenstein-Popa/11, AUTHOR = {Clifford, Rapha{\"e}l and Gotthilf, Zvi and Lewenstein, Moshe and Popa, Alexandru}, TITLE = {Restricted common superstring and restricted common supersequence}, BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Combinatorial Pattern Matching, CPM'2011 (Palerno, Italy, June 27-29, 2011)}, SERIES = {LNCS}, VOLUME = {6661}, PAGES = {467-478}, YEAR = {2011}, EDITOR = {Giancarlo, Raffaele and Manzini, Giovanni}, URL = {http://springerlink.metapress.com/content/c22u222530240u04/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ageev-Benchetrit-Sebo-Szigeti/11, AUTHOR = {Ageev, Alexander and Benchetrit, Yohann and Seb{\H{o}}, Andr{\'a}s and Szigeti, Zolt{\'a}n}, TITLE = {An excluded minor characterization of Seymour graphs}, BOOKTITLE = {Proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2011 (New York, NY, USA, June 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6655}, PAGES = {1-13}, YEAR = {2011}, EDITOR = {G{\"u}nl{\"uk}, Oktay and Woeginger, Gerhard J.}, URL = {http://springerlink.metapress.com/content/90k536p154161225/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Au-Tuncel/11, AUTHOR = {Au, Yu Hin and Tun{\c{c}}el, Levent}, TITLE = {Complexity analyses of Bienstock-Zuckerberg and Lasserre relaxations on the matching and stable set polytopes}, BOOKTITLE = {Proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2011 (New York, NY, USA, June 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6655}, PAGES = {14-26}, YEAR = {2011}, EDITOR = {G{\"u}nl{\"uk}, Oktay and Woeginger, Gerhard J.}, URL = {http://springerlink.metapress.com/content/x111014070120w43/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Basu-Cornuejols-Molinaro/11, AUTHOR = {Basu, Amitabh and Cornu{\'e}jols, G{\'e}rard and Molinaro, Marco}, TITLE = {A probabilistic analysis of the strength of the split and triangle closures}, BOOKTITLE = {Proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2011 (New York, NY, USA, June 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6655}, PAGES = {27-38}, YEAR = {2011}, EDITOR = {G{\"u}nl{\"uk}, Oktay and Woeginger, Gerhard J.}, URL = {http://springerlink.metapress.com/content/254833625504l647/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bergner-Caprara-Furini-Lubbecke-Malaguti-Traversi/11, AUTHOR = {Bergner, Martin and Caprara, Alberto and Furini, Fabio and L{\"u}bbecke, Marco E. and Malaguti, Enrico and Traversi, Emiliano}, TITLE = {Partial convexification of general MIPs by Dantzig-Wolfe reformulation}, BOOKTITLE = {Proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2011 (New York, NY, USA, June 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6655}, PAGES = {39-51}, YEAR = {2011}, EDITOR = {G{\"u}nl{\"uk}, Oktay and Woeginger, Gerhard J.}, URL = {http://springerlink.metapress.com/content/9773723201463222/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bonami/11, AUTHOR = {Bonami, Pierre}, TITLE = {Lift-and-project cuts for mixed integer convex programs}, BOOKTITLE = {Proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2011 (New York, NY, USA, June 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6655}, PAGES = {52-64}, YEAR = {2011}, EDITOR = {G{\"u}nl{\"uk}, Oktay and Woeginger, Gerhard J.}, URL = {http://springerlink.metapress.com/content/r121t70488861438/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Boyd-Sitters-van_der_Ster-Stougie/11, AUTHOR = {Boyd, Sylvia and Sitters, Ren{\'e} and van der Ster, Suzanne and Stougie, Leen}, TITLE = {TSP on cubic and subcubic graphs}, BOOKTITLE = {Proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2011 (New York, NY, USA, June 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6655}, PAGES = {65-77}, YEAR = {2011}, EDITOR = {G{\"u}nl{\"uk}, Oktay and Woeginger, Gerhard J.}, URL = {http://springerlink.metapress.com/content/t3472088wt4l253x/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chakrabarty-Chekuri-Khanna-Korula/11, AUTHOR = {Chakrabarty, Deeparnab and Chekuri, Chandra and Khanna, Sanjeev and Korula, Nitish}, TITLE = {Approximability of capacitated network design}, BOOKTITLE = {Proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2011 (New York, NY, USA, June 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6655}, PAGES = {78-91}, YEAR = {2011}, EDITOR = {G{\"u}nl{\"uk}, Oktay and Woeginger, Gerhard J.}, URL = {http://springerlink.metapress.com/content/u0822h0732337w60/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chakrabarty-Swamy/11, AUTHOR = {Chakrabarty, Deeparnab and Swamy, Chaitanya}, TITLE = {Facility location with client latencies: Linear programming based techniques for minimum latency problems}, BOOKTITLE = {Proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2011 (New York, NY, USA, June 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6655}, PAGES = {92-103}, YEAR = {2011}, EDITOR = {G{\"u}nl{\"uk}, Oktay and Woeginger, Gerhard J.}, URL = {http://springerlink.metapress.com/content/3h4w3624u153x874/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cook-Koch-Steffy-Wolter/11, AUTHOR = {Cook, William and Koch, Thorsten and Steffy, Daniel E. and Wolter, Kati}, TITLE = {An exact rational mixed-integer programming solver}, BOOKTITLE = {Proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2011 (New York, NY, USA, June 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6655}, PAGES = {104-116}, YEAR = {2011}, EDITOR = {G{\"u}nl{\"uk}, Oktay and Woeginger, Gerhard J.}, URL = {http://springerlink.metapress.com/content/c64x344701347274/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{DAmbrosio-Linderoth-Luedtke/11, AUTHOR = {D'Ambrosio, Claudia and Linderoth, Jeff and Luedtke, James}, TITLE = {Valid inequalities for the pooling problem with binary variables}, BOOKTITLE = {Proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2011 (New York, NY, USA, June 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6655}, PAGES = {117-129}, YEAR = {2011}, EDITOR = {G{\"u}nl{\"uk}, Oktay and Woeginger, Gerhard J.}, URL = {http://springerlink.metapress.com/content/v866711257x52uq3/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dadush-Dey-Vielma/11, AUTHOR = {Dadush, Daniel and Dey, Santanu S. and Vielma, Juan Pablo}, TITLE = {On the Chv{\'a}tal-Gomory closure of a compact convex set}, BOOKTITLE = {Proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2011 (New York, NY, USA, June 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6655}, PAGES = {130-142}, YEAR = {2011}, EDITOR = {G{\"u}nl{\"uk}, Oktay and Woeginger, Gerhard J.}, URL = {http://springerlink.metapress.com/content/lv105826u6603831/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dey-Pokutta/11, AUTHOR = {Dey, Santanu S. and Pokutta, Sebastian}, TITLE = {Design and verify: A new scheme for generating cutting-planes}, BOOKTITLE = {Proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2011 (New York, NY, USA, June 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6655}, PAGES = {143-155}, YEAR = {2011}, EDITOR = {G{\"u}nl{\"uk}, Oktay and Woeginger, Gerhard J.}, URL = {http://springerlink.metapress.com/content/vp50547257314wp0/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dhesi-Gupta-Kumar-Parija-Roy/11, AUTHOR = {Dhesi, Aman and Gupta, Pranav and Kumar, Amit and Parija, Gyana R. and Roy, Sambuddha}, TITLE = {Contact center scheduling with strict resource requirements}, BOOKTITLE = {Proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2011 (New York, NY, USA, June 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6655}, PAGES = {156-169}, YEAR = {2011}, EDITOR = {G{\"u}nl{\"uk}, Oktay and Woeginger, Gerhard J.}, URL = {http://springerlink.metapress.com/content/d71467647120mg41/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Eisenbrand-Kakimura-Rothvoss-Sanita/11, AUTHOR = {Eisenbrand, Friedrich and Kakimura, Naonori and Rothvo{\ss}, Thomas and Sanit{\`a}, Laura}, TITLE = {Set covering with ordered replacement: Additive and multiplicative gaps}, BOOKTITLE = {Proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2011 (New York, NY, USA, June 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6655}, PAGES = {170-182}, YEAR = {2011}, EDITOR = {G{\"u}nl{\"uk}, Oktay and Woeginger, Gerhard J.}, URL = {http://springerlink.metapress.com/content/61t764327l1q4j10/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Fischetti-Monaci/11, AUTHOR = {Fischetti, Matteo and Monaci, Michele}, TITLE = {Backdoor branching}, BOOKTITLE = {Proceedings of the 15th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2011 (New York, NY, USA, June 15-17, 2011)}, SERIES = {LNCS}, VOLUME = {6655}, PAGES = {183-191}, YEAR = {2011}, EDITOR = {G{\"u}nl{\"uk}, Oktay and Woeginger, Gerhard J.}, URL = {http://springerlink.metapress.com/content/78385520613x1q27/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ackerman-Fulek-Toth/11, AUTHOR = {Ackerman, Eyal and Fulek, Radoslav and T{\'o}th, Csaba D.}, TITLE = {On the size of graphs that admit polyline drawings with few bends and crossing angles}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {1-12}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/q011103908656540/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Angelini-Colasante-Di_Battista-Frati-Patrignani/11, AUTHOR = {Angelini, Patrizio and Colasante, Enrico and Di Battista, Giuseppe and Frati, Fabrizio and Patrignani, Maurizio}, TITLE = {Monotone drawings of graphs}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {13-24}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/m21lv631106k57rg/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Angelini-Frati-Geyer-Kaufmann-Mchedlidze-Symvonis/11, AUTHOR = {Angelini, Patrizio and Frati, Fabrizio and Geyer, Markus and Kaufmann, Michael and Mchedlidze, Tamara and Symvonis, Antonios}, TITLE = {Upward geometric graph embeddings into point sets}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {25-37}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/161270283j317421/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Angelini-Geyer-Kaufmann-Neuwirth/11, AUTHOR = {Angelini, Patrizio and Geyer, Markus and Kaufmann, Michael and Neuwirth, Daniel}, TITLE = {On a tree and a path with no geometric simultaneous embedding}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {38-49}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/99375275571g88g7/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Archambault-Purchase-Pinaud/11, AUTHOR = {Archambault, Daniel and Purchase, Helen C. and Pinaud, Bruno}, TITLE = {Difference map readability for dynamic graphs}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {50-61}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/j31w7820351x1l34/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Argyriou-Bekos-Symvonis/11, AUTHOR = {Argyriou, Evmorfia N. and Bekos, Michael A. and Symvonis, Antonios}, TITLE = {Maximizing the total resolution of graphs}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {62-67}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/t381677317470707/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Auer-Bachmaier-Brandenburg-Brunner-Gleissner/11, AUTHOR = {Auer, Christopher and Bachmaier, Christian and Brandenburg, Franz Josef and Brunner, Wolfgang and Glei{\ss}ner, Andreas}, TITLE = {Plane drawings of queue and deque graphs}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {68-79}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/k826h7t72143x7p5/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bartel-Gutwenger-Klein-Mutzel/11, AUTHOR = {Bartel, Gereon and Gutwenger, Carsten and Klein, Karsten and Mutzel, Petra}, TITLE = {An experimental evaluation of multilevel layout methods}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {80-91}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/upl4j04574778v70/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Blasius-Krug-Rutter-Wagner/11, AUTHOR = {Bl{\"a}sius, Thomas and Krug, Marcus and Rutter, Ignaz and Wagner, Dorothea}, TITLE = {Orthogonal graph drawing with flexibility constraints}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {92-104}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/l77572108170uj36/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brunner-Matzeder/11, AUTHOR = {Brunner, Wolfgang and Matzeder, Marco}, TITLE = {Drawing ordered $(k-1)$-ary trees on $k$-grids}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {105-116}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/476051837v357461/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Buchin-Speckmann-Verdonschot/11, AUTHOR = {Buchin, Kevin and Speckmann, Bettina and Verdonschot, Sander}, TITLE = {Optimizing regular edge labelings}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {117-128}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/c7516835845177t2/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chambers-Eppstein-Goodrich-Loffler/11, AUTHOR = {Chambers, Erin W. and Eppstein, David and Goodrich, Michael T. and L{\"o}ffler, Maarten}, TITLE = {Drawing graphs in the plane with a prescribed outer face and polynomial area}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {129-140}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/54826677q8610598/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chimani-Gutwenger-Mutzel-Sponemann-Wong/11, AUTHOR = {Chimani, Markus and Gutwenger, Carsten and Mutzel, Petra and Sp{\"o}nemann, Miro and Wong, Hoi-Ming}, TITLE = {Crossing minimization and layouts of directed hypergraphs with port constraints}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {141-152}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/d1p05p0nvrtl4710/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Da_Lozzo-Di_Battista-Ingrassia/11, AUTHOR = {Da Lozzo, Giordano and Di Battista, Giuseppe and Ingrassia, Francesco}, TITLE = {Drawing graphs on a smartphone}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {153-164}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/n2786w4v01248j64/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Didimo-Liotta-Romeo/11, AUTHOR = {Didimo, Walter and Liotta, Giuseppe and Romeo, Salvatore A.}, TITLE = {Topology-driven force-directed algorithms}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {165-176}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/e2j16n901n5j3626/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dujmovic-Evans-Kobourov-Liotta-Weibel-Wismath/11, AUTHOR = {Dujmovi{\'c}, Vida and Evans, William and Kobourov, Stephen and Liotta, Giuseppe and Weibel, Christophe and Wismath, Stephen}, TITLE = {On graphs supported by line sets}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {177-182}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/686k67535p13vxt2/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Duncan-Eppstein-Goodrich-Kobourov-Nollenburg/11, AUTHOR = {Duncan, Christian A. and Eppstein, David and Goodrich, Michael T. and Kobourov, Stephen G. and N{\"o}llenburg, Martin}, TITLE = {Drawing trees with perfect angular resolution and polynomial area}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {183-194}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/7q467354611723qu/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Duncan-Eppstein-Goodrich-Kobourov-Nollenburg/11a, AUTHOR = {Duncan, Christian A. and Eppstein, David and Goodrich, Michael T. and Kobourov, Stephen G. and N{\"o}llenburg, Martin}, TITLE = {Lombardi drawings of graphs}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {195-207}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/064870220624827g/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Eppstein-Loffler-Mumford-Nollenburg/11, AUTHOR = {Eppstein, David and L{\"o}ffler, Maarten and Mumford, Elena and N{\"o}llenburg, Martin}, TITLE = {Optimal 3D angular resolution for low-degree graphs}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {208-219}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/821g800r052k0v54/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Frati/11, AUTHOR = {Frati, Fabrizio}, TITLE = {Improved lower bounds on the area requirements of series-parallel graphs}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {220-225}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/h0334177692j07v0/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bregenzer/11, AUTHOR = {Bregenzer, J{\"u}rgen}, TITLE = {GraphML-based exploration and evaluation of efficient parallelization alternatives for automation firmware}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {389-390}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/m7k775603u162675/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Duncan-Gutwenger-Nachmanson-Sander/11, AUTHOR = {Duncan, Christian A. and Gutwenger, Carsten and Nachmanson, Lev and Sander, Georg}, TITLE = {Graph drawing contest report}, BOOKTITLE = {Proceedings of the 18th International Symposium on Graph Drawing, GD'2010 (Konstanz, Germany, September 21-24, 2010)}, SERIES = {LNCS}, VOLUME = {6502}, PAGES = {406-411}, YEAR = {2011}, EDITOR = {Brandes, Ulrik and Cornelsen, Sabine}, URL = {http://springerlink.metapress.com/content/h2618j262173m815/fulltext.pdf" title="Download PDF (255.3 KB)">Download PDF (255.3 KB)
  • Back matter