@incollection{Ahn-Bae-Cheng-Chwa/05,
AUTHOR = {Ahn, Hee-Kap and Bae, Sang Won and Cheng, Siu-Wing and Chwa, Kyung-Yong},
TITLE = {Casting an object with a core},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {40-49},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Aronov-de_Berg-Cheong-Gudmundsson-Haverkort-Vigneron/05,
AUTHOR = {Aronov, Boris and de Berg, Mark and Cheong, Otfried and Gudmundsson, Joachim and Haverkort, Herman and Vigneron, Antoine},
TITLE = {Sparse geometric graphs with small dilation},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {50-59},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Ding-Hu-Zang/05,
AUTHOR = {Chen, Xujin and Ding, Guoli and Hu, Xiaodong and Zang, Wenan},
TITLE = {A min-max relation on packing feedback vertex sets},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {126-135},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Fu/05a,
AUTHOR = {Chen, Zhixiang and Fu, Bin},
TITLE = {On the complexity of Rocchio's similarity-based relevance feedback algorithm},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {216-225},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bonizzoni-Della_Vedova-Dondi-Jiang/05,
AUTHOR = {Bonizzoni, Paola and Della Vedova, Gianluca and Dondi, Riccardo and Jiang, Tao},
TITLE = {Correlation clustering and consensus clustering},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {226-235},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Desmedt-Wang-Burmester/05,
AUTHOR = {Desmedt, Yvo and Wang, Yongge and Burmester, Mike},
TITLE = {A complete characterization of tolerable adversary structures for secure point-to-point transmissions without feedback},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {277-287},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alaei-Toossi-Ghodsi/05,
AUTHOR = {Alaei, Saeed and Toossi, Mohammad and Ghodsi, Mohammad},
TITLE = {SkipTree: A scalable range-queryable distributed data structure for multidimensional data},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {298-307},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Arge-Toma/05,
AUTHOR = {Arge, Lars and Toma, Laura},
TITLE = {External data structures for shortest path queries on planar digraphs},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {328-338},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Agarwal-Xie-Yang-Yu/05,
AUTHOR = {Agarwal, Pankaj K. and Xie, Junyi and Yang, Jun and Yu, Hai},
TITLE = {Monitoring continuous band-join queries over dynamic data},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {349-359},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cui-Wang-Zhu/05,
AUTHOR = {Cui, Yun and Wang, Lusheng and Zhu, Daming},
TITLE = {A 1.75-approximation algorithm for unsigned translocation distance},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {392-401},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Demange-Kouakou-Soutif/05,
AUTHOR = {Demange, Marc and Kouakou, Bernard and Soutif, {\'E}ric},
TITLE = {On-line computation and maximum-weighted hereditary subgraph problems},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {433-442},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Caragiannis-Galdi-Kaklamanis/05,
AUTHOR = {Caragiannis, Ioannis and Galdi, Clemente and Kaklamanis, Christos},
TITLE = {Basic computations in wireless networks},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {533-542},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bodirsky-Gropl-Kang/05,
AUTHOR = {Bodirsky, Manuel and Gr{\"o}pl, Clemens and Kang, Mihyun},
TITLE = {Sampling unlabeled biconnected planar graphs},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {593-603},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_60},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bazgan-Karpinski/05,
AUTHOR = {Bazgan, Cristina and Karpinski, Marek},
TITLE = {On the complexity of global constraint satisfaction},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {624-633},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alvarez-Gabarro-Serna/05a,
AUTHOR = {{\`A}lvarez, Carme and Gabarr{\'o}, Joaquim and Serna, Maria},
TITLE = {Polynomial space suffices for deciding Nash equilibria properties for extensive games with large trees},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {634-643},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chan-Zhang-Fung-Ye-Zhu/05,
AUTHOR = {Chan, Wun-Tat and Zhang, Yong and Fung, Stanley P.Y. and Ye, Deshi and Zhu, Hong},
TITLE = {Efficient algorithms for finding a longest common increasing subsequence},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {665-674},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_67},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ackermann-Newman-Roglin-Vocking/05,
AUTHOR = {Ackermann, Heiner and Newman, Alantha and R{\"o}glin, Heiko and V{\"o}cking, Berthold},
TITLE = {Decision making based on approximate and smoothed Pareto curves},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {675-684},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Della_Croce-Paschos/05,
AUTHOR = {Della Croce, Federico and Paschos, Vangelis Th.},
TITLE = {Computing optimal solutions for the MIN 3-SET COVERING problem},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {685-692},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ben-Moshe-Bhattacharya-Shi/05,
AUTHOR = {Ben-Moshe, Boaz and Bhattacharya, Binay and Shi, Qiaosheng},
TITLE = {Efficient algorithms for the weighted 2-center problem in a cactus graph},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {693-703},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_70},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bergkvist-Damaschke/05,
AUTHOR = {Bergkvist, Anders and Damaschke, Peter},
TITLE = {Fast algorithms for finding disjoint subsequences with extremal densities},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {714-723},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_72},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Arimura-Uno/05,
AUTHOR = {Arimura, Hiroki and Uno, Takeaki},
TITLE = {A polynomial space and polynomial delay algorithm for enumeration of maximal motifs in a sequence},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {724-737},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Aissi-Bazgan-Vanderpooten/05a,
AUTHOR = {Aissi, Hassene and Bazgan, Cristina and Vanderpooten, Daniel},
TITLE = {Complexity of the min-max (regret) versions of cut problems},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {789-798},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_79},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cheng-Chen-Tien-Chao/05,
AUTHOR = {Cheng, Chih-Huai and Chen, Kuan-Yu and Tien, Wen-Chin and Chao, Kun-Mao},
TITLE = {Improved algorithms for the $k$ maximum-sums problems},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {799-808},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Caragiannis-Galdi-Kaklamanis/05a,
AUTHOR = {Caragiannis, Ioannis and Galdi, Clemente and Kaklamanis, Christos},
TITLE = {Network load games},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {809-818},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_81},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cardinal-Fiorini-Joret/05,
AUTHOR = {Cardinal, Jean and Fiorini, Samuel and Joret, Gwena{\"e}l},
TITLE = {Minimum entropy coloring},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {819-828},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_82},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dahllof/05,
AUTHOR = {Dahll{\"o}f, Vilhelm},
TITLE = {Algorithms for max Hamming exact satisfiability},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {829-838},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_83},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ahn-Cheong/05,
AUTHOR = {Ahn, Hee-Kap and Cheong, Otfried},
TITLE = {Stacking and bundling two convex polygons},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {882-891},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_88},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cai-Liberatore/05,
AUTHOR = {Cai, Qingbo and Liberatore, Vincenzo},
TITLE = {Approximation algorithms for layered multicast scheduling},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {974-983},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bae-Chwa/05,
AUTHOR = {Bae, Sang Won and Chwa, Kyung-Yong},
TITLE = {Shortest paths and Voronoi diagrams with transportation networks under general distances},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {1007-1018},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_100},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bachmaier-Brandes-Schlieper/05,
AUTHOR = {Bachmaier, Christian and Brandes, Ulrik and Schlieper, Barbara},
TITLE = {Drawing phylogenetic trees},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {1110-1121},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_110},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bazzaro-Gavoille/05,
AUTHOR = {Bazzaro, Fabrice and Gavoille, Cyril},
TITLE = {Localized and compact data-structure for comparability graphs},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {1122-1131},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_111},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Arroyuelo-Navarro/05,
AUTHOR = {Arroyuelo, Diego and Navarro, Gonzalo},
TITLE = {Space-efficient construction of LZ-index},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {1143-1152},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_113},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Yuan-Yang/05,
AUTHOR = {Chen, Erdong and Yuan, Hao and Yang, Linji},
TITLE = {Longest increasing subsequences in windows based on canonical antichain partition},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {1153-1162},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_114},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Abraham-Cechlarova-Manlove-Mehlhorn/05,
AUTHOR = {Abraham, David J. and Cechl{\'a}rov{\'a}, Katar{\'{i}}na and Manlove, David F. and Mehlhorn, Kurt},
TITLE = {Pareto optimality in house allocation problems},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {1163-1175},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_115},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Hu-Luan-Naqvi-Wang-Yu/05,
AUTHOR = {Chen, Danny Z. and Hu, Xiaobo S. and Luan, Shuang and Naqvi, Shahid A. and Wang, Chao and Yu, Cedric X.},
TITLE = {Generalized geometric approaches for leaf sequencing problems in radiation therapy},
BOOKTITLE = {Proceedings of the 16th International Symposium on Algorithms and Computation, ISAAC'2005 (Sanya, Hainan, China, December 19-21, 2005)},
SERIES = {LNCS},
VOLUME = {3827},
PAGES = {1176-1186},
YEAR = {2005},
EDITOR = {Deng, Xiaotie and Du, Dingzhu},
URL = {http://dx.doi.org/10.1007/11602613_116},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chatterjee-Henzinger/05,
AUTHOR = {Chatterjee, Krishnendu and Henzinger, Thomas},
TITLE = {Semiperfect-information games},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {1-18},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Agrawal/05,
AUTHOR = {Agrawal, Manindra},
TITLE = {Proving lower bounds via pseudo-random generators},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {92-105},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Han-Lu/05,
AUTHOR = {Chen, Taolue and Han, Tingting and Lu, Jian},
TITLE = {On the bisimulation congruence in $\chi$-calculus},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {128-139},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dal_Lago-Hofmann/05,
AUTHOR = {Dal Lago, Ugo and Hofmann, Martin},
TITLE = {Quantitative models and implicit complexity},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {189-200},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Allender-Datta-Roy/05,
AUTHOR = {Allender, Eric and Datta, Samir and Roy, Sambuddha},
TITLE = {The directed planar reachability problem},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {238-249},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berard-Cassez-Haddad-Lime-Roux/05,
AUTHOR = {B{\'e}rard, Beatrice and Cassez, Franck and Haddad, Serge and Lime, Didier and Roux, Olivier},
TITLE = {When are timed automata weakly timed bisimilar to time Petri nets?},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {273-284},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{DSouza-Mohan/05,
AUTHOR = {D'Souza, Deepak and Mohan, M. Raj},
TITLE = {Eventual timed automata},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {322-334},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Adsul-Mukund-Kumar-Narayanan/05,
AUTHOR = {Adsul, Bharat and Mukund, Madhavan and Kumar, K. Narayan and Narayanan, Vasumathi},
TITLE = {Causal closure for MSC languages},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {335-347},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bouajjani-Esparza-Schwoon-Strejcek/05,
AUTHOR = {Bouajjani, Ahmed and Esparza, Javier and Schwoon, Stefan and Strej{\v{c}}ek, Jan},
TITLE = {Reachability analysis of multithreaded software with asynchronous communication},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {348-359},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Baltz-Dubhashi-Tansini-Srivastav-Werth/05,
AUTHOR = {Baltz, Andreas and Dubhashi, Devdatt and Tansini, Libertad and Srivastav, Anand and Werth, S{\"o}ren},
TITLE = {Probabilistic analysis for a multiple depot vehicle routing problem},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {360-371},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brazdil-Kucera/05,
AUTHOR = {Br{\'a}zdil, Tom{\'a}{\v{s}} and Ku{\v{c}}era, Anton{\'{i}}n},
TITLE = {Computing the expected accumulated reward and gain for a subclass of infinite Markov chains},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {372-383},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bouyer-Chevalier-Markey/05,
AUTHOR = {Bouyer, Patricia and Chevalier, Fabrice and Markey, Nicolas},
TITLE = {On the expressiveness of TPTL and MTL},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {432-443},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Codenotti-McCune-Penumatcha-Varadarajan/05,
AUTHOR = {Codenotti, Bruno and McCune, Benton and Penumatcha, Sriram and Varadarajan, Kasturi},
TITLE = {Market equilibrium for CES exchange economies: Existence, multiplicity, and computation},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {505-516},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Arai-Moser/05,
AUTHOR = {Arai, Toshiyasu and Moser, Georg},
TITLE = {Proofs of termination of rewrite systems for polytime functions},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {529-540},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{DHondt-Panangaden/05,
AUTHOR = {D'Hondt, Ellie and Panangaden, Prakash},
TITLE = {Reasoning about quantum knowledge},
BOOKTITLE = {Proceedings of the 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2005 (Hyderabad, India, December 15-18, 2005)},
SERIES = {LNCS},
VOLUME = {3821},
PAGES = {553-564},
YEAR = {2005},
EDITOR = {Ramanujam, R. and Sen, Sandeep},
URL = {http://dx.doi.org/10.1007/11590156_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bouvel-Grebinski-Kucherov/05,
AUTHOR = {Bouvel, Mathilde and Grebinski, Vladimir and Kucherov, Gregory},
TITLE = {Combinatorial search on graphs motivated by bioinformatics applications: A brief survey},
BOOKTITLE = {Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2005 (Metz, France, June 23-25, 2005)},
SERIES = {LNCS},
VOLUME = {3787},
PAGES = {16-27},
YEAR = {2005},
EDITOR = {Kratsch, Dieter},
URL = {http://dx.doi.org/10.1007/11604686_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Aggarwal-Mehta-Deogun/05,
AUTHOR = {Aggarwal, Divesh and Mehta, Shashank K. and Deogun, Jitender S.},
TITLE = {Domination search on graphs with low dominating-target-number},
BOOKTITLE = {Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2005 (Metz, France, June 23-25, 2005)},
SERIES = {LNCS},
VOLUME = {3787},
PAGES = {28-37},
YEAR = {2005},
EDITOR = {Kratsch, Dieter},
URL = {http://dx.doi.org/10.1007/11604686_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Crespelle-Paul/05,
AUTHOR = {Crespelle, Christophe and Paul, Christophe},
TITLE = {Fully dynamic algorithm for recognition and modular decomposition of permutation graphs},
BOOKTITLE = {Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2005 (Metz, France, June 23-25, 2005)},
SERIES = {LNCS},
VOLUME = {3787},
PAGES = {38-48},
YEAR = {2005},
EDITOR = {Kratsch, Dieter},
URL = {http://dx.doi.org/10.1007/11604686_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Beerliova-Eberhard-Erlebach-Hall-Hoffmann-Mihalak-Ram/05,
AUTHOR = {Beerliova, Zuzana and Eberhard, Felix and Erlebach, Thomas and Hall, Alexander and Hoffmann, Michael and Mihal'{\'a}k, Mat{\'u}{\v{s}} and Ram, L. Shankar},
TITLE = {Network discovery and verification},
BOOKTITLE = {Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2005 (Metz, France, June 23-25, 2005)},
SERIES = {LNCS},
VOLUME = {3787},
PAGES = {127-138},
YEAR = {2005},
EDITOR = {Kratsch, Dieter},
URL = {http://dx.doi.org/10.1007/11604686_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Corneil-Dragan-Kohler-Yan/05,
AUTHOR = {Corneil, Derek G. and Dragan, Feodor F. and K{\"o}hler, Ekkehard and Yan, Chenyu},
TITLE = {Collective tree 1-spanners for interval graphs},
BOOKTITLE = {Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2005 (Metz, France, June 23-25, 2005)},
SERIES = {LNCS},
VOLUME = {3787},
PAGES = {151-162},
YEAR = {2005},
EDITOR = {Kratsch, Dieter},
URL = {http://dx.doi.org/10.1007/11604686_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bose-Dujmovic-Wood/05,
AUTHOR = {Bose, Prosenjit and Dujmovi{\'c}, Vida and Wood, David R.},
TITLE = {Induced subgraphs of bounded degree and bounded treewidth},
BOOKTITLE = {Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2005 (Metz, France, June 23-25, 2005)},
SERIES = {LNCS},
VOLUME = {3787},
PAGES = {175-186},
YEAR = {2005},
EDITOR = {Kratsch, Dieter},
URL = {http://dx.doi.org/10.1007/11604686_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Berry-Krueger-Simonet/05,
AUTHOR = {Berry, Anne and Krueger, Richard and Simonet, Genevieve},
TITLE = {Ultimate generalizations of LexBFS and LEX M},
BOOKTITLE = {Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2005 (Metz, France, June 23-25, 2005)},
SERIES = {LNCS},
VOLUME = {3787},
PAGES = {199-213},
YEAR = {2005},
EDITOR = {Kratsch, Dieter},
URL = {http://dx.doi.org/10.1007/11604686_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Blin-Fertin-Hermelin-Vialette/05,
AUTHOR = {Blin, Guillaume and Fertin, Guillaume and Hermelin, Danny and Vialette, St{\'e}phane},
TITLE = {Fixed-parameter algorithms for protein similarity search under mRNA structure constraints},
BOOKTITLE = {Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2005 (Metz, France, June 23-25, 2005)},
SERIES = {LNCS},
VOLUME = {3787},
PAGES = {271-282},
YEAR = {2005},
EDITOR = {Kratsch, Dieter},
URL = {http://dx.doi.org/10.1007/11604686_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Damaschke/05,
AUTHOR = {Damaschke, Peter},
TITLE = {On the fixed-parameter enumerability of cluster editing},
BOOKTITLE = {Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2005 (Metz, France, June 23-25, 2005)},
SERIES = {LNCS},
VOLUME = {3787},
PAGES = {283-294},
YEAR = {2005},
EDITOR = {Kratsch, Dieter},
URL = {http://dx.doi.org/10.1007/11604686_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bodirsky-Kral/05,
AUTHOR = {Bodirsky, Manuel and Kr{\'a}l', Daniel},
TITLE = {Locally consistent constraint satisfaction problems with binary constraints},
BOOKTITLE = {Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2005 (Metz, France, June 23-25, 2005)},
SERIES = {LNCS},
VOLUME = {3787},
PAGES = {295-306},
YEAR = {2005},
EDITOR = {Kratsch, Dieter},
URL = {http://dx.doi.org/10.1007/11604686_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Angel-Bampis-Gourves/05a,
AUTHOR = {Angel, Eric and Bampis, Evripidis and Gourv{\`e}s, Laurent},
TITLE = {Approximation algorithms for the bi-criteria weighted MAX-CUT problem},
BOOKTITLE = {Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2005 (Metz, France, June 23-25, 2005)},
SERIES = {LNCS},
VOLUME = {3787},
PAGES = {331-340},
YEAR = {2005},
EDITOR = {Kratsch, Dieter},
URL = {http://dx.doi.org/10.1007/11604686_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Berthome-Lebresne-Nguyen/05,
AUTHOR = {Berthom{\'e}, Pascal and Lebresne, Sylvain and Nguy{\^e}n, Kim},
TITLE = {Computation of chromatic polynomials using triangulations and clique trees},
BOOKTITLE = {Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2005 (Metz, France, June 23-25, 2005)},
SERIES = {LNCS},
VOLUME = {3787},
PAGES = {362-373},
YEAR = {2005},
EDITOR = {Kratsch, Dieter},
KEYWORDS = {chromatic polynomial, chordal graphs, minimal triangulation, clique tree},
URL = {http://dx.doi.org/10.1007/11604686_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Berry-Sigayret-Spinrad/05,
AUTHOR = {Berry, Anne and Sigayret, Alain and Spinrad, Jeremy},
TITLE = {Faster dynamic algorithms for chordal graphs, and an application to phylogeny},
BOOKTITLE = {Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science, WG'2005 (Metz, France, June 23-25, 2005)},
SERIES = {LNCS},
VOLUME = {3787},
PAGES = {445-455},
YEAR = {2005},
EDITOR = {Kratsch, Dieter},
URL = {http://dx.doi.org/10.1007/11604686_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Abramov-Bronstein-Khmelnov/05,
AUTHOR = {Abramov, S.A. and Bronstein, M. and Khmelnov, D.E.},
TITLE = {On regular and logarithmic solutions of ordinary linear differential systems},
BOOKTITLE = {Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC'2005 (Kalamata, Greece, September 12-16, 2005)},
SERIES = {LNCS},
VOLUME = {3718},
PAGES = {1-12},
YEAR = {2005},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11555964_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Basu-Kettner/05,
AUTHOR = {Basu, Saugata and Kettner, Michael},
TITLE = {Computing the Betti numbers of arrangements in practice},
BOOKTITLE = {Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC'2005 (Kalamata, Greece, September 12-16, 2005)},
SERIES = {LNCS},
VOLUME = {3718},
PAGES = {13-31},
YEAR = {2005},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11555964_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Belyaeva-Chekanov-Gusev-Rostovtsev-Ukolov-Uwano-Vinitsky/05,
AUTHOR = {Belyaeva, I.N. and Chekanov, N.A. and Gusev, A.A. and Rostovtsev, V.A. and Ukolov, Yu.A. and Uwano, Y. and Vinitsky, S.I.},
TITLE = {A MAPLE symbolic-numeric program for solving the 2D-eigenvalue problem by a self-consistent basis method},
BOOKTITLE = {Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC'2005 (Kalamata, Greece, September 12-16, 2005)},
SERIES = {LNCS},
VOLUME = {3718},
PAGES = {32-39},
YEAR = {2005},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11555964_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berghammer-Neumann/05,
AUTHOR = {Berghammer, Rudolf and Neumann, Frank},
TITLE = {RELVIEW --- An OBDD-based computer algebra system for relations},
BOOKTITLE = {Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC'2005 (Kalamata, Greece, September 12-16, 2005)},
SERIES = {LNCS},
VOLUME = {3718},
PAGES = {40-51},
YEAR = {2005},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11555964_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Borges-Quintana-Borges-Trenard-Martinez-Moro/05,
AUTHOR = {Borges-Quintana, M. and Borges-Trenard, M.A. and Mart{\'{i}}nez-Moro, E.},
TITLE = {On the use of Gr{\"o}bner bases for computing the structure of finite Abelian groups},
BOOKTITLE = {Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC'2005 (Kalamata, Greece, September 12-16, 2005)},
SERIES = {LNCS},
VOLUME = {3718},
PAGES = {52-64},
YEAR = {2005},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11555964_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bruno-Edneral/05,
AUTHOR = {Bruno, Alexander D. and Edneral, Victor F.},
TITLE = {Normal forms and integrability of ODE systems},
BOOKTITLE = {Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC'2005 (Kalamata, Greece, September 12-16, 2005)},
SERIES = {LNCS},
VOLUME = {3718},
PAGES = {65-74},
YEAR = {2005},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11555964_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Buse-Khalil-Mourrain/05,
AUTHOR = {Bus{\'e}, Laurent and Khalil, Houssam and Mourrain, Bernard},
TITLE = {Resultant-based methods for plane curves intersection problems},
BOOKTITLE = {Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC'2005 (Kalamata, Greece, September 12-16, 2005)},
SERIES = {LNCS},
VOLUME = {3718},
PAGES = {75-92},
YEAR = {2005},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11555964_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cattani-Grebenikov-Prokopenya/05,
AUTHOR = {Cattani, Carlo and Grebenikov, Evgenii A. and Prokopenya, Alexander N.},
TITLE = {Symbolic calculations in studying the stability of dynamically symmetric satellite motion},
BOOKTITLE = {Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC'2005 (Kalamata, Greece, September 12-16, 2005)},
SERIES = {LNCS},
VOLUME = {3718},
PAGES = {93-104},
YEAR = {2005},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11555964_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chibisov-Ganzha-Mayr-Vorozhtsov/05,
AUTHOR = {Chibisov, Dmytro and Ganzha, Victor and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
TITLE = {Generation of orthogonal grids on curvilinear trimmed regions in constant time},
BOOKTITLE = {Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC'2005 (Kalamata, Greece, September 12-16, 2005)},
SERIES = {LNCS},
VOLUME = {3718},
PAGES = {105-114},
YEAR = {2005},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11555964_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chibisov-Ganzha-Pankratov-Zenger/05,
AUTHOR = {Chibisov, Dmytro and Ganzha, Victor and Pankratov, Sergey and Zenger, Christoph},
TITLE = {Computer algebra in nanosciences: Modeling electronic states in quantum dots},
BOOKTITLE = {Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC'2005 (Kalamata, Greece, September 12-16, 2005)},
SERIES = {LNCS},
VOLUME = {3718},
PAGES = {115-124},
YEAR = {2005},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11555964_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chtcherba-Kapur-Minimair/05,
AUTHOR = {Chtcherba, Arthur D. and Kapur, Deepak and Minimair, Manfred},
TITLE = {Cayley-Dixon resultant matrices of multi-univariate composed polynomials},
BOOKTITLE = {Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing, CASC'2005 (Kalamata, Greece, September 12-16, 2005)},
SERIES = {LNCS},
VOLUME = {3718},
PAGES = {125-137},
YEAR = {2005},
EDITOR = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
URL = {http://dx.doi.org/10.1007/11555964_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Batra-Garg-Gupta/05,
AUTHOR = {Batra, Garima and Garg, Naveen and Gupta, Garima},
TITLE = {Heuristic improvements for computing maximum multicommodity flow and minimum multicut},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {35-46},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Christodoulou-Koutsoupias/05,
AUTHOR = {Christodoulou, George and Koutsoupias, Elias},
TITLE = {On the price of anarchy and stability of correlated equilibria of linear congestion games},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {59-70},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Daskalakis-Papadimitriou/05,
AUTHOR = {Daskalakis, Konstantinos and Papadimitriou, Christos H.},
TITLE = {The complexity of games on highly regular graphs},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {71-82},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Codenotti-McCune-Raman-Varadarajan/05,
AUTHOR = {Codenotti, Bruno and McCune, Benton and Raman, Rajiv and Varadarajan, Kasturi},
TITLE = {Computing equilibrium prices: Does theory meet practice?},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {83-94},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Cabello-Mohar/05,
AUTHOR = {Cabello, Sergio and Mohar, Bojan},
TITLE = {Finding shortest non-separating and non-contractible cycles for topologically embedded graphs},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {131-142},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Berberich-Eigenwillig-Hemmer-Hert-Kettner-Mehlhorn-Reichel-Schmitt-Schomer-Wolpert/05,
AUTHOR = {Berberich, Eric and Eigenwillig, Arno and Hemmer, Michael and Hert, Susan and Kettner, Lutz and Mehlhorn, Kurt and Reichel, Joachim and Schmitt, Susanne and Sch{\"o}mer, Elmar and Wolpert, Nicola},
TITLE = {EXACUS: Efficient and exact algorithms for curves and surfaces},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {155-166},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Chen-Nagoya/05,
AUTHOR = {Chen, Zhi-Zhong and Nagoya, Takayuki},
TITLE = {Improved approximation algorithms for metric Max TSP},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {179-190},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Benkoczi-Bhattacharya/05,
AUTHOR = {Benkoczi, Robert and Bhattacharya, Binay},
TITLE = {A new template for solving $p$-median problems for trees in sub-quadratic time},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {271-282},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Alfieri-van_de_Velde-Woeginger/05,
AUTHOR = {Alfieri, Arianna and van de Velde, Steef L. and Woeginger, Gerhard J.},
TITLE = {Roll cutting in the curtain industry},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {283-292},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Chaudhry-Cormen/05,
AUTHOR = {Chaudhry, Geeta and Cormen, Thomas H.},
TITLE = {Oblivious vs. distribution-based sorting: An experimental evaluation},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {317-328},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Agarwal-Arge-Yi/05,
AUTHOR = {Agarwal, Pankaj K. and Arge, Lars and Yi, Ke},
TITLE = {I/O-efficient construction of constrained Delaunay triangulations},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {355-366},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Boissonnat-Delage/05,
AUTHOR = {Boissonnat, Jean-Daniel and Delage, Christophe},
TITLE = {Convex hull and Voronoi diagram of additively weighted points},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {367-378},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Bodlaender-Grigoriev-Koster/05,
AUTHOR = {Bodlaender, Hans L. and Grigoriev, Alexander and Koster, Arie M.C.A.},
TITLE = {Treewidth lower bounds with brambles},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {391-402},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Crochemore-Hermelin-Landau-Vialette/05,
AUTHOR = {Crochemore, Maxime and Hermelin, Danny and Landau, Gad M. and Vialette, St{\'e}phane},
TITLE = {Approximating the 2-interval pattern problem},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {426-437},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Bilo-Caragiannis-Kaklamanis-Kanellopoulos/05,
AUTHOR = {Bil{\`o}, Vittorio and Caragiannis, Ioannis and Kaklamanis, Christos and Kanellopoulos, Panagiotis},
TITLE = {Geometric clustering to minimize the sum of cluster sizes},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {460-471},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Berger-Czumaj-Grigni-Zhao/05,
AUTHOR = {Berger, Andr{\'e} and Czumaj, Artur and Grigni, Michelangelo and Zhao, Hairong},
TITLE = {Approximation schemes for minimum 2-connected spanning subgraphs in weighted planar graphs},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {472-483},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Azar-Zachut/05,
AUTHOR = {Azar, Yossi and Zachut, Rafi},
TITLE = {Packet routing and information gathering in lines, rings and trees},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {484-495},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Cabello-Giannopoulos-Knauer-Rote/05,
AUTHOR = {Cabello, Sergio and Giannopoulos, Panos and Knauer, Christian and Rote, G{\"u}nter},
TITLE = {Matching point sets with respect to the Earth Mover's Distance},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {520-531},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Ausiello-Franciosa-Italiano/05,
AUTHOR = {Ausiello, Giorgio and Franciosa, Paolo G. and Italiano, Giuseppe F.},
TITLE = {Small stretch spanners on dynamic graphs},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {532-543},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Dementiev-Kettner-Sanders/05,
AUTHOR = {Dementiev, Roman and Kettner, Lutz and Sanders, Peter},
TITLE = {STXXL: Standard template library for XXL data sets},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {640-651},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_57},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Cicalese-Laber/05,
AUTHOR = {Cicalese, Ferdinando and Laber, Eduardo Sany},
TITLE = {An optimal algorithm for querying priced information: Monotone Boolean functions and game trees},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {664-676},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Buchbinder-Naor/05,
AUTHOR = {Buchbinder, Niv and Naor, Joseph},
TITLE = {Online primal-dual algorithms for covering and packing problems},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {689-701},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Bejerano-Naor-Sprintson/05,
AUTHOR = {Bejerano, Yigal and Naor, Joseph and Sprintson, Alexander},
TITLE = {Efficient algorithms for shared backup allocation in networks with partial information},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {702-713},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Bar-Yehuda-Rawitz/05,
AUTHOR = {Bar-Yehuda, Reuven and Rawitz, Dror},
TITLE = {Using fractional primal-dual to schedule split intervals with demands},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {714-725},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Berenbrink-Ergun-Friedetzky/05,
AUTHOR = {Berenbrink, Petra and Ergun, Funda and Friedetzky, Tom},
TITLE = {Finding frequent patterns in a string in sublinear time},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {746-757},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_66},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Bergeron-Chauve-de_Montgolfier-Raffinot/05,
AUTHOR = {Bergeron, Anne and Chauve, Cedric and de Montgolfier, Fabien and Raffinot, Mathieu},
TITLE = {Computing common intervals of $K$ permutations, with applications to modular decomposition of graphs},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {779-790},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Bienkowski-Byrka/05,
AUTHOR = {Bienkowski, Marcin and Byrka, Jaros{\l}aw},
TITLE = {Bucket game with applications to set multicover and dynamic page migration},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {815-826},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_72},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Bjorklund/05,
AUTHOR = {Bj{\"o}rklund, Andreas},
TITLE = {Approximating integer quadratic programs and MAXCUT in subdense graphs},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {839-849},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Aissi-Bazgan-Vanderpooten/05,
AUTHOR = {Aissi, Hassene and Bazgan, Cristina and Vanderpooten, Daniel},
TITLE = {Approximation complexity of min-max (regret) versions of shortest path, spanning tree, and knapsack},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {862-873},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Demaine-Langerman/05,
AUTHOR = {Demaine, Erik D. and Langerman, Stefan},
TITLE = {Optimizing a 2D function satisfying unimodality properties},
BOOKTITLE = {Proceedings of the 13th Annual European Symposium on Algorithms, ESA'2005 (Palma de Mallorca, Spain, October 3-6, 2005)},
SERIES = {LNCS},
VOLUME = {3669},
PAGES = {887-898},
YEAR = {2005},
EDITOR = {Brodal, Gerth St{\o}lting and Leonardi, Stefano},
URL = {http://dx.doi.org/10.1007/11561071_78},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
TYPE = {incollection},
}
@incollection{Bienkowski-Meyer_auf_der_Heide/05,
AUTHOR = {Bienkowski, Marcin and Meyer auf der Heide, Friedhelm},
TITLE = {Page migration in dynamic networks},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {1-14},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Allender-Bauland-Immerman-Schnoor-Vollmer/05,
AUTHOR = {Allender, Eric and Bauland, Michael and Immerman, Neil and Schnoor, Henning and Vollmer, Heribert},
TITLE = {The complexity of satisfiability problems: Refining Schaefer's theorem},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {71-82},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alonso-Montana-Pardo/05,
AUTHOR = {Alonso, C{\'e}sar L. and Monta{\~n}a, Jos{\`e} L. and Pardo, Luis M.},
TITLE = {On the number of random digits required in MonteCarlo integration of definable functions},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {83-94},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alvarez-Gabarro-Serna/05,
AUTHOR = {{\`A}lvarez, Carme and Gabarr{\'o}, Joaquim and Serna, Maria},
TITLE = {Pure Nash Equilibria in games with a large number of actions},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {95-106},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Amano-Maruoka/05,
AUTHOR = {Amano, Kazuyuki and Maruoka, Akira},
TITLE = {On the complexity of depth-2 circuits with threshold gates},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {107-118},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bauland-Hemaspaandra/05,
AUTHOR = {Bauland, Michael and Hemaspaandra, Edith},
TITLE = {Isomorphic implication},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {119-130},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berthe-Rigo/05,
AUTHOR = {Berth{\'e}, Val{\'e}rie and Rigo, Michel},
TITLE = {Abstract numeration systems and tilings},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {131-143},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Blesa-Calzada-Fernandez-Lopez-Martinez-Santos-Serna/05,
AUTHOR = {Blesa, Mar{\'{i}}a J. and Calzada, Daniel and Fern{\'a}ndez, Antonio and L{\'o}pez, Luis and Mart{\'{i}}nez, Andr{\'e}s L. and Santos, Agust{\'{i}}n and Serna, Maria},
TITLE = {Adversarial queueing model for continuous network dynamics},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {144-155},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bottcher/05,
AUTHOR = {B{\"o}ttcher, Julia},
TITLE = {Coloring sparse random $k$-colorable graphs in polynomial expected time},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {156-167},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Carayol/05,
AUTHOR = {Carayol, Arnaud},
TITLE = {Regular sets of higher-order pushdown stacks},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {168-179},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Carayol-Meyer/05,
AUTHOR = {Carayol, Arnaud and Meyer, Antoine},
TITLE = {Linearly bounded infinite graphs},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {180-191},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cervelle-Formenti-Masson/05,
AUTHOR = {Cervelle, J. and Formenti, E. and Masson, B.},
TITLE = {Basic properties for sand automata},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {192-211},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chalopin-Metivier/05,
AUTHOR = {Chalopin, J{\'e}r{\'e}mie and M{\'e}tivier, Yves},
TITLE = {A bridge between the asynchronous message passing model and local computations in graphs},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {212-223},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chan-Jansson-Lam-Yiu/05,
AUTHOR = {Chan, Ho-Leung and Jansson, Jesper and Lam, Tak-Wah and Yiu, Siu-Ming},
TITLE = {Reconstructing an ultrametric galled phylogenetic network from a distance matrix},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {224-235},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chan-Lam-Liu-Wong/05,
AUTHOR = {Chan, Wun-Tat and Lam, Tak-Wah and Liu, Kin-Shing and Wong, Prudence W.H.},
TITLE = {New resource augmentation analysis of the total stretch of SRPT and SJF in multiprocessor scheduling},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {236-247},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cheng-Tan/05,
AUTHOR = {Cheng, Ho-lun and Tan, Tony},
TITLE = {Approximating polygonal objects by deformable smooth surfaces},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {248-259},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chubarov-Voronkov/05,
AUTHOR = {Chubarov, D. and Voronkov, A.},
TITLE = {Basis of solutions for a system of linear inequalities in integers: Computation and applications},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {260-270},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{De_Marco-Gargano-Kranakis-Krizanc-Pelc-Vaccaro/05,
AUTHOR = {De Marco, Gianluca and Gargano, Luisa and Kranakis, Evangelos and Krizanc, Danny and Pelc, Andrzej and Vaccaro, Ugo},
TITLE = {Asynchronous deterministic rendezvous in graphs},
BOOKTITLE = {Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS'2005 (Gdansk, Poland, August 29 - September 2, 2005)},
SERIES = {LNCS},
VOLUME = {3618},
PAGES = {271-282},
YEAR = {2005},
EDITOR = {J{\c{e}}drzejowicz, Joanna and Szepietowski, Andrzej},
URL = {http://dx.doi.org/10.1007/11549345_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Borodin/05,
AUTHOR = {Borodin, Allan},
TITLE = {Towards a theory of algorithms},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {1-1},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Almeida_Ruiz-Luccio-Mesa_Enriquez-Pagli/05,
AUTHOR = {Almeida Ruiz, Alejandro and Luccio, Fabrizio and Mesa Enriquez, Antonio and Pagli, Linda},
TITLE = {$k$-restricted rotation with an application to search tree rebalancing},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {2-13},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chaudhary-Goodrich/05,
AUTHOR = {Chaudhary, Amitabh and Goodrich, Michael T.},
TITLE = {Balanced aspect ratio trees revisited},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {73-85},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berman-DasGupta/05,
AUTHOR = {Berman, Piotr and DasGupta, Bhaskar},
TITLE = {Approximating the online set multicover problems via randomized winnowing},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {110-121},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Castelli_Aleardi-Devillers-Schaeffer/05,
AUTHOR = {Castelli Aleardi, Luca and Devillers, Olivier and Schaeffer, Gilles},
TITLE = {Succinct representation of triangulations with a boundary},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {134-145},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bender-Bunde-Demaine-Fekete-Leung-Meijer-Phillips/05,
AUTHOR = {Bender, Michael A. and Bunde, David P. and Demaine, Erik D. and Fekete, S{\'a}ndor P. and Leung, Vitus J. and Meijer, Henk and Phillips, Cynthia A.},
TITLE = {Communication-aware processor allocation for supercomputers},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {169-181},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Carmi-Katz-Mitchell/05,
AUTHOR = {Carmi, Paz and Katz, Matthew J. and Mitchell, Joseph S.B.},
TITLE = {The minimum-area spanning tree problem},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {195-204},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Demaine-Demaine-Lindy-Souvaine/05,
AUTHOR = {Demaine, Erik D. and Demaine, Martin L. and Lindy, Jeffrey F. and Souvaine, Diane L.},
TITLE = {Hinged dissection of polypolyhedra},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {205-217},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berger-Parekh/05,
AUTHOR = {Berger, Andr{\'e} and Parekh, Ojas},
TITLE = {Linear time algorithms for generalized edge dominating set problems},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {233-243},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alexandron-Kaplan-Sharir/05,
AUTHOR = {Alexandron, Giora and Kaplan, Haim and Sharir, Micha},
TITLE = {Kinetic and dynamic data structures for convex hulls and upper envelopes},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {269-281},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chepoi-Estellon-Vaxes/05,
AUTHOR = {Chepoi, Victor and Estellon, Bertrand and Vax{\`e}s, Yann},
TITLE = {Approximation algorithms for forests augmentation ensuring two disjoint paths of bounded length},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {282-293},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ausiello-Bonifaci-Laura/05,
AUTHOR = {Ausiello, Giorgio and Bonifaci, Vincenzo and Laura, Luigi},
TITLE = {The on-line asymmetric Traveling Salesman Problem},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {306-317},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chan/05,
AUTHOR = {Chan, Timothy M.},
TITLE = {All-pairs shortest paths with real weights in $O(n^3/ \log n)$ time},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {318-324},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Daescu-Mitchell-Ntafos-Palmer-Yap/05,
AUTHOR = {Daescu, Ovidiu and Mitchell, Joseph S.B. and Ntafos, Simeon and Palmer, James D. and Yap, Chee K.},
TITLE = {$k$-link shortest paths in weighted subdivisions},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {325-337},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Kuo-Lu/05,
AUTHOR = {Chen, Jian-Jia and Kuo, Tei-Wei and Lu, Hsueh-I},
TITLE = {Power-saving scheduling for weakly dynamic voltage scaling devices},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {338-349},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Blaser-Ram-Sviridenko/05,
AUTHOR = {Bl{\"a}ser, Markus and Ram, L. Shankar and Sviridenko, Maxim},
TITLE = {Improved approximation algorithms for metric maximum ATSP and maximum 3-cycle cover problems},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {350-359},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berman-Das/05,
AUTHOR = {Berman, Piotr and Das, Surajit K.},
TITLE = {On the vehicle routing problem},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {360-371},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brodal-Moruz/05,
AUTHOR = {Brodal, Gerth St{\o}lting and Moruz, Gabriel},
TITLE = {Tradeoffs between branch mispredictions and comparisons for sorting algorithms},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {385-395},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bhargava-Kosaraju/05,
AUTHOR = {Bhargava, Ankur and Kosaraju, S. Rao},
TITLE = {Derandomization of dimensionality reduction and SDP based algorithms},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {396-408},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Baran-Demaine-Patrascu/05,
AUTHOR = {Baran, Ilya and Demaine, Erik D. and P{\v{a}}tra{\c{s}}cu, Mihai},
TITLE = {Subquadratic algorithms for 3SUM},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {409-421},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cho-Mount/05,
AUTHOR = {Cho, Minkyoung and Mount, David M.},
TITLE = {Improved approximation bounds for planar point pattern matching},
BOOKTITLE = {Proceedings of the 9th International Workshop on Algorithms and Data Structures, WADS'2005 (Waterloo, Canada, August 15-17, 2005)},
SERIES = {LNCS},
VOLUME = {3608},
PAGES = {432-443},
YEAR = {2005},
EDITOR = {Dehne, Frank and L{\'o}pez-Ortiz, Alejandro and Sack, J{\"o}rg-R{\"u}diger},
URL = {http://dx.doi.org/10.1007/11534273_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Apostolico/05,
AUTHOR = {Apostolico, Alberto},
TITLE = {Monotony and surprise},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {9-9},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Blin-Rizzi/05,
AUTHOR = {Blin, Guillaume and Rizzi, Romeo},
TITLE = {Conserved interval distance computation between non-trivial genomes},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {22-31},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bereg-Zhu/05,
AUTHOR = {Bereg, Sergey and Zhu, Binhai},
TITLE = {RNA multiple structural alignment with longest common subsequences},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {32-41},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Csuros-Ma/05,
AUTHOR = {Cs{\H{u}}r{\"o}s, Mikl{\'o}s and Ma, Bin},
TITLE = {Rapid homology search with two-stage extension and daughter seeds},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {104-114},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berry-Guillemot-Nicolas-Paul/05,
AUTHOR = {Berry, Vincent and Guillemot, Sylvain and Nicolas, Fran{\c{c}}ois and Paul, Christophe},
TITLE = {On the approximation of computing evolutionary trees},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {115-125},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cai-Lin-Xue/05,
AUTHOR = {Cai, Zhipeng and Lin, Guohui and Xue, Guoliang},
TITLE = {Improved approximation algorithms for the capacitated multicast routing problem},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {136-145},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Desmedt-Wang-Safavi-Naini-Wang/05,
AUTHOR = {Desmedt, Yvo and Wang, Yongge and Safavi-Naini, Rei and Wang, Huaxiong},
TITLE = {Radio networks with reliable communication},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {156-166},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Hu-Shuai/05,
AUTHOR = {Chen, Xujin and Hu, Xiaodong and Shuai, Tianping},
TITLE = {Routing and coloring for maximal number of trees},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {199-209},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Caminiti-Petreschi/05,
AUTHOR = {Caminiti, Saverio and Petreschi, Rossella},
TITLE = {String coding of trees with locality and heritability},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {251-262},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Baille-Bampis-Laforest-Thibault/05,
AUTHOR = {Baille, Fabien and Bampis, Evripidis and Laforest, Christian and Thibault, Nicolas},
TITLE = {On-line simultaneous maximization of the size and the weight for degradable intervals schedules},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {308-317},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chan-Chin-Zhang-Zhu-Shen-Wong/05,
AUTHOR = {Chan, Wun-Tat and Chin, Francis Y.L. and Zhang, Yong and Zhu, Hong and Shen, Hong and Wong, Prudence W.H.},
TITLE = {Off-line algorithms for minimizing total flow time in broadcast scheduling},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {318-328},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chung-Graham-Mao-Yao/05,
AUTHOR = {Chung, Fan and Graham, Ron and Mao, Jia and Yao, Andrew},
TITLE = {Oblivious and adaptive strategies for the majority and plurality problems},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {329-338},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cai-Chakaravarthy/05,
AUTHOR = {Cai, Jin-Yi and Chakaravarthy, Venkatesan T.},
TITLE = {A note on zero error algorithms having oracle access to one $NP$ query},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {339-348},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chalermsook-Fakcharoenphol/05,
AUTHOR = {Chalermsook, Parinya and Fakcharoenphol, Jittat},
TITLE = {Simple distributed algorithms for approximating minimum Steiner trees},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {380-389},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bachmaier-Fischer-Forster/05,
AUTHOR = {Bachmaier, Christian and Fischer, Florian and Forster, Michael},
TITLE = {Radial coordinate assignment for level graphs},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {401-410},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Fu-Tang-Zhu/05,
AUTHOR = {Chen, Zhixiang and Fu, Bin and Tang, Yong and Zhu, Binhai},
TITLE = {A PTAS for a disc covering problem using width-bounded separators},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {490-503},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ackerman-Barequet-Pinter/05,
AUTHOR = {Ackerman, Eyal and Barequet, Gill and Pinter, Ron Y.},
TITLE = {An upper bound on the number of rectangulations of a point set},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {554-559},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Braeken-Nikov-Nikova/05,
AUTHOR = {Braeken, An and Nikov, Ventzislav and Nikova, Svetla},
TITLE = {Error-set codes and related objects},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {577-585},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_59},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Deng-Huang-Li/05,
AUTHOR = {Deng, Xiaotie and Huang, Li-Sha and Li, Minming},
TITLE = {On Walrasian price of CPU time},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {586-595},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_60},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Angelopoulos-Sarma-Magen-Viglas/05,
AUTHOR = {Angelopoulos, Spyros and Sarma, Atish Das and Magen, Avner and Viglas, Anastasios},
TITLE = {On-line algorithms for market equilibria},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {596-607},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bae-Takaoka/05,
AUTHOR = {Bae, Sung E. and Takaoka, Tadao},
TITLE = {Improved algorithms for the $K$-maximum subarray problem for small $K$},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {621-631},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_63},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chaudhuri-Kothari-Pendavingh-Swaminathan-Tarjan-Zhou/05,
AUTHOR = {Chaudhuri, Kamalika and Kothari, Anshul and Pendavingh, Rudi and Swaminathan, Ram and Tarjan, Robert and Zhou, Yunhong},
TITLE = {Server allocation algorithms for tiered systems},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {632-643},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_64},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chrobak-Kenyon-Young/05,
AUTHOR = {Chrobak, Marek and Kenyon, Claire and Young, Neal E.},
TITLE = {The reverse greedy algorithm for the metric $k$-median problem},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {654-660},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_66},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Szegedy-Wang/05,
AUTHOR = {Chen, Xiaomin and Szegedy, Mario and Wang, Lei},
TITLE = {Optimally balanced forward degree sequence},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {680-689},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cardinal-Labbe-Langerman-Levy-Melot/05,
AUTHOR = {Cardinal, Jean and Labb{\'e}, Martine and Langerman, Stefan and Levy, Eythan and M{\'e}lot, Hadrien},
TITLE = {A tight analysis of the maximal matching heuristic},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {701-709},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Allulli-Ausiello-Laura/05,
AUTHOR = {Allulli, Luca and Ausiello, Giorgio and Laura, Luigi},
TITLE = {On the power of lookahead in on-line vehicle routing problems},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {728-736},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_74},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chang-Kloks-Kratsch-Liu-Peng/05,
AUTHOR = {Chang, Maw-Shang and Kloks, Ton and Kratsch, Dieter and Liu, Jiping and Peng, Sheng-Lung},
TITLE = {On the recognition of probe graphs of some self-complementary classes of perfect graphs},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {808-817},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_82},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bazgan-Tuza-Vanderpooten/05,
AUTHOR = {Bazgan, Cristina and Tuza, Zsolt and Vanderpooten, Daniel},
TITLE = {Complexity and approximation of satisfactory partition problems},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {829-838},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_84},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dehne-Fellows-Langston-Rosamond-Stevens/05,
AUTHOR = {Dehne, Frank and Fellows, Michael and Langston, Michael A. and Rosamond, Frances and Stevens, Kim},
TITLE = {An $O(2^{O(k)}n^3)$ FPT algorithm for the undirected feedback vertex set problem},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {859-869},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_87},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Gao-Yu-Zang/05,
AUTHOR = {Chen, Guantao and Gao, Zhicheng and Yu, Xingxing and Zang, Wenan},
TITLE = {Approximating the longest cycle problem on graphs with bounded degree},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {870-884},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_88},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cicalese-Damaschke-Tansini-Werth/05,
AUTHOR = {Cicalese, Ferdinando and Damaschke, Peter and Tansini, Libertad and Werth, S{\"o}ren},
TITLE = {Overlaps help: Improved bounds for group testing with interval queries},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {935-944},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_94},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Fu/05,
AUTHOR = {Chen, Zhixiang and Fu, Bin},
TITLE = {A quadratic lower bound for Rocchio's similarity-based relevance feedback algorithm},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {955-964},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_96},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bocker-Liptak/05,
AUTHOR = {B{\"o}cker, Sebastian and Lipt{\'a}k, Zsuzsanna},
TITLE = {The money changing problem revisited: Computing the Frobenius number in time $O(k a_1)$},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {965-974},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Huang-Kanj-Xia/05,
AUTHOR = {Chen, Jianer and Huang, Xiuzhen and Kanj, Iyad A. and Xia, Ge},
TITLE = {$W$-hardness under linear FPT-reductions: Structural properties and further applications},
BOOKTITLE = {Proceedings of the 11th Annual International Conference on Computing and Combinatorics, COCOON'2005 (Kunming, China, August 16-29, 2005)},
SERIES = {LNCS},
VOLUME = {3595},
PAGES = {975-984},
YEAR = {2005},
EDITOR = {Wang, Lusheng},
URL = {http://dx.doi.org/10.1007/11533719_98},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Datta-Derek-Mitchell-Shmatikov-Turuani/05,
AUTHOR = {Datta, Anupam and Derek, Ante and Mitchell, John C. and Shmatikov, Vitaly and Turuani, Mathieu},
TITLE = {Probabilistic polynomial-time semantics for a protocol security logic},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {16-29},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Castagna-Frisch/05,
AUTHOR = {Castagna, Giuseppe and Frisch, Alain},
TITLE = {A gentle introduction to semantic subtyping},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {30-34},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bille-Gortz/05,
AUTHOR = {Bille, Philip and G{\o}rtz, Inge Li},
TITLE = {The tree inclusion problem: In optimal space and faster},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {66-77},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alstrup-Gortz-Rauhe-Thorup-Zwick/05,
AUTHOR = {Alstrup, Stephen and G{\o}rtz, Inge Li and Rauhe, Theis and Thorup, Mikkel and Zwick, Uri},
TITLE = {Union-find with constant time deletions},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {78-89},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chiniforooshan-Farzan-Mirzazadeh/05,
AUTHOR = {Chiniforooshan, Ehsan and Farzan, Arash and Mirzazadeh, Mehdi},
TITLE = {Worst case optimal union-intersection expression evaluation},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {179-190},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Di_Crescenzo-Kiayias/05,
AUTHOR = {Di Crescenzo, Giovanni and Kiayias, Aggelos},
TITLE = {Asynchronous perfectly secure communication over one-time pads},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {216-227},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Catalano-Visconti/05,
AUTHOR = {Catalano, Dario and Visconti, Ivan},
TITLE = {Hybrid trapdoor commitments and their applications},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {298-310},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Braeken-Borissov-Nikova-Preneel/05,
AUTHOR = {Braeken, An and Borissov, Yuri and Nikova, Svetla and Preneel, Bart},
TITLE = {Classification of Boolean functions of 6 variables or less with respect to some cryptographic properties},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {324-334},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cohen-Fraigniaud-Ilcinkas-Korman-Peleg/05,
AUTHOR = {Cohen, Reuven and Fraigniaud, Pierre and Ilcinkas, David and Korman, Amos and Peleg, David},
TITLE = {Label-guided graph exploration by a finite automaton},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {335-346},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chlebus-Gasieniec-Kowalski-Radzik/05,
AUTHOR = {Chlebus, Bogdan S. and G{\c{a}}sieniec, Leszek and Kowalski, Dariusz R. and Radzik, Tomasz},
TITLE = {On the wake-up problem in radio networks},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {347-359},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Beal-Lombardy-Sakarovitch/05,
AUTHOR = {B{\'e}al, Marie-Pierre and Lombardy, Sylvain and Sakarovitch, Jacques},
TITLE = {On the equivalence of $Z$-automata},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {397-409},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Czeizler-Kari/05,
AUTHOR = {Czeizler, Eugen and Kari, Jarkko},
TITLE = {A tight linear bound on the neighborhood of inverse cellular automata},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {410-420},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Beaudry-Lemieux-Therien/05,
AUTHOR = {Beaudry, Martin and Lemieux, Fran{\c{c}}ois and Th{\'e}rien, Denis},
TITLE = {Groupoids that recognize only regular languages},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {421-433},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brodal-Fagerberg-Moruz/05,
AUTHOR = {Brodal, Gerth St{\o}lting and Fagerberg, Rolf and Moruz, Gabriel},
TITLE = {Cache-aware and cache-oblivious adaptive sorting},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {576-588},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chan-Lam-Wong/05,
AUTHOR = {Chan, Wun-Tat and Lam, Tak-Wah and Wong, Prudence W.H.},
TITLE = {Dynamic bin packing of unit fractions items},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {614-626},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chevalier-Rusinowitch/05,
AUTHOR = {Chevalier, Yannick and Rusinowitch, Micha{\"e}l},
TITLE = {Combining intruder theories},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {639-651},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Baudet-Cortier-Kremer/05,
AUTHOR = {Baudet, Mathieu and Cortier, V{\'e}ronique and Kremer, Steve},
TITLE = {Computationally sound implementations of equational theories against passive adversaries},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {652-663},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Abadi-Warinschi/05,
AUTHOR = {Abadi, Mart{\'{i}}n and Warinschi, Bogdan},
TITLE = {Password-based encryption analyzed},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {664-676},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Avin-Ercal/05,
AUTHOR = {Avin, Chen and Ercal, Gunes},
TITLE = {On the cover time of random geometric graphs},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {677-689},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Badouel-Chenou-Guillou/05,
AUTHOR = {Badouel, Eric and Chenou, Jules and Guillou, Goulven},
TITLE = {Petri algebras},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {742-754},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_60},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Conforti-Macedonio-Sassone/05,
AUTHOR = {Conforti, Giovanni and Macedonio, Damiano and Sassone, Vladimiro},
TITLE = {Spatial logics for bigraphs},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {766-778},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_62},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Di_Crescenzo-Visconti/05,
AUTHOR = {Di Crescenzo, Giovanni and Visconti, Ivan},
TITLE = {Concurrent zero knowledge in the public-key model},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {816-827},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_66},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Badoiu-Czumaj-Indyk-Sohler/05,
AUTHOR = {B{\v{a}}doiu, Mihai and Czumaj, Artur and Indyk, Piotr and Sohler, Christian},
TITLE = {Facility location in sublinear time},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {866-877},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_70},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chatterjee-de_Alfaro-Henzinger/05,
AUTHOR = {Chatterjee, Krishnendu and de Alfaro, Luca and Henzinger, Thomas A.},
TITLE = {The complexity of stochastic Rabin and Streett games},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {878-890},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_71},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Borodin-Cashman-Magen/05,
AUTHOR = {Borodin, Allan and Cashman, David and Magen, Avner},
TITLE = {How well can primal-dual and local-ratio algorithms perform?},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {943-955},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_76},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chattopadhyay-Hansen/05,
AUTHOR = {Chattopadhyay, Arkadev and Hansen, Kristoffer Arnsfelt},
TITLE = {Lower bounds for circuits with few modular and symmetric gates},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {994-1005},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Asarin-Collins/05,
AUTHOR = {Asarin, Eugene and Collins, Pieter},
TITLE = {Noisy Turing machines},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {1031-1042},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_83},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Abdulla-Deneux-Ouaknine-Worrell/05,
AUTHOR = {Abdulla, Parosh Aziz and Deneux, Johann and Ouaknine, Jo{\"e}l and Worrell, James},
TITLE = {Decidability and complexity results for timed automata via channel machines},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {1089-1101},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_88},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Alur-Kumar-Madhusudan-Viswanathan/05,
AUTHOR = {Alur, Rajeev and Kumar, Viraj and Madhusudan, P. and Viswanathan, Mahesh},
TITLE = {Congruences for visibly pushdown languages},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {1102-1114},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_89},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ambuhl/05,
AUTHOR = {Amb{\"u}hl, Christoph},
TITLE = {An optimal bound for the MST algorithm to compute energy efficient broadcast trees in wireless networks},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {1139-1150},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_92},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Beame-Pitassi-Segerlind/05,
AUTHOR = {Beame, Paul and Pitassi, Toniann and Segerlind, Nathan},
TITLE = {Lower bounds for Lov{\'a}sz-Schrijver systems and beyond follow from multiparty communication complexity},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {1176-1188},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_95},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Baldamus-Parrow-Victor/05,
AUTHOR = {Baldamus, Michael and Parrow, Joachim and Victor, Bj{\"o}rn},
TITLE = {A fully abstract encoding of the $\pi$-calculus with data terms},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {1202-1213},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{De_Nicola-Gorla-Pugliese/05,
AUTHOR = {De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario},
TITLE = {Basic observables for a calculus for global computing},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {1226-1238},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_99},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Delzanno-Gabbrielli/05,
AUTHOR = {Delzanno, Giorgio and Gabbrielli, Maurizio},
TITLE = {Compositional verification of asynchronous processes via constraint solving},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {1239-1250},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_100},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dalla_Preda-Giacobazzi/05,
AUTHOR = {Dalla Preda, Mila and Giacobazzi, Roberto},
TITLE = {Semantic-based code obfuscation by abstract interpretation},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {1325-1336},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_107},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bradley-Manna-Sipma/05,
AUTHOR = {Bradley, Aaron R. and Manna, Zohar and Sipma, Henny B.},
TITLE = {The polyranking principle},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {1349-1361},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_109},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berenbrink-Friedetzky-Martin/05,
AUTHOR = {Berenbrink, Petra and Friedetzky, Tom and Martin, Russell},
TITLE = {Dynamic diffusion load balancing},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {1386-1398},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_112},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cary-Rudra-Sabharwal/05,
AUTHOR = {Cary, Matthew and Rudra, Atri and Sabharwal, Ashish},
TITLE = {On the hardness of embeddings between two finite metrics},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {1412-1423},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_114},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Atserias-Dawar-Grohe/05,
AUTHOR = {Atserias, Albert and Dawar, Anuj and Grohe, Martin},
TITLE = {Preservation under extensions on well-behaved finite structures},
BOOKTITLE = {Proceedings of the 32nd International Colloquium on Automata, Languages and Programming, ICALP'2005 (Lisbon, Portugal, July 11-15, 2005)},
SERIES = {LNCS},
VOLUME = {3580},
PAGES = {1437-1449},
YEAR = {2005},
EDITOR = {Caires, Lu{\'{i}}s and Italiano, Giuseppe F. and Monteiro, Lu{\'{i}}s and Palamidessi, Catuscia and Yung, Moti},
URL = {http://dx.doi.org/10.1007/11523468_116},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brejova-Brown-Harrower-Lopez-Ortiz-Vinar/05,
AUTHOR = {Brejov{\'a}, Bro{\v{n}}a and Brown, Daniel G. and Harrower, Ian M. and L{\'o}pez-Ortiz, Alejandro and Vina{\v{r}}, Tom{\'a}{\v{s}}},
TITLE = {Sharper upper and lower bounds for an approximation scheme for CONSENSUS-PATTERN},
BOOKTITLE = {Proceedings of the 16th Annual Symposium on Combinatorial Pattern Matching, CPM'2005 (Jeju Island, Korea, June 19-22, 2005)},
SERIES = {LNCS},
VOLUME = {3537},
PAGES = {1-10},
YEAR = {2005},
EDITOR = {Apostolico, Alberto and Crochemore, Maxime and Park, Kunsoo},
URL = {http://dx.doi.org/10.1007/11496656_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Clifford-Clifford-Iliopoulos/05,
AUTHOR = {Clifford, Peter and Clifford, Rapha{\"e}l and Iliopoulos, Costas},
TITLE = {Faster algorithms for $\delta,\gamma$-matching and related problems},
BOOKTITLE = {Proceedings of the 16th Annual Symposium on Combinatorial Pattern Matching, CPM'2005 (Jeju Island, Korea, June 19-22, 2005)},
SERIES = {LNCS},
VOLUME = {3537},
PAGES = {68-78},
YEAR = {2005},
EDITOR = {Apostolico, Alberto and Crochemore, Maxime and Park, Kunsoo},
URL = {http://dx.doi.org/10.1007/11496656_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Amir-Lipsky-Porat-Umanski/05,
AUTHOR = {Amir, Amihood and Lipsky, Ohad and Porat, Ely and Umanski, Julia},
TITLE = {Approximate matching in the $L_1$ metric},
BOOKTITLE = {Proceedings of the 16th Annual Symposium on Combinatorial Pattern Matching, CPM'2005 (Jeju Island, Korea, June 19-22, 2005)},
SERIES = {LNCS},
VOLUME = {3537},
PAGES = {91-103},
YEAR = {2005},
EDITOR = {Apostolico, Alberto and Crochemore, Maxime and Park, Kunsoo},
URL = {http://dx.doi.org/10.1007/11496656_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Behzadi-Le_Fessant/05,
AUTHOR = {Behzadi, Behshad and Le Fessant, Fabrice},
TITLE = {DNA compression challenge revisited: A dynamic programming approach},
BOOKTITLE = {Proceedings of the 16th Annual Symposium on Combinatorial Pattern Matching, CPM'2005 (Jeju Island, Korea, June 19-22, 2005)},
SERIES = {LNCS},
VOLUME = {3537},
PAGES = {190-200},
YEAR = {2005},
EDITOR = {Apostolico, Alberto and Crochemore, Maxime and Park, Kunsoo},
URL = {http://dx.doi.org/10.1007/11496656_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen-Hong-Lu/05,
AUTHOR = {Chen, Gen-Huey and Hong, Jin-Ju and Lu, Hsueh-I},
TITLE = {An optimal algorithm for online square detection},
BOOKTITLE = {Proceedings of the 16th Annual Symposium on Combinatorial Pattern Matching, CPM'2005 (Jeju Island, Korea, June 19-22, 2005)},
SERIES = {LNCS},
VOLUME = {3537},
PAGES = {280-287},
YEAR = {2005},
EDITOR = {Apostolico, Alberto and Crochemore, Maxime and Park, Kunsoo},
URL = {http://dx.doi.org/10.1007/11496656_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Arslan/05,
AUTHOR = {Arslan, Abdullah N.},
TITLE = {Regular expression constrained sequence alignment},
BOOKTITLE = {Proceedings of the 16th Annual Symposium on Combinatorial Pattern Matching, CPM'2005 (Jeju Island, Korea, June 19-22, 2005)},
SERIES = {LNCS},
VOLUME = {3537},
PAGES = {322-333},
YEAR = {2005},
EDITOR = {Apostolico, Alberto and Crochemore, Maxime and Park, Kunsoo},
URL = {http://dx.doi.org/10.1007/11496656_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Aikou-Suzuki-Shoudai-Uchida-Miyahara/05,
AUTHOR = {Aikou, Kazuhide and Suzuki, Yusuke and Shoudai, Takayoshi and Uchida, Tomoyuki and Miyahara, Tetsuhiro},
TITLE = {A polynomial time matching algorithm of ordered tree patterns having height-constrained variables},
BOOKTITLE = {Proceedings of the 16th Annual Symposium on Combinatorial Pattern Matching, CPM'2005 (Jeju Island, Korea, June 19-22, 2005)},
SERIES = {LNCS},
VOLUME = {3537},
PAGES = {346-357},
YEAR = {2005},
EDITOR = {Apostolico, Alberto and Crochemore, Maxime and Park, Kunsoo},
URL = {http://dx.doi.org/10.1007/11496656_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Boeva-Clement-Regnier-Vandenbogaert/05,
AUTHOR = {Boeva, Valentina and Cl{\'e}ment, Julien and R{\'e}gnier, Mireille and Vandenbogaert, Mathias},
TITLE = {Assessing the significance of sets of words},
BOOKTITLE = {Proceedings of the 16th Annual Symposium on Combinatorial Pattern Matching, CPM'2005 (Jeju Island, Korea, June 19-22, 2005)},
SERIES = {LNCS},
VOLUME = {3537},
PAGES = {358-370},
YEAR = {2005},
EDITOR = {Apostolico, Alberto and Crochemore, Maxime and Park, Kunsoo},
URL = {http://dx.doi.org/10.1007/11496656_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Akutsu-Fukagawa/05,
AUTHOR = {Akutsu, Tatsuya and Fukagawa, Daiji},
TITLE = {Inferring a graph from path frequency},
BOOKTITLE = {Proceedings of the 16th Annual Symposium on Combinatorial Pattern Matching, CPM'2005 (Jeju Island, Korea, June 19-22, 2005)},
SERIES = {LNCS},
VOLUME = {3537},
PAGES = {371-382},
YEAR = {2005},
EDITOR = {Apostolico, Alberto and Crochemore, Maxime and Park, Kunsoo},
URL = {http://dx.doi.org/10.1007/11496656_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bock-Cortelazzo-Ferrari-Guerra/05,
AUTHOR = {Bock, Mary Ellen and Cortelazzo, Guido M. and Ferrari, Carlo and Guerra, Concettina},
TITLE = {Identifying similar surface patches on proteins using a spin-image surface representation},
BOOKTITLE = {Proceedings of the 16th Annual Symposium on Combinatorial Pattern Matching, CPM'2005 (Jeju Island, Korea, June 19-22, 2005)},
SERIES = {LNCS},
VOLUME = {3537},
PAGES = {417-428},
YEAR = {2005},
EDITOR = {Apostolico, Alberto and Crochemore, Maxime and Park, Kunsoo},
URL = {http://dx.doi.org/10.1007/11496656_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bocker-Kaltenbach/05,
AUTHOR = {B{\"o}cker, Sebastian and Kaltenbach, Hans-Michael},
TITLE = {Mass spectra alignments and their significance},
BOOKTITLE = {Proceedings of the 16th Annual Symposium on Combinatorial Pattern Matching, CPM'2005 (Jeju Island, Korea, June 19-22, 2005)},
SERIES = {LNCS},
VOLUME = {3537},
PAGES = {429-441},
YEAR = {2005},
EDITOR = {Apostolico, Alberto and Crochemore, Maxime and Park, Kunsoo},
URL = {http://dx.doi.org/10.1007/11496656_37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Abbes/05,
AUTHOR = {Abbes, Samy},
TITLE = {The (true) concurrent Markov property and some applications to Markov nets},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {70-89},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Barkaoui-Couvreur-Klai/05,
AUTHOR = {Barkaoui, Kamel and Couvreur, Jean-Michel and Klai, Kais},
TITLE = {On the equivalence between liveness and deadlock-freeness in Petri nets},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {90-107},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bouillard-Gaujal-Mairesse/05,
AUTHOR = {Bouillard, Anne and Gaujal, Bruno and Mairesse, Jean},
TITLE = {Extremal throughputs in free-choice nets},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {108-127},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brenner-Fernandes-Sales-Webber/05,
AUTHOR = {Brenner, Leonardo and Fernandes, Paulo and Sales, Afonso and Webber, Thais},
TITLE = {A framework to decompose GSPN models},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {128-147},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cabac-Duvigneau-Moldt-Rolke/05,
AUTHOR = {Cabac, Lawrence and Duvigneau, Michael and Moldt, Daniel and R{\"o}lke, Heiko},
TITLE = {Modeling dynamic architectures using nets-within-nets},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {148-167},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Capra-De_Pierro-Franceschinis/05,
AUTHOR = {Capra, Lorenzo and De Pierro, Massimiliano and Franceschinis, Giuliana},
TITLE = {A high level language for structural relations in well-formed nets},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {168-187},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Clariso-Rodriguez-Carbonell-Cortadella/05,
AUTHOR = {Claris{\'o}, Robert and Rodr{\'{i}}guez-Carbonell, Enric and Cortadella, Jordi},
TITLE = {Derivation of non-structural invariants of Petri nets using abstract interpretation},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {188-207},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Comet-Klaudel-Liauzu/05,
AUTHOR = {Comet, Jean-Paul and Klaudel, Hanna and Liauzu, St{\'e}phane},
TITLE = {Modeling multi-valued genetic regulatory networks using high-level Petri nets},
BOOKTITLE = {Proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN'2005 (Miami, FL, USA, June 20-25, 2005)},
SERIES = {LNCS},
VOLUME = {3536},
PAGES = {208-227},
YEAR = {2005},
EDITOR = {Ciardo, Gianfranco and Darondeau, Philippe},
URL = {http://dx.doi.org/10.1007/11494744_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chudak-Eleuterio/05,
AUTHOR = {Chudak, Fabi{\'a}n A. and Eleut{\'e}rio, V{\^a}nia},
TITLE = {Improved approximation schemes for linear programming relaxations of combinatorial optimization problems},
BOOKTITLE = {Proceedings of the 11th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2005 (Berlin, Germany, June 8-10, 2005)},
SERIES = {LNCS},
VOLUME = {3509},
PAGES = {81-96},
YEAR = {2005},
EDITOR = {J{\"u}nger, Michael and Kaibel, Volker},
URL = {http://dx.doi.org/10.1007/11496915_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bley/05,
AUTHOR = {Bley, Andreas},
TITLE = {On the approximability of the minimum congestion unsplittable shortest path routing problem},
BOOKTITLE = {Proceedings of the 11th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2005 (Berlin, Germany, June 8-10, 2005)},
SERIES = {LNCS},
VOLUME = {3509},
PAGES = {97-110},
YEAR = {2005},
EDITOR = {J{\"u}nger, Michael and Kaibel, Volker},
URL = {http://dx.doi.org/10.1007/11496915_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Correa-Schulz-Stier-Moses/05,
AUTHOR = {Correa, Jos{\'e} R. and Schulz, Andreas S. and Stier-Moses, Nicol{\'a}s E.},
TITLE = {On the inefficiency of equilibria in congestion games},
BOOKTITLE = {Proceedings of the 11th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2005 (Berlin, Germany, June 8-10, 2005)},
SERIES = {LNCS},
VOLUME = {3509},
PAGES = {167-181},
YEAR = {2005},
EDITOR = {J{\"u}nger, Michael and Kaibel, Volker},
URL = {http://dx.doi.org/10.1007/11496915_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Correa-Wagner/05,
AUTHOR = {Correa, Jos{\'e} R. and Wagner, Michael R.},
TITLE = {$LP$-based online scheduling: From single to parallel machines},
BOOKTITLE = {Proceedings of the 11th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2005 (Berlin, Germany, June 8-10, 2005)},
SERIES = {LNCS},
VOLUME = {3509},
PAGES = {196-209},
YEAR = {2005},
EDITOR = {J{\"u}nger, Michael and Kaibel, Volker},
URL = {http://dx.doi.org/10.1007/11496915_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Amaldi-Belotti-Hauser/05,
AUTHOR = {Amaldi, Edoardo and Belotti, Pietro and Hauser, Raphael},
TITLE = {Randomized relaxation methods for the maximum feasible subsystem problem},
BOOKTITLE = {Proceedings of the 11th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2005 (Berlin, Germany, June 8-10, 2005)},
SERIES = {LNCS},
VOLUME = {3509},
PAGES = {249-264},
YEAR = {2005},
EDITOR = {J{\"u}nger, Michael and Kaibel, Volker},
URL = {http://dx.doi.org/10.1007/11496915_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brandstadt-Hoang/05,
AUTHOR = {Brandst{\"a}dt, Andreas and Ho{\`a}ng, Ch{\'{i}}nh T.},
TITLE = {On clique separators, nearly chordal graphs, and the maximum Weight Stable Set Problem},
BOOKTITLE = {Proceedings of the 11th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2005 (Berlin, Germany, June 8-10, 2005)},
SERIES = {LNCS},
VOLUME = {3509},
PAGES = {265-275},
YEAR = {2005},
EDITOR = {J{\"u}nger, Michael and Kaibel, Volker},
URL = {http://dx.doi.org/10.1007/11496915_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dhamdhere-Ravi-Singh/05,
AUTHOR = {Dhamdhere, Kedar and Ravi, R. and Singh, Mohit},
TITLE = {On two-stage stochastic minimum spanning trees},
BOOKTITLE = {Proceedings of the 11th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2005 (Berlin, Germany, June 8-10, 2005)},
SERIES = {LNCS},
VOLUME = {3509},
PAGES = {321-334},
YEAR = {2005},
EDITOR = {J{\"u}nger, Michael and Kaibel, Volker},
URL = {http://dx.doi.org/10.1007/11496915_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Caprara-Locatelli-Monaci/05,
AUTHOR = {Caprara, Alberto and Locatelli, Marco and Monaci, Michele},
TITLE = {Bidimensional packing by bilinear programming},
BOOKTITLE = {Proceedings of the 11th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2005 (Berlin, Germany, June 8-10, 2005)},
SERIES = {LNCS},
VOLUME = {3509},
PAGES = {377-391},
YEAR = {2005},
EDITOR = {J{\"u}nger, Michael and Kaibel, Volker},
URL = {http://dx.doi.org/10.1007/11496915_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bompadre-Orlin/05,
AUTHOR = {Bompadre, Agustin and Orlin, James B.},
TITLE = {Using grammars to generate very large scale neighborhoods for the Traveling Salesman Problem and other sequencing problems},
BOOKTITLE = {Proceedings of the 11th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2005 (Berlin, Germany, June 8-10, 2005)},
SERIES = {LNCS},
VOLUME = {3509},
PAGES = {437-451},
YEAR = {2005},
EDITOR = {J{\"u}nger, Michael and Kaibel, Volker},
URL = {http://dx.doi.org/10.1007/11496915_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cook-Espinoza-Goycoolea/05,
AUTHOR = {Cook, William and Espinoza, Daniel and Goycoolea, Marcos},
TITLE = {A study of domino-parity and $k$-parity constraints for the TSP},
BOOKTITLE = {Proceedings of the 11th International Conference on Integer Programming and Combinatorial Optimization, IPCO'2005 (Berlin, Germany, June 8-10, 2005)},
SERIES = {LNCS},
VOLUME = {3509},
PAGES = {452-467},
YEAR = {2005},
EDITOR = {J{\"u}nger, Michael and Kaibel, Volker},
URL = {http://dx.doi.org/10.1007/11496915_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Acan/05,
AUTHOR = {Acan, Adnan},
TITLE = {An external partial permutations memory for ant colony optimization},
BOOKTITLE = {Proceedings of the 5th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP'2005 (Lausanne, Switzerland, March 30 - April 1, 2005)},
SERIES = {LNCS},
VOLUME = {3448},
PAGES = {1-11},
YEAR = {2005},
EDITOR = {Raidl, G{\"u}nther R. and Gottlieb, Jens},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3448&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Carballido-Ponzoni-Brignole/05,
AUTHOR = {Carballido, Jessica Andrea and Ponzoni, Ignacio and Brignole, N{\'e}lida Beatriz},
TITLE = {A novel application of evolutionary computing in process systems engineering},
BOOKTITLE = {Proceedings of the 5th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP'2005 (Lausanne, Switzerland, March 30 - April 1, 2005)},
SERIES = {LNCS},
VOLUME = {3448},
PAGES = {12-22},
YEAR = {2005},
EDITOR = {Raidl, G{\"u}nther R. and Gottlieb, Jens},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3448&spage=12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Chakhlevitch-Cowling/05,
AUTHOR = {Chakhlevitch, Konstantin and Cowling, Peter},
TITLE = {Choosing the fittest subset of low level heuristics in a hyperheuristic framework},
BOOKTITLE = {Proceedings of the 5th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP'2005 (Lausanne, Switzerland, March 30 - April 1, 2005)},
SERIES = {LNCS},
VOLUME = {3448},
PAGES = {23-33},
YEAR = {2005},
EDITOR = {Raidl, G{\"u}nther R. and Gottlieb, Jens},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3448&spage=23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Cleary-ONeill/05,
AUTHOR = {Cleary, Robert and O'Neill, Michael},
TITLE = {An attribute grammar decoder for the 01 MultiConstrained knapsack problem},
BOOKTITLE = {Proceedings of the 5th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP'2005 (Lausanne, Switzerland, March 30 - April 1, 2005)},
SERIES = {LNCS},
VOLUME = {3448},
PAGES = {34-45},
YEAR = {2005},
EDITOR = {Raidl, G{\"u}nther R. and Gottlieb, Jens},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3448&spage=34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Cordella-de_Stefano-Fontanella-Marcelli/05,
AUTHOR = {Cordella, Luigi Pietro and de Stefano, Claudio and Fontanella, Francesco and Marcelli, Angelo},
TITLE = {EvoGeneS, a new evolutionary approach to graph generation},
BOOKTITLE = {Proceedings of the 5th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP'2005 (Lausanne, Switzerland, March 30 - April 1, 2005)},
SERIES = {LNCS},
VOLUME = {3448},
PAGES = {46-57},
YEAR = {2005},
EDITOR = {Raidl, G{\"u}nther R. and Gottlieb, Jens},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3448&spage=46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Cotta/05,
AUTHOR = {Cotta, Carlos},
TITLE = {On the application of evolutionary algorithms to the consensus tree problem},
BOOKTITLE = {Proceedings of the 5th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP'2005 (Lausanne, Switzerland, March 30 - April 1, 2005)},
SERIES = {LNCS},
VOLUME = {3448},
PAGES = {58-67},
YEAR = {2005},
EDITOR = {Raidl, G{\"u}nther R. and Gottlieb, Jens},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3448&spage=58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Cotta-Fernandez/05,
AUTHOR = {Cotta, Carlos and Fern{\'a}ndez, Antonio J.},
TITLE = {Analyzing fitness landscapes for the optimal Golomb Ruler Problem},
BOOKTITLE = {Proceedings of the 5th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP'2005 (Lausanne, Switzerland, March 30 - April 1, 2005)},
SERIES = {LNCS},
VOLUME = {3448},
PAGES = {68-79},
YEAR = {2005},
EDITOR = {Raidl, G{\"u}nther R. and Gottlieb, Jens},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3448&spage=68},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Cutello-Morelli-Nicosia-Pavone/05,
AUTHOR = {Cutello, V. and Morelli, G. and Nicosia, G. and Pavone, M.},
TITLE = {Immune algorithms with aging operators for the string folding problem and the protein folding problem},
BOOKTITLE = {Proceedings of the 5th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP'2005 (Lausanne, Switzerland, March 30 - April 1, 2005)},
SERIES = {LNCS},
VOLUME = {3448},
PAGES = {80-90},
YEAR = {2005},
EDITOR = {Raidl, G{\"u}nther R. and Gottlieb, Jens},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3448&spage=80},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Day-Lamont/05,
AUTHOR = {Day, Richard O. and Lamont, Gary B.},
TITLE = {Multiobjective quadratic assignment problem solved by an explicit building block search algorithm - MOMGA-IIa},
BOOKTITLE = {Proceedings of the 5th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP'2005 (Lausanne, Switzerland, March 30 - April 1, 2005)},
SERIES = {LNCS},
VOLUME = {3448},
PAGES = {91-100},
YEAR = {2005},
EDITOR = {Raidl, G{\"u}nther R. and Gottlieb, Jens},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3448&spage=91},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Brandes-Erlebach/05,
AUTHOR = {Brandes, Ulrik and Erlebach, Thomas},
TITLE = {Introduction},
BOOKTITLE = {Network Analysis --- Methodological Foundations},
SERIES = {LNCS},
VOLUME = {3418},
PAGES = {1-6},
YEAR = {2005},
EDITOR = {Brandes, Ulrik and Erlebach, Thomas},
URL = {http://springerlink.metapress.com/index/VM3FX0LL37KHPLLX},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brandes-Erlebach/05a,
AUTHOR = {Brandes, Ulrik and Erlebach, Thomas},
TITLE = {Fundamentals},
BOOKTITLE = {Network Analysis --- Methodological Foundations},
SERIES = {LNCS},
VOLUME = {3418},
PAGES = {7-15},
YEAR = {2005},
EDITOR = {Brandes, Ulrik and Erlebach, Thomas},
URL = {http://springerlink.metapress.com/index/R1YAMWHY59JU8BN5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brinkmeier-Schank/05,
AUTHOR = {Brinkmeier, Michael and Schank, Thomas},
TITLE = {Network statistics},
BOOKTITLE = {Network Analysis --- Methodological Foundations},
SERIES = {LNCS},
VOLUME = {3418},
PAGES = {293-317},
YEAR = {2005},
EDITOR = {Brandes, Ulrik and Erlebach, Thomas},
URL = {http://springerlink.metapress.com/index/U4FWPDQQP4RN3JTW},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Baur-Benkert/05,
AUTHOR = {Baur, Michael and Benkert, Marc},
TITLE = {Network comparison},
BOOKTITLE = {Network Analysis --- Methodological Foundations},
SERIES = {LNCS},
VOLUME = {3418},
PAGES = {318-340},
YEAR = {2005},
EDITOR = {Brandes, Ulrik and Erlebach, Thomas},
URL = {http://springerlink.metapress.com/index/NX8C7053GPU9PJCX},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Baumann-Stiller/05,
AUTHOR = {Baumann, Nadine and Stiller, Sebastian},
TITLE = {Network models},
BOOKTITLE = {Network Analysis --- Methodological Foundations},
SERIES = {LNCS},
VOLUME = {3418},
PAGES = {341-372},
YEAR = {2005},
EDITOR = {Brandes, Ulrik and Erlebach, Thomas},
URL = {http://springerlink.metapress.com/index/2H2KHH83UWTUVXJP},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Baltz-Kliemann/05,
AUTHOR = {Baltz, Andreas and Kliemann, Lasse},
TITLE = {Spectral analysis},
BOOKTITLE = {Network Analysis --- Methodological Foundations},
SERIES = {LNCS},
VOLUME = {3418},
PAGES = {373-416},
YEAR = {2005},
EDITOR = {Brandes, Ulrik and Erlebach, Thomas},
URL = {http://springerlink.metapress.com/index/YRPDYMQMB0UCKVNP},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Abraham-Bonsangue-de_Boer-Steffen/05,
AUTHOR = {{\'A}brah{\'a}m, Erika and Bonsangue, Marcello M. and de Boer, Frank S. and Steffen, Martin},
TITLE = {Object connectivity and full abstraction for a concurrent calculus of classes},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {37-51},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Barbosa-Barbosa/05,
AUTHOR = {Barbosa, Marco Antonio and Barbosa, Lu{\'{i}}s Soares},
TITLE = {Specifying software connectors},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {52-67},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Belli-Budnik/05,
AUTHOR = {Belli, Fevzi and Budnik, Christof J.},
TITLE = {Minimal spanning set for coverage testing of interactive systems},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {220-234},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=220},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Chen-Liu-Nagoya/05,
AUTHOR = {Chen, Yuting and Liu, Shaoying and Nagoya, Fumiko},
TITLE = {An approach to integration testing based on data flow specifications},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {235-249},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=235},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Dan-Aichernig/05,
AUTHOR = {Dan, Li and Aichernig, Bernhard K.},
TITLE = {Combining algebraic and model-based test case generation},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {250-264},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=250},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Daws/05,
AUTHOR = {Daws, Conrado},
TITLE = {Symbolic and parametric model checking of discrete-time Markov chains},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {280-294},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=280},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Aiguier-Beroff-Schobbens/05,
AUTHOR = {Aiguier, Marc and B{\'e}roff, Stefan and Schobbens, Pierre-Yves},
TITLE = {An algebraic approach for codesign},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {415-430},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=415},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Colin-Mariano-Poirriez/05,
AUTHOR = {Colin, Samuel and Mariano, Georges and Poirriez, Vincent},
TITLE = {Duration calculus: A real-time semantic for $B$},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {431-446},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=431},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Cheung-Lynch-Segala-Vaandrager/05,
AUTHOR = {Cheung, Ling and Lynch, Nancy and Segala, Roberto and Vaandrager, Frits},
TITLE = {Switched probabilistic I/0 automata},
BOOKTITLE = {Proceedings of the 1st International Colloquium on Theoretical Aspects of Computing, ICTAC'2004 (Guiyang, China, September 20-24, 2004)},
SERIES = {LNCS},
VOLUME = {3407},
PAGES = {494-510},
YEAR = {2005},
EDITOR = {Liu, Zhiming and Araki, Keijiro},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=494},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Agrawal-Saxena/05,
AUTHOR = {Agrawal, Manindra and Saxena, Nitin},
TITLE = {Automorphisms of finite rings and applications to complexity of problems},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {1-17},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bousquet-Melou/05,
AUTHOR = {Bousquet-M{\'e}lou, Mireille},
TITLE = {Algebraic generating functions in enumerative combinatorics and context-free languages},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {18-35},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Andelman-Azar-Sorani/05,
AUTHOR = {Andelman, Nir and Azar, Yossi and Sorani, Motti},
TITLE = {Truthful approximation mechanisms for scheduling selfish related machines},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {69-82},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Berwanger-Lenzi/05,
AUTHOR = {Berwanger, Dietmar and Lenzi, Giacomo},
TITLE = {The variable hierarchy of the $\mu$-calculus is strict},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {97-109},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
KEYWORDS = {$\mu$-calculus, structural complexity.},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bodirsky/05,
AUTHOR = {Bodirsky, Manuel},
TITLE = {The core of a countably categorical structure},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {110-120},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=110},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Brazdil-Kucera-Strazovsky/05,
AUTHOR = {Br{\'a}zdil, Tom{\'a}{\v{s}} and Ku{\v{c}}era, Anton{\'{i}}n and Stra{\v{z}}ovsk{\'y}, Old{\v{r}}ich},
TITLE = {On the decidability of temporal properties of probabilistic pushdown automata},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {145-157},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=145},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Berenbrink-Friedetzky-Hu-Martin/05,
AUTHOR = {Berenbrink, Petra and Friedetzky, Tom and Hu, Zengjian and Martin, Russell},
TITLE = {On weighted balls-into-bins games},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {231-243},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=231},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Chen-Fernau-Kanj-Xia/05,
AUTHOR = {Chen, Jianer and Fernau, Henning and Kanj, Iyad A. and Xia, Ge},
TITLE = {Parametric duality and kernelization: Lower bounds and upper bounds on kernel size},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {269-280},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
KEYWORDS = {kernelization, parameterized complexity},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=269},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Chen/05a,
AUTHOR = {Chen, Hubie},
TITLE = {Quantified constraint satisfaction, maximal constraint languages, and symmetric polymorphisms},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {315-326},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=315},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Benedikt-Segoufin/05,
AUTHOR = {Benedikt, Michael and Segoufin, Luc},
TITLE = {Regular tree languages definable in $FO$},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {327-339},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
KEYWORDS = {tree automata, logic},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=327},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bienkowski-Dynia-Korzeniowski/05,
AUTHOR = {Bienkowski, Marcin and Dynia, Miroslaw and Korzeniowski, Miroslaw},
TITLE = {Improved algorithms for dynamic page migration},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {365-376},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=365},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bose-Kranakis-Morin-Tang/05,
AUTHOR = {Bose, Prosenjit and Kranakis, Evangelos and Morin, Pat and Tang, Yihui},
TITLE = {Approximate range mode and range median queries},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {377-388},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=377},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Buhrman-Fortnow-Newman-Vereshchagin/05,
AUTHOR = {Buhrman, Harry and Fortnow, Lance and Newman, Ilan and Vereshchagin, Nikolai},
TITLE = {Increasing Kolmogorov complexity},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {412-421},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
KEYWORDS = {kolmogorov complexity, computational complexity},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=412},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Ailon-Chazelle/05a,
AUTHOR = {Ailon, Nir and Chazelle, Bernard},
TITLE = {Information theory in property testing and monotonicity testing in higher dimension},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {434-447},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=434},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bil-Flammini-Moscardelli/05,
AUTHOR = {Bil, Vittorio and Flammini, Michele and Moscardelli, Luca},
TITLE = {On Nash equilibria in non-cooperative all-optical networks},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {448-459},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=448},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Bansal-Pruhs/05,
AUTHOR = {Bansal, Nikhil and Pruhs, Kirk},
TITLE = {Speed scaling to manage temperature},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {460-471},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=460},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Arvind-Vijayaraghavan/05,
AUTHOR = {Arvind, V. and Vijayaraghavan, T.C.},
TITLE = {The complexity of solving linear equations over a finite ring},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {472-484},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=472},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Chang-Kloks-Liu-Peng/05,
AUTHOR = {Chang, Gerard Jennhwa and Kloks, Antonius J.J. and Liu, Jiping and Peng, Sheng-Lung},
TITLE = {The PIGs full monty --- A floor show of minimal separators},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {521-532},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
KEYWORDS = {algorithms and data structures, algorithms for computational biology},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=521},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Brandes-Fleischer/05,
AUTHOR = {Brandes, Ulrik and Fleischer, Daniel},
TITLE = {Centrality measures based on current flow},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {533-544},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=533},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Burderi-Restivo/05,
AUTHOR = {Burderi, Fabio and Restivo, Antonio},
TITLE = {Varieties of codes and Kraft inequality},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {545-556},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=545},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Buhrman-Newman-Rohrig-de_Wolf/05,
AUTHOR = {Buhrman, Harry and Newman, Ilan and R{\"o}hrig, Hein and de Wolf, Ronald},
TITLE = {Robust polynomials and quantum algorithms},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {593-604},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=593},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Baswana-Goyal-Sen/05,
AUTHOR = {Baswana, Surender and Goyal, Vishrut and Sen, Sandeep},
TITLE = {All-pairs nearly 2-approximate shortest-paths in $O(n^2 polylog n)$ time},
BOOKTITLE = {Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, STACS'2005 (Stuttgart, Germany, February 24-26, 2005)},
SERIES = {LNCS},
VOLUME = {3404},
PAGES = {666-679},
YEAR = {2005},
EDITOR = {Diekert, Volker and Durand, Bruno},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3404&spage=666},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@incollection{Azar/05,
AUTHOR = {Azar, Yossi},
TITLE = {Online packet switching},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Approximation and Online Algorithms, WAOA'2004 (Bergen, Norway, September 14-16, 2004)},
SERIES = {LNCS},
VOLUME = {3351},
PAGES = {1-5},
YEAR = {2005},
EDITOR = {Persiano, Giuseppe and Solis-Oba, Roberto},
URL = {http://springerlink.metapress.com/content/j5w8j7nblvh1q3f9/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Cabello/05,
AUTHOR = {Cabello, Sergio},
TITLE = {Approximation algorithms for spreading points},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Approximation and Online Algorithms, WAOA'2004 (Bergen, Norway, September 14-16, 2004)},
SERIES = {LNCS},
VOLUME = {3351},
PAGES = {83-96},
YEAR = {2005},
EDITOR = {Persiano, Giuseppe and Solis-Oba, Roberto},
URL = {http://springerlink.metapress.com/content/m2akhx0hj5jgnn2m/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Borodin-Boyar-Larsen/05,
AUTHOR = {Borodin, Allan and Boyar, Joan and Larsen, Kim S.},
TITLE = {Priority algorithms for graph optimization problems},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Approximation and Online Algorithms, WAOA'2004 (Bergen, Norway, September 14-16, 2004)},
SERIES = {LNCS},
VOLUME = {3351},
PAGES = {126-139},
YEAR = {2005},
EDITOR = {Persiano, Giuseppe and Solis-Oba, Roberto},
URL = {http://springerlink.metapress.com/content/cvxj1bvgp5crtkg8/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bilo-Proietti/05,
AUTHOR = {Bil{\`o}, Davide and Proietti, Guido},
TITLE = {A $\frac 54$-approximation algorithm for biconnecting a graph with a given Hamiltonian path},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Approximation and Online Algorithms, WAOA'2004 (Bergen, Norway, September 14-16, 2004)},
SERIES = {LNCS},
VOLUME = {3351},
PAGES = {181-196},
YEAR = {2005},
EDITOR = {Persiano, Giuseppe and Solis-Oba, Roberto},
URL = {http://springerlink.metapress.com/content/5028fa4ek82pql97/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Angelopoulos/05,
AUTHOR = {Angelopoulos, Spyros},
TITLE = {Order-preserving transformations and greedy-like algorithms},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Approximation and Online Algorithms, WAOA'2004 (Bergen, Norway, September 14-16, 2004)},
SERIES = {LNCS},
VOLUME = {3351},
PAGES = {197-210},
YEAR = {2005},
EDITOR = {Persiano, Giuseppe and Solis-Oba, Roberto},
URL = {http://springerlink.metapress.com/content/dv3fmfarufnu1yd4/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Adamy-Erlebach-Mitsche-Schurr-Speckmann-Welzl/05,
AUTHOR = {Adamy, Udo and Erlebach, Thomas and Mitsche, Dieter and Schurr, Ingo and Speckmann, Bettina and Welzl, Emo},
TITLE = {Off-line admission control for advance reservations in star networks},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Approximation and Online Algorithms, WAOA'2004 (Bergen, Norway, September 14-16, 2004)},
SERIES = {LNCS},
VOLUME = {3351},
PAGES = {211-224},
YEAR = {2005},
EDITOR = {Persiano, Giuseppe and Solis-Oba, Roberto},
URL = {http://springerlink.metapress.com/content/x7tk83t2jw4hb33u/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Busch-Magdon-Ismail-Mavronicolas/05,
AUTHOR = {Busch, Costas and Magdon-Ismail, Malik and Mavronicolas, Marios},
TITLE = {Universal bufferless routing},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Approximation and Online Algorithms, WAOA'2004 (Bergen, Norway, September 14-16, 2004)},
SERIES = {LNCS},
VOLUME = {3351},
PAGES = {239-252},
YEAR = {2005},
EDITOR = {Persiano, Giuseppe and Solis-Oba, Roberto},
URL = {http://springerlink.metapress.com/content/xue366ffh3kdxkrw/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Agnarsson-Halldorsson/05,
AUTHOR = {Agnarsson, Geir and Halld{\'o}rsson, Magn{\'u}s M.},
TITLE = {Strong colorings of hypergraphs},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Approximation and Online Algorithms, WAOA'2004 (Bergen, Norway, September 14-16, 2004)},
SERIES = {LNCS},
VOLUME = {3351},
PAGES = {253-266},
YEAR = {2005},
EDITOR = {Persiano, Giuseppe and Solis-Oba, Roberto},
URL = {http://springerlink.metapress.com/content/cl0yw7algdpt545k/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ambrosio-Auletta/05,
AUTHOR = {Ambrosio, Pasquale and Auletta, Vincenzo},
TITLE = {Deterministic monotone algorithms for scheduling on related machines},
BOOKTITLE = {Proceedings of the 2nd International Workshop on Approximation and Online Algorithms, WAOA'2004 (Bergen, Norway, September 14-16, 2004)},
SERIES = {LNCS},
VOLUME = {3351},
PAGES = {267-280},
YEAR = {2005},
EDITOR = {Persiano, Giuseppe and Solis-Oba, Roberto},
URL = {http://springerlink.metapress.com/content/lev59gh5xw00xkae/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}