@incollection{Aichholzer-Hackl-Korman-Pilz-Vogtenhuber/13, AUTHOR = {Aichholzer, Oswin and Hackl, Thomas and Korman, Matias and Pilz, Alexander and Vogtenhuber, Birgit}, TITLE = {Geodesic-preserving polygon simplification}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {11-21}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_2}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chun-de_Gonzalo-Tokuyama/13, AUTHOR = {Chun, Jinhee and de Gonzalo, Ricardo Garcia and Tokuyama, Takeshi}, TITLE = {Space-efficient and data-sensitive polygon reconstruction algorithms from visibility angle information}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {22-32}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bereg-Hong-Katoh-Poon-Tanigawa/13, AUTHOR = {Bereg, Sergey and Hong, Seok-Hee and Katoh, Naoki and Poon, Sheung-Hung and Tanigawa, Shin-ichi}, TITLE = {On the edge crossing properties of Euclidean minimum weight Laman graphs}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {33-43}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Aurenhammer-Walzl/13, AUTHOR = {Aurenhammer, Franz and Walzl, Gernot}, TITLE = {Structure and computation of straight skeletons in 3-space}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {44-54}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Amir-Porat/13, AUTHOR = {Amir, Amihood and Porat, Benny}, TITLE = {Pattern matching with non overlapping reversals --- Approximation and on-line algorithms}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {55-65}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Belazzougui-Pierrot-Raffinot-Vialette/13, AUTHOR = {Belazzougui, Djamal and Pierrot, Adeline and Raffinot, Mathieu and Vialette, St{\'e}phane}, TITLE = {Single and multiple consecutive permutation motif search}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {66-77}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cheng-Li-Zhuang/13, AUTHOR = {Cheng, Qi and Li, Jiyou and Zhuang, Jincheng}, TITLE = {On determining deep holes of generalized Reed-Solomon codes}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {100-110}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_10}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bredereck-Hartung-Nichterlein-Woeginger/13, AUTHOR = {Bredereck, Robert and Hartung, Sepp and Nichterlein, Andr{\'e} and Woeginger, Gerhard J.}, TITLE = {The complexity of finding a large subgraph under anonymity constraints}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {152-162}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_15}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cheong-Har-Peled-Kim-Kim/13, AUTHOR = {Cheong, Otfried and Har-Peled, Sariel and Kim, Heuna and Kim, Hyo-Sil}, TITLE = {On the number of edges of fan-crossing free graphs}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {163-173}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_16}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Angelini-Evans-Frati-Gudmundsson/13, AUTHOR = {Angelini, Patrizio and Evans, William and Frati, Fabrizio and Gudmundsson, Joachim}, TITLE = {SEFE with no mapping via large induced outerplane graphs in plane graphs}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {185-195}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_18}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Baiou-Beaudou-Li-Limouzy/13, AUTHOR = {Ba{\"{i}}ou, Mourad and Beaudou, Laurent and Li, Zhentao and Limouzy, Vincent}, TITLE = {Hardness and algorithms for variants of line graphs of directed graphs}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {196-206}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_19}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Buchin-Gerrits/13, AUTHOR = {Buchin, Kevin and Gerrits, Dirk H.P.}, TITLE = {Dynamic point labeling is strongly PSPACE-complete}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {262-272}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_25}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bohler-Klein/13, AUTHOR = {Bohler, Cecilia and Klein, Rolf}, TITLE = {Abstract Voronoi diagrams with disconnected regions}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {306-316}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_29}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Angelini-Blasius-Rutter/13, AUTHOR = {Angelini, Patrizio and Bl{\"a}sius, Thomas and Rutter, Ignaz}, TITLE = {Testing mutual duality of planar graphs}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {350-360}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_33}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Komusiewicz-Niedermeier-Sorge-Suchy-Weller/13, AUTHOR = {Chen, Jiehua and Komusiewicz, Christian and Niedermeier, Rolf and Sorge, Manuel and Such{\'y}, Ond{\v{r}}ej and Weller, Mathias}, TITLE = {Effective and efficient data reduction for the Subset Interconnection Design problem}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {361-371}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_34}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chan-Munro-Raman/13, AUTHOR = {Chan, Timothy M. and Munro, J. Ian and Raman, Venkatesh}, TITLE = {Faster, space-efficient selection algorithms in read-only memory for integers}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {405-412}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_38}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Arge-Thorup/13, AUTHOR = {Arge, Lars and Thorup, Mikkel}, TITLE = {RAM-efficient external memory sorting}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {491-501}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_46}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Balko-Klavik-Otachi/13, AUTHOR = {Balko, Martin and Klav{\'{i}}k, Pavel and Otachi, Yota}, TITLE = {Bounded representations of interval and proper interval graphs}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {535-546}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_50}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Guo-Han-Iwama/13, AUTHOR = {Chen, Jing and Guo, He and Han, Xin and Iwama, Kazuo}, TITLE = {The train delivery problem revisited}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {601-611}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_56}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cai-Devroye/13, AUTHOR = {Cai, Xing Shi and Devroye, Luc}, TITLE = {A probabilistic analysis of Kademlia networks}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {711-721}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_66}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Das-Fleszar-Kobourov-Spoerhase-Veeramoni-Wolff/13, AUTHOR = {Das, Aparna and Fleszar, Krzysztof and Kobourov, Stephen and Spoerhase, Joachim and Veeramoni, Sankar and Wolff, Alexander}, TITLE = {Approximating the generalized minimum Manhattan network problem}, BOOKTITLE = {Proceedings of the 24th International Symposium on Algorithms and Computation, ISAAC'2013 (Hong Kong, China, December 16-18, 2013)}, SERIES = {LNCS}, VOLUME = {8283}, PAGES = {722-732}, YEAR = {2013}, EDITOR = {Cai, Leizhen and Cheng, Siu-Wing and Lam, Tak-Wah}, URL = {http://dx.doi.org/10.1007/978-3-642-45030-3_67}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chimani-Zeranski/13a, AUTHOR = {Chimani, Markus and Zeranski, Robert}, TITLE = {Upward planarity testing: A computational study}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {13-24}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_2}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Auer-Brandenburg-Gleissner-Hanauer/13a, AUTHOR = {Auer, Christopher and Brandenburg, Franz J. and Glei{\ss}ner, Andreas and Hanauer, Kathrin}, TITLE = {Characterizing planarity by the splittable deque}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {25-36}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_3}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Angelini-Da_Lozzo-Di_Battista-Frati/13, AUTHOR = {Angelini, Patrizio and Da Lozzo, Giordano and Di Battista, Giuseppe and Frati, Fabrizio}, TITLE = {Strip planarity testing}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {37-48}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_4}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Angelini-Frati-Patrignani-Roselli/13, AUTHOR = {Angelini, Patrizio and Frati, Fabrizio and Patrignani, Maurizio and Roselli, Vincenzo}, TITLE = {Morphing planar graph drawings efficiently}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {49-60}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_5}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Alam-Brandenburg-Kobourov/13, AUTHOR = {Alam, Md. Jawaherul and Brandenburg, Franz J. and Kobourov, Stephen G.}, TITLE = {Straight-line grid drawings of 3-connected 1-planar graphs}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {83-94}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_8}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Auer-Bachmaier-Brandenburg-Gleissner-Hanauer-Neuwirth-Reislhuber/13, AUTHOR = {Auer, Christopher and Bachmaier, Christian and Brandenburg, Franz J. and Glei{\ss}ner, Andreas and Hanauer, Kathrin and Neuwirth, Daniel and Reislhuber, Josef}, TITLE = {Recognizing outer 1-planar graphs in linear time}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {107-118}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_10}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Aerts-Felsner/13, AUTHOR = {Aerts, Nieke and Felsner, Stefan}, TITLE = {Straight line triangle representations}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {119-130}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_11}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Chaplick-Fulek-Klavik/13, AUTHOR = {Chaplick, Steven and Fulek, Radoslav and Klav{\'{i}}k, Pavel}, TITLE = {Extending partial representations of circle graphs}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {131-142}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_12}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Bannister-Cheng-Devanny-Eppstein/13, AUTHOR = {Bannister, Michael J. and Cheng, Zhanpeng and Devanny, William E. and Eppstein, David}, TITLE = {Superpatterns and universal point sets}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {208-219}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_19}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Blasius-Karrer-Rutter/13, AUTHOR = {Bl{\"a}sius, Thomas and Karrer, Annette and Rutter, Ignaz}, TITLE = {Simultaneous embedding: Edge orderings, relative positions, cutvertices}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {220-231}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_20}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Bekos-Cornelsen-Fink-Hong-Kaufmann-Nollenburg-Rutter-Symvonis/13, AUTHOR = {Bekos, Michael A. and Cornelsen, Sabine and Fink, Martin and Hong, Seok-Hee and Kaufmann, Michael and N{\"o}llenburg, Martin and Rutter, Ignaz and Symvonis, Antonios}, TITLE = {Many-to-one boundary labeling with backbones}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {244-255}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_22}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Angelini-Binucci-Da_Lozzo-Didimo-Grilli-Montecchiani-Patrignani-Tollis/13, AUTHOR = {Angelini, Patrizio and Binucci, Carla and Da Lozzo, Giordano and Didimo, Walter and Grilli, Luca and Montecchiani, Fabrizio and Patrignani, Maurizio and Tollis, Ioannis G.}, TITLE = {Drawing non-planar graphs with crossing-free subgraphs}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {292-303}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_26}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Di_Giacomo-Didimo-Liotta-Montecchiani-Tollis/13, AUTHOR = {Di Giacomo, Emilio and Didimo, Walter and Liotta, Giuseppe and Montecchiani, Fabrizio and Tollis, Ioannis G.}, TITLE = {Exploring complex drawings via edge stratification}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {304-315}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_27}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Bannister-Eppstein-Simons/13, AUTHOR = {Bannister, Michael J. and Eppstein, David and Simons, Joseph A.}, TITLE = {Fixed parameter tractability of crossing minimization of almost-trees}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {340-351}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_30}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Chan-Hoffmann-Kiazyk-Lubiw/13, AUTHOR = {Chan, Timothy M. and Hoffmann, Hella-Franziska and Kiazyk, Stephen and Lubiw, Anna}, TITLE = {Minimum length embedding of planar graphs at fixed vertex locations}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {376-387}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_33}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Chang-Yen/13, AUTHOR = {Chang, Yi-Jun and Yen, Hsu-Chun}, TITLE = {On orthogonally convex drawings of plane graphs}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {400-411}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_35}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, PCOMMENT = {extended abstract}, } @incollection{Bekos-Kaufmann-Krug-Naher-Roselli/13, AUTHOR = {Bekos, Michael A. and Kaufmann, Michael and Krug, Robert and N{\"a}her, Stefan and Roselli, Vincenzo}, TITLE = {Slanted orthogonal drawings}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {424-435}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_37}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Biedl-Blasius-Niedermann-Nollenburg-Prutkin-Rutter/13, AUTHOR = {Biedl, Therese and Bl{\"a}sius, Thomas and Niedermann, Benjamin and N{\"o}llenburg, Martin and Prutkin, Roman and Rutter, Ignaz}, TITLE = {Using ILP/SAT to determine pathwidth, visibility representations, and other grid-based graph drawings}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {460-471}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_40}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Bereg-Holroyd-Nachmanson-Pupyrev/13, AUTHOR = {Bereg, Sergey and Holroyd, Alexander E. and Nachmanson, Lev and Pupyrev, Sergey}, TITLE = {Drawing permutations with few corners}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {484-495}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_42}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Candela-Di_Bartolomeo-Di_Battista-Squarcella/13, AUTHOR = {Candela, Massimo and Di Bartolomeo, Marco and Di Battista, Giuseppe and Squarcella, Claudio}, TITLE = {Dynamic traceroute visualization at multiple abstraction levels}, BOOKTITLE = {Proceedings of the 21st International Symposium on Graph Drawing, GD'2013 (Bordeaux, France, September 23-25, 2013)}, SERIES = {LNCS}, VOLUME = {8242}, PAGES = {496-507}, YEAR = {2013}, EDITOR = {Wismath, Stephen and Wolff, Alexander}, URL = {http://dx.doi.org/10.1007/978-3-319-03841-4_43}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Bouyer-Markey-Sankur/13, AUTHOR = {Bouyer, Patricia and Markey, Nicolas and Sankur, Ocan}, TITLE = {Robustness in timed automata}, BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)}, SERIES = {LNCS}, VOLUME = {8169}, PAGES = {1-18}, YEAR = {2013}, EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor}, URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bell-Chen/13, AUTHOR = {Bell, Paul C. and Chen, Shang}, TITLE = {Reachability problems for hierarchical piecewise constant derivative systems}, BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)}, SERIES = {LNCS}, VOLUME = {8169}, PAGES = {46-58}, YEAR = {2013}, EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor}, URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Berard-Haddad-Jovanovic-Lime/13, AUTHOR = {B{\'e}rard, Beatrice and Haddad, Serge and Jovanovi{\'c}, Aleksandra and Lime, Didier}, TITLE = {Parametric interrupt timed automata}, BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)}, SERIES = {LNCS}, VOLUME = {8169}, PAGES = {59-69}, YEAR = {2013}, EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor}, URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bersani-Rossi-Pietro/13, AUTHOR = {Bersani, Marcello M. and Rossi, Matteo and Pietro, Pierluigi San}, TITLE = {Deciding continuous-time metric temporal logic with counting modalities}, BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)}, SERIES = {LNCS}, VOLUME = {8169}, PAGES = {70-82}, YEAR = {2013}, EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor}, URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bellettini-Camilli-Capra-Monga/13, AUTHOR = {Bellettini, Carlo and Camilli, Matteo and Capra, Lorenzo and Monga, Mattia}, TITLE = {MaRDiGraS: Simplified building of reachability graphs on large clusters}, BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)}, SERIES = {LNCS}, VOLUME = {8169}, PAGES = {83-95}, YEAR = {2013}, EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor}, URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{De_Crescenzo-La_Torre/13, AUTHOR = {De Crescenzo, Ilaria and La Torre, Salvatore}, TITLE = {Modular synthesis with open components}, BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)}, SERIES = {LNCS}, VOLUME = {8169}, PAGES = {96-108}, YEAR = {2013}, EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor}, URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_10}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Delzanno-Sangnier-Traverso/13, AUTHOR = {Delzanno, Giorgio and Sangnier, Arnaud and Traverso, Riccardo}, TITLE = {Parameterized verification of broadcast networks of register automata}, BOOKTITLE = {Proceedings of the 7th International Workshop on Reachability Problems, RP'2013 (Uppsala, Sweden, September 24-26, 2013)}, SERIES = {LNCS}, VOLUME = {8169}, PAGES = {109-121}, YEAR = {2013}, EDITOR = {Abdulla, Parosh Aziz and Potapov, Igor}, URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_11}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Adler-Kante/13, AUTHOR = {Adler, Isolde and Kant{\'e}, Mamadou Moustapha}, TITLE = {Linear rank-width and linear clique-width of trees}, BOOKTITLE = {Proceedings of the 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2013 (L{\"u}beck, Germany, June 19-21, 2013)}, SERIES = {LNCS}, VOLUME = {8165}, PAGES = {12-25}, YEAR = {2013}, EDITOR = {Brandst{\"a}dt, Andreas and Jansen, Klaus and Reischuk, R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-45043-3_3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alam-Chaplick-Fijavz-Kaufmann-Kobourov-Pupyrev/13, AUTHOR = {Alam, Md. Jawaherul and Chaplick, Steven and Fijav{\v{z}}, Ga{\v{s}}per and Kaufmann, Michael and Kobourov, Stephen G. and Pupyrev, Sergey}, TITLE = {Threshold-coloring and unit-cube contact representation of graphs}, BOOKTITLE = {Proceedings of the 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2013 (L{\"u}beck, Germany, June 19-21, 2013)}, SERIES = {LNCS}, VOLUME = {8165}, PAGES = {26-37}, YEAR = {2013}, EDITOR = {Brandst{\"a}dt, Andreas and Jansen, Klaus and Reischuk, R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-45043-3_4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Auer-Bachmaier-Brandenburg-Hanauer/13, AUTHOR = {Auer, Christopher and Bachmaier, Christian and Brandenburg, Franz J. and Hanauer, Kathrin}, TITLE = {Rolling upward planarity testing of strongly connected graphs}, BOOKTITLE = {Proceedings of the 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2013 (L{\"u}beck, Germany, June 19-21, 2013)}, SERIES = {LNCS}, VOLUME = {8165}, PAGES = {38-49}, YEAR = {2013}, EDITOR = {Brandst{\"a}dt, Andreas and Jansen, Klaus and Reischuk, R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-45043-3_5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bento-Boccardo-Machado-Pereira_de_Sa-Szwarcfiter/13, AUTHOR = {Bento, Lucila Maria Souza and Boccardo, Davidson and Machado, Raphael Carlos Santos and Pereira de S{\'a}, Vin{\'{i}}cius Gusm{\~a}o and Szwarcfiter, Luiz}, TITLE = {Towards a provably resilient scheme for graph-based watermarking}, BOOKTITLE = {Proceedings of the 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2013 (L{\"u}beck, Germany, June 19-21, 2013)}, SERIES = {LNCS}, VOLUME = {8165}, PAGES = {50-63}, YEAR = {2013}, EDITOR = {Brandst{\"a}dt, Andreas and Jansen, Klaus and Reischuk, R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-45043-3_6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Berry-Wagler/13, AUTHOR = {Berry, Anne and Wagler, Annegret}, TITLE = {The normal graph conjecture for classes of sparse graphs}, BOOKTITLE = {Proceedings of the 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2013 (L{\"u}beck, Germany, June 19-21, 2013)}, SERIES = {LNCS}, VOLUME = {8165}, PAGES = {64-75}, YEAR = {2013}, EDITOR = {Brandst{\"a}dt, Andreas and Jansen, Klaus and Reischuk, R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-45043-3_7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bodlaender-Kratsch-Kreuzen/13, AUTHOR = {Bodlaender, Hans L. and Kratsch, Stefan and Kreuzen, Vincent J.C.}, TITLE = {Fixed-parameter tractability and characterizations of small special treewidth}, BOOKTITLE = {Proceedings of the 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2013 (L{\"u}beck, Germany, June 19-21, 2013)}, SERIES = {LNCS}, VOLUME = {8165}, PAGES = {88-99}, YEAR = {2013}, EDITOR = {Brandst{\"a}dt, Andreas and Jansen, Klaus and Reischuk, R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-45043-3_9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bose-Morin-van_Renssen-Verdonschot/13, AUTHOR = {Bose, Prosenjit and Morin, Pat and van Renssen, Andr{\'e} and Verdonschot, Sander}, TITLE = {The $\theta_5$-graph is a spanner}, BOOKTITLE = {Proceedings of the 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2013 (L{\"u}beck, Germany, June 19-21, 2013)}, SERIES = {LNCS}, VOLUME = {8165}, PAGES = {100-114}, YEAR = {2013}, EDITOR = {Brandst{\"a}dt, Andreas and Jansen, Klaus and Reischuk, R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-45043-3_10}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Boyac-Ekim-Shalom-Zaks/13, AUTHOR = {Boyac{\i}, Arman and Ekim, T{\i}naz and Shalom, Mordechai and Zaks, Shmuel}, TITLE = {Graphs of edge-intersecting non-splitting paths in a tree: Towards hole representations}, BOOKTITLE = {Proceedings of the 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2013 (L{\"u}beck, Germany, June 19-21, 2013)}, SERIES = {LNCS}, VOLUME = {8165}, PAGES = {115-126}, YEAR = {2013}, EDITOR = {Brandst{\"a}dt, Andreas and Jansen, Klaus and Reischuk, R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-45043-3_11}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, PCOMMENT = {extended abstract}, } @incollection{Broersma-Fiala-Golovach-Kaiser-Paulusma-Proskurowski/13, AUTHOR = {Broersma, Hajo and Fiala, Ji{\v{r}}{\'{i}} and Golovach, Petr A. and Kaiser, Tom{\'a}{\v{s}} and Paulusma, Dani{\"e}l and Proskurowski, Andrej}, TITLE = {Linear-time algorithms for scattering number and Hamilton-connectivity of interval graphs}, BOOKTITLE = {Proceedings of the 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2013 (L{\"u}beck, Germany, June 19-21, 2013)}, SERIES = {LNCS}, VOLUME = {8165}, PAGES = {127-138}, YEAR = {2013}, EDITOR = {Brandst{\"a}dt, Andreas and Jansen, Klaus and Reischuk, R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-45043-3_12}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chaplick-Kobourov-Ueckerdt/13, AUTHOR = {Chaplick, Steven and Kobourov, Stephen G. and Ueckerdt, Torsten}, TITLE = {Equilateral L-contact graphs}, BOOKTITLE = {Proceedings of the 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2013 (L{\"u}beck, Germany, June 19-21, 2013)}, SERIES = {LNCS}, VOLUME = {8165}, PAGES = {139-151}, YEAR = {2013}, EDITOR = {Brandst{\"a}dt, Andreas and Jansen, Klaus and Reischuk, R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-45043-3_13}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Fan-Sze/13, AUTHOR = {Chen, Jianer and Fan, Jia-Hao and Sze, Sing-Hoi}, TITLE = {Parameterized and approximation algorithms for the MAF problem in multifurcating trees}, BOOKTITLE = {Proceedings of the 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2013 (L{\"u}beck, Germany, June 19-21, 2013)}, SERIES = {LNCS}, VOLUME = {8165}, PAGES = {152-164}, YEAR = {2013}, EDITOR = {Brandst{\"a}dt, Andreas and Jansen, Klaus and Reischuk, R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-45043-3_14}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chiarelli-Milanic/13, AUTHOR = {Chiarelli, Nina and Milani{\v{c}}, Martin}, TITLE = {Linear separation of total dominating sets in graphs}, BOOKTITLE = {Proceedings of the 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2013 (L{\"u}beck, Germany, June 19-21, 2013)}, SERIES = {LNCS}, VOLUME = {8165}, PAGES = {165-176}, YEAR = {2013}, EDITOR = {Brandst{\"a}dt, Andreas and Jansen, Klaus and Reischuk, R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-45043-3_15}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cochefert-Couturier-Golovach-Kratsch-Paulusma/13, AUTHOR = {Cochefert, Manfred and Couturier, Jean-Fran{\c{c}}ois and Golovach, Petr A. and Kratsch, Dieter and Paulusma, Danie{\"e}l}, TITLE = {Sparse square roots}, BOOKTITLE = {Proceedings of the 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2013 (L{\"u}beck, Germany, June 19-21, 2013)}, SERIES = {LNCS}, VOLUME = {8165}, PAGES = {177-188}, YEAR = {2013}, EDITOR = {Brandst{\"a}dt, Andreas and Jansen, Klaus and Reischuk, R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-45043-3_16}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cook-Eschen-Sritharan-Wang/13, AUTHOR = {Cook, Kathryn and Eschen, Elaine M. and Sritharan, R. and Wang, Xiaoqiang}, TITLE = {Completing colored graphs to meet a target property}, BOOKTITLE = {Proceedings of the 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2013 (L{\"u}beck, Germany, June 19-21, 2013)}, SERIES = {LNCS}, VOLUME = {8165}, PAGES = {189-200}, YEAR = {2013}, EDITOR = {Brandst{\"a}dt, Andreas and Jansen, Klaus and Reischuk, R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-45043-3_17}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dabrowski-Golovach-Paulusma/13, AUTHOR = {Dabrowski, Konrad K. and Golovach, Petr A. and Paulusma, Dani{\"e}l}, TITLE = {Colouring of graphs with ramsey-type forbidden subgraphs}, BOOKTITLE = {Proceedings of the 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2013 (L{\"u}beck, Germany, June 19-21, 2013)}, SERIES = {LNCS}, VOLUME = {8165}, PAGES = {201-212}, YEAR = {2013}, EDITOR = {Brandst{\"a}dt, Andreas and Jansen, Klaus and Reischuk, R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-45043-3_18}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Di_Giacomo-Liotta-Mchedlidze/13, AUTHOR = {Di Giacomo, Emilio and Liotta, Giuseppe and Mchedlidze, Tamara}, TITLE = {Lower and upper bounds for long induced paths in 3-connected planar graphs}, BOOKTITLE = {Proceedings of the 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2013 (L{\"u}beck, Germany, June 19-21, 2013)}, SERIES = {LNCS}, VOLUME = {8165}, PAGES = {213-224}, YEAR = {2013}, EDITOR = {Brandst{\"a}dt, Andreas and Jansen, Klaus and Reischuk, R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-45043-3_19}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cheng-McConvey-Onderko-Shar-Tomlinson/13, AUTHOR = {Cheng, Christine T. and McConvey, Andrew and Onderko, Drew and Shar, Nathaniel and Tomlinson, Charles}, TITLE = {Beyond knights and knaves}, BOOKTITLE = {Proceedings of the 39th International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2013 (L{\"u}beck, Germany, June 19-21, 2013)}, SERIES = {LNCS}, VOLUME = {8165}, PAGES = {394-405}, YEAR = {2013}, EDITOR = {Brandst{\"a}dt, Andreas and Jansen, Klaus and Reischuk, R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-45043-3_34}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Abramov-Barkatou/13, AUTHOR = {Abramov, S.A. and Barkatou, M.A.}, TITLE = {On the dimension of solution spaces of full rank linear differential systems}, BOOKTITLE = {Proceedings of the 15th International Workshop on Computer Algebra in Scientific Computing, CASC'2013 (Berlin, Germany, September 9-13, 2013)}, SERIES = {LNCS}, VOLUME = {8136}, PAGES = {1-9}, YEAR = {2013}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-02297-0_1}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Adrovic-Verschelde/13, AUTHOR = {Adrovic, Danko and Verschelde, Jan}, TITLE = {Polyhedral methods for space curves exploiting symmetry applied to the cyclic $n$-roots problem}, BOOKTITLE = {Proceedings of the 15th International Workshop on Computer Algebra in Scientific Computing, CASC'2013 (Berlin, Germany, September 9-13, 2013)}, SERIES = {LNCS}, VOLUME = {8136}, PAGES = {10-29}, YEAR = {2013}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-02297-0_2}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Alvandi-Chen-Maza/13, AUTHOR = {Alvandi, Parisa and Chen, Changbo and Maza, Marc Moreno}, TITLE = {Computing the limit points of the quasi-component of a regular chain in dimension one}, BOOKTITLE = {Proceedings of the 15th International Workshop on Computer Algebra in Scientific Computing, CASC'2013 (Berlin, Germany, September 9-13, 2013)}, SERIES = {LNCS}, VOLUME = {8136}, PAGES = {30-45}, YEAR = {2013}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-02297-0_3}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Amodio-Blinkov-Gerdt-La_Scala/13, AUTHOR = {Amodio, Pierluigi and Blinkov, Yuri and Gerdt, Vladimir and La Scala, Roberto}, TITLE = {On consistency of finite difference approximations to the Navier-Stokes equations}, BOOKTITLE = {Proceedings of the 15th International Workshop on Computer Algebra in Scientific Computing, CASC'2013 (Berlin, Germany, September 9-13, 2013)}, SERIES = {LNCS}, VOLUME = {8136}, PAGES = {46-60}, YEAR = {2013}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-02297-0_4}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Arnold-Giesbrecht-Roche/13, AUTHOR = {Arnold, Andrew and Giesbrecht, Mark and Roche, Daniel S.}, TITLE = {Faster sparse interpolation of straight-line programs}, BOOKTITLE = {Proceedings of the 15th International Workshop on Computer Algebra in Scientific Computing, CASC'2013 (Berlin, Germany, September 9-13, 2013)}, SERIES = {LNCS}, VOLUME = {8136}, PAGES = {61-74}, YEAR = {2013}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-02297-0_5}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Bruno-Edneral/13, AUTHOR = {Bruno, Alexander D. and Edneral, Victor F.}, TITLE = {On possibility of additional solutions of the degenerate system near double degeneration at the special value of the parameter}, BOOKTITLE = {Proceedings of the 15th International Workshop on Computer Algebra in Scientific Computing, CASC'2013 (Berlin, Germany, September 9-13, 2013)}, SERIES = {LNCS}, VOLUME = {8136}, PAGES = {75-87}, YEAR = {2013}, EDITOR = {Gerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.}, URL = {http://dx.doi.org/10.1007/978-3-319-02297-0_6}, PUBLISHER = {Springer International Publishing}, ADDRESS = {Switzerland}, } @incollection{Adjiashvili-Oriolo-Senatore/13, AUTHOR = {Adjiashvili, David and Oriolo, Gianpaolo and Senatore, Marco}, TITLE = {The online replacement path problem}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {1-12}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Aichholzer-Mulzer-Pilz/13, AUTHOR = {Aichholzer, Oswin and Mulzer, Wolfgang and Pilz, Alexander}, TITLE = {Flip distance between triangulations of a simple polygon is NP-complete}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {13-24}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_2}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ajwani-Sitchinava/13, AUTHOR = {Ajwani, Deepak and Sitchinava, Nodari}, TITLE = {Empirical evaluation of the parallel distribution sweeping framework on multicore architectures}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {25-36}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alewijnse-Bouts-ten_Brink-Buchin/13, AUTHOR = {Alewijnse, Sander P.A. and Bouts, Quirijn W. and ten Brink, Alex P. and Buchin, Kevin}, TITLE = {Computing the greedy spanner in linear space}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {37-48}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Anshelevich-Bhardwaj-Hoefer/13, AUTHOR = {Anshelevich, Elliot and Bhardwaj, Onkar and Hoefer, Martin}, TITLE = {Friendship and stable matching}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {49-60}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Arge-Brodal-Truelsen-Tsirogiannis/13, AUTHOR = {Arge, Lars and Brodal, Gerth St{\o}lting and Truelsen, Jakob and Tsirogiannis, Constantinos}, TITLE = {An optimal and practical cache-oblivious algorithm for computing multiresolution rasters}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {61-72}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Auletta-Ferraioli-Pasquale-Penna-Persiano/13, AUTHOR = {Auletta, Vincenzo and Ferraioli, Diodato and Pasquale, Francesco and Penna, Paolo and Persiano, Giuseppe}, TITLE = {Logit dynamics with concurrent updates for local interaction games}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {73-84}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ausiello-Franciosa-Italiano-Ribichini/13, AUTHOR = {Ausiello, Giorgio and Franciosa, Paolo Giulio and Italiano, Giuseppe Francesco and Ribichini, Andrea}, TITLE = {On resilient graph spanners}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {85-96}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bar-Noy-Rawitz-Terlecky/13, AUTHOR = {Bar-Noy, Amotz and Rawitz, Dror and Terlecky, Peter}, TITLE = {Maximizing barrier coverage lifetime with mobile sensors}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {97-108}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Barbay-Gupta-Jo-Rao-Sorenson/13, AUTHOR = {Barbay, J{\'e}r{\'e}my and Gupta, Ankur and Jo, Seungbum and Rao, Satti Srinivasa and Sorenson, Jonathan}, TITLE = {Theory and implementation of online multiselection algorithms}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {109-120}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_10}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Beckmann-Meyer-Veith/13, AUTHOR = {Beckmann, Andreas and Meyer, Ulrich and Veith, David}, TITLE = {An implementation of I/O-efficient dynamic breadth-first search using level-aligned hierarchical clustering}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {121-132}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_11}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Belazzougui-Cunial-Karkkainen-Makinen/13, AUTHOR = {Belazzougui, Djamal and Cunial, Fabio and K{\"a}rkk{\"a}inen, Juha and M{\"a}kinen, Veli}, TITLE = {Versatile succinct representations of the bidirectional Burrows-Wheeler transform}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {133-144}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_12}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Berkholz-Bonsma-Grohe/13, AUTHOR = {Berkholz, Christoph and Bonsma, Paul and Grohe, Martin}, TITLE = {Tight lower and upper bounds for the complexity of canonical colour refinement}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {145-156}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_13}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bilo-Guala-Proietti/13, AUTHOR = {Bil{\`o}, Davide and Gual{\`a}, Luciano and Proietti, Guido}, TITLE = {A faster computation of all the best swap edges of a shortest paths tree}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {157-168}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_14}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bingmann-Sanders/13, AUTHOR = {Bingmann, Timo and Sanders, Peter}, TITLE = {Parallel string sample sort}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {169-180}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_15}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Blin-Burman-Nisse/13, AUTHOR = {Blin, L{\'e}lia and Burman, Janna and Nisse, Nicolas}, TITLE = {Exclusive graph searching}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {181-192}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_16}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bliznets-Fomin-Pilipczuk-Villanger/13, AUTHOR = {Bliznets, Ivan and Fomin, Fedor V. and Pilipczuk, Micha{\l} and Villanger, Yngve}, TITLE = {Largest chordal and interval subgraphs faster than $2^n$}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {193-204}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_17}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bose-De_Carufel-Durocher/13, AUTHOR = {Bose, Prosenjit and De Carufel, Jean-Lou and Durocher, Stephane}, TITLE = {Revisiting the problem of searching on a line}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {205-216}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_18}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Briet-Dadush-Pokutta/13, AUTHOR = {Bri{\"e}t, Jop and Dadush, Daniel and Pokutta, Sebastian}, TITLE = {On the existence of 0/1 polytopes with high semidefinite extension complexity}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {217-228}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_19}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brodal-Brodnik-Davoodi/13, AUTHOR = {Brodal, Gerth St{\o}lting and Brodnik, Andrej and Davoodi, Pooya}, TITLE = {The encoding complexity of two dimensional range minimum data structures}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {229-240}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_20}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Buchin-Buchin-van_Leusden-Meulemans-Mulzer/13, AUTHOR = {Buchin, Kevin and Buchin, Maike and van Leusden, Rolf and Meulemans, Wouter and Mulzer, Wolfgang}, TITLE = {Computing the Fr{\'e}chet distance with a retractable leash}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {241-252}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_21}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Buchin-Devillers-Mulzer-Schrijvers-Shewchuk/13, AUTHOR = {Buchin, Kevin and Devillers, Olivier and Mulzer, Wolfgang and Schrijvers, Okke and Shewchuk, Jonathan}, TITLE = {Vertex deletion for 3D Delaunay triangulations}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {253-264}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_22}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bueno-Stolfi/13, AUTHOR = {Bueno, Lucas Moutinho and Stolfi, Jorge}, TITLE = {Economic 3-colored subdivision of triangulations}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {265-276}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_23}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Caragiannis-Kaklamanis-Kyropoulou/13, AUTHOR = {Caragiannis, Ioannis and Kaklamanis, Christos and Kyropoulou, Maria}, TITLE = {Limitations of deterministic auction design for correlated bidders}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {277-288}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_24}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Agarwal-Araujo-Caillouet-Cazals-Coudert-Perennes/13, AUTHOR = {Agarwal, Deepesh and Araujo, Julio-Cesar Silva and Caillouet, Christelle and Cazals, Frederic and Coudert, David and P{\'e}rennes, Stephane}, TITLE = {Connectivity inference in mass spectrometry based structure determination}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {289-300}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_25}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chechik-Johnson-Parter-Peleg/13, AUTHOR = {Chechik, Shiri and Johnson, Matthew P. and Parter, Merav and Peleg, David}, TITLE = {Secluded connectivity problems}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {301-312}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_26}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chitnis-Egri-Marx/13, AUTHOR = {Chitnis, Rajesh and Egri, L{\'a}szl{\'o} and Marx, D{\'a}niel}, TITLE = {List $H$-coloring a graph by removing few vertices}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {313-324}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_27}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Clementi-Crescenzi-Doerr-Fraigniaud-Isopi-Panconesi-Pasquale-Silvestri/13, AUTHOR = {Clementi, Andrea and Crescenzi, Pierluigi and Doerr, Carola and Fraigniaud, Pierre and Isopi, Marco and Panconesi, Alessandro and Pasquale, Francesco and Silvestri, Riccardo}, TITLE = {Rumor spreading in random evolving graphs}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {325-336}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_28}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Crouch-McGregor-Stubbs/13, AUTHOR = {Crouch, Michael S. and McGregor, Andrew and Stubbs, Daniel}, TITLE = {Dynamic graphs in the sliding-window model}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {337-348}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_29}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Curticapean-Kunnemann/13, AUTHOR = {Curticapean, Radu and K{\"u}nnemann, Marvin}, TITLE = {A quantization framework for smoothed analysis of Euclidean optimization problems}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {349-360}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_30}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cygan-Grandoni-Hermelin/13, AUTHOR = {Cygan, Marek and Grandoni, Fabrizio and Hermelin, Danny}, TITLE = {Tight kernel bounds for problems on graphs with small degeneracy}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {361-372}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_31}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, PCOMMENT = {extended abstract}, } @incollection{Ding-Xu/13, AUTHOR = {Ding, Hu and Xu, Jinhui}, TITLE = {FPTAS for minimizing earth mover's distance under rigid transformations}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {397-408}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_34}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Boissonnat-Dey-Maria/13, AUTHOR = {Boissonnat, Jean-Daniel and Dey, Tamal K. and Maria, Cl{\'e}ment}, TITLE = {The compressed annotation matrix: An efficient data structure for computing persistent cohomology}, BOOKTITLE = {Proceedings of the 21st Annual European Symposium on Algorithms, ESA'2013 (Sophia Antipolis, France, September 2-4, 2013)}, SERIES = {LNCS}, VOLUME = {8125}, PAGES = {695-706}, YEAR = {2013}, EDITOR = {Bodlaender, Hans L. and Italiano, Giuseppe F.}, URL = {http://dx.doi.org/10.1007/978-3-642-40450-4_59}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bender-Thielen-Westphal/13a, AUTHOR = {Bender, Marco and Thielen, Clemens and Westphal, Stephan}, TITLE = {Erratum to ``A constant factor approximation for the generalized assignment problem with minimum quantities and unit size items''}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {E1-E3}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_74}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, NOTE = {Originally in LNCS 8087, MFCS 2013, 135-145}, } @incollection{Buss/13, AUTHOR = {Buss, Sam}, TITLE = {Alternation trading proofs and their limitations}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {1-7}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Angel-Bampis-Kononov-Paparas-Pountourakis-Zissimopoulos/13, AUTHOR = {Angel, Eric and Bampis, Evripidis and Kononov, Alexander and Paparas, Dimitris and Pountourakis, Emmanouil and Zissimopoulos, Vassilis}, TITLE = {Clustering on $k$-edge-colored graphs}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {50-61}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Antoniadis-Huang-Ott-Verschae/13, AUTHOR = {Antoniadis, Antonios and Huang, Chien-Chung and Ott, Sebastian and Verschae, Jos{\'e}}, TITLE = {How to pack your items when you have to buy your knapsack}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {62-73}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bacci-Bacci-Larsen-Mardare/13, AUTHOR = {Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu}, TITLE = {Computing behavioral distances, compositionally}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {74-85}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bala/13, AUTHOR = {Bala, Sebastian}, TITLE = {Which finitely ambiguous automata recognize finitely sequential functions?}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {86-97}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_10}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, PCOMMENT = {extended abstract}, } @incollection{Barany-Benedikt-ten_Cate/13, AUTHOR = {B{\'a}r{\'a}ny, Vince and Benedikt, Michael and ten Cate, Balder}, TITLE = {Rewriting guarded negation queries}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {98-110}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_11}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Beckmann-Pudlak-Thapen/13, AUTHOR = {Beckmann, Arnold and Pudl{\'a}k, Pavel and Thapen, Neil}, TITLE = {Parity games and propositional proofs}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {111-122}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_12}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bedon/13, AUTHOR = {Bedon, Nicolas}, TITLE = {Logic and branching automata}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {123-134}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_13}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bender-Thielen-Westphal/13, AUTHOR = {Bender, Marco and Thielen, Clemens and Westphal, Stephan}, TITLE = {A constant factor approximation for the generalized assignment problem with minimum quantities and unit size items}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {135-145}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_14}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, NOTE = {see Erratum in LNCS 8087, MFCS 2013, E1-E3 (electronic version only)}, } @incollection{Benedikt-Engelfriet-Maneth/13, AUTHOR = {Benedikt, Michael and Engelfriet, Joost and Maneth, Sebastian}, TITLE = {Determinacy and rewriting of top-down and MSO tree transformations}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {146-158}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_15}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Berkholz-Verbitsky/13, AUTHOR = {Berkholz, Christoph and Verbitsky, Oleg}, TITLE = {On the speed of constraint propagation and the time complexity of arc consistency testing}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {159-170}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_16}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bjorklund-Martens-Schwentick/13, AUTHOR = {Bj{\"o}rklund, Henrik and Martens, Wim and Schwentick, Thomas}, TITLE = {Validity of tree pattern queries with respect to schema information}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {171-182}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_17}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bonatti-Faella-Galdi-Sauro/13, AUTHOR = {Bonatti, Piero A. and Faella, Marco and Galdi, Clemente and Sauro, Luigi}, TITLE = {Auctions for partial heterogeneous preferences}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {183-194}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_18}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brandstadt-Milanic-Nevries/13, AUTHOR = {Brandst{\"a}dt, Andreas and Milani{\v{c}}, Martin and Nevries, Ragnar}, TITLE = {New polynomial cases of the weighted efficient domination problem}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {195-206}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_19}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bringmann/13, AUTHOR = {Bringmann, Karl}, TITLE = {Bringing order to special cases of Klee's measure problem}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {207-218}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_20}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bringmann-Engels-Manthey-Rao/13, AUTHOR = {Bringmann, Karl and Engels, Christian and Manthey, Bodo and Rao, B.V. Raghavendra}, TITLE = {Random shortest paths: Non-Euclidean instances for metric optimization problems}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {219-230}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_21}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Buckheister-Zetzsche/13, AUTHOR = {Buckheister, P. and Zetzsche, Georg}, TITLE = {Semilinearity and context-freeness of languages accepted by valence automata}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {231-242}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_22}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Buhrman-Fortnow-Hitchcock-Loff/13, AUTHOR = {Buhrman, Harry and Fortnow, Lance and Hitchcock, John M. and Loff, Bruno}, TITLE = {Learning reductions to sparse sets}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {243-253}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_23}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chadha-Sistla-Viswanathan/13, AUTHOR = {Chadha, Rohit and Sistla, A. Prasad and Viswanathan, Mahesh}, TITLE = {Probabilistic automata with isolated cut-points}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {254-265}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_24}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Forejt-Kwiatkowska-Simaitis-Wiltsche/13, AUTHOR = {Chen, Taolue and Forejt, Vojt{\v{e}}ch and Kwiatkowska, Marta and Simaitis, Aistis and Wiltsche, Clemens}, TITLE = {On stochastic games with multiple objectives}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {266-277}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_25}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cohen-Fiat-Hershcovitch-Kaplan/13, AUTHOR = {Cohen, Sarel and Fiat, Amos and Hershcovitch, Moshik and Kaplan, Haim}, TITLE = {Minimal indices for successor search}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {278-289}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_26}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, PCOMMENT = {extended abstract}, } @incollection{Creignou-Meier-Muller-Schmidt-Vollmer/13, AUTHOR = {Creignou, Nadia and Meier, Arne and M{\"u}ller, Julian-Steffen and Schmidt, Johannes and Vollmer, Heribert}, TITLE = {Paradigms for parameterized enumeration}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {290-301}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_27}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Czerwinski-Jancar-Kot-Sawa/13, AUTHOR = {Czerwi{\'n}ski, Wojciech and Jan{\v{c}}ar, Petr and Kot, Martin and Sawa, Zden{\v{e}}k}, TITLE = {Complexity of checking bisimilarity between sequential and parallel processes}, BOOKTITLE = {Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS'2013 (Klosterneuburg, Austria, August 26-30, 2013)}, SERIES = {LNCS}, VOLUME = {8087}, PAGES = {302-313}, YEAR = {2013}, EDITOR = {Chatterjee, Krishnendu and Sgall, Jir{\'{i}}}, URL = {http://dx.doi.org/10.1007/978-3-642-40313-2_28}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ahmed-Chowdhury-Gibson-Islam-Sherrette/13, AUTHOR = {Ahmed, Mahmuda and Chowdhury, Iffat and Gibson, Matt and Islam, Mohammad Shahedul and Sherrette, Jessica}, TITLE = {On maximum weight objects decomposable into based rectilinear convex objects}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {1-12}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ahn-Alt-Bae-Park/13, AUTHOR = {Ahn, Hee-Kap and Alt, Helmut and Bae, Sang Won and Park, Dongwoo}, TITLE = {Bundling three convex polygons to minimize area or perimeter}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {13-24}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_2}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alamdari-Biedl-Chan-Grant-Jampani-Keshav-Lubiw-Pathak/13, AUTHOR = {Alamdari, Soroush and Biedl, Therese and Chan, Timothy M. and Grant, Elyot and Jampani, Krishnam Raju and Keshav, Srinivasan and Lubiw, Anna and Pathak, Vinayak}, TITLE = {Smart-grid electricity allocation via strip packing with slicing}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {25-36}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Arge-Fischer-Sanders-Sitchinava/13, AUTHOR = {Arge, Lars and Fischer, Johannes and Sanders, Peter and Sitchinava, Nodari}, TITLE = {On (dynamic) range minimum queries in external memory}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {37-48}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Aronov-de_Berg-Roeloffzen-Speckmann/13, AUTHOR = {Aronov, Boris and de Berg, Mark and Roeloffzen, Marcel and Speckmann, Bettina}, TITLE = {Distance-sensitive planar point location}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {49-60}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Asano-Kirkpatrick/13, AUTHOR = {Asano, Tetsuo and Kirkpatrick, David}, TITLE = {Time-space tradeoffs for all-nearest-larger-neighbors problems}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {61-72}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Asinowski-Cardinal-Cohen-Collette-Hackl-Hoffmann-Knauer-Langerman-Lason-Micek-Rote-Ueckerdt/13, AUTHOR = {Asinowski, Andrei and Cardinal, Jean and Cohen, Nathann and Collette, S{\'e}bastien and Hackl, Thomas and Hoffmann, Michael and Knauer, Kolja and Langerman, Stefan and Laso{\'n}, Micha{\l} and Micek, Piotr and Rote, G{\"u}nter and Ueckerdt, Torsten}, TITLE = {Coloring hypergraphs induced by dynamic point sets and bottomless rectangles}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {73-84}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Askalidis-Immorlica-Kwanashie-Manlove-Pountourakis/13, AUTHOR = {Askalidis, Georgios and Immorlica, Nicole and Kwanashie, Augustine and Manlove, David F. and Pountourakis, Emmanouil}, TITLE = {Socially stable matchings in the hospitals/residents problem}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {85-96}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bannister-Cabello-Eppstein/13, AUTHOR = {Bannister, Michael J. and Cabello, Sergio and Eppstein, David}, TITLE = {Parameterized complexity of 1-planarity}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {97-108}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Barba-Bose-De_Carufel-van_Renssen-Verdonschot/13, AUTHOR = {Barba, Luis and Bose, Prosenjit and De Carufel, Jean-Lou and van Renssen, Andr{\'e} and Verdonschot, Sander}, TITLE = {On the stretch factor of the theta-4 graph}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {109-120}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_10}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Belazzougui-Gagie-Navarro/13, AUTHOR = {Belazzougui, Djamal and Gagie, Travis and Navarro, Gonzalo}, TITLE = {Better space bounds for parameterized range majority and minority}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {121-132}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_11}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bienkowski-Byrka-Chrobak-Jez-Sgall-Stachowiak/13, AUTHOR = {Bienkowski, Marcin and Byrka, Jaroslaw and Chrobak, Marek and Je{\.z}, {\L}ukasz and Sgall, Ji{\v{r}}{\'{i}} and Stachowiak, Grzegorz}, TITLE = {Online control message aggregation in chain networks}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {133-145}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_12}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bille-Cording-Gortz-Sach-Vildhoj-Vind/13, AUTHOR = {Bille, Philip and Cording, Patrick Hagge and G{\o}rtz, Inge Li and Sach, Benjamin and Vildh{\o}j, Hjalte Wedel and Vind, S{\o}ren}, TITLE = {Fingerprints in compressed strings}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {146-157}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_13}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Biro-Iwerks-Kostitsyna-Mitchell/13, AUTHOR = {Biro, Michael and Iwerks, Justin and Kostitsyna, Irina and Mitchell, Joseph S.B.}, TITLE = {Beacon-based algorithms for geometric routing}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {158-169}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_14}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bohmova-Disser-Mihalak-Widmayer/13, AUTHOR = {B{\"o}hmov{\'a}, Kate{\v{r}}ina and Disser, Yann and Mihal{\'a}k, Mat{\'u}{\v{s}} and Widmayer, Peter}, TITLE = {Interval selection with machine-dependent intervals}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {170-181}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_15}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bose-van_Renssen-Verdonschot/13, AUTHOR = {Bose, Prosenjit and van Renssen, Andr{\'e} and Verdonschot, Sander}, TITLE = {On the spanning ratio of theta-graphs}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {182-194}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_16}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Boyar-Gupta-Larsen/13, AUTHOR = {Boyar, Joan and Gupta, Sushmita and Larsen, Kim S.}, TITLE = {Relative interval analysis of paging algorithms on access graphs}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {195-206}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_17}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bredereck-Chen-Hartung-Komusiewicz-Niedermeier-Suchy/13, AUTHOR = {Bredereck, Robert and Chen, Jiehua and Hartung, Sepp and Komusiewicz, Christian and Niedermeier, Rolf and Such{\'y}, Ond{\v{r}}ej}, TITLE = {On explaining integer vectors by few homogenous segments}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {207-218}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_18}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Buchin-Buchin-van_Kreveld-Speckmann-Staals/13, AUTHOR = {Buchin, Kevin and Buchin, Maike and van Kreveld, Marc and Speckmann, Bettina and Staals, Frank}, TITLE = {Trajectory grouping structure}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {219-230}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_19}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chan/13, AUTHOR = {Chan, Timothy M.}, TITLE = {The art of shaving logs}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {231-231}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_20}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chapelle-Liedloff-Todinca-Villanger/13, AUTHOR = {Chapelle, Mathieu and Liedloff, Mathieu and Todinca, Ioan and Villanger, Yngve}, TITLE = {{\sc Treewidth} and {\sc Pathwidth} parameterized by the Vertex Cover Number}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {232-243}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_21}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Wang/13b, AUTHOR = {Chen, Danny Z. and Wang, Haitao}, TITLE = {Visibility and ray shooting queries in polygonal domains}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {244-255}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_22}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chlamtac-Friggstad-Georgiou/13, AUTHOR = {Chlamt{\'a}{\v{c}}, Eden and Friggstad, Zachary and Georgiou, Konstantinos}, TITLE = {Lift-and-project methods for set cover and knapsack}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {256-267}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_23}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dai-Kao-Lee/13, AUTHOR = {Dai, Bang-Sin and Kao, Mong-Jen and Lee, D.T.}, TITLE = {Optimal time-convex hull under the $L_p$ metrics}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {268-279}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_24}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Demaine-Panchekha-Wilson-Yang/13, AUTHOR = {Demaine, Erik D. and Panchekha, Pavel and Wilson, David A. and Yang, Edward Z.}, TITLE = {Blame trees}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {280-290}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_25}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Baumbach-Guo-Ibragimov/13a, AUTHOR = {Baumbach, Jan and Guo, Jiong and Ibragimov, Rashid}, TITLE = {Neighborhood-preserving mapping between trees}, BOOKTITLE = {Proceedings of the 13th International Symmposium on Algorithms and Data Structures, WADS'2013 (London, Ontario, Canada, August 12-14, 2013)}, SERIES = {LNCS}, VOLUME = {8037}, PAGES = {427-438}, YEAR = {2013}, EDITOR = {Dehne, Frank and Solis-Oba, Roberto and Sack, J{\"o}rg R{\"u}diger}, URL = {http://dx.doi.org/10.1007/978-3-642-40104-6_37}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Albers/13a, AUTHOR = {Albers, Susanne}, TITLE = {Recent advances for a classical scheduling problem}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {4-14}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_2}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Almagor-Boker-Kupferman/13, AUTHOR = {Almagor, Shaull and Boker, Udi and Kupferman, Orna}, TITLE = {Formalizing and reasoning about quality}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {15-27}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alur-Raghothaman/13, AUTHOR = {Alur, Rajeev and Raghothaman, Mukund}, TITLE = {Decision problems for additive regular functions}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {37-48}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Barthe-Olmedo/13, AUTHOR = {Barthe, Gilles and Olmedo, Federico}, TITLE = {Beyond differential privacy: Composition theorems and relational logic for $f$-divergences between probabilistic programs}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {49-60}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Basset/13, AUTHOR = {Basset, Nicolas}, TITLE = {A maximal entropy stochastic process for a timed automaton}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {61-73}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Benaim-Benedikt-Charatonik-Kieronski-Lenhardt-Mazowiecki-Worell/13, AUTHOR = {Benaim, Saguy and Benedikt, Michael and Charatonik, Witold and Kiero{\'n}ski, Emanuel and Lenhardt, Rastislav and Mazowiecki, Philip and Worell, James}, TITLE = {Complexity of two-variable logic on finite trees}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {74-88}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_10}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Boker-Kuperberg-Kupferman-Skrzypczak/13, AUTHOR = {Boker, Udi and Kuperberg, Denis and Kupferman, Orna and Skrzypczak, Micha{\l}}, TITLE = {Nondeterminism in the presence of a diverse or unknown future}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {89-100}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_11}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Carreiro-Gorin-Schroder/13, AUTHOR = {Carreiro, Facundo and Gor{\'{i}}n, Daniel and Schr{\"o}der, Lutz}, TITLE = {Coalgebraic announcement logics}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {101-112}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_12}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Charlier-Kamae-Puzynina-Zamboni/13, AUTHOR = {Charlier, {\'E}milie and Kamae, Teturo and Puzynina, Svetlana and Zamboni, Luca Q.}, TITLE = {Self-shuffling words}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {113-124}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_13}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Marx/13, AUTHOR = {Chen, Hubie and Marx, D{\'a}niel}, TITLE = {Block-sorted quantified conjunctive queries}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {125-136}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_14}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chretien-Cortier-Delaune/13, AUTHOR = {Chr{\'e}tien, R{\'e}my and Cortier, V{\'e}ronique and Delaune, St{\'e}phanie}, TITLE = {From security protocols to pushdown automata}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {137-149}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_15}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Czerwinski-Martens-Masopust/13, AUTHOR = {Czerwi{\'n}ski, Wojciech and Martens, Wim and Masopust, Tom{\'a}{\v{s}}}, TITLE = {Efficient separability of regular languages by subsequences and suffixes}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {150-161}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_16}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Demri-Dhar-Sangnier/13, AUTHOR = {Demri, St{\'e}phane and Dhar, Amit Kumar and Sangnier, Arnaud}, TITLE = {On the complexity of verifying regular properties on flat counter systems}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {162-173}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_17}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Denielou-Yoshida/13, AUTHOR = {Deni{\'e}lou, Pierre-Malo and Yoshida, Nobuko}, TITLE = {Multiparty compatibility in communicating automata: Characterisation and synthesis of global session types}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {174-186}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_18}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Di_Cosmo-Mauro-Zacchiroli-Zavattaro/13, AUTHOR = {Di Cosmo, Roberto and Mauro, Jacopo and Zacchiroli, Stefano and Zavattaro, Gianluigi}, TITLE = {Component reconfiguration in the presence of conflicts}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {187-198}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_19}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Albers-Passen/13, AUTHOR = {Albers, Susanne and Passen, Achim}, TITLE = {New online algorithms for story scheduling in web advertising}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {446-458}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_40}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bachrach-Porat/13, AUTHOR = {Bachrach, Yoram and Porat, Ely}, TITLE = {Sketching for big data recommender systems using fast pseudo-random fingerprints}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {459-471}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_41}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Becchetti-Bonifaci-Dirnberger-Karrenbauer-Mehlhorn/13, AUTHOR = {Becchetti, Luca and Bonifaci, Vincenzo and Dirnberger, Michael and Karrenbauer, Andreas and Mehlhorn, Kurt}, TITLE = {Physarum can compute shortest paths: Convergence proofs and complexity bounds}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {472-483}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_42}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Celis-Gklezakos-Karlin/13, AUTHOR = {Celis, L. Elisa and Gklezakos, Dimitrios C. and Karlin, Anna R.}, TITLE = {On revenue maximization for agents with costly information acquisition}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {484-495}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_43}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, PCOMMENT = {extended abstract}, } @incollection{Christodoulou-Gairing/13, AUTHOR = {Christodoulou, George and Gairing, Martin}, TITLE = {Price of stability in polynomial congestion games}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {496-507}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_44}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Czyzowicz-Kranakis-Pacheco/13, AUTHOR = {Czyzowicz, Jurek and Kranakis, Evangelos and Pacheco, Eduardo}, TITLE = {Localization for a system of colliding robots}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {508-519}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_45}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dereniowski-Disser-Kosowski-Pajak-Uznanski/13, AUTHOR = {Dereniowski, Dariusz and Disser, Yann and Kosowski, Adrian and Paj{\c{a}}k, Dominik and Uzna{\'n}ski, Przemys{\l}aw}, TITLE = {Fast collaborative graph exploration}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {520-532}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_46}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dieudonne-Pelc/13, AUTHOR = {Dieudonn{\'e}, Yoann and Pelc, Andrzej}, TITLE = {Deterministic polynomial approach in the plane}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part II (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7966}, PAGES = {533-544}, YEAR = {2013}, EDITOR = {Fomin, Fedor, V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39212-2_47}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Abboud-Lewi/13, AUTHOR = {Abboud, Amir and Lewi, Kevin}, TITLE = {Exact weight subgraphs and the $k$-sum conjecture}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {1-12}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Anand-Bringmann-Friedrich-Garg-Kumar/13, AUTHOR = {Anand, S. and Bringmann, Karl and Friedrich, Tobias and Garg, Naveen and Kumar, Amit}, TITLE = {Minimizing maximum (weighted) flow-time on related and unrelated machines}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {13-24}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_2}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Andoni-Nguykew1ildeboxen-Polyanskiy-Wu/13, AUTHOR = {Andoni, Alexandr and Nguy${\skew1\tilde{\mbox{\^e}}}$n, Huy L. and Polyanskiy, Yury and Wu, Yihong}, TITLE = {Tight lower bound for linear sketches of moments}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {25-32}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Aumuller-Dietzfelbinger/13, AUTHOR = {Aum{\"u}ller, Martin and Dietzfelbinger, Martin}, TITLE = {Optimal partitioning for dual pivot quicksort}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {33-44}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, PCOMMENT = {extended abstract}, } @incollection{Austrin-Kaski-Koivisto-Maatta/13, AUTHOR = {Austrin, Per and Kaski, Petteri and Koivisto, Mikko and M{\"a}{\"a}tt{\"a}, Jussi}, TITLE = {Space-time tradeoffs for subset sum: An improved worst case algorithm}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {45-56}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Avis-Tiwary/13, AUTHOR = {Avis, David and Tiwary, Hans Raj}, TITLE = {On the extension complexity of combinatorial polytopes}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {57-68}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Babenko-Goldberg-Gupta-Nagarajan/13, AUTHOR = {Babenko, Maxim and Goldberg, Andrew V. and Gupta, Anupam and Nagarajan, Viswanath}, TITLE = {Algorithms for hub label optimization}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {69-80}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bateni-Hajiaghayi-Liaghat/13, AUTHOR = {Bateni, MohammadHossein and Hajiaghayi, MohammadTaghi and Liaghat, Vahid}, TITLE = {Improved approximation algorithms for (budgeted) node-weighted Steiner problems}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {81-92}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bauer-Columbus-Rutter-Wagner/13, AUTHOR = {Bauer, Reinhard and Columbus, Tobias and Rutter, Ignaz and Wagner, Dorothea}, TITLE = {Search-space size in contraction hierarchies}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {93-104}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Belovs-Childs-Jeffery-Kothari-Magniez/13, AUTHOR = {Belovs, Aleksandrs and Childs, Andrew M. and Jeffery, Stacey and Kothari, Robin and Magniez, Fr{\'e}d{\'e}ric}, TITLE = {Time-efficient quantum walks for 3-distinctness}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {105-122}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_10}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bhattacharyya-Yoshida/13, AUTHOR = {Bhattacharyya, Arnab and Yoshida, Yuichi}, TITLE = {An algebraic characterization of testable Boolean CSPs}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {123-134}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_11}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bienkowski-Byrka-Chrobak-Dobbs-Nowicki-Sviridenko-Swirszcz-Young/13, AUTHOR = {Bienkowski, Marcin and Byrka, Jaroslaw and Chrobak, Marek and Dobbs, Neil and Nowicki, Tomasz and Sviridenko, Maxim and {\'S}wirszcz, Grzegorz and Young, Neal E.}, TITLE = {Approximation algorithms for the joint replenishment problem with deadlines}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {135-147}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_12}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bille-Fischer-Gortz-Kopelowitz-Sach-Vildhoj/13, AUTHOR = {Bille, Philip and Fischer, Johannes and G{\o}rtz, Inge Li and Kopelowitz, Tsvi and Sach, Benjamin and Vildh{\o}j, Hjalte Wedel}, TITLE = {Sparse suffix tree construction in small space}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {148-159}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_13}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bille-Gortz-Landau-Weimann/13, AUTHOR = {Bille, Philip and G{\o}rtz, Inge Li and Landau, Gad M. and Weimann, Oren}, TITLE = {Tree compression with top trees}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {160-171}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_14}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Blaser/13, AUTHOR = {Bl{\"a}ser, Markus}, TITLE = {Noncommutativity makes determinants hard}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {172-183}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_15}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Blasius-Rutter-Wagner/13, AUTHOR = {Bl{\"a}sius, Thomas and Rutter, Ignaz and Wagner, Dorothea}, TITLE = {Optimal orthogonal graph drawing with convex bend costs}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {184-195}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_16}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bodlaender-Cygan-Kratsch-Nederlof/13, AUTHOR = {Bodlaender, Hans L. and Cygan, Marek and Kratsch, Stefan and Nederlof, Jesper}, TITLE = {Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {196-207}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_17}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bohler-Cheilaris-Klein-Liu-Zavershynskyi/13, AUTHOR = {Bohler, Cecilia and Cheilaris, Panagiotis and Klein, Rolf and Liu, Chih-Hung and Zavershynskyi, Evanthia Papadopoulou Maksym}, TITLE = {On the complexity of higher order abstract Voronoi diagrams}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {208-219}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_18}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Boros-Elbassioni-Gurvich-Makino/13, AUTHOR = {Boros, Endre and Elbassioni, Khaled and Gurvich, Vladimir and Makino, Kazuhisa}, TITLE = {A pseudo-polynomial algorithm for mean payoff stochastic games with perfect information and a few random positions}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {220-231}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_19}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Braverman-Rao-Weinstein-Yehudayoff/13, AUTHOR = {Braverman, Mark and Rao, Anup and Weinstein, Omri and Yehudayoff, Amir}, TITLE = {Direct product via round-preserving compression}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {232-243}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_20}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Braverman-Ostrovsky-Vilenchik/13, AUTHOR = {Braverman, Vladimir and Ostrovsky, Rafail and Vilenchik, Dan}, TITLE = {How hard is counting triangles in the streaming model?}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {244-254}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_21}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bringmann-Doerr-Neumann-Sliacan/13, AUTHOR = {Bringmann, Karl and Doerr, Benjamin and Neumann, Adrian and Sliacan, Jakub}, TITLE = {Online checkpointing with improved worst-case guarantees}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {255-266}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_22}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bringmann-Friedrich/13, AUTHOR = {Bringmann, Karl and Friedrich, Tobias}, TITLE = {Exact and efficient generation of geometric random variates and random graphs}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {267-278}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_23}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brunsch-Roglin/13, AUTHOR = {Brunsch, Tobias and R{\"o}glin, Heiko}, TITLE = {Finding short paths on polytopes by the shadow vertex algorithm}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {279-290}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_24}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bulanek-Koucky-Saks/13, AUTHOR = {Bul{\'a}nek, Jan and Kouck{\'y}, Michal and Saks, Michael}, TITLE = {On randomized online labeling with polynomially many labels}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {291-302}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_25}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bun-Thaler/13, AUTHOR = {Bun, Mark and Thaler, Justin}, TITLE = {Dual lower bounds for approximate degree and Markov-Bernstein inequalities}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {303-314}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_26}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chan-Li-Ning-Solomon/13, AUTHOR = {Chan, T.-H. Hubert and Li, Mingfei and Ning, Li and Solomon, Shay}, TITLE = {New doubling spanners: Better and simpler}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {315-327}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_27}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chekuri-Naves-Shepherd/13, AUTHOR = {Chekuri, Chandra and Naves, Guyslain and Shepherd, F. Bruce}, TITLE = {Maximum edge-disjoint paths in $k$-sums of graphs}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {328-339}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_28}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cheriyan-Gao-Georgiou-Singla/13, AUTHOR = {Cheriyan, Joseph and Gao, Zhihan and Georgiou, Konstantinos and Singla, Sahil}, TITLE = {On integrality ratios for asymmetric TSP in the Sherali-Adams hierarchy}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {340-351}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_29}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Curticapean/13, AUTHOR = {Curticapean, Radu}, TITLE = {Counting matchings of size $k$ is \#W[1]-hard}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {352-363}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_30}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cygan-Pilipczuk/13a, AUTHOR = {Cygan, Marek and Pilipczuk, Marcin}, TITLE = {Faster exponential-time algorithms in graphs of bounded average degree}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {364-375}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_31}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{De-Diakonikolas-Servedio/13, AUTHOR = {De, Anindya and Diakonikolas, Ilias and Servedio, Rocco}, TITLE = {A robust Khintchine inequality, and algorithms for computing optimal constants in Fourier analysis and high-dimensional geometry}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {376-387}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_32}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Demaine-Iacono-Langerman-Ozkan/13, AUTHOR = {Demaine, Erik D. and Iacono, John and Langerman, Stefan and {\"O}zkan, {\"O}zg{\"u}r}, TITLE = {Combining binary search trees}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {388-399}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_33}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Demaine-Patitz-Rogers-Schweller-Summers-Woods/13, AUTHOR = {Demaine, Erik D. and Patitz, Matthew J. and Rogers, Trent A. and Schweller, Robert T. and Summers, Scott M. and Woods, Damian}, TITLE = {The two-handed tile assembly model is not intrinsically universal}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {400-412}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_34}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dinur-Goldenberg/13, AUTHOR = {Dinur, Irit and Goldenberg, Elazar}, TITLE = {Clustering in the Boolean hypercube in a list decoding regime}, BOOKTITLE = {Proceedings of the 40th International Colloquium on Automata, Languages and Programming, ICALP'2013, Part I (Riga, Latvia, July 8-12, 2013)}, SERIES = {LNCS}, VOLUME = {7965}, PAGES = {413-424}, YEAR = {2013}, EDITOR = {Fomin, Fedor V. and Freivalds, R{\=u}si{\c{n}}{\v{s}} and Kwiatkowska, Marta and Peleg, David}, URL = {http://dx.doi.org/10.1007/978-3-642-39206-1_35}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Albers/13, AUTHOR = {Albers, Susanne}, TITLE = {Recent results for online makespan minimization}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {1-3}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, PCOMMENT = {extended abstract}, } @incollection{Bilo-Bilo/13, AUTHOR = {Bil{\`o}, Davide and Bil{\`o}, Vittorio}, TITLE = {New bounds for the balloon popping problem}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {5-16}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Angelucci-Bilo-Flammini-Moscardelli/13, AUTHOR = {Angelucci, Anna and Bil{\`o}, Vittorio and Flammini, Michele and Moscardelli, Luca}, TITLE = {On the sequential price of anarchy of isolation games}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {17-28}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bianchi-Bockenhauer-Hromkovic-Krug-Steffen/13, AUTHOR = {Bianchi, Maria Paola and B{\"o}ckenhauer, Hans-Joachim and Hromkovi{\v{c}}, Juraj and Krug, Sacha and Steffen, Bj{\"o}rn}, TITLE = {On the advice complexity of the online $L(2,1)$-coloring problem on paths and cycles}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {53-64}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cheong-El_Shawi-Gudmundsson/13, AUTHOR = {Cheong, Otfried and El Shawi, Radwa and Gudmundsson, Joachim}, TITLE = {A fast algorithm for data collection along a fixed track}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {77-88}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Cao-Chen-Wang/13, AUTHOR = {Cao, Zhigang and Chen, Xujin and Wang, Changjun}, TITLE = {How to schedule the marketing of products with negative externalities}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {122-133}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_13}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bampis-Kononov-Letsios-Lucarelli-Nemparis/13, AUTHOR = {Bampis, Evripidis and Kononov, Alexander and Letsios, Dimitrios and Lucarelli, Giorgio and Nemparis, Ioannis}, TITLE = {From preemptive to non-preemptive speed-scaling scheduling}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {134-146}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_14}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Baron-Ishai-Ostrovsky/13, AUTHOR = {Baron, Joshua and Ishai, Yuval and Ostrovsky, Rafail}, TITLE = {On linear-size pseudorandom generators and hardcore functions}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {169-181}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_17}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Banik-Das-Maheshwari-Smid/13, AUTHOR = {Banik, Aritra and Das, Sandip and Maheshwari, Anil and Smid, Michiel}, TITLE = {The discrete Voronoi game in a simple polygon}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {197-207}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_19}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chlebik-Chlebikova/13, AUTHOR = {Chleb{\'{i}}k, Miroslav and Chleb{\'{i}}kov{\'a}, Janka}, TITLE = {On the conjunctive capacity of graphs}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {280-291}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_26}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Angel-Thang-Regnault/13, AUTHOR = {Angel, Eric and Thang, Nguyen Kim and Regnault, Damien}, TITLE = {Improved local search for universal facility location}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {316-324}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_29}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ben-Ameur-Mohamed-Sidi-Neto/13, AUTHOR = {Ben-Ameur, Walid and Mohamed-Sidi, Mohamed-Ahmed and Neto, Jos{\'e}}, TITLE = {The $k$-separator problem}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {337-348}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_31}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Baumbach-Guo-Ibragimov/13, AUTHOR = {Baumbach, Jan and Guo, Jiong and Ibragimov, Rashid}, TITLE = {Covering tree with stars}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {373-384}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_34}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Li-Yang-Lu/13, AUTHOR = {Chen, Kun-Tze and Li, Chi-Long and Yang, Chung-Han and Lu, Chin Lung}, TITLE = {An efficient algorithm for one-sided block ordering problem with block-interchange distance}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {409-420}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_37}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Ahmed-Mneimneh-Greenbaum/13, AUTHOR = {Ahmed, Syed Ali and Mneimneh, Saad and Greenbaum, Nancy L.}, TITLE = {A combinatorial approach for multiple RNA interaction: Formulations, approximations, and heuristics}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {421-433}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_38}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Crowston-Gutin-Jones-Muciaccia/13, AUTHOR = {Crowston, Robert and Gutin, Gregory and Jones, Mark and Muciaccia, Gabriele}, TITLE = {Maximum balanced subgraph problem parameterized above lower bound}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {434-445}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_39}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Damaschke-Muhammad/13, AUTHOR = {Damaschke, Peter and Muhammad, Azam Sheikh}, TITLE = {A toolbox for provably optimal multistage strict group testing strategies}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {446-457}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_40}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Crespelle-Thierry-Lambert/13, AUTHOR = {Crespelle, Christophe and Thierry, Eric and Lambert, Thomas}, TITLE = {A linear-time algorithm for computing the prime decomposition of a directed graph with regard to the Cartesian product}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {469-480}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_42}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chiplunkar-Vishwanathan/13, AUTHOR = {Chiplunkar, Ashish and Vishwanathan, Sundar}, TITLE = {Metrical service systems with multiple servers}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {481-492}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_43}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bockenhauer-Hromkovic-Komm-Krug-Smula-Sprock/13, AUTHOR = {B{\"o}ckenhauer, Hans-Joachim and Hromkovi{\v{c}}, Juraj and Komm, Dennis and Krug, Sacha and Smula, Jasmin and Sprock, Andreas}, TITLE = {The string guessing problem as a method to prove lower bounds on the advice complexity}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {493-505}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_44}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, PCOMMENT = {extended abstract}, } @incollection{Bazgan-Chopin-Nichterlein-Sikora/13, AUTHOR = {Bazgan, Cristina and Chopin, Morgan and Nichterlein, Andr{\'e} and Sikora, Florian}, TITLE = {Parameterized approximability of maximizing the spread of influence in networks}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {543-554}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_48}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Campelo-Huiban-Sampaio-Wakabayashi/13, AUTHOR = {Camp{\^e}lo, Manoel B. and Huiban, Cristiana G. and Sampaio, Rudini M. and Wakabayashi, Yoshiko}, TITLE = {On the complexity of solving or approximating convex recoloring problems}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {614-625}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_54}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Babu-Basavaraju-Chandran_Leela-Rajendraprasad/13, AUTHOR = {Babu, Jasine and Basavaraju, Manu and Chandran Leela, Sunil and Rajendraprasad, Deepak}, TITLE = {2-connecting outerplanar graphs without blowing up the pathwidth}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {626-637}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_55}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Braverman-Gelles-Ostrovsky/13, AUTHOR = {Braverman, Vladimir and Gelles, Ran and Ostrovsky, Rafail}, TITLE = {How to catch $L_2$-heavy-hitters on sliding windows}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {638-650}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_56}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bi-Wu-Wang-Fan/13, AUTHOR = {Bi, Yuanjun and Wu, Weili and Wang, Ailian and Fan, Lidan}, TITLE = {Community expansion model based on charged system theory}, BOOKTITLE = {Proceedings of the 19th International Conference on Computing and Combinatorics, COCOON'2013 (Hangzhou, China, June 21-23, 2013)}, SERIES = {LNCS}, VOLUME = {7936}, PAGES = {780-790}, YEAR = {2013}, EDITOR = {Du, Ding-Zhu and Zhang, Guochuan}, URL = {http://dx.doi.org/10.1007/978-3-642-38768-5_71}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Amparore-Ballarini-Beccuti-Donatelli-Franceschinis/13, AUTHOR = {Amparore, Elvio Gilberto and Ballarini, Paolo and Beccuti, Marco and Donatelli, Susanna and Franceschinis, Giuliana}, TITLE = {Expressing and computing passage time measures of GSPN models with HASL}, BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)}, SERIES = {LNCS}, VOLUME = {7927}, PAGES = {110-129}, YEAR = {2013}, EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg}, URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Boucheneb-Lime-Roux/13, AUTHOR = {Boucheneb, Hanifa and Lime, Didier and Roux, Olivier H.}, TITLE = {On multi-enabledness in time Petri nets}, BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)}, SERIES = {LNCS}, VOLUME = {7927}, PAGES = {130-149}, YEAR = {2013}, EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg}, URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Clemente-Fanti-Mangini-Ukovich/13, AUTHOR = {Clemente, Monica and Fanti, Maria Pia and Mangini, Agostino M. and Ukovich, Walter}, TITLE = {The vehicle relocation problem in car sharing systems: Modeling and simulation in a Petri net framework}, BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)}, SERIES = {LNCS}, VOLUME = {7927}, PAGES = {250-269}, YEAR = {2013}, EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg}, URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_14}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bergenthum/13, AUTHOR = {Bergenthum, Robin}, TITLE = {Faster verification of partially ordered runs in Petri nets using compact tokenflows}, BOOKTITLE = {Proceedings of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS'2013 (Milan, Italy, June 24-28, 2013)}, SERIES = {LNCS}, VOLUME = {7927}, PAGES = {330-348}, YEAR = {2013}, EDITOR = {Colom, Jos{\'e}-Manuel and Desel, J{\"o}rg}, URL = {http://dx.doi.org/10.1007/978-3-642-38697-8_18}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Apostolico-Crochemore-Farach-Colton-Galil-Muthukrishnan/13, AUTHOR = {Apostolico, Alberto and Crochemore, Maxime and Farach-Colton, Martin and Galil, Zvi and Muthukrishnan, S.}, TITLE = {Forty years of text indexing}, BOOKTITLE = {Proceedings of the 24th Annual Symposium on Combinatorial Pattern Matching, CPM'2013 (Bad Herrenalb, Germany, June 17-19, 2013)}, SERIES = {LNCS}, VOLUME = {7922}, PAGES = {1-10}, YEAR = {2013}, EDITOR = {Fischer, Johannes and Sanders, Peter}, URL = {http://dx.doi.org/10.1007/978-3-642-38905-4_1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Amit-Crochemore-Landau/13, AUTHOR = {Amit, Mika and Crochemore, Maxime and Landau, Gad M.}, TITLE = {Locating all maximal approximate runs in a string}, BOOKTITLE = {Proceedings of the 24th Annual Symposium on Combinatorial Pattern Matching, CPM'2013 (Bad Herrenalb, Germany, June 17-19, 2013)}, SERIES = {LNCS}, VOLUME = {7922}, PAGES = {13-27}, YEAR = {2013}, EDITOR = {Fischer, Johannes and Sanders, Peter}, URL = {http://dx.doi.org/10.1007/978-3-642-38905-4_4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Babenko-Kolesnichenko-Starikovskaya/13, AUTHOR = {Babenko, Maxim and Kolesnichenko, Ignat and Starikovskaya, Tatiana}, TITLE = {On minimal and maximal suffixes of a substring}, BOOKTITLE = {Proceedings of the 24th Annual Symposium on Combinatorial Pattern Matching, CPM'2013 (Bad Herrenalb, Germany, June 17-19, 2013)}, SERIES = {LNCS}, VOLUME = {7922}, PAGES = {28-37}, YEAR = {2013}, EDITOR = {Fischer, Johannes and Sanders, Peter}, URL = {http://dx.doi.org/10.1007/978-3-642-38905-4_5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bannai-Gawrychowski-Inenaga-Takeda/13, AUTHOR = {Bannai, Hideo and Gawrychowski, Pawe{\l} and Inenaga, Shunsuke and Takeda, Masayuki}, TITLE = {Converting SLP to LZ78 in almost linear time}, BOOKTITLE = {Proceedings of the 24th Annual Symposium on Combinatorial Pattern Matching, CPM'2013 (Bad Herrenalb, Germany, June 17-19, 2013)}, SERIES = {LNCS}, VOLUME = {7922}, PAGES = {38-49}, YEAR = {2013}, EDITOR = {Fischer, Johannes and Sanders, Peter}, URL = {http://dx.doi.org/10.1007/978-3-642-38905-4_6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Benson-Hernandez-Loving/13, AUTHOR = {Benson, Gary and Hernandez, Yozen and Loving, Joshua}, TITLE = {A bit-parallel, general integer-scoring sequence alignment algorithm}, BOOKTITLE = {Proceedings of the 24th Annual Symposium on Combinatorial Pattern Matching, CPM'2013 (Bad Herrenalb, Germany, June 17-19, 2013)}, SERIES = {LNCS}, VOLUME = {7922}, PAGES = {50-61}, YEAR = {2013}, EDITOR = {Fischer, Johannes and Sanders, Peter}, URL = {http://dx.doi.org/10.1007/978-3-642-38905-4_7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bille-Cording-Gortz/13, AUTHOR = {Bille, Philip and Cording, Patrick Hagge and G{\o}rtz, Inge Li}, TITLE = {Compact q-gram profiling of compressed strings}, BOOKTITLE = {Proceedings of the 24th Annual Symposium on Combinatorial Pattern Matching, CPM'2013 (Bad Herrenalb, Germany, June 17-19, 2013)}, SERIES = {LNCS}, VOLUME = {7922}, PAGES = {62-73}, YEAR = {2013}, EDITOR = {Fischer, Johannes and Sanders, Peter}, URL = {http://dx.doi.org/10.1007/978-3-642-38905-4_8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Crochemore-Grossi-Karkkainen-Landau/13, AUTHOR = {Crochemore, Maxime and Grossi, Roberto and K{\"a}rkk{\"a}inen, Juha and Landau, Gad M.}, TITLE = {A constant-space comparison-based algorithm for computing the Burrows-Wheeler transform}, BOOKTITLE = {Proceedings of the 24th Annual Symposium on Combinatorial Pattern Matching, CPM'2013 (Bad Herrenalb, Germany, June 17-19, 2013)}, SERIES = {LNCS}, VOLUME = {7922}, PAGES = {74-82}, YEAR = {2013}, EDITOR = {Fischer, Johannes and Sanders, Peter}, URL = {http://dx.doi.org/10.1007/978-3-642-38905-4_9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alqahtani-Erlebach/13, AUTHOR = {Alqahtani, Hasna Mohsen and Erlebach, Thomas}, TITLE = {Approximation algorithms for disjoint $st$-paths with minimum activation cost}, BOOKTITLE = {Proceedings of the 8th International Conference on Algorithms and Complexity, CIAC'2013 (Barcelona, Spain, May 22-24, 2013)}, SERIES = {LNCS}, VOLUME = {7878}, PAGES = {1-12}, YEAR = {2013}, EDITOR = {Spirakis, Paul G. and Serna, Maria}, URL = {http://dx.doi.org/10.1007/978-3-642-38233-8_1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Backstrom-Jonsson-Ordyniak-Szeider/13, AUTHOR = {B{\"a}ckstr{\"o}m, Christer and Jonsson, Peter and Ordyniak, Sebastian and Szeider, Stefan}, TITLE = {Parameterized complexity and kernel bounds for hard planning problems}, BOOKTITLE = {Proceedings of the 8th International Conference on Algorithms and Complexity, CIAC'2013 (Barcelona, Spain, May 22-24, 2013)}, SERIES = {LNCS}, VOLUME = {7878}, PAGES = {13-24}, YEAR = {2013}, EDITOR = {Spirakis, Paul G. and Serna, Maria}, URL = {http://dx.doi.org/10.1007/978-3-642-38233-8_2}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bampas-Pagourtzis-Pierrakos-Syrgkanis/13, AUTHOR = {Bampas, Evangelos and Pagourtzis, Aris and Pierrakos, George and Syrgkanis, Vasilis}, TITLE = {Selfish resource allocation in optical networks}, BOOKTITLE = {Proceedings of the 8th International Conference on Algorithms and Complexity, CIAC'2013 (Barcelona, Spain, May 22-24, 2013)}, SERIES = {LNCS}, VOLUME = {7878}, PAGES = {25-36}, YEAR = {2013}, EDITOR = {Spirakis, Paul G. and Serna, Maria}, URL = {http://dx.doi.org/10.1007/978-3-642-38233-8_3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Belazzougui-Raffinot/13, AUTHOR = {Belazzougui, Djamal and Raffinot, Mathieu}, TITLE = {Average optimal string matching in packed strings}, BOOKTITLE = {Proceedings of the 8th International Conference on Algorithms and Complexity, CIAC'2013 (Barcelona, Spain, May 22-24, 2013)}, SERIES = {LNCS}, VOLUME = {7878}, PAGES = {37-48}, YEAR = {2013}, EDITOR = {Spirakis, Paul G. and Serna, Maria}, URL = {http://dx.doi.org/10.1007/978-3-642-38233-8_4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Boyar-Find-Peralta/13, AUTHOR = {Boyar, Joan and Find, Magnus and Peralta, Ren{\'e}}, TITLE = {Four measures of nonlinearity}, BOOKTITLE = {Proceedings of the 8th International Conference on Algorithms and Complexity, CIAC'2013 (Barcelona, Spain, May 22-24, 2013)}, SERIES = {LNCS}, VOLUME = {7878}, PAGES = {61-72}, YEAR = {2013}, EDITOR = {Spirakis, Paul G. and Serna, Maria}, URL = {http://dx.doi.org/10.1007/978-3-642-38233-8_6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bruckdorfer-Felsner-Kaufmann/13, AUTHOR = {Bruckdorfer, Till and Felsner, Stefan and Kaufmann, Michael}, TITLE = {On the characterization of plane bus graphs}, BOOKTITLE = {Proceedings of the 8th International Conference on Algorithms and Complexity, CIAC'2013 (Barcelona, Spain, May 22-24, 2013)}, SERIES = {LNCS}, VOLUME = {7878}, PAGES = {73-84}, YEAR = {2013}, EDITOR = {Spirakis, Paul G. and Serna, Maria}, URL = {http://dx.doi.org/10.1007/978-3-642-38233-8_7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Burcea-Wong-Yung/13, AUTHOR = {Burcea, Mihai and Wong, Prudence W.H. and Yung, Fencol C.C.}, TITLE = {Online multi-dimensional dynamic bin packing of unit-fraction items}, BOOKTITLE = {Proceedings of the 8th International Conference on Algorithms and Complexity, CIAC'2013 (Barcelona, Spain, May 22-24, 2013)}, SERIES = {LNCS}, VOLUME = {7878}, PAGES = {85-96}, YEAR = {2013}, EDITOR = {Spirakis, Paul G. and Serna, Maria}, URL = {http://dx.doi.org/10.1007/978-3-642-38233-8_8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chrobak-Feige-Taghi_Hajiaghayi-Khanna-Li-Naor/13, AUTHOR = {Chrobak, Marek and Feige, Uriel and Taghi Hajiaghayi, Mohammad and Khanna, Sanjeev and Li, Fei and Naor, Seffi}, TITLE = {A greedy approximation algorithm for minimum-gap scheduling}, BOOKTITLE = {Proceedings of the 8th International Conference on Algorithms and Complexity, CIAC'2013 (Barcelona, Spain, May 22-24, 2013)}, SERIES = {LNCS}, VOLUME = {7878}, PAGES = {97-109}, YEAR = {2013}, EDITOR = {Spirakis, Paul G. and Serna, Maria}, URL = {http://dx.doi.org/10.1007/978-3-642-38233-8_9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dantsin-Wolpert/13, AUTHOR = {Dantsin, Evgeny and Wolpert, Alexander}, TITLE = {Exponential complexity of satisfiability testing for linear-size Boolean formulas}, BOOKTITLE = {Proceedings of the 8th International Conference on Algorithms and Complexity, CIAC'2013 (Barcelona, Spain, May 22-24, 2013)}, SERIES = {LNCS}, VOLUME = {7878}, PAGES = {110-121}, YEAR = {2013}, EDITOR = {Spirakis, Paul G. and Serna, Maria}, URL = {http://dx.doi.org/10.1007/978-3-642-38233-8_10}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Datta-Larmore-Pagli-Prencipe/13, AUTHOR = {Datta, Ajoy K. and Larmore, Lawrence L. and Pagli, Linda and Prencipe, Giuseppe}, TITLE = {Linear time distributed swap edge algorithms}, BOOKTITLE = {Proceedings of the 8th International Conference on Algorithms and Complexity, CIAC'2013 (Barcelona, Spain, May 22-24, 2013)}, SERIES = {LNCS}, VOLUME = {7878}, PAGES = {122-133}, YEAR = {2013}, EDITOR = {Spirakis, Paul G. and Serna, Maria}, URL = {http://dx.doi.org/10.1007/978-3-642-38233-8_11}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Diaz-Banez-Korman-Perez-Lantero-Pilz-Seara-Silveira/13, AUTHOR = {D{\'{i}}az-B{\'a}{\~n}ez, Jos{\'e} Miguel and Korman, Matias and P{\'e}rez-Lantero, Pablo and Pilz, Alexander and Seara, Carlos and Silveira, Rodrigo I.}, TITLE = {New results on stabbing segments with a polygon}, BOOKTITLE = {Proceedings of the 8th International Conference on Algorithms and Complexity, CIAC'2013 (Barcelona, Spain, May 22-24, 2013)}, SERIES = {LNCS}, VOLUME = {7878}, PAGES = {146-157}, YEAR = {2013}, EDITOR = {Spirakis, Paul G. and Serna, Maria}, URL = {http://dx.doi.org/10.1007/978-3-642-38233-8_13}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Disser-Feldmann-Klimm-Mihalak/13, AUTHOR = {Disser, Yann and Feldmann, Andreas Emil and Klimm, Max and Mihal{\'a}k, Mat{\'u}{\v{s}}}, TITLE = {Improving the $H_k$-bound on the price of stability in undirected shapley network design games}, BOOKTITLE = {Proceedings of the 8th International Conference on Algorithms and Complexity, CIAC'2013 (Barcelona, Spain, May 22-24, 2013)}, SERIES = {LNCS}, VOLUME = {7878}, PAGES = {158-169}, YEAR = {2013}, EDITOR = {Spirakis, Paul G. and Serna, Maria}, URL = {http://dx.doi.org/10.1007/978-3-642-38233-8_14}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Aardal-von_Heymann/13, AUTHOR = {Aardal, Karen and von Heymann, Frederik}, TITLE = {On the structure of reduced kernel lattice bases}, BOOKTITLE = {Proceedings of the 16th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2013 (Valpara{\'{i}}so, Chile, March 18-20, 2013)}, SERIES = {LNCS}, VOLUME = {7801}, PAGES = {1-12}, YEAR = {2013}, EDITOR = {Goemans, Michel and Correa, Jos{\'e}}, URL = {http://dx.doi.org/10.1007/978-3-642-36694-9_1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Adany-Feldman-Haramaty-Khandekar-Schieber-Schwartz-Shachnai-Tamir/13, AUTHOR = {Adany, Ron and Feldman, Moran and Haramaty, Elad and Khandekar, Rohit and Schieber, Baruch and Schwartz, Roy and Shachnai, Hadas and Tamir, Tami}, TITLE = {All-or-nothing generalized assignment with application to scheduling advertising campaigns}, BOOKTITLE = {Proceedings of the 16th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2013 (Valpara{\'{i}}so, Chile, March 18-20, 2013)}, SERIES = {LNCS}, VOLUME = {7801}, PAGES = {13-24}, YEAR = {2013}, EDITOR = {Goemans, Michel and Correa, Jos{\'e}}, URL = {http://dx.doi.org/10.1007/978-3-642-36694-9_2}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Anagnostopoulos-Grandoni-Leonardi-Wiese/13, AUTHOR = {Anagnostopoulos, Aris and Grandoni, Fabrizio and Leonardi, Stefano and Wiese, Andreas}, TITLE = {Constant integrality gap LP formulations of unsplittable flow on a path}, BOOKTITLE = {Proceedings of the 16th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2013 (Valpara{\'{i}}so, Chile, March 18-20, 2013)}, SERIES = {LNCS}, VOLUME = {7801}, PAGES = {25-36}, YEAR = {2013}, EDITOR = {Goemans, Michel and Correa, Jos{\'e}}, URL = {http://dx.doi.org/10.1007/978-3-642-36694-9_3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Andersen-Jensen/13, AUTHOR = {Andersen, Kent and Jensen, Anders Nedergaard}, TITLE = {Intersection cuts for mixed integer conic quadratic sets}, BOOKTITLE = {Proceedings of the 16th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2013 (Valpara{\'{i}}so, Chile, March 18-20, 2013)}, SERIES = {LNCS}, VOLUME = {7801}, PAGES = {37-48}, YEAR = {2013}, EDITOR = {Goemans, Michel and Correa, Jos{\'e}}, URL = {http://dx.doi.org/10.1007/978-3-642-36694-9_4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Applegate-Archer-Gopalakrishnan-Lee-Ramakrishnan/13, AUTHOR = {Applegate, David and Archer, Aaron and Gopalakrishnan, Vijay and Lee, Seungjoon and Ramakrishnan, K.K.}, TITLE = {Content placement via the exponential potential function method}, BOOKTITLE = {Proceedings of the 16th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2013 (Valpara{\'{i}}so, Chile, March 18-20, 2013)}, SERIES = {LNCS}, VOLUME = {7801}, PAGES = {49-61}, YEAR = {2013}, EDITOR = {Goemans, Michel and Correa, Jos{\'e}}, URL = {http://dx.doi.org/10.1007/978-3-642-36694-9_5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Basu-Hildebrand-Koppe/13, AUTHOR = {Basu, Amitabh and Hildebrand, Robert and K{\"o}ppe, Matthias}, TITLE = {Equivariant perturbation in Gomory and Johnson's infinite group problem: II. The unimodular two-dimensional case}, BOOKTITLE = {Proceedings of the 16th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2013 (Valpara{\'{i}}so, Chile, March 18-20, 2013)}, SERIES = {LNCS}, VOLUME = {7801}, PAGES = {62-73}, YEAR = {2013}, EDITOR = {Goemans, Michel and Correa, Jos{\'e}}, URL = {http://dx.doi.org/10.1007/978-3-642-36694-9_6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bernath-Pap/13, AUTHOR = {Bern{\'a}th, Attila and Pap, Gyula}, TITLE = {Blocking optimal arborescences}, BOOKTITLE = {Proceedings of the 16th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2013 (Valpara{\'{i}}so, Chile, March 18-20, 2013)}, SERIES = {LNCS}, VOLUME = {7801}, PAGES = {74-85}, YEAR = {2013}, EDITOR = {Goemans, Michel and Correa, Jos{\'e}}, URL = {http://dx.doi.org/10.1007/978-3-642-36694-9_7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bonomo-Oriolo-Snels-Stauffer/13, AUTHOR = {Bonomo, Flavia and Oriolo, Gianpaolo and Snels, Claudia and Stauffer, Gautier}, TITLE = {Minimum clique cover in claw-free perfect graphs and the weak Edmonds-Johnson property}, BOOKTITLE = {Proceedings of the 16th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2013 (Valpara{\'{i}}so, Chile, March 18-20, 2013)}, SERIES = {LNCS}, VOLUME = {7801}, PAGES = {86-97}, YEAR = {2013}, EDITOR = {Goemans, Michel and Correa, Jos{\'e}}, URL = {http://dx.doi.org/10.1007/978-3-642-36694-9_8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Caprara-Carvalho-Lodi-Woeginger/13, AUTHOR = {Caprara, Alberto and Carvalho, Margarida and Lodi, Andrea and Woeginger, Gerhard J.}, TITLE = {A complexity and approximability study of the bilevel knapsack problem}, BOOKTITLE = {Proceedings of the 16th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2013 (Valpara{\'{i}}so, Chile, March 18-20, 2013)}, SERIES = {LNCS}, VOLUME = {7801}, PAGES = {98-109}, YEAR = {2013}, EDITOR = {Goemans, Michel and Correa, Jos{\'e}}, URL = {http://dx.doi.org/10.1007/978-3-642-36694-9_9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chen-Li-Liang-Wang/13, AUTHOR = {Chen, Danny Z. and Li, Jian and Liang, Hongyu and Wang, Haitao}, TITLE = {Matroid and knapsack center problems}, BOOKTITLE = {Proceedings of the 16th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2013 (Valpara{\'{i}}so, Chile, March 18-20, 2013)}, SERIES = {LNCS}, VOLUME = {7801}, PAGES = {110-122}, YEAR = {2013}, EDITOR = {Goemans, Michel and Correa, Jos{\'e}}, URL = {http://dx.doi.org/10.1007/978-3-642-36694-9_10}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Conforti-Cornuejols-Daniilidis-Lemarechal-Malick/13, AUTHOR = {Conforti, Michele and Cornu{\'e}jols, G{\'e}rard and Daniilidis, Aris and Lemar{\'e}chal, Claude and Malick, J{\'e}r{\^o}me}, TITLE = {Cut-generating functions}, BOOKTITLE = {Proceedings of the 16th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2013 (Valpara{\'{i}}so, Chile, March 18-20, 2013)}, SERIES = {LNCS}, VOLUME = {7801}, PAGES = {123-132}, YEAR = {2013}, EDITOR = {Goemans, Michel and Correa, Jos{\'e}}, URL = {http://dx.doi.org/10.1007/978-3-642-36694-9_11}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Conforti-Del_Pia-Di_Summa-Faenza-Grappe/13, AUTHOR = {Conforti, Michele and Del Pia, Alberto and Di Summa, Marco and Faenza, Yuri and Grappe, Roland}, TITLE = {Reverse Chv{\'a}tal-Gomory rank}, BOOKTITLE = {Proceedings of the 16th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2013 (Valpara{\'{i}}so, Chile, March 18-20, 2013)}, SERIES = {LNCS}, VOLUME = {7801}, PAGES = {133-144}, YEAR = {2013}, EDITOR = {Goemans, Michel and Correa, Jos{\'e}}, URL = {http://dx.doi.org/10.1007/978-3-642-36694-9_12}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dash-Gunluk-Moran_Ramirez/13, AUTHOR = {Dash, Sanjeeb and G{\"u}nl{\"u}k, Oktay and M{\'o}ran Ramirez, Diego Alejandro}, TITLE = {On some generalizations of the split closure}, BOOKTITLE = {Proceedings of the 16th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2013 (Valpara{\'{i}}so, Chile, March 18-20, 2013)}, SERIES = {LNCS}, VOLUME = {7801}, PAGES = {145-156}, YEAR = {2013}, EDITOR = {Goemans, Michel and Correa, Jos{\'e}}, URL = {http://dx.doi.org/10.1007/978-3-642-36694-9_13}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Dinitz-Gupta/13, AUTHOR = {Dinitz, Michael and Gupta, Anupam}, TITLE = {Packing interdiction and partial covering problems}, BOOKTITLE = {Proceedings of the 16th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2013 (Valpara{\'{i}}so, Chile, March 18-20, 2013)}, SERIES = {LNCS}, VOLUME = {7801}, PAGES = {157-168}, YEAR = {2013}, EDITOR = {Goemans, Michel and Correa, Jos{\'e}}, URL = {http://dx.doi.org/10.1007/978-3-642-36694-9_14}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bose/13, AUTHOR = {Bose, Prosenjit}, TITLE = {Flips}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {1-1}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Blasius-Rutter/13, AUTHOR = {Bl{\"a}sius, Thomas and Rutter, Ignaz}, TITLE = {Disconnectivity and relative positions in simultaneous embeddings}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {31-42}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_4}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bruckdorfer-Cornelsen-Gutwenger-Kaufmann-Montecchiani-Nollenburg-Wolff/13, AUTHOR = {Bruckdorfer, Till and Cornelsen, Sabine and Gutwenger, Carsten and Kaufmann, Michael and Montecchiani, Fabrizio and N{\"o}llenburg, Martin and Wolff, Alexander}, TITLE = {Progress on partial edge drawings}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {67-78}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Angelini-Di_Bartolomeo-Di_Battista/13, AUTHOR = {Angelini, Patrizio and Di Bartolomeo, Marco and Di Battista, Giuseppe}, TITLE = {Implementing a partitioned 2-page book embedding testing algorithm}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {79-89}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chimani-Klein/13, AUTHOR = {Chimani, Markus and Klein, Karsten}, TITLE = {Shrinking the search space for clustered planarity}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {90-101}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alamdari-Biedl/13, AUTHOR = {Alamdari, Soroush and Biedl, Therese}, TITLE = {Open rectangle-of-influence drawings of non-triangulated planar graphs}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {102-113}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_10}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Di_Giacomo-Liotta-Meijer/13, AUTHOR = {Di Giacomo, Emilio and Liotta, Giuseppe and Meijer, Henk}, TITLE = {The approximate rectangle of influence drawability problem}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {114-125}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_11}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bekos-Raftopoulou/13, AUTHOR = {Bekos, Michael A. and Raftopoulou, Chrysanthi N.}, TITLE = {Circle-representations of simple 4-regular planar graphs}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {138-149}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_13}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bekos-Kaufmann-Kobourov-Symvonis/13, AUTHOR = {Bekos, Michael A. and Kaufmann, Michael and Kobourov, Stephen G. and Symvonis, Antonios}, TITLE = {Smooth orthogonal layouts}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {150-161}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_14}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chaplick-Ueckerdt/13, AUTHOR = {Chaplick, Steven and Ueckerdt, Torsten}, TITLE = {Planar graphs as VPG-graphs}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {174-186}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_16}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bremner-Evans-Frati-Heyer-Kobourov-Lenhart-Liotta-Rappaport-Whitesides/13, AUTHOR = {Bremner, David and Evans, William and Frati, Fabrizio and Heyer, Laurie and Kobourov, Stephen G. and Lenhart, William J. and Liotta, Giuseppe and Rappaport, David and Whitesides, Sue H.}, TITLE = {On representing graphs by touching cuboids}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {187-198}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_17}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alam-Kobourov/13, AUTHOR = {Alam, Md. Jawaherul and Kobourov, Stephen G.}, TITLE = {Proportional contact representations of 4-connected planar graphs}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {211-223}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_19}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Betz-Doll-Gemsa-Rutter-Wagner/13, AUTHOR = {Betz, Gregor and Doll, Christoph and Gemsa, Andreas and Rutter, Ignaz and Wagner, Dorothea}, TITLE = {Column-based graph layouts}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {236-247}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_21}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Chimani-Zeranski/13, AUTHOR = {Chimani, Markus and Zeranski, Robert}, TITLE = {Upward planarity testing via SAT}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {248-259}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_22}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Alamdari-Chan-Grant-Lubiw-Pathak/13, AUTHOR = {Alamdari, Soroush and Chan, Timothy M. and Grant, Elyot and Lubiw, Anna and Pathak, Vinayak}, TITLE = {Self-approaching graphs}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {260-271}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_23}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Balko/13, AUTHOR = {Balko, Martin}, TITLE = {Grid drawings and the chromatic number}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {315-326}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_28}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Brandenburg-Eppstein-Gleissner-Goodrich-Hanauer-Reislhuber/13, AUTHOR = {Brandenburg, Franz J. and Eppstein, David and Glei{\ss}ner, Andreas and Goodrich, Michael T. and Hanauer, Kathrin and Reislhuber, Josef}, TITLE = {On the density of maximal 1-planar graphs}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {327-338}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_29}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Castelli_Aleardi-Devillers-Fusy/13, AUTHOR = {Castelli Aleardi, Luca and Devillers, Olivier and Fusy, {\'E}ric}, TITLE = {Canonical ordering for triangulations on the cylinder, with applications to periodic straight-line drawings}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {376-387}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_34}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bannister-Eppstein-Goodrich-Trott/13, AUTHOR = {Bannister, Michael J. and Eppstein, David and Goodrich, Michael T. and Trott, Lowell}, TITLE = {Force-directed graph drawing using social gravity and scaling}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {414-425}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_37}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Archambault-Purchase/13, AUTHOR = {Archambault, Daniel and Purchase, Helen C.}, TITLE = {Mental map preservation helps user orientation in dynamic graphs}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {475-486}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_42}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bies-van_Kreveld/13, AUTHOR = {Bies, Sandra and van Kreveld, Marc}, TITLE = {Time-space maps from triangulations}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {511-516}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_45}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Auer-Bachmaier-Brandenburg-Gleissner-Reislhuber/13, AUTHOR = {Auer, Christopher and Bachmaier, Christian and Brandenburg, Franz J. and Glei{\ss}ner, Andreas and Reislhuber, Josef}, TITLE = {Optical graph recognition}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {529-540}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_47}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Bach-Spritzer-Lutton-Fekete/13, AUTHOR = {Bach, Benjamin and Spritzer, Andre and Lutton, Evelyne and Fekete, Jean-Daniel}, TITLE = {Interactive random graph generation with evolutionary algorithms}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {541-552}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_48}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Athenstadt-Gorke-Krug-Nollenburg/13, AUTHOR = {Athenst{\"a}dt, Jan Christoph and G{\"o}rke, Robert and Krug, Marcus and N{\"o}llenburg, Martin}, TITLE = {Visualizing large hierarchically clustered graphs with a landscape metaphor}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {553-554}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_49}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Auer-Brandenburg-Gleissner-Hanauer/13, AUTHOR = {Auer, Christopher and Brandenburg, Franz J. and Glei{\ss}ner, Andreas and Hanauer, Kathrin}, TITLE = {On sparse maximal 2-planar graphs}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {555-556}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_50}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, } @incollection{Auer-Gleissner-Hanauer-Vetter/13, AUTHOR = {Auer, Christopher and Glei{\ss}ner, Andreas and Hanauer, Kathrin and Vetter, Sebastian}, TITLE = {Testing planarity by switching trains}, BOOKTITLE = {Proceedings of the 20th International Symposium on Graph Drawing, GD'2012 (Redmond, WA, USA, September 19-21, 2012)}, SERIES = {LNCS}, VOLUME = {7704}, PAGES = {557-558}, YEAR = {2013}, EDITOR = {Didimo, Walter and Patrignani, Maurizio}, URL = {http://dx.doi.org/10.1007/978-3-642-36763-2_51}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg}, }