@incollection{Backes-Durmuth-Kusters/07,
AUTHOR = {Backes, Michael and D{\"u}rmuth, Markus and K{\"u}sters, Ralf},
TITLE = {On simulatability soundness and mapping soundness of symbolic cryptography},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {108-120},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chevalier-Kourjieh/07,
AUTHOR = {Chevalier, Yannick and Kourjieh, Mounira},
TITLE = {Key substitution in the symbolic analysis of cryptographic protocols},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {121-132},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Delaune-Kremer-Ryan/07,
AUTHOR = {Delaune, St{\'e}phanie and Kremer, Steve and Ryan, Mark},
TITLE = {Symbolic bisimulation for the applied pi calculus},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {133-145},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Baier-Bertrand-Bouyer-Brihaye-Grosser/07,
AUTHOR = {Baier, Christel and Bertrand, Nathalie and Bouyer, Patricia and Brihaye, Thomas and Gr{\"o}{\ss}er, Marcus},
TITLE = {Probabilistic and topological semantics for timed automata},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {179-191},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Beyersdorff/07,
AUTHOR = {Beyersdorff, Olaf},
TITLE = {The deduction theorem for strong propositional proof systems},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {241-252},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chambart-Schnoebelen/07,
AUTHOR = {Chambart, Pierre and Schnoebelen, Philippe},
TITLE = {Post embedding problem is not primitive recursive, with applications to channel systems},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {265-276},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Baudru-Morin/07,
AUTHOR = {Baudru, Nicolas and Morin, R{\'e}mi},
TITLE = {Synthesis of safe message-passing systems},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {277-289},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Akshay-Bollig-Gastin/07,
AUTHOR = {Akshay, S. and Bollig, Benedikt and Gastin, Paul},
TITLE = {Automata and logics for timed message sequence charts},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {290-302},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bollig-Kuske-Meinecke/07,
AUTHOR = {Bollig, Benedikt and Kuske, Dietrich and Meinecke, Ingmar},
TITLE = {Propositional dynamic logic for message-passing systems},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {303-315},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alon-Fomin-Gutin-Krivelevich-Saurabh/07a,
AUTHOR = {Alon, Noga and Fomin, Fedor V. and Gutin, Gregory and Krivelevich, Michael and Saurabh, Saket},
TITLE = {Better algorithms and bounds for directed maximum leaf problems},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {316-327},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cortier-Delaitre-Delaune/07,
AUTHOR = {Cortier, V{\'e}ronique and Delaitre, J{\'e}r{\'e}mie and Delaune, St{\'e}phanie},
TITLE = {Safely composing security protocols},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {352-363},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Courant-Ene-Lakhnech/07,
AUTHOR = {Courant, Judica{\"e}l and Ene, Cristian and Lakhnech, Yassine},
TITLE = {Computationally sound typing for non-interference: The case of deterministic encryption},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {364-375},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Arapinis-Duflot/07,
AUTHOR = {Arapinis, Myrto and Duflot, Marie},
TITLE = {Bounding messages for free in security protocols},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {376-387},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brevilliers-Chevallier-Schmitt/07,
AUTHOR = {Br{\'e}villiers, Mathieu and Chevallier, Nicolas and Schmitt, Dominique},
TITLE = {Triangulations of line segment sets in the plane},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {388-399},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Biedl-Hasan-Lopez-Ortiz/07,
AUTHOR = {Biedl, Therese and Hasan, Masud and L{\'o}pez-Ortiz, Alejandro},
TITLE = {Reconstructing convex polygons and polyhedra from edge and face counts in orthogonal projections},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {400-411},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chatterjee/07,
AUTHOR = {Chatterjee, Krishnendu},
TITLE = {Stochastic M{\"u}ller games are $P$SPACE-complete},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {436-448},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Benedikt-Jeffrey/07,
AUTHOR = {Benedikt, Michael and Jeffrey, Alan},
TITLE = {Efficient and expressive tree filters},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {461-472},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chatterjee/07a,
AUTHOR = {Chatterjee, Krishnendu},
TITLE = {Markov decision processes with multiple long-run average objectives},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {473-484},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Belkhir-Santocanale/07,
AUTHOR = {Belkhir, Walid and Santocanale, Luigi},
TITLE = {Undirected graphs of entanglement 2},
BOOKTITLE = {Proceedings of the 27th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2007 (New Delhi, India, December 12-14, 2007)},
SERIES = {LNCS},
VOLUME = {4855},
PAGES = {508-519},
YEAR = {2007},
EDITOR = {Arvind, V. and Prasad, Sanjiva},
URL = {http://dx.doi.org/10.1007/978-3-540-77050-3_42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bernstein-Lange/07,
AUTHOR = {Bernstein, Daniel J. and Lange, Tanja},
TITLE = {Inverted Edwards coordinates},
BOOKTITLE = {Proceedings of the 17th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2007 (Bangalore, India, December 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4851},
PAGES = {20-27},
YEAR = {2007},
EDITOR = {Bozta{\c{s}}, Serdar and Lu, Hsiao-Feng (Francis)},
URL = {http://dx.doi.org/10.1007/978-3-540-77224-8_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bracken-Byrne-Markin-McGuire/07,
AUTHOR = {Bracken, Carl and Byrne, Eimear and Markin, Nadya and McGuire, Gary},
TITLE = {Determining the nonlinearity of a new family of APN functions},
BOOKTITLE = {Proceedings of the 17th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2007 (Bangalore, India, December 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4851},
PAGES = {72-79},
YEAR = {2007},
EDITOR = {Bozta{\c{s}}, Serdar and Lu, Hsiao-Feng (Francis)},
URL = {http://dx.doi.org/10.1007/978-3-540-77224-8_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berhuy-Oggier/07,
AUTHOR = {Berhuy, Gr{\'e}gory and Oggier, Fr{\'e}d{\'e}rique},
TITLE = {Space-time codes from crossed product algebras of degree 4},
BOOKTITLE = {Proceedings of the 17th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2007 (Bangalore, India, December 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4851},
PAGES = {90-99},
YEAR = {2007},
EDITOR = {Bozta{\c{s}}, Serdar and Lu, Hsiao-Feng (Francis)},
URL = {http://dx.doi.org/10.1007/978-3-540-77224-8_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Das-Sikdar/07,
AUTHOR = {Das, M. Prem Laxman and Sikdar, Kripasindhu},
TITLE = {On the computation of non-uniform input for list decoding on Bezerra-Garcia tower},
BOOKTITLE = {Proceedings of the 17th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2007 (Bangalore, India, December 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4851},
PAGES = {237-246},
YEAR = {2007},
EDITOR = {Bozta{\c{s}}, Serdar and Lu, Hsiao-Feng (Francis)},
URL = {http://dx.doi.org/10.1007/978-3-540-77224-8_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Charon-Cohen-Hudry-Lobstein/07,
AUTHOR = {Charon, Ir{\`e}ne and Cohen, G{\'e}rard and Hudry, Olivier and Lobstein, Antoine},
TITLE = {Links between discriminating and identifying codes in the binary Hamming space},
BOOKTITLE = {Proceedings of the 17th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2007 (Bangalore, India, December 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4851},
PAGES = {267-270},
YEAR = {2007},
EDITOR = {Bozta{\c{s}}, Serdar and Lu, Hsiao-Feng (Francis)},
URL = {http://dx.doi.org/10.1007/978-3-540-77224-8_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Embury-Rao/07,
AUTHOR = {Embury, P. and Rao, A.},
TITLE = {A path to Hadamard matrices},
BOOKTITLE = {Proceedings of the 17th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2007 (Bangalore, India, December 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4851},
PAGES = {281-290},
YEAR = {2007},
EDITOR = {Bozta{\c{s}}, Serdar and Lu, Hsiao-Feng (Francis)},
URL = {http://dx.doi.org/10.1007/978-3-540-77224-8_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bernstein/07,
AUTHOR = {Bernstein, Daniel J.},
TITLE = {The tangent FFT},
BOOKTITLE = {Proceedings of the 17th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2007 (Bangalore, India, December 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4851},
PAGES = {291-300},
YEAR = {2007},
EDITOR = {Bozta{\c{s}}, Serdar and Lu, Hsiao-Feng (Francis)},
URL = {http://dx.doi.org/10.1007/978-3-540-77224-8_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bac-Binh-Quynh/07,
AUTHOR = {Bac, Dang Hoai and Binh, Nguyen and Quynh, Nguyen Xuan},
TITLE = {Novel algebraic structure for cyclic codes},
BOOKTITLE = {Proceedings of the 17th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2007 (Bangalore, India, December 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4851},
PAGES = {301-310},
YEAR = {2007},
EDITOR = {Bozta{\c{s}}, Serdar and Lu, Hsiao-Feng (Francis)},
URL = {http://dx.doi.org/10.1007/978-3-540-77224-8_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bras-Amoros-OSullivan/07,
AUTHOR = {Bras-Amor{\'o}s, Maria and O'Sullivan, Michael E.},
TITLE = {Extended norm-trace codes with optimized correction capability},
BOOKTITLE = {Proceedings of the 17th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC'2007 (Bangalore, India, December 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4851},
PAGES = {337-346},
YEAR = {2007},
EDITOR = {Bozta{\c{s}}, Serdar and Lu, Hsiao-Feng (Francis)},
URL = {http://dx.doi.org/10.1007/978-3-540-77224-8_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Agarwal/07,
AUTHOR = {Agarwal, Pankaj K.},
TITLE = {Modeling and analyzing massive terrain data sets},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {1-1},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dvorak-Kral-Thomas/07,
AUTHOR = {Dvo{\v{r}}{\'a}k, Zden{\v{e}}k and Kr{\'a}l', Daniel and Thomas, Robin},
TITLE = {Coloring triangle-free graphs on surfaces},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {2-4},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bui-Xuan-Habib-Limouzy-de_Montgolfier/07,
AUTHOR = {Bui-Xuan, Binh-Minh and Habib, Michel and Limouzy, Vincent and de Montgolfier, Fabien},
TITLE = {Unifying two graph decompositions with modular decomposition},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {52-64},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brass-Kim-Na-Shin/07,
AUTHOR = {Brass, Peter and Kim, Kyue D. and Na, Hyeon-Suk and Shin, Chan-Su},
TITLE = {Escaping off-line searchers and a discrete isoperimetric theorem},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {65-74},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ahn-Farshi-Knauer-Smid-Wang/07,
AUTHOR = {Ahn, Hee-Kap and Farshi, Mohammad and Knauer, Christian and Smid, Michiel and Wang, Yajun},
TITLE = {Dilation-optimal edge deletion in polygonal cycles},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {88-99},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chimani-Gutwenger/07,
AUTHOR = {Chimani, Markus and Gutwenger, Carsten},
TITLE = {Algorithms for the hypergraph and the minor crossing number problems},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {184-195},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Aloupis-Collette-Damian-Demaine-Flatland-Langerman-ORourke-Ramaswami-Sacristan-Wuhrer/07,
AUTHOR = {Aloupis, Greg and Collette, S{\'e}bastien and Damian, Mirela and Demaine, Erik D. and Flatland, Robin and Langerman, Stefan and O'Rourke, Joseph and Ramaswami, Suneeta and Sacrist{\'a}n, Vera and Wuhrer, Stefanie},
TITLE = {Linear reconfiguration of cube-style modular robots},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {208-219},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Czumaj-Wang/07,
AUTHOR = {Czumaj, Artur and Wang, Xin},
TITLE = {Fast message dissemination in random geometric ad-hoc radio networks},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {220-231},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Barbay-Castelli_Aleardi-He-Munro/07,
AUTHOR = {Barbay, J{\'e}r{\'e}my and Castelli Aleardi, Luca and He, Meng and Munro, J. Ian},
TITLE = {Succinct representation of labeled graphs},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {316-328},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Durocher-Paul/07,
AUTHOR = {Durocher, Stephane and Paul, Christophe},
TITLE = {Kinetic maintenance of mobile $k$-centres on trees},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {341-352},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Eidenbenz-Oswald-Schmid-Wattenhofer/07,
AUTHOR = {Eidenbenz, Raphael and Oswald, Yvonne Anne and Schmid, Stefan and Wattenhofer, Roger},
TITLE = {Manipulation in games},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {365-376},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bilo/07,
AUTHOR = {Bil{\`o}, Vittorio},
TITLE = {The price of Nash equilibria in multicast transmissions games},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {390-401},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Yi/07,
AUTHOR = {Chen, Jiang and Yi, Ke},
TITLE = {Dynamic structures for top-$k$ queries on uncertain data},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {427-438},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Blum-Coja-Oghlan-Frieze-Zhou/07,
AUTHOR = {Blum, Avrim and Coja-Oghlan, Amin and Frieze, Alan and Zhou, Shuheng},
TITLE = {Separating populations with wide data: A spectral analysis},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {439-451},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chin-Ting-Zhang/07,
AUTHOR = {Chin, F.Y.L. and Ting, H.F. and Zhang, Y.},
TITLE = {A constant-competitive algorithm for online OVSF code assignment},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {452-463},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ajwani-Friedrich/07,
AUTHOR = {Ajwani, Deepak and Friedrich, Tobias},
TITLE = {Average-case analysis of online topological ordering},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {464-475},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dorrigiv-Lopez-Ortiz-Munro/07,
AUTHOR = {Dorrigiv, Reza and L{\'o}pez-Ortiz, Alejandro and Munro, J. Ian},
TITLE = {On the relative dominance of paging algorithms},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {488-499},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen/07b,
AUTHOR = {Chen, Eric Y.},
TITLE = {Geometric streaming algorithms with a sorting primitive},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {512-524},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Amini-Perennes-Sau/07,
AUTHOR = {Amini, Omid and P{\'e}rennes, St{\'e}phane and Sau, Ignasi},
TITLE = {Hardness and approximation of traffic grooming},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {561-573},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Barbella-Kachergis-Liben-Nowell-Sallstrom-Sowell/07,
AUTHOR = {Barbella, David and Kachergis, George and Liben-Nowell, David and Sallstrom, Anna and Sowell, Ben},
TITLE = {Depth of field and cautious-greedy routing in social networks},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {574-586},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bilo-Derungs-Guala-Proietti-Widmayer/07,
AUTHOR = {Bil{\`o}, Davide and Derungs, J{\"o}rg and Gual{\`a}, Luciano and Proietti, Guido and Widmayer, Peter},
TITLE = {Locating facilities on a network to minimize their average service radius},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {587-598},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_51},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Carmi-Katz-Lev-Tov/07,
AUTHOR = {Carmi, Paz and Katz, Matthew J. and Lev-Tov, Nissan},
TITLE = {Covering points by unit disks of fixed location},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {644-655},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Borgelt-van_Kreveld-Luo/07,
AUTHOR = {Borgelt, Magdalene G. and van Kreveld, Marc and Luo, Jun},
TITLE = {Geodesic disks and clustering in a simple polygon},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {656-667},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_57},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Aronov-Asano-Funke/07,
AUTHOR = {Aronov, Boris and Asano, Tetsuo and Funke, Stefan},
TITLE = {Optimal triangulation with Steiner points},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {681-691},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Asano-Bitou-Motoki-Usui/07,
AUTHOR = {Asano, Tetsuo and Bitou, Shinnya and Motoki, Mitsuo and Usui, Nobuaki},
TITLE = {In-place algorithm for image rotation},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {704-715},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bille-Pagh-Pagh/07,
AUTHOR = {Bille, Philip and Pagh, Anna and Pagh, Rasmus},
TITLE = {Fast evaluation of union-intersection expressions},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {739-750},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bae-Takaoka/07a,
AUTHOR = {Bae, Sung Eun and Takaoka, Tadao},
TITLE = {A sub-cubic time algorithm for the $k$-maximum subarray problem},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {751-762},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Benkert-Djordjevic-Gudmundsson-Wolle/07,
AUTHOR = {Benkert, Marc and Djordjevic, Bojan and Gudmundsson, Joachim and Wolle, Thomas},
TITLE = {Finding popular places},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {776-787},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_67},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bae-Lee-Ahn-Choi-Chwa/07,
AUTHOR = {Bae, Sang Won and Lee, Chunseok and Ahn, Hee-Kap and Choi, Sunghee and Chwa, Kyung-Yong},
TITLE = {Maintaining extremal points and its applications to deciding optimal orientations},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {788-799},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Arvind-Mukhopadhyay/07,
AUTHOR = {Arvind, V. and Mukhopadhyay, Partha},
TITLE = {The monomial ideal membership problem and polynomial identity testing},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {800-811},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Arvind-Das-Kobler/07,
AUTHOR = {Arvind, V. and Das, Bireswar and K{\"o}bler, Johannes},
TITLE = {The space complexity of $k$-tree isomorphism},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {822-833},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cicalese-Amgarten_Quitzau/07,
AUTHOR = {Cicalese, Ferdinando and Amgarten Quitzau, Jos{\'e}},
TITLE = {2-stage fault tolerant interval group testing},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {858-868},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bachoore-Bodlaender/07,
AUTHOR = {Bachoore, Emgad and Bodlaender, Hans L.},
TITLE = {Weighted treewidth algorithmic techniques and results},
BOOKTITLE = {Proceedings of the 18th International Symposium on Algorithms and Computation, ISAAC'2007 (Sendai, Japan December 17-19, 2007)},
SERIES = {LNCS},
VOLUME = {4835},
PAGES = {893-903},
YEAR = {2007},
EDITOR = {Tokuyama, Takeshi},
URL = {http://dx.doi.org/10.1007/978-3-540-77120-3_77},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Abramov-Petkovsek/07,
AUTHOR = {Abramov, S.A. and Petkov{\v{s}}ek, M.},
TITLE = {Analytic solutions of linear difference equations, formal series, and bottom summation},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {1-10},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Akritas-Malaschonok/07,
AUTHOR = {Akritas, Alkiviadis G. and Malaschonok, Gennadi I.},
TITLE = {Computations in modules over commutative domains},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {11-23},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Akritas-Strzebonski-Vigklas/07,
AUTHOR = {Akritas, Alkiviadis A. and Strzebo{\'n}ski, Adam W. and Vigklas, Panagiotis S.},
TITLE = {Advances on the continued fractions method using better estimations of positive root bounds},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {24-30},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Backes-Wetzel/07,
AUTHOR = {Backes, Werner and Wetzel, Susanne},
TITLE = {An efficient LLL gram using buffered transformations},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {31-44},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berciano-Jimenez-Real/07,
AUTHOR = {Berciano, Ainhoa and Jim{\'e}nez, Mar{\'{i}}a Jos{\'e} and Real, Pedro},
TITLE = {On the computation of a $A _\infty$-maps},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {45-57},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berghammer-Schmidt/07,
AUTHOR = {Berghammer, Rudolf and Schmidt, Gunther},
TITLE = {Algebraic visualization of relations using RELVIEW},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {58-72},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Golubitsky-Lemaire-Maza-Pan/07,
AUTHOR = {Chen, Changbo and Golubitsky, Oleg and Lemaire, Fran{\c{c}}ois and Maza, Marc and Pan, Wei},
TITLE = {Comprehensive triangular decomposition},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {73-101},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chibisov-Ganzha-Mayr-Vorozhtsov/07,
AUTHOR = {Chibisov, Dmytro and Ganzha, Victor and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
TITLE = {Stability investigation of a difference scheme for incompressible Navier-Stokes equations},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {102-117},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chuluunbaatar-Gusev-Gerdt-Kaschiev-Rostovtsev-Samoylov-Tupikova-Vinitsky/07,
AUTHOR = {Chuluunbaatar, Ochbadrakh and Gusev, Alexander and Gerdt, Vladimir and Kaschiev, Michail and Rostovtsev, Vitaly and Samoylov, Valentin and Tupikova, Tatyana and Vinitsky, Sergue},
TITLE = {A symbolic-numerical algorithm for solving the eigenvalue problem for a hydrogen atom in the magnetic field: Cylindrical coordinates},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {118-133},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Edneral/07,
AUTHOR = {Edneral, Victor F.},
TITLE = {An algorithm for construction of normal forms},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {134-142},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Deytseva/07,
AUTHOR = {Deytseva, Anna},
TITLE = {On the representation of the differential operator in bases of periodic coiflets and it's application},
BOOKTITLE = {Proceedings of the 10th International Workshop on Computer Algebra in Scientific Computing, CASC'2007 (Bonn, Germany, September 16-20, 2007)},
SERIES = {LNCS},
VOLUME = {4770},
PAGES = {448-457},
YEAR = {2007},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/978-3-540-75187-8_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Busch-Isaak/07,
AUTHOR = {Busch, Arthur H. and Isaak, Garth},
TITLE = {Recognizing bipartite tolerance graphs in linear time},
BOOKTITLE = {Proceedings of the 33rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2007 (Dornburg, Germany, June 21-23, 2007)},
SERIES = {LNCS},
VOLUME = {4769},
PAGES = {12-20},
YEAR = {2007},
EDITOR = {Brandst{\"a}dt, Andreas and Kratsch, Dieter and M{\"u}ller, Haiko},
URL = {http://dx.doi.org/10.1007/978-3-540-74839-7_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Courcelle-Kante/07,
AUTHOR = {Courcelle, Bruno and Kant{\'e}, Mamadou Moustapha},
TITLE = {Graph operations characterizing rank-width and balanced graph expressions},
BOOKTITLE = {Proceedings of the 33rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2007 (Dornburg, Germany, June 21-23, 2007)},
SERIES = {LNCS},
VOLUME = {4769},
PAGES = {66-75},
YEAR = {2007},
EDITOR = {Brandst{\"a}dt, Andreas and Kratsch, Dieter and M{\"u}ller, Haiko},
URL = {http://dx.doi.org/10.1007/978-3-540-74839-7_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chang-Ko/07,
AUTHOR = {Chang, Maw-Shang and Ko, Ming-Tat},
TITLE = {The 3-Steiner root problem},
BOOKTITLE = {Proceedings of the 33rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2007 (Dornburg, Germany, June 21-23, 2007)},
SERIES = {LNCS},
VOLUME = {4769},
PAGES = {109-120},
YEAR = {2007},
EDITOR = {Brandst{\"a}dt, Andreas and Kratsch, Dieter and M{\"u}ller, Haiko},
URL = {http://dx.doi.org/10.1007/978-3-540-74839-7_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brandes-Delling-Gaertler-Gorke-Hoefer-Nikoloski-Wagner/07,
AUTHOR = {Brandes, Ulrik and Delling, Daniel and Gaertler, Marco and G{\"o}rke, Robert and Hoefer, Martin and Nikoloski, Zoran and Wagner, Dorothea},
TITLE = {On finding graph clusterings with maximum modularity},
BOOKTITLE = {Proceedings of the 33rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2007 (Dornburg, Germany, June 21-23, 2007)},
SERIES = {LNCS},
VOLUME = {4769},
PAGES = {121-132},
YEAR = {2007},
EDITOR = {Brandst{\"a}dt, Andreas and Kratsch, Dieter and M{\"u}ller, Haiko},
URL = {http://dx.doi.org/10.1007/978-3-540-74839-7_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cereceda-van_den_Heuvel-Johnson/07,
AUTHOR = {Cereceda, Luis and van den Heuvel, Jan and Johnson, Matthew},
TITLE = {Mixing 3-colourings in bipartite graphs},
BOOKTITLE = {Proceedings of the 33rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2007 (Dornburg, Germany, June 21-23, 2007)},
SERIES = {LNCS},
VOLUME = {4769},
PAGES = {166-177},
YEAR = {2007},
EDITOR = {Brandst{\"a}dt, Andreas and Kratsch, Dieter and M{\"u}ller, Haiko},
URL = {http://dx.doi.org/10.1007/978-3-540-74839-7_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Escoffier-Gourves-Monnot/07,
AUTHOR = {Escoffier, Bruno and Gourv{\`e}s, Laurent and Monnot, J{\'e}r{\^o}me},
TITLE = {Complexity and approximation results for the connected vertex cover problem},
BOOKTITLE = {Proceedings of the 33rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2007 (Dornburg, Germany, June 21-23, 2007)},
SERIES = {LNCS},
VOLUME = {4769},
PAGES = {202-213},
YEAR = {2007},
EDITOR = {Brandst{\"a}dt, Andreas and Kratsch, Dieter and M{\"u}ller, Haiko},
URL = {http://dx.doi.org/10.1007/978-3-540-74839-7_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Damaschke/07a,
AUTHOR = {Damaschke, Peter},
TITLE = {Segmenting strings homogeneously via trees},
BOOKTITLE = {Proceedings of the 33rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2007 (Dornburg, Germany, June 21-23, 2007)},
SERIES = {LNCS},
VOLUME = {4769},
PAGES = {214-225},
YEAR = {2007},
EDITOR = {Brandst{\"a}dt, Andreas and Kratsch, Dieter and M{\"u}ller, Haiko},
URL = {http://dx.doi.org/10.1007/978-3-540-74839-7_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dorn/07,
AUTHOR = {Dorn, Frederic},
TITLE = {How to use planarity efficiently: New tree-decomposition based algorithms},
BOOKTITLE = {Proceedings of the 33rd International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2007 (Dornburg, Germany, June 21-23, 2007)},
SERIES = {LNCS},
VOLUME = {4769},
PAGES = {280-291},
YEAR = {2007},
EDITOR = {Brandst{\"a}dt, Andreas and Kratsch, Dieter and M{\"u}ller, Haiko},
URL = {http://dx.doi.org/10.1007/978-3-540-74839-7_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chvatal/07,
AUTHOR = {Chv{\'a}tal, Va{\v{s}}ek},
TITLE = {How to be fickle},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {1-1},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Dawar/07,
AUTHOR = {Dawar, Anuj},
TITLE = {Finite model theory on tame classes of structures},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {2-12},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Duckworth-Zito/07,
AUTHOR = {Duckworth, William and Zito, Michele},
TITLE = {Uncover low degree vertices and minimise the mess: Independent sets in random regular graphs},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {56-66},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Afrati/07,
AUTHOR = {Afrati, Foto},
TITLE = {Rewriting conjunctive queries determined by views},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {78-89},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Asahiro-Miyano-Murata-Ono/07,
AUTHOR = {Asahiro, Yuichi and Miyano, Eiji and Murata, Toshihide and Ono, Hirotaka},
TITLE = {On approximation of bookmark assignments},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {115-124},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Chervet-Walukiewicz/07,
AUTHOR = {Chervet, Patrick and Walukiewicz, Igor},
TITLE = {Minimizing variants of visibly pushdown automata},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {135-146},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Behle-Krebs-Mercer/07,
AUTHOR = {Behle, Christoph and Krebs, Andreas and Mercer, Mark},
TITLE = {Linear circuits, two-variable logic and weakly blocked monoids},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {147-158},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Demetrescu-Escoffier-Moruz-Ribichini/07,
AUTHOR = {Demetrescu, Camil and Escoffier, Bruno and Moruz, Gabriel and Ribichini, Andrea},
TITLE = {Adapting parallel algorithms to the W-stream model, with applications to graph problems},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {194-205},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Carvajal-Matamala-Rapaport-Schabanel/07,
AUTHOR = {Carvajal, Rodolfo and Matamala, Mart{\'{i}}n and Rapaport, Ivan and Schabanel, Nicolas},
TITLE = {Small alliances in graphs},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {218-227},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Adamek-Milius-Velebil/07,
AUTHOR = {Ad{\'a}mek, Ji{\v{r}}{\'{i}} and Milius, Stefan and Velebil, Ji{\v{r}}{\'{i}}},
TITLE = {What are iteration theories?},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {240-252},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Case-Moelius/07,
AUTHOR = {Case, John and Moelius III, Samuel E.},
TITLE = {Properties complementary to program self-reference},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {253-263},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Delacourt-Poupet/07,
AUTHOR = {Delacourt, Martin and Poupet, Victor},
TITLE = {Real time language recognition on 2D cellular automata: Dealing with non-convex neighborhoods},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {298-309},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Cervelle-Guillon/07,
AUTHOR = {Cervelle, Julien and Guillon, Pierre},
TITLE = {Towards a rice theorem on traces of cellular automata},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {310-319},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Bell-Potapov/07,
AUTHOR = {Bell, Paul and Potapov, Igor},
TITLE = {Reachability problems in quaternion matrix and rotation semigroups},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {346-358},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{De_Santis-Ferrara-Masucci/07,
AUTHOR = {De Santis, Alfredo and Ferrara, Anna Lisa and Masucci, Barbara},
TITLE = {Efficient provably-secure hierarchical key assignment schemes},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {371-382},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Chakrabarti-Shubina/07,
AUTHOR = {Chakrabarti, Amit and Shubina, Anna},
TITLE = {Nearly private information retrieval},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {383-393},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Brodal-Georgiadis-Hansen-Katriel/07,
AUTHOR = {Brodal, Gerth St{\o}lting and Georgiadis, Loukas and Hansen, Kristoffer Arnsfelt and Katriel, Irit},
TITLE = {Dynamic matchings in convex bipartite graphs},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {406-417},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Clementi-Monti-Pasquale-Silvestri/07,
AUTHOR = {Clementi, Andrea E.F. and Monti, Angelo and Pasquale, Francesco and Silvestri, Riccardo},
TITLE = {Optimal gossiping in directed geometric radio networks in presence of dynamical faults},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {430-441},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Brodal-Jorgensen/07,
AUTHOR = {Brodal, Gerth St{\o}lting and J{\o}rgensen, Allan Gr{\o}nlund},
TITLE = {A linear time algorithm for the $k$ maximal sums problem},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {442-453},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Crochemore-Ilie/07,
AUTHOR = {Crochemore, Maxime and Ilie, Lucian},
TITLE = {Analysis of maximal repetitions in strings},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {465-476},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Bedon-Rispal/07,
AUTHOR = {Bedon, Nicolas and Rispal, Chlo{\'e}},
TITLE = {Series-parallel languages on scattered and countable posets},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {477-488},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Brandstadt-Wagner/07,
AUTHOR = {Brandst{\"a}dt, Andreas and Wagner, Peter},
TITLE = {On $(k,l)$-leaf powers},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {525-535},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Bilo-Flammini/07,
AUTHOR = {Bil{\`o}, Vittorio and Flammini, Michele},
TITLE = {Extending the notion of rationality of selfish agents: Second order Nash equilibria},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {621-632},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Crochemore-Iliopoulos-Rahman/07,
AUTHOR = {Crochemore, Maxime and Iliopoulos, Costas S. and Rahman, M. Sohel},
TITLE = {Finding patterns in given intervals},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {645-656},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_57},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Bleischwitz-Monien-Schoppmann-Tiemann/07,
AUTHOR = {Bleischwitz, Yvonne and Monien, Burkhard and Schoppmann, Florian and Tiemann, Karsten},
TITLE = {The power of two prices: Beyond cross-monotonicity},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {657-668},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Blaser-Meyer_de_Voltaire/07,
AUTHOR = {Bl{\"a}ser, Markus and Meyer de Voltaire, Andreas},
TITLE = {Semisimple algebras of almost minimal rank over the reals},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {669-680},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Bonsma-Cereceda/07,
AUTHOR = {Bonsma, Paul and Cereceda, Luis},
TITLE = {Finding paths between graph colourings: PSPACE-completeness and superpolynomial distances},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {738-749},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_65},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Bjorklund-Bojanczyk/07a,
AUTHOR = {Bj{\"o}rklund, Henrik and Boja{\'n}czyk, Miko{\l}aj},
TITLE = {Shuffle expressions and words with nested data},
BOOKTITLE = {Proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science, MFCS'2007 ({\v{C}}esk{\'y} Krumloch, Czech Republic, August 26-31, 2007)},
SERIES = {LNCS},
VOLUME = {4708},
PAGES = {750-761},
YEAR = {2007},
EDITOR = {Ku{\v{c}}era, Lud{\v{e}}k and Ku{\v{c}}era, Anton{\'{i}}n},
URL = {http://dx.doi.org/10.1007/978-3-540-74456-6_66},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Durr-Thang/07,
AUTHOR = {D{\"u}rr, Christoph and Thang, Nguyen Kim},
TITLE = {Nash equilibria in Voronoi games on graphs},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {17-28},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berenbrink-Schulte/07,
AUTHOR = {Berenbrink, Petra and Schulte, Oliver},
TITLE = {Evolutionary equilibrium in Bayesian routing games: Specialization and niche formation},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {29-40},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berenbrink-Friedetzky-Hajirasouliha-Hu/07,
AUTHOR = {Berenbrink, Petra and Friedetzky, Tom and Hajirasouliha, Iman and Hu, Zengjian},
TITLE = {Convergence to equilibria in distributed, selfish reallocation processes with weighted tasks},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {41-52},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Amir-Hartman-Kapah-Levy-Porat/07,
AUTHOR = {Amir, Amihood and Hartman, Tzvika and Kapah, Oren and Levy, Avivit and Porat, Ely},
TITLE = {On the cost of interchange rearrangement in strings},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {99-110},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bar-Noy-Klukowska/07,
AUTHOR = {Bar-Noy, Amotz and Klukowska, Joanna},
TITLE = {Finding mobile data: Efficiency vs. location inaccuracy},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {111-122},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chan-Yu-Hon-Wang/07,
AUTHOR = {Chan, Chi-Yuan and Yu, Hung-I and Hon, Wing-Kai and Wang, Biing-Feng},
TITLE = {A faster query algorithm for the text fingerprinting problem},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {123-135},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Baptiste-Chrobak-Durr/07,
AUTHOR = {Baptiste, Philippe and Chrobak, Marek and D{\"u}rr, Christoph},
TITLE = {Polynomial time algorithms for minimum energy scheduling},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {136-150},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Clifford-Efremenko-Porat-Rothschild/07,
AUTHOR = {Clifford, Rapha{\"e}l and Efremenko, Klim and Porat, Ely and Rothschild, Amir},
TITLE = {$k$-mismatch with don't cares},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {151-162},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alon-Yuster/07,
AUTHOR = {Alon, Noga and Yuster, Raphael},
TITLE = {Fast algorithms for maximum subset matching and all-pairs shortest paths in graphs with a (not so) small vertex cover},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {175-186},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{De_Santis-Grandoni-Panconesi/07,
AUTHOR = {De Santis, Emilio and Grandoni, Fabrizio and Panconesi, Alessandro},
TITLE = {Fast low degree connectivity of ad-hoc networks via percolation},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {206-217},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Buchbinder-Jain-Naor/07,
AUTHOR = {Buchbinder, Niv and Jain, Kamal and Naor, Joseph (Seffi)},
TITLE = {Online primal-dual algorithms for maximizing ad-auctions revenue},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {253-264},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bar-Yehuda-Flysher-Mestre-Rawitz/07,
AUTHOR = {Bar-Yehuda, Reuven and Flysher, Guy and Mestre, Juli{\'a}n and Rawitz, Dror},
TITLE = {Approximation of partial capacitated vertex cover},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {335-346},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brodal-Fagerberg-Finocchi-Grandoni-Italiano-Jorgensen-Moruz-Molhave/07,
AUTHOR = {Brodal, Gerth St{\o}lting and Fagerberg, Rolf and Finocchi, Irene and Grandoni, Fabrizio and Italiano, Giuseppe F. and J{\o}rgensen, Allan Gr{\o}nlund and Moruz, Gabriel and M{\o}lhave, Thomas},
TITLE = {Optimal resilient dynamic dictionaries},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {347-358},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cheong-Everett-Glisse-Gudmundsson-Hornus-Lazard-Lee-Na/07,
AUTHOR = {Cheong, Otfried and Everett, Hazel and Glisse, Marc and Gudmundsson, Joachim and Hornus, Samuel and Lazard, Sylvain and Lee, Mira and Na, Hyeon-Suk},
TITLE = {Farthest-polygon Voronoi diagrams},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {407-418},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bein-Larmore-Noga/07a,
AUTHOR = {Bein, Wolfgang and Larmore, Lawrence L. and Noga, John},
TITLE = {Equitable revisited},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {419-426},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ding-Ebenlendr-Sgall-Zhang/07,
AUTHOR = {Ding, Jihuan and Ebenlendr, Tom{\'a}{\v{s}} and Sgall, Ji{\v{r}}{\'{i}} and Zhang, Guochuan},
TITLE = {Online scheduling of equal-length jobs on parallel machines},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {427-438},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Elbassioni-Sitters-Zhang/07,
AUTHOR = {Elbassioni, Khaled and Sitters, Ren{\'e} and Zhang, Yan},
TITLE = {A quasi-PTAS for profit-maximizing pricing on line graphs},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {451-462},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Beniaminy-Nutov-Ovadia/07,
AUTHOR = {Beniaminy, Israel and Nutov, Zeev and Ovadia, Meir},
TITLE = {Approximating interval scheduling problems with bounded profits},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {487-497},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bansal-Buchbinder-Gupta-Naor/07,
AUTHOR = {Bansal, Nikhil and Buchbinder, Niv and Gupta, Anupam and Naor, Joseph (seffi)},
TITLE = {An $O(\log^2 k)$-competitive algorithm for metric bipartite matching},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {522-533},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Diks-Sankowski/07,
AUTHOR = {Diks, Krzysztof and Sankowski, Piotr},
TITLE = {Dynamic plane transitive closure},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {594-604},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ausiello-Demetrescu-Franciosa-Italiano-Ribichini/07,
AUTHOR = {Ausiello, Giorgio and Demetrescu, Camil and Franciosa, Paolo G. and Italiano, Giuseppe F. and Ribichini, Andrea},
TITLE = {Small stretch spanners in the streaming model: New algorithms and experiments},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {605-617},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Buriol-Frahling-Leonardi-Sohler/07,
AUTHOR = {Buriol, Luciana S. and Frahling, Gereon and Leonardi, Stefano and Sohler, Christian},
TITLE = {Estimating clustering indexes in data streams},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {618-632},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dupont-Hemmer-Petitjean-Schomer/07,
AUTHOR = {Dupont, Laurent and Hemmer, Michael and Petitjean, Sylvain and Sch{\"o}mer, Elmar},
TITLE = {Complete, exact and efficient implementation for computing the adjacency graph of an arrangement of quadrics},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {633-644},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berberich-Fogel-Halperin-Mehlhorn-Wein/07,
AUTHOR = {Berberich, Eric and Fogel, Efi and Halperin, Dan and Mehlhorn, Kurt and Wein, Ron},
TITLE = {Sweeping and maintaining two-dimensional arrangements on surfaces: A first step},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {645-656},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_57},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chimani-Kandyba-Mutzel/07,
AUTHOR = {Chimani, Markus and Kandyba, Maria and Mutzel, Petra},
TITLE = {A new ILP formulation for 2-root-connected prize-collecting Steiner networks},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {681-692},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_60},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Eckhardt-Muhling-Nowak/07,
AUTHOR = {Eckhardt, Stefan and M{\"u}hling, Andreas Michael and Nowak, Johannes},
TITLE = {Fast lowest common ancestor computations in dags},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {705-716},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bazgan-Hugot-Vanderpooten/07,
AUTHOR = {Bazgan, Cristina and Hugot, Hadrien and Vanderpooten, Daniel},
TITLE = {A practical efficient Fptas for the 0-1 multi-objective knapsack problem},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {717-728},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Albers-Jacobs/07,
AUTHOR = {Albers, Susanne and Jacobs, Tobias},
TITLE = {An experimental study of new and known online packet buffering algorithms},
BOOKTITLE = {Proceedings of the 15th Annual European Symposium on Algorithms, ESA'2007 (Eilat, Israel, October 8-10, 2007)},
SERIES = {LNCS},
VOLUME = {4698},
PAGES = {754-765},
YEAR = {2007},
EDITOR = {Arge, Lars and Hoffmann, Michael and Welzl, Emo},
URL = {http://dx.doi.org/10.1007/978-3-540-75520-3_66},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Erickson/07,
AUTHOR = {Erickson, Jeff},
TITLE = {Finding small holes: A brief foray into computational topology},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {1-1},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Chaudhary-Chen-Fleischer-Hu-Li-Niemier-Xie-Zhu/07,
AUTHOR = {Chaudhary, Amitabh and Chen, Danny Z. and Fleischer, Rudolf and Hu, Xiaobo S. and Li, Jian and Niemier, Michael T. and Xie, Zhiyi and Zhu, Hong},
TITLE = {Approximating the maximum sharing problem},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {52-63},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Cardinal-Demaine-Fiorini-Joret-Langerman-Newman-Weimann/07,
AUTHOR = {Cardinal, Jean and Demaine, Erik D. and Fiorini, Samuel and Joret, Gwena{\"e}l and Langerman, Stefan and Newman, Ilan and Weimann, Oren},
TITLE = {The Stackelberg Minimum Spanning Tree game},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {64-76},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Eppstein-van_Kreveld-Mumford-Speckmann/07,
AUTHOR = {Eppstein, David and van Kreveld, Marc and Mumford, Elena and Speckmann, Bettina},
TITLE = {Edges and switches, tunnels and bridges},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {77-88},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Di_Battista-Drovandi-Frati/07,
AUTHOR = {Di Battista, Giuseppe and Drovandi, Guido and Frati, Fabrizio},
TITLE = {How to draw a clustered tree},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {89-101},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Badent-Di_Giacomo-Liotta/07,
AUTHOR = {Badent, Melanie and Di Giacomo, Emilio and Liotta, Giuseppe},
TITLE = {Drawing colored graphs on colored points},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {102-113},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Atallah-Blanton-Goodrich-Polu/07,
AUTHOR = {Atallah, Mikhail J. and Blanton, Marina and Goodrich, Michael T. and Polu, Stanislas},
TITLE = {Discrepancy-sensitive dynamic fractional cascading, dominated maxima searching, and 2-d nearest neighbors in any Minkowski metric},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {114-126},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Botelho-Pagh-Ziviani/07,
AUTHOR = {Botelho, Fabiano C. and Pagh, Rasmus and Ziviani, Nivio},
TITLE = {Simple and space-efficient minimal perfect hash functions},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {139-150},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Deshpande-Kim-Demaine-Sarma/07,
AUTHOR = {Deshpande, Ajay and Kim, Taejung and Demaine, Erik D. and Sarma, Sanjay E.},
TITLE = {A pseudopolynomial time $O(\log n$)-approximation algorithm for art gallery problems},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {163-174},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Borradaile-Klein-Mathieu/07,
AUTHOR = {Borradaile, Glencora and Klein, Philip N. and Mathieu, Claire},
TITLE = {Steiner tree in planar graphs: An $O(n \log n)$ approximation scheme with singly-exponential dependence on epsilon},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {275-286},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Angelini-Di_Battista-Patrignani/07,
AUTHOR = {Angelini, Patrizio and Di Battista, Giuseppe and Patrignani, Maurizio},
TITLE = {Computing a minimum-depth planar graph embedding in $O(n^4)$ time},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {287-299},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Bose-Carmi-Couture-Smid-Xu/07,
AUTHOR = {Bose, Prosenjit and Carmi, Paz and Couture, Mathieu and Smid, Michiel and Xu, Daming},
TITLE = {On a family of strong geometric spanners that admit local routing strategies},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {300-311},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Bose-Lee-Smid/07,
AUTHOR = {Bose, Prosenjit and Lee, Aaron and Smid, Michiel},
TITLE = {On generalized diamond spanners},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {325-336},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Bienkowski-Kutylowski/07,
AUTHOR = {Bienkowski, Marcin and Kuty{\l}owski, Jaros{\l}aw},
TITLE = {The $k$-resource problem on uniform and on uniformly decomposable metric spaces},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {337-348},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Epstein-van_Stee/07,
AUTHOR = {Epstein, Leah and van Stee, Rob},
TITLE = {Improved results for a memory allocation problem},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {362-373},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Aichholzer-Aurenhammer-Hackl-Juttler-Oberneder-Sir/07,
AUTHOR = {Aichholzer, Oswin and Aurenhammer, Franz and Hackl, Thomas and J{\"u}ttler, Bert and Oberneder, Margot and {\v{S}}{\'{i}}r, Zbyn{\v{e}}k},
TITLE = {Computational and structural advantages of circular boundary representation},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {374-385},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Attali-Edelsbrunner-Harer-Mileyko/07,
AUTHOR = {Attali, Dominique and Edelsbrunner, Herbert and Harer, John and Mileyko, Yuriy},
TITLE = {Alpha-beta witness complexes},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {386-397},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Biedl-Lubiw-Spriggs/07,
AUTHOR = {Biedl, Therese and Lubiw, Anna and Spriggs, Michael},
TITLE = {Cauchy's theorem and edge lengths of convex polyhedra},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {398-409},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Chen-Fomin-Liu-Lu-Villanger/07,
AUTHOR = {Chen, Jianer and Fomin, Fedor V. and Liu, Yang and Lu, Songjian and Villanger, Yngve},
TITLE = {Improved algorithms for the feedback vertex set problems},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {422-433},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Abu-Khzam/07,
AUTHOR = {Abu-Khzam, Faisal N.},
TITLE = {Kernelization algorithms for d-Hitting Set problems},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {434-445},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Aichholzer-Hackl-Hoffmann-Huemer-Por-Santos-Speckmann-Vogtenhuber/07,
AUTHOR = {Aichholzer, Oswin and Hackl, Thomas and Hoffmann, Michael and Huemer, Clemens and P{\'o}r, Attila and Santos, Francisco and Speckmann, Bettina and Vogtenhuber, Birgit},
TITLE = {Maximizing maximal angles for plane straight-line graphs},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {458-469},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Chen-Liu-Lu/07,
AUTHOR = {Chen, Jianer and Liu, Yang and Lu, Songjian},
TITLE = {An improved parameterized algorithm for the minimum node multiway cut problem},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {495-506},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Ajwani-Ray-Seidel-Tiwary/07,
AUTHOR = {Ajwani, Deepak and Ray, Saurabh and Seidel, Raimund and Tiwary, Hans Raj},
TITLE = {On computing the centroid of the vertices of an arrangement and related problems},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {519-528},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Bhattacharya-Shi/07,
AUTHOR = {Bhattacharya, Binay and Shi, Qiaosheng},
TITLE = {Optimal algorithms for the weighted $p$-center problems on the real line for small $p$},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {529-540},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Berman-Kasiviswanathan/07,
AUTHOR = {Berman, Piotr and Kasiviswanathan, Shiva Prasad},
TITLE = {Faster approximation of distances in graphs},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {541-552},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Derungs-Jacob-Widmayer/07,
AUTHOR = {Derungs, J{\"o}rg and Jacob, Riko and Widmayer, Peter},
TITLE = {Approximate shortest paths guided by a small index},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {553-564},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Eppstein-Goodrich/07,
AUTHOR = {Eppstein, David and Goodrich, Michael T.},
TITLE = {Space-efficient straggler identification in round-trip data streams via Newton's identities and invertible Bloom filters},
BOOKTITLE = {Proceedings of the 10th International Workshop on Algorithms and Data Structures, WADS'2007 (Halifax, Canada, August 15-17, 2007)},
SERIES = {LNCS},
VOLUME = {4619},
PAGES = {637-648},
YEAR = {2007},
EDITOR = {Dehne, Frank and Sack, J{\"o}rg-R{\"u}diger and Zeh, Norbert},
URL = {http://dx.doi.org/10.1007/978-3-540-73951-7_55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
PCOMMENT = {Proceedings see Riko Jacob},
}
@incollection{Aluru/07,
AUTHOR = {Aluru, Srinivas},
TITLE = {The combinatorics of sequencing the corn genome},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {1-1},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chin/07,
AUTHOR = {Chin, Francis Y.L.},
TITLE = {Online frequency assignment in wireless communication networks},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {2-2},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Healy-Wang-Wu/07,
AUTHOR = {Chen, Danny Z. and Healy, Mark A. and Wang, Chao and Wu, Xiaodong},
TITLE = {A new field splitting algorithm for intensity-modulated radiation therapy},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {4-15},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Duchesne-Giraud-El-Mabrouk/07,
AUTHOR = {Duchesne, Jean-Eudes and Giraud, Mathieu and El-Mabrouk, Nadia},
TITLE = {Seed-based exclusion method for non-coding RNA gene search},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {27-39},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chor-Fellows-Ragan-Razgon-Rosamond-Snir/07,
AUTHOR = {Chor, Benny and Fellows, Michael and Ragan, Mark A. and Razgon, Igor and Rosamond, Frances and Snir, Sagi},
TITLE = {Connected coloring completion for general graphs: Algorithms and complexity},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {75-85},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bodlaender-Fellows-Langston-Ragan-Rosamond-Weyer/07,
AUTHOR = {Bodlaender, Hans L. and Fellows, Michael R. and Langston, Michael A. and Ragan, Mark A. and Rosamond, Frances A. and Weyer, Mark},
TITLE = {Quadratic kernelization for convex recoloring of trees},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {86-96},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Buchin-Knauer-Kriegel-Schulz-Seidel/07,
AUTHOR = {Buchin, Kevin and Knauer, Christian and Kriegel, Klaus and Schulz, Andr{\'e} and Seidel, Raimund},
TITLE = {On the number of cycles in planar graphs},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {97-107},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Christodoulou-Gourves-Pascual/07,
AUTHOR = {Christodoulou, George and Gourv{\`e}s, Laurent and Pascual, Fanny},
TITLE = {Scheduling selfish tasks: About the performance of truthful algorithms},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {187-197},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Buragohain-Suri-Toth-Zhou/07,
AUTHOR = {Buragohain, Chiranjeeb and Suri, Subhash and T{\'o}th, Csaba D. and Zhou, Yunhong},
TITLE = {Improved throughput bounds for interference-aware routing in wireless networks},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {210-221},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Boros-Borys-Elbassioni-Gurvich-Makino-Rudolf/07,
AUTHOR = {Boros, Endre and Borys, Konrad and Elbassioni, Khaled and Gurvich, Vladimir and Makino, Kazuhisa and Rudolf, Gabor},
TITLE = {Generating minimal $k$-vertex connected spanning subgraphs},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {222-231},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Misiolek/07,
AUTHOR = {Chen, Danny Z. and Misio{\l}ek, Ewa},
TITLE = {Finding many optimal paths without growing any optimal path trees},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {232-242},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brandes-Erten-Fowler-Frati-Geyer-Gutwenger-Hong-Kaufmann-Kobourov-Liotta-Mutzel-Symvonis/07,
AUTHOR = {Brandes, U. and Erten, C. and Fowler, J. and Frati, F. and Geyer, M. and Gutwenger, C. and Hong, S. and Kaufmann, M. and Kobourov, S.G. and Liotta, G. and Mutzel, P. and Symvonis, A.},
TITLE = {Colored simultaneous geometric embeddings},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {254-263},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Deng-Iwama-Qi-Sun-Tasaka/07,
AUTHOR = {Deng, Xiaotie and Iwama, Kazuo and Qi, Qi and Sun, Aries Wei and Tasaka, Toyotaka},
TITLE = {Properties of symmetric incentive compatible auctions},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {264-273},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chang-Lyuu/07,
AUTHOR = {Chang, Ching-Lueh and Lyuu, Yuh-Dauh},
TITLE = {Efficient testing of forecasts},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {285-295},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Arpe-Reischuk/07,
AUTHOR = {Arpe, Jan and Reischuk, R{\"u}diger},
TITLE = {When does greedy learning of relevant attributes succeed? --- A Fourier-based characterization},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {296-306},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Apostolico-Tagliacollo/07,
AUTHOR = {Apostolico, Alberto and Tagliacollo, Claudia},
TITLE = {Optimal offline extraction of irredundant motif bases},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {360-371},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alon-Gutner/07a,
AUTHOR = {Alon, Noga and Gutner, Shai},
TITLE = {Linear time algorithms for finding a dominating set of fixed size in degenerated graphs},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {394-405},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alon-Shapira-Stav/07,
AUTHOR = {Alon, Noga and Shapira, Asaf and Stav, Uri},
TITLE = {Can a graph have distinct regular partitions?},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {428-438},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Afshani-Chiniforooshan-Dorrigiv-Farzan-Mirzazadeh-Simjour-Zarrabi-Zadeh/07,
AUTHOR = {Afshani, Peyman and Chiniforooshan, Ehsan and Dorrigiv, Reza and Farzan, Arash and Mirzazadeh, Mehdi and Simjour, Narges and Zarrabi-Zadeh, Hamid},
TITLE = {On the complexity of finding an unknown cut via vertex queries},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {459-469},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Zhang/07,
AUTHOR = {Chen, Shihyen and Zhang, Kaizhong},
TITLE = {An improved algorithm for tree edit distance incorporating structural linearity},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {482-492},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Czygrinow-Hanckowiak/07,
AUTHOR = {Czygrinow, A. and Ha{\'n}{\'c}kowiak, M.},
TITLE = {Distributed approximation algorithms for weighted problems in minor-closed families},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {515-525},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chin-Zhang-Zhu/07,
AUTHOR = {Chin, Francis Y.L. and Zhang, Yong and Zhu, Hong},
TITLE = {A 1-local 13/9-competitive algorithm for multicoloring hexagonal graphs},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {526-536},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_51},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Lu/07,
AUTHOR = {Chen, Jianer and Lu, Songjian},
TITLE = {Improved algorithms for weighted and unweighted set splitting problems},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {537-547},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bhattacharya-Hu-Kononov/07,
AUTHOR = {Bhattacharya, Binay and Hu, Yuzhuang and Kononov, Alexander},
TITLE = {Approximation algorithms for the black and white Traveling Salesman Problem},
BOOKTITLE = {Proceedings of the 13th Annual International Conference on Computing and Combinatorics, COCOON'2007 (Banff, Canada, July 16-19, 2007)},
SERIES = {LNCS},
VOLUME = {4598},
PAGES = {559-567},
YEAR = {2007},
EDITOR = {Lin, Guohui},
URL = {http://dx.doi.org/10.1007/978-3-540-73545-8_54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chazelle/07,
AUTHOR = {Chazelle, Bernard},
TITLE = {Ushering in a new era of algorithm design},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {1-1},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Damgard/07,
AUTHOR = {Damg{\aa}rd, Ivan},
TITLE = {A ``proof-reading'' of some issues in cryptography},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {2-11},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dorn-Fomin-Thilikos/07,
AUTHOR = {Dorn, Frederic and Fomin, Fedor V. and Thilikos, Dimitrios M.},
TITLE = {Subexponential parameterized algorithms},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {15-27},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bansal-Chan-Pruhs/07,
AUTHOR = {Bansal, Nikhil and Chan, Ho-Leung and Pruhs, Kirk},
TITLE = {Competitive algorithms for due date scheduling},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {28-39},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Christodoulou-Koutsoupias-Kovacs/07,
AUTHOR = {Christodoulou, George and Koutsoupias, Elias and Kov{\'a}cs, Annam{\'a}ria},
TITLE = {Mechanism design for fractional scheduling on unrelated machines},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {40-52},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Blomer-Naewe/07,
AUTHOR = {Bl{\"o}mer, Johannes and Naewe, Stefanie},
TITLE = {Sampling methods for shortest vectors, closest vectors and successive minima},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {65-77},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berger-Grigni/07,
AUTHOR = {Berger, Andr{\'e} and Grigni, Michelangelo},
TITLE = {Minimum weight 2-edge-connected spanning subgraphs in planar graphs},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {90-101},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Beame-David-Pitassi-Woelfel/07,
AUTHOR = {Beame, Paul and David, Matei and Pitassi, Toniann and Woelfel, Philipp},
TITLE = {Separating deterministic from nondeterministic NOF multiparty communication complexity},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {134-145},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Demaine-Mozes-Rossman-Weimann/07,
AUTHOR = {Demaine, Erik D. and Mozes, Shay and Rossman, Benjamin and Weimann, Oren},
TITLE = {An optimal decomposition algorithm for tree edit distance},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {146-157},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bosnacki-Elkind-Genest-Peled/07,
AUTHOR = {Bo{\v{s}}na{\v{c}}ki, Dragan and Elkind, Edith and Genest, Blaise and Peled, Doron},
TITLE = {On commutativity based edge lean search},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {158-170},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Burgisser-Cucker/07,
AUTHOR = {B{\"u}rgisser, Peter and Cucker, Felipe},
TITLE = {Exotic quantifiers, complexity classes, and complete problems},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {207-218},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bar-Noy-Cheilaris-Olonetsky-Smorodinsky/07,
AUTHOR = {Bar-Noy, Amotz and Cheilaris, Panagiotis and Olonetsky, Svetlana and Smorodinsky, Shakhar},
TITLE = {Online conflict-free colorings for hypergraphs},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {219-230},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dedic-Mohassel/07,
AUTHOR = {Dedic, Nenad and Mohassel, Payman},
TITLE = {Constant-round private database queries},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {255-266},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Atserias-Bulatov-Dalmau/07,
AUTHOR = {Atserias, Albert and Bulatov, Andrei and Dalmau, Victor},
TITLE = {On the power of $k$-consistency},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {279-290},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dershowitz-Tzameret/07,
AUTHOR = {Dershowitz, Nachum and Tzameret, Iddo},
TITLE = {Complexity of propositional proofs under a promise},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {291-302},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alon-Fomin-Gutin-Krivelevich-Saurabh/07,
AUTHOR = {Alon, Noga and Fomin, Fedor V. and Gutin, Gregory and Krivelevich, Michael and Saurabh, Saket},
TITLE = {Parameterized algorithms for directed maximum leaf problems},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {352-362},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bellare-Ristenpart/07,
AUTHOR = {Bellare, Mihir and Ristenpart, Thomas},
TITLE = {Hash functions in the dedicated-key setting: Design choices and MPP transforms},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {399-410},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bellare-Namprempre-Neven/07,
AUTHOR = {Bellare, Mihir and Namprempre, Chanathip and Neven, Gregory},
TITLE = {Unrestricted aggregate signatures},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {411-422},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chandran-Groth-Sahai/07,
AUTHOR = {Chandran, Nishanth and Groth, Jens and Sahai, Amit},
TITLE = {Ring signatures of sub-linear size without random oracles},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {423-434},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alon-Gutner/07,
AUTHOR = {Alon, Noga and Gutner, Shai},
TITLE = {Balanced families of perfect hash functions and their applications},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {435-446},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Caragiannis-Flammini-Moscardelli/07,
AUTHOR = {Caragiannis, Ioannis and Flammini, Michele and Moscardelli, Luca},
TITLE = {An exponential improvement on the MST heuristic for minimum energy broadcasting in ad hoc wireless networks},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {447-458},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Adida-Wikstrom/07,
AUTHOR = {Adida, Ben and Wikstr{\"o}m, Douglas},
TITLE = {Offline/online mixing},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {484-495},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bodirsky-Chen-Kara-von_Oertzen/07,
AUTHOR = {Bodirsky, Manuel and Chen, Hubie and K{\'a}ra, Jan and von Oertzen, Timo},
TITLE = {Maximal infinite-valued constraint languages},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {546-557},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Atserias-Bulatov-Dawar/07,
AUTHOR = {Atserias, Albert and Bulatov, Andrei and Dawar, Anuj},
TITLE = {Affine systems of equations and counting infinitary logic},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {558-570},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cai-Lu/07a,
AUTHOR = {Cai, Jin-Yi and Lu, Pinyan},
TITLE = {Holographic algorithms: The power of dimensionality resolved},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {631-642},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bienvenu-Merkle/07,
AUTHOR = {Bienvenu, Laurent and Merkle, Wolfgang},
TITLE = {Reconciling data compression and Kolmogorov complexity},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {643-654},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Elkin/07,
AUTHOR = {Elkin, Michael},
TITLE = {Streaming and fully dynamic centralized algorithms for constructing and maintaining sparse spanners},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {716-727},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chu-Kannan-McGregor/07,
AUTHOR = {Chu, Matthew and Kannan, Sampath and McGregor, Andrew},
TITLE = {Checking and spot-checking the correctness of priority queues},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {728-739},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Coja-Oghlan-Panagiotou-Steger/07,
AUTHOR = {Coja-Oghlan, Amin and Panagiotou, Konstantinos and Steger, Angelika},
TITLE = {On the chromatic number of random graphs},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {777-788},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_67},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alon-Coja-Oghlan-Han-Kang-Rodl-Schacht/07,
AUTHOR = {Alon, Noga and Coja-Oghlan, Amin and H{\`a}n, Hi{\d{\^e}}p and Kang, Mihyun and R{\"o}dl, Vojt{\v{e}}ch and Schacht, Mathias},
TITLE = {Quasi-randomness and algorithmic regularity for graphs with general degree distributions},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {789-800},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Blaser-Dell/07,
AUTHOR = {Bl{\"a}ser, Markus and Dell, Holger},
TITLE = {Complexity of the cover polynomial},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {801-812},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Boigelot-Brusten/07,
AUTHOR = {Boigelot, Bernard and Brusten, Julien},
TITLE = {A generalization of Cobham's theorem to automata over real numbers},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {813-824},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_70},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brihaye-Henzinger-Prabhu-Raskin/07,
AUTHOR = {Brihaye, Thomas and Henzinger, Thomas A. and Prabhu, Vinayak S. and Raskin, Jean-Fran{\c{c}}ois},
TITLE = {Minimum-time reachability in timed games},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {825-837},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bjorklund-Bojanczyk/07,
AUTHOR = {Bj{\"o}rklund, Henrik and Boja{\'n}czyk, Miko{\l}aj},
TITLE = {Bounded depth data trees},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {862-874},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Arenas-Barcelo-Libkin/07,
AUTHOR = {Arenas, Marcelo and Barcel{\'o}, Pablo and Libkin, Leonid},
TITLE = {Regular languages of nested words: Fixed points, automata, and synchronization},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {888-900},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Colcombet/07,
AUTHOR = {Colcombet, Thomas},
TITLE = {A combinatorial theorem for trees --- Applications to monadic logic and infinite structures},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {901-912},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_77},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dawar-Grohe-Kreutzer-Schweikardt/07,
AUTHOR = {Dawar, Anuj and Grohe, Martin and Kreutzer, Stephan and Schweikardt, Nicole},
TITLE = {Model theory makes formulas large},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {913-924},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_78},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bozzelli-La_Torre/07,
AUTHOR = {Bozzelli, Laura and La Torre, Salvatore},
TITLE = {Decision problems for lower/upper bound parametric timed automata},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {925-936},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_79},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cary-Rudra-Sabharwal/07,
AUTHOR = {Cary, Matthew and Rudra, Atri and Sabharwal, Ashish},
TITLE = {Paper retraction: On the hardness of embeddings between two finite metrics},
BOOKTITLE = {Proceedings of the 34th International Colloquium on Automata, Languages and Programming, ICALP'2007 (Wroc{\l}aw, Poland, July 9-13, 2007)},
SERIES = {LNCS},
VOLUME = {4596},
PAGES = {949-949},
YEAR = {2007},
EDITOR = {Arge, Lars and Cachin, Christian and Jurdzi{\'n}ski, Tomasz and Tarlecki, Andrzej},
URL = {http://dx.doi.org/10.1007/978-3-540-73420-8_81},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Aumann-Lewenstein-Lewenstein-Tsur/07,
AUTHOR = {Aumann, Yonatan and Lewenstein, Moshe and Lewenstein, Noa and Tsur, Dekel},
TITLE = {Finding witnesses by peeling},
BOOKTITLE = {Proceedings of the 18th Annual Symposium on Combinatorial Pattern Matching, CPM'2007 (London, Canada, July 9-11, 2007)},
SERIES = {LNCS},
VOLUME = {4580},
PAGES = {28-39},
YEAR = {2007},
EDITOR = {Ma, Bin and Zhang, Kaizhong},
URL = {http://dx.doi.org/10.1007/978-3-540-73437-6_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bille-Fagerberg-Gortz/07,
AUTHOR = {Bille, Philip and Fagerberg, Rolf and G{\o}rtz, Inge Li},
TITLE = {Improved approximate string matching and regular expression matching on Ziv-Lempel compressed texts},
BOOKTITLE = {Proceedings of the 18th Annual Symposium on Combinatorial Pattern Matching, CPM'2007 (London, Canada, July 9-11, 2007)},
SERIES = {LNCS},
VOLUME = {4580},
PAGES = {52-62},
YEAR = {2007},
EDITOR = {Ma, Bin and Zhang, Kaizhong},
URL = {http://dx.doi.org/10.1007/978-3-540-73437-6_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Clifford-Clifford/07a,
AUTHOR = {Clifford, Peter and Clifford, Rapha{\"e}l},
TITLE = {Self-normalised distance with don't cares},
BOOKTITLE = {Proceedings of the 18th Annual Symposium on Combinatorial Pattern Matching, CPM'2007 (London, Canada, July 9-11, 2007)},
SERIES = {LNCS},
VOLUME = {4580},
PAGES = {63-70},
YEAR = {2007},
EDITOR = {Ma, Bin and Zhang, Kaizhong},
URL = {http://dx.doi.org/10.1007/978-3-540-73437-6_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Arroyuelo-Navarro/07,
AUTHOR = {Arroyuelo, Diego and Navarro, Gonzalo},
TITLE = {A Lempel-Ziv text index on secondary storage},
BOOKTITLE = {Proceedings of the 18th Annual Symposium on Combinatorial Pattern Matching, CPM'2007 (London, Canada, July 9-11, 2007)},
SERIES = {LNCS},
VOLUME = {4580},
PAGES = {83-94},
YEAR = {2007},
EDITOR = {Ma, Bin and Zhang, Kaizhong},
URL = {http://dx.doi.org/10.1007/978-3-540-73437-6_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Fu-Xu-Yang-Zhao-Zhu/07,
AUTHOR = {Chen, Zhixiang and Fu, Bin and Xu, Jinhui and Yang, Boting and Zhao, Zhiyu and Zhu, Binhai},
TITLE = {Non-breaking similarity of genomes with gene repetitions},
BOOKTITLE = {Proceedings of the 18th Annual Symposium on Combinatorial Pattern Matching, CPM'2007 (London, Canada, July 9-11, 2007)},
SERIES = {LNCS},
VOLUME = {4580},
PAGES = {119-130},
YEAR = {2007},
EDITOR = {Ma, Bin and Zhang, Kaizhong},
URL = {http://dx.doi.org/10.1007/978-3-540-73437-6_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Benoit-Gagne-Hamel/07,
AUTHOR = {Beno{\^{i}}t-Gagn{\'e}, Maxime and Hamel, Sylvie},
TITLE = {A new and faster method of sorting by transpositions},
BOOKTITLE = {Proceedings of the 18th Annual Symposium on Combinatorial Pattern Matching, CPM'2007 (London, Canada, July 9-11, 2007)},
SERIES = {LNCS},
VOLUME = {4580},
PAGES = {131-141},
YEAR = {2007},
EDITOR = {Ma, Bin and Zhang, Kaizhong},
URL = {http://dx.doi.org/10.1007/978-3-540-73437-6_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Amir-Kapah-Porat/07,
AUTHOR = {Amir, Amihood and Kapah, Oren and Porat, Ely},
TITLE = {Deterministic length reduction: Fast convolution in sparse data and applications},
BOOKTITLE = {Proceedings of the 18th Annual Symposium on Combinatorial Pattern Matching, CPM'2007 (London, Canada, July 9-11, 2007)},
SERIES = {LNCS},
VOLUME = {4580},
PAGES = {183-194},
YEAR = {2007},
EDITOR = {Ma, Bin and Zhang, Kaizhong},
URL = {http://dx.doi.org/10.1007/978-3-540-73437-6_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Amir-Fischer-Lewenstein/07,
AUTHOR = {Amir, Amihood and Fischer, Johannes and Lewenstein, Moshe},
TITLE = {Two-dimensional range minimum queries},
BOOKTITLE = {Proceedings of the 18th Annual Symposium on Combinatorial Pattern Matching, CPM'2007 (London, Canada, July 9-11, 2007)},
SERIES = {LNCS},
VOLUME = {4580},
PAGES = {286-294},
YEAR = {2007},
EDITOR = {Ma, Bin and Zhang, Kaizhong},
URL = {http://dx.doi.org/10.1007/978-3-540-73437-6_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Puglisi-Smyth/07,
AUTHOR = {Chen, Gang and Puglisi, Simon J. and Smyth, W.F.},
TITLE = {Fast and practical algorithms for computing all the runs in a string},
BOOKTITLE = {Proceedings of the 18th Annual Symposium on Combinatorial Pattern Matching, CPM'2007 (London, Canada, July 9-11, 2007)},
SERIES = {LNCS},
VOLUME = {4580},
PAGES = {307-315},
YEAR = {2007},
EDITOR = {Ma, Bin and Zhang, Kaizhong},
URL = {http://dx.doi.org/10.1007/978-3-540-73437-6_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bouvel-Rossin-Vialette/07,
AUTHOR = {Bouvel, Mathilde and Rossin, Dominique and Vialette, St{\'e}phane},
TITLE = {Longest common separable pattern among permutations},
BOOKTITLE = {Proceedings of the 18th Annual Symposium on Combinatorial Pattern Matching, CPM'2007 (London, Canada, July 9-11, 2007)},
SERIES = {LNCS},
VOLUME = {4580},
PAGES = {316-327},
YEAR = {2007},
EDITOR = {Ma, Bin and Zhang, Kaizhong},
URL = {http://dx.doi.org/10.1007/978-3-540-73437-6_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Abramsky/07,
AUTHOR = {Abramsky, Samson},
TITLE = {Petri nets, discrete physics, and distributed quantum computation},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {1-2},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Beccuti-Franceschinis-Haddad/07,
AUTHOR = {Beccuti, M. and Franceschinis, G. and Haddad, S.},
TITLE = {Markov decision Petri net and Markov decision well-formed net formalisms},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {43-62},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Boyer-Roux/07,
AUTHOR = {Boyer, M. and Roux, O.H.},
TITLE = {Comparison of the expressiveness of arc, place and transition Time Petri Nets},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {63-82},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ciardo-Luttgen-Yu/07,
AUTHOR = {Ciardo, Gianfranco and L{\"u}ttgen, Gerald and Yu, Andy Jinqing},
TITLE = {Improving static variable orders via invariants},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {83-103},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ehrig-Hoffmann-Padberg-Prange-Ermel/07,
AUTHOR = {Ehrig, Hartmut and Hoffmann, Kathrin and Padberg, Julia and Prange, Ulrike and Ermel, Claudia},
TITLE = {Independence of net transformations and token firing in reconfigurable place/transition systems},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {104-123},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Andersen-Louveaux-Weismantel-Wolsey/07,
AUTHOR = {Andersen, Kent and Louveaux, Quentin and Weismantel, Robert and Wolsey, Laurence A.},
TITLE = {Inequalities from two rows of a simplex tableau},
BOOKTITLE = {Proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2007 (Ithaka, NY, USA, June 25-27, 2007)},
SERIES = {LNCS},
VOLUME = {4513},
PAGES = {1-15},
YEAR = {2007},
EDITOR = {Fischetti, Matteo and Williamson, David P.},
URL = {http://dx.doi.org/10.1007/978-3-540-72792-7_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Atamturk-Narayanan/07,
AUTHOR = {Atamt{\"u}rk, Alper and Narayanan, Vishnu},
TITLE = {Cuts for conic mixed-integer programming},
BOOKTITLE = {Proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2007 (Ithaka, NY, USA, June 25-27, 2007)},
SERIES = {LNCS},
VOLUME = {4513},
PAGES = {16-29},
YEAR = {2007},
EDITOR = {Fischetti, Matteo and Williamson, David P.},
URL = {http://dx.doi.org/10.1007/978-3-540-72792-7_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dey-Richard/07,
AUTHOR = {Dey, Santanu S. and Richard, Jean-Philippe P.},
TITLE = {Sequential-merge facets for two-dimensional group problems},
BOOKTITLE = {Proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2007 (Ithaka, NY, USA, June 25-27, 2007)},
SERIES = {LNCS},
VOLUME = {4513},
PAGES = {30-42},
YEAR = {2007},
EDITOR = {Fischetti, Matteo and Williamson, David P.},
URL = {http://dx.doi.org/10.1007/978-3-540-72792-7_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Beier-Roglin-Vocking/07,
AUTHOR = {Beier, Rene and R{\"o}glin, Heiko and V{\"o}cking, Berthold},
TITLE = {The smoothed number of Pareto optimal solutions in bicriteria integer optimization},
BOOKTITLE = {Proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2007 (Ithaka, NY, USA, June 25-27, 2007)},
SERIES = {LNCS},
VOLUME = {4513},
PAGES = {53-67},
YEAR = {2007},
EDITOR = {Fischetti, Matteo and Williamson, David P.},
URL = {http://dx.doi.org/10.1007/978-3-540-72792-7_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Balas-Bonami/07,
AUTHOR = {Balas, Egon and Bonami, Pierre},
TITLE = {New variants of lift-and-project cut generation from the LP tableau: Open source implementation and testing},
BOOKTITLE = {Proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2007 (Ithaka, NY, USA, June 25-27, 2007)},
SERIES = {LNCS},
VOLUME = {4513},
PAGES = {89-103},
YEAR = {2007},
EDITOR = {Fischetti, Matteo and Williamson, David P.},
URL = {http://dx.doi.org/10.1007/978-3-540-72792-7_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dumitrescu-Toth/07a,
AUTHOR = {Dumitrescu, Adrian and T{\'o}th, Csaba D.},
TITLE = {Distinct triangle areas in a planar point set},
BOOKTITLE = {Proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2007 (Ithaka, NY, USA, June 25-27, 2007)},
SERIES = {LNCS},
VOLUME = {4513},
PAGES = {119-129},
YEAR = {2007},
EDITOR = {Fischetti, Matteo and Williamson, David P.},
URL = {http://dx.doi.org/10.1007/978-3-540-72792-7_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ambuhl-Mastrolilli-Mutsanas-Svensson/07,
AUTHOR = {Amb{\"u}hl, Christoph and Mastrolilli, Monaldo and Mutsanas, Nikolaus and Svensson, Ola},
TITLE = {Scheduling with precedence constraints of low fractional dimension},
BOOKTITLE = {Proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2007 (Ithaka, NY, USA, June 25-27, 2007)},
SERIES = {LNCS},
VOLUME = {4513},
PAGES = {130-144},
YEAR = {2007},
EDITOR = {Fischetti, Matteo and Williamson, David P.},
URL = {http://dx.doi.org/10.1007/978-3-540-72792-7_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cunningham-Geelen/07,
AUTHOR = {Cunningham, William H. and Geelen, Jim},
TITLE = {On integer programming and the branch-width of the constraint matrix},
BOOKTITLE = {Proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2007 (Ithaka, NY, USA, June 25-27, 2007)},
SERIES = {LNCS},
VOLUME = {4513},
PAGES = {158-166},
YEAR = {2007},
EDITOR = {Fischetti, Matteo and Williamson, David P.},
URL = {http://dx.doi.org/10.1007/978-3-540-72792-7_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Calinescu-Chekuri-Pal-Vondrak/07,
AUTHOR = {Calinescu, Gruia and Chekuri, Chandra and P{\'a}l, Martin and Vondr{\'a}k, Jan},
TITLE = {Maximizing a submodular set function subject to a matroid constraint},
BOOKTITLE = {Proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2007 (Ithaka, NY, USA, June 25-27, 2007)},
SERIES = {LNCS},
VOLUME = {4513},
PAGES = {182-196},
YEAR = {2007},
EDITOR = {Fischetti, Matteo and Williamson, David P.},
URL = {http://dx.doi.org/10.1007/978-3-540-72792-7_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dash-Fukasawa-Gunluk/07,
AUTHOR = {Dash, Sanjeeb and Fukasawa, Ricardo and G{\"u}nl{\"u}k, Oktay},
TITLE = {On a generalization of the Master Cyclic Group Polyhedron},
BOOKTITLE = {Proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2007 (Ithaka, NY, USA, June 25-27, 2007)},
SERIES = {LNCS},
VOLUME = {4513},
PAGES = {197-209},
YEAR = {2007},
EDITOR = {Fischetti, Matteo and Williamson, David P.},
URL = {http://dx.doi.org/10.1007/978-3-540-72792-7_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Danna-Fenelon-Gu-Wunderling/07,
AUTHOR = {Danna, Emilie and Fenelon, Mary and Gu, Zonghao and Wunderling, Roland},
TITLE = {Generating multiple solutions for mixed integer programming problems},
BOOKTITLE = {Proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2007 (Ithaka, NY, USA, June 25-27, 2007)},
SERIES = {LNCS},
VOLUME = {4513},
PAGES = {280-294},
YEAR = {2007},
EDITOR = {Fischetti, Matteo and Williamson, David P.},
URL = {http://dx.doi.org/10.1007/978-3-540-72792-7_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Conforti-Gerards-Zambelli/07,
AUTHOR = {Conforti, Michele and Gerards, Bert and Zambelli, Giacomo},
TITLE = {Mixed-integer vertex covers on bipartite graphs},
BOOKTITLE = {Proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2007 (Ithaka, NY, USA, June 25-27, 2007)},
SERIES = {LNCS},
VOLUME = {4513},
PAGES = {324-336},
YEAR = {2007},
EDITOR = {Fischetti, Matteo and Williamson, David P.},
URL = {http://dx.doi.org/10.1007/978-3-540-72792-7_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dash-Gunluk-Lodi/07,
AUTHOR = {Dash, Sanjeeb and G{\"u}nl{\"u}k, Oktay and Lodi, Andrea},
TITLE = {On the MIR closure of polyhedra},
BOOKTITLE = {Proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2007 (Ithaka, NY, USA, June 25-27, 2007)},
SERIES = {LNCS},
VOLUME = {4513},
PAGES = {337-351},
YEAR = {2007},
EDITOR = {Fischetti, Matteo and Williamson, David P.},
URL = {http://dx.doi.org/10.1007/978-3-540-72792-7_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Conforti-Di_Summa-Wolsey/07,
AUTHOR = {Conforti, Michele and Di Summa, Marco and Wolsey, Laurence A.},
TITLE = {The intersection of continuous mixing polyhedra and the continuous mixing polyhedron with flows},
BOOKTITLE = {Proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2007 (Ithaka, NY, USA, June 25-27, 2007)},
SERIES = {LNCS},
VOLUME = {4513},
PAGES = {352-366},
YEAR = {2007},
EDITOR = {Fischetti, Matteo and Williamson, David P.},
URL = {http://dx.doi.org/10.1007/978-3-540-72792-7_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Anthony-Gupta/07,
AUTHOR = {Anthony, Barbara M. and Gupta, Anupam},
TITLE = {Infrastructure leasing problems},
BOOKTITLE = {Proceedings of the 12th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2007 (Ithaka, NY, USA, June 25-27, 2007)},
SERIES = {LNCS},
VOLUME = {4513},
PAGES = {424-438},
YEAR = {2007},
EDITOR = {Fischetti, Matteo and Williamson, David P.},
URL = {http://dx.doi.org/10.1007/978-3-540-72792-7_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Abiteboul/07,
AUTHOR = {Abiteboul, Serge},
TITLE = {A calculus and algebra for distributed data management},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {1-11},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Courcelle-Twigg/07,
AUTHOR = {Courcelle, Bruno and Twigg, Andrew},
TITLE = {Compact forbidden-set routing},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {37-48},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Caragiannis/07,
AUTHOR = {Caragiannis, Ioannis},
TITLE = {Wavelength management in WDM rings to maximize the number of connections},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {61-72},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berstel-Boasson-Carton-Fagnot/07,
AUTHOR = {Berstel, Jean and Boasson, Luc and Carton, Olivier and Fagnot, Isabelle},
TITLE = {A first investigation of Sturmian trees},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {73-84},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Blanchet-Sadri-Gafni-Wilson/07,
AUTHOR = {Blanchet-Sadri, Francine and Gafni, Joshua D. and Wilson, Kevin H.},
TITLE = {Correlations of partial words},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {97-108},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Coja-Oghlan-Krivelevich-Vilenchik/07,
AUTHOR = {Coja-Oghlan, Amin and Krivelevich, Michael and Vilenchik, Dan},
TITLE = {Why almost all $k$-colorable graphs are easy},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {121-132},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Burgisser/07,
AUTHOR = {B{\"u}rgisser, Peter},
TITLE = {On defining integers in the counting hierarchy and proving arithmetic circuit lower bounds},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {133-144},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Elsasser-Sauerwald/07,
AUTHOR = {Els{\"a}sser, Robert and Sauerwald, Thomas},
TITLE = {Broadcasting vs. mixing and information dissemination on Cayley graphs},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {163-174},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dumitrescu-Toth/07,
AUTHOR = {Dumitrescu, Adrian and T{\'o}th, Csaba D.},
TITLE = {Light orthogonal networks with constant geometric dilation},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {175-187},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berwanger/07,
AUTHOR = {Berwanger, Dietmar},
TITLE = {Admissibility in infinite games},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {188-199},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brandt-Fischer-Holzer/07,
AUTHOR = {Brandt, Felix and Fischer, Felix and Holzer, Markus},
TITLE = {Symmetries and the complexity of pure Nash equilibrium},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {212-223},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bienvenu/07,
AUTHOR = {Bienvenu, Laurent},
TITLE = {Kolmogorov-Loveland stochasticity and Kolmogorov complexity},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {260-271},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bodlaender/07,
AUTHOR = {Bodlaender, Hans L.},
TITLE = {A cubic kernel for feedback vertex set},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {320-331},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Damaschke/07,
AUTHOR = {Damaschke, Peter},
TITLE = {The union of minimal hitting sets: Parameterized combinatorial bounds and counting},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {332-343},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bertoni-Goldwurm-Lonati/07,
AUTHOR = {Bertoni, Alberto and Goldwurm, Massimiliano and Lonati, Violetta},
TITLE = {On the complexity of unary tiling-recognizable picture languages},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {381-392},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cai-Lu/07,
AUTHOR = {Cai, Jin-Yi and Lu, Pinyan},
TITLE = {On symmetric signatures in holographic algorithms},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {429-440},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Doerr/07,
AUTHOR = {Doerr, Benjamin},
TITLE = {Randomly rounding rationals with cardinality constraints and derandomizations},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {441-452},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Busch-Tirthapura/07,
AUTHOR = {Busch, Costas and Tirthapura, Srikanta},
TITLE = {A deterministic algorithm for summarizing asynchronous streams over a sliding window},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {465-476},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Agrawal-Hoang-Thierauf/07,
AUTHOR = {Agrawal, Manindra and Hoang, Thanh Minh and Thierauf, Thomas},
TITLE = {The polynomially bounded perfect matching problem is in $NC^2$},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {489-499},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chattopadhyay-Krebs-Koucky-Szegedy-Tesson-Therien/07,
AUTHOR = {Chattopadhyay, Arkadev and Krebs, Andreas and Kouck{\'y}, Michal and Szegedy, Mario and Tesson, Pascal and Th{\'e}rien, Denis},
TITLE = {Languages with bounded multiparty communication complexity},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {500-511},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Czumaj-Sohler/07,
AUTHOR = {Czumaj, Artur and Sohler, Christian},
TITLE = {Small space representations for metric min-sum $k$-clustering and their applications},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {536-548},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bresolin-Montanari-Sala/07,
AUTHOR = {Bresolin, Davide and Montanari, Angelo and Sala, Pietro},
TITLE = {An optimal tableau-based decision algorithm for propositional neighborhood logic},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {549-560},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Childs-Harrow-Wocjan/07,
AUTHOR = {Childs, Andrew and Harrow, Aram W. and Wocjan, Pawe{\l}},
TITLE = {Weak Fourier-Schur sampling, the hidden subgroup problem, and the quantum collision problem},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {598-609},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_51},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bojanczyk-Hoffman/07,
AUTHOR = {Boja{\'n}czyk, Miko{\l}aj and Hoffman, Piotr},
TITLE = {Reachability in unions of commutative rewriting systems is decidable},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {622-633},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bursuc-Comon-Lundh-Delaune/07,
AUTHOR = {Bursuc, Sergiu and Comon-Lundh, Hubert and Delaune, St{\'e}phanie},
TITLE = {Associative-commutative deducibility constraints},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {634-645},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brenner-Schafer/07,
AUTHOR = {Brenner, Janina and Sch{\"a}fer, Guido},
TITLE = {Cost sharing methods for makespan and completion time scheduling},
BOOKTITLE = {Proceedings of the 24th Annual Symposium on Theoretical Aspects of Computer Science, STACS'2007 (Aachen, Germany, February 22-24, 2007)},
SERIES = {LNCS},
VOLUME = {4393},
PAGES = {670-681},
YEAR = {2007},
EDITOR = {Thomas, Wolfgang and Weil, Pascal},
URL = {http://dx.doi.org/10.1007/978-3-540-70918-3_57},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Deussen/07,
AUTHOR = {Deussen, Oliver},
TITLE = {The algorithmic beauty of digital nature},
BOOKTITLE = {Proceedings of the 14th International Symposium on Graph Drawing, GD'2006 (Karlsruhe, Germany, September 18-20, 2006)},
SERIES = {LNCS},
VOLUME = {4372},
PAGES = {5-7},
YEAR = {2007},
EDITOR = {Kaufmann, Michael and Wagner, Dorothea},
URL = {http://dx.doi.org/10.1007/978-3-540-70904-6_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dwyer-Marriott-Wybrow/07,
AUTHOR = {Dwyer, Tim and Marriott, Kim and Wybrow, Michael},
TITLE = {Integrating edge routing into force-directed layout},
BOOKTITLE = {Proceedings of the 14th International Symposium on Graph Drawing, GD'2006 (Karlsruhe, Germany, September 18-20, 2006)},
SERIES = {LNCS},
VOLUME = {4372},
PAGES = {8-19},
YEAR = {2007},
EDITOR = {Kaufmann, Michael and Wagner, Dorothea},
URL = {http://dx.doi.org/10.1007/978-3-540-70904-6_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Civril-Magdon-Ismail-Bocek-Rivele/07,
AUTHOR = {{\c{C}}ivril, Ali and Magdon-Ismail, Malik and Bocek-Rivele, Eli},
TITLE = {SSDE: Fast graph drawing using sampled spectral distance embedding},
BOOKTITLE = {Proceedings of the 14th International Symposium on Graph Drawing, GD'2006 (Karlsruhe, Germany, September 18-20, 2006)},
SERIES = {LNCS},
VOLUME = {4372},
PAGES = {30-41},
YEAR = {2007},
EDITOR = {Kaufmann, Michael and Wagner, Dorothea},
URL = {http://dx.doi.org/10.1007/978-3-540-70904-6_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brandes-Pich/07,
AUTHOR = {Brandes, Ulrik and Pich, Christian},
TITLE = {Eigensolver methods for progressive multidimensional scaling of large data},
BOOKTITLE = {Proceedings of the 14th International Symposium on Graph Drawing, GD'2006 (Karlsruhe, Germany, September 18-20, 2006)},
SERIES = {LNCS},
VOLUME = {4372},
PAGES = {42-53},
YEAR = {2007},
EDITOR = {Kaufmann, Michael and Wagner, Dorothea},
URL = {http://dx.doi.org/10.1007/978-3-540-70904-6_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brandes-Schlieper/07,
AUTHOR = {Brandes, Ulrik and Schlieper, Barbara},
TITLE = {Angle and distance constraints on tree drawings},
BOOKTITLE = {Proceedings of the 14th International Symposium on Graph Drawing, GD'2006 (Karlsruhe, Germany, September 18-20, 2006)},
SERIES = {LNCS},
VOLUME = {4372},
PAGES = {54-65},
YEAR = {2007},
EDITOR = {Kaufmann, Michael and Wagner, Dorothea},
URL = {http://dx.doi.org/10.1007/978-3-540-70904-6_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Carlson-Eppstein/07,
AUTHOR = {Carlson, Josiah and Eppstein, David},
TITLE = {Trees with convex faces and optimal angles},
BOOKTITLE = {Proceedings of the 14th International Symposium on Graph Drawing, GD'2006 (Karlsruhe, Germany, September 18-20, 2006)},
SERIES = {LNCS},
VOLUME = {4372},
PAGES = {77-88},
YEAR = {2007},
EDITOR = {Kaufmann, Michael and Wagner, Dorothea},
URL = {http://dx.doi.org/10.1007/978-3-540-70904-6_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cappos-Estrella-Balderrama-Fowler-Kobourov/07,
AUTHOR = {Cappos, Justin and Estrella-Balderrama, Alejandro and Fowler, J. Joseph and Kobourov, Stephen G.},
TITLE = {Simultaneous graph embedding with bends and circular arcs},
BOOKTITLE = {Proceedings of the 14th International Symposium on Graph Drawing, GD'2006 (Karlsruhe, Germany, September 18-20, 2006)},
SERIES = {LNCS},
VOLUME = {4372},
PAGES = {95-107},
YEAR = {2007},
EDITOR = {Kaufmann, Michael and Wagner, Dorothea},
URL = {http://dx.doi.org/10.1007/978-3-540-70904-6_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dangelmayr-Felsner/07,
AUTHOR = {Dangelmayr, Cornelia and Felsner, Stefan},
TITLE = {Chordal graphs as intersection graphs of pseudosegments},
BOOKTITLE = {Proceedings of the 14th International Symposium on Graph Drawing, GD'2006 (Karlsruhe, Germany, September 18-20, 2006)},
SERIES = {LNCS},
VOLUME = {4372},
PAGES = {208-219},
YEAR = {2007},
EDITOR = {Kaufmann, Michael and Wagner, Dorothea},
URL = {http://dx.doi.org/10.1007/978-3-540-70904-6_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Benkert-Nollenburg-Uno-Wolff/07,
AUTHOR = {Benkert, Marc and N{\"o}llenburg, Martin and Uno, Takeaki and Wolff, Alexander},
TITLE = {Minimizing intra-edge crossings in wiring diagrams and public transportation maps},
BOOKTITLE = {Proceedings of the 14th International Symposium on Graph Drawing, GD'2006 (Karlsruhe, Germany, September 18-20, 2006)},
SERIES = {LNCS},
VOLUME = {4372},
PAGES = {270-281},
YEAR = {2007},
EDITOR = {Kaufmann, Michael and Wagner, Dorothea},
URL = {http://dx.doi.org/10.1007/978-3-540-70904-6_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Eppstein/07,
AUTHOR = {Eppstein, David},
TITLE = {$st$-planar learning spaces},
BOOKTITLE = {Proceedings of the 14th International Symposium on Graph Drawing, GD'2006 (Karlsruhe, Germany, September 18-20, 2006)},
SERIES = {LNCS},
VOLUME = {4372},
PAGES = {282-293},
YEAR = {2007},
EDITOR = {Kaufmann, Michael and Wagner, Dorothea},
URL = {http://dx.doi.org/10.1007/978-3-540-70904-6_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dillencourt-Eppstein-Goodrich/07,
AUTHOR = {Dillencourt, Michael B. and Eppstein, David and Goodrich, Michael T.},
TITLE = {Choosing colors for geometric graphs via color space embeddings},
BOOKTITLE = {Proceedings of the 14th International Symposium on Graph Drawing, GD'2006 (Karlsruhe, Germany, September 18-20, 2006)},
SERIES = {LNCS},
VOLUME = {4372},
PAGES = {294-305},
YEAR = {2007},
EDITOR = {Kaufmann, Michael and Wagner, Dorothea},
URL = {http://dx.doi.org/10.1007/978-3-540-70904-6_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Di_Giacomo-Didimo-Liotta-Meijer-Trotta-Wismath/07,
AUTHOR = {Di Giacomo, Emilio and Didimo, Walter and Liotta, Giuseppe and Meijer, Henk and Trotta, Francesco and Wismath, Stephen K.},
TITLE = {$k$-colored point-set embeddability of outerplanar graphs},
BOOKTITLE = {Proceedings of the 14th International Symposium on Graph Drawing, GD'2006 (Karlsruhe, Germany, September 18-20, 2006)},
SERIES = {LNCS},
VOLUME = {4372},
PAGES = {318-329},
YEAR = {2007},
EDITOR = {Kaufmann, Michael and Wagner, Dorothea},
URL = {http://dx.doi.org/10.1007/978-3-540-70904-6_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Barth-Mutzel-Yldz/07,
AUTHOR = {Barth, Wilhelm and Mutzel, Petra and Y{\i}ld{\i}z, Canan},
TITLE = {A new approximation algorithm for bend minimization in the Kandinsky model},
BOOKTITLE = {Proceedings of the 14th International Symposium on Graph Drawing, GD'2006 (Karlsruhe, Germany, September 18-20, 2006)},
SERIES = {LNCS},
VOLUME = {4372},
PAGES = {343-354},
YEAR = {2007},
EDITOR = {Kaufmann, Michael and Wagner, Dorothea},
URL = {http://dx.doi.org/10.1007/978-3-540-70904-6_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Di_Giacomo-Didimo-Liotta/07,
AUTHOR = {Di Giacomo, Emilio and Didimo, Walter and Liotta, Giuseppe},
TITLE = {Radial drawings of graphs: Geometric constraints and trade-offs},
BOOKTITLE = {Proceedings of the 14th International Symposium on Graph Drawing, GD'2006 (Karlsruhe, Germany, September 18-20, 2006)},
SERIES = {LNCS},
VOLUME = {4372},
PAGES = {355-366},
YEAR = {2007},
EDITOR = {Kaufmann, Michael and Wagner, Dorothea},
URL = {http://dx.doi.org/10.1007/978-3-540-70904-6_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Di_Giacomo-Grilli-Liotta/07,
AUTHOR = {Di Giacomo, Emilio and Grilli, Luca and Liotta, Giuseppe},
TITLE = {Drawing bipartite graphs on two curves},
BOOKTITLE = {Proceedings of the 14th International Symposium on Graph Drawing, GD'2006 (Karlsruhe, Germany, September 18-20, 2006)},
SERIES = {LNCS},
VOLUME = {4372},
PAGES = {380-385},
YEAR = {2007},
EDITOR = {Kaufmann, Michael and Wagner, Dorothea},
URL = {http://dx.doi.org/10.1007/978-3-540-70904-6_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Biedl-Brandenburg/07,
AUTHOR = {Biedl, Therese and Brandenburg, Franz J.},
TITLE = {Partitions of graphs into trees},
BOOKTITLE = {Proceedings of the 14th International Symposium on Graph Drawing, GD'2006 (Karlsruhe, Germany, September 18-20, 2006)},
SERIES = {LNCS},
VOLUME = {4372},
PAGES = {430-439},
YEAR = {2007},
EDITOR = {Kaufmann, Michael and Wagner, Dorothea},
URL = {http://dx.doi.org/10.1007/978-3-540-70904-6_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dwyer-Marriott-Stuckey/07,
AUTHOR = {Dwyer, Tim and Marriott, Kim and Stuckey, Peter J.},
TITLE = {Fast node overlap removal --- Correction},
BOOKTITLE = {Proceedings of the 14th International Symposium on Graph Drawing, GD'2006 (Karlsruhe, Germany, September 18-20, 2006)},
SERIES = {LNCS},
VOLUME = {4372},
PAGES = {446-447},
YEAR = {2007},
EDITOR = {Kaufmann, Michael and Wagner, Dorothea},
URL = {http://dx.doi.org/10.1007/978-3-540-70904-6_44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Duncan-Klau-Kobourov-Sander/07,
AUTHOR = {Duncan, Christian A. and Klau, Gunnar and Kobourov, Stephen G. and Sander, Georg},
TITLE = {Graph-drawing contest report},
BOOKTITLE = {Proceedings of the 14th International Symposium on Graph Drawing, GD'2006 (Karlsruhe, Germany, September 18-20, 2006)},
SERIES = {LNCS},
VOLUME = {4372},
PAGES = {448-452},
YEAR = {2007},
EDITOR = {Kaufmann, Michael and Wagner, Dorothea},
URL = {http://dx.doi.org/10.1007/978-3-540-70904-6_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}