@article{Chen-Zhang/13, AUTHOR = {Chen, Lin and Zhang, Guochuan}, TITLE = {Approximation algorithms for a bi-level knapsack problem}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {497}, PAGES = {1-12}, YEAR = {2013}, EDITOR = {Ausiello, G. and Sannella, D.}, KEYWORDS = {bilevel knapsack problem, approximation algorithms}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397512007694}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Umesato-Saitoh-Uehara-Ito-Okamoto/13, AUTHOR = {Umesato, Takuya and Saitoh, Toshiki and Uehara, Ryuhei and Ito, Hiro and Okamoto, Yoshio}, TITLE = {The complexity of the stamp folding problem}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {497}, PAGES = {13-19}, YEAR = {2013}, EDITOR = {Ausiello, G. and Sannella, D.}, KEYWORDS = {linkage, np-complete, optimization problem, pleat folding, rigid origami}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397512007670}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Zhu-Xu/13, AUTHOR = {Zhu, Yongding and Xu, Jinhui}, TITLE = {Improved algorithms for the farthest colored Voronoi diagram of segments}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {497}, PAGES = {20-30}, YEAR = {2013}, EDITOR = {Ausiello, G. and Sannella, D.}, KEYWORDS = {farthest colored voronoi diagram, farthest-polygon voronoi diagram, arc tracing}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397512005440}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Li/13b, AUTHOR = {Li, Fei}, TITLE = {A comprehensive study of an online packet scheduling algorithm}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {497}, PAGES = {31-38}, YEAR = {2013}, EDITOR = {Ausiello, G. and Sannella, D.}, KEYWORDS = {online algorithm, competitive analysis, buffer management, packet scheduling}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397512005385}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Chen-Fu-Liu-Schweller/13, AUTHOR = {Chen, Zhixiang and Fu, Bin and Liu, Yang and Schweller, Robert}, TITLE = {On testing monomials in multivariate polynomials}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {497}, PAGES = {39-54}, YEAR = {2013}, EDITOR = {Ausiello, G. and Sannella, D.}, KEYWORDS = {algebra, complexity, multivariate polynomials, monomials, monomial testing, randomization, derandomization}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397512003106}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Yang/13, AUTHOR = {Yang, Boting}, TITLE = {Euclidean chains and their shortcuts}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {497}, PAGES = {55-67}, YEAR = {2013}, EDITOR = {Ausiello, G. and Sannella, D.}, KEYWORDS = {euclidean graph, computational geometry, diameter}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397512002411}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Zhang-Duan-Tian/13, AUTHOR = {Zhang, Nan and Duan, Zhenhua and Tian, Cong}, TITLE = {A cylinder computation model for many-core parallel computing}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {497}, PAGES = {68-83}, YEAR = {2013}, EDITOR = {Ausiello, G. and Sannella, D.}, KEYWORDS = {many-core, parallel computing, temporal logic, projection, model}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397512001405}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Duan-Zhang-Koutny/13, AUTHOR = {Duan, Zhenhua and Zhang, Nan and Koutny, Maciej}, TITLE = {A complete proof system for propositional projection temporal logic}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {497}, PAGES = {84-107}, YEAR = {2013}, EDITOR = {Ausiello, G. and Sannella, D.}, KEYWORDS = {temporal logic, axiomatization, soundness, completeness, inference rule}, URL = {http://www.sciencedirect.com/science/article/pii/S030439751200062X}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Liu-Zheng-Wang-Xu/13, AUTHOR = {Liu, Ming and Zheng, Feifeng and Wang, Shijin and Xu, Yinfeng}, TITLE = {Approximation algorithms for parallel machine scheduling with linear deterioration}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {497}, PAGES = {108-111}, YEAR = {2013}, EDITOR = {Ausiello, G. and Sannella, D.}, KEYWORDS = {scheduling, parallel machine, simple linear deterioration, makespan, approximation algorithm}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397512000564}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{El_Shawi-Gudmundsson/13, AUTHOR = {El Shawi, Radwa and Gudmundsson, Joachim}, TITLE = {Fast query structures in anisotropic media}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {497}, PAGES = {112-122}, YEAR = {2013}, EDITOR = {Ausiello, G. and Sannella, D.}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397512000552}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Gao-Lu-Wu-Fu/13, AUTHOR = {Gao, Xiaofeng and Lu, Zaixin and Wu, Weili and Fu, Bin}, TITLE = {Algebraic data retrieval algorithms for multi-channel wireless data broadcast}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {497}, PAGES = {123-130}, YEAR = {2013}, EDITOR = {Ausiello, G. and Sannella, D.}, KEYWORDS = {data broadcast, data retrieval, algebraic algorithm, mobile computing}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397511010462}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Liu-Huang-Zhang/13, AUTHOR = {Liu, Qinghai and Huang, Xiaohui and Zhang, Zhao}, TITLE = {Optimally restricted edge connected elementary Harary graphs}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {497}, PAGES = {131-138}, YEAR = {2013}, EDITOR = {Ausiello, G. and Sannella, D.}, KEYWORDS = {restricted edge connectivity, optimally restricted edge connected, elementary harary graph}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397511009753}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Liu-Liu-Li-Lu-Du/13, AUTHOR = {Liu, Hui and Liu, Zewen and Li, Deying and Lu, Xianling and Du, Hongwei}, TITLE = {Approximation algorithms for minimum latency data aggregation in wireless sensor networks with directional antenna}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {497}, PAGES = {139-153}, YEAR = {2013}, EDITOR = {Ausiello, G. and Sannella, D.}, KEYWORDS = {approximation algorithm, data aggregation, conflict-aware, directional antenna, wireless sensor network}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397511009728}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Cheng-Yu-Zhang/13, AUTHOR = {Cheng, Yukun and Yu, Wei and Zhang, Guochuan}, TITLE = {Strategy-proof approximation mechanisms for an obnoxious facility game on networks}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {497}, PAGES = {154-163}, YEAR = {2013}, EDITOR = {Ausiello, G. and Sannella, D.}, KEYWORDS = {algorithmic mechanism design, facility location, social choice}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397511009601}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Li/13c, AUTHOR = {Li, Fei}, TITLE = {A near-optimal memoryless online algorithm for FIFO buffering two packet classes}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {497}, PAGES = {164-172}, YEAR = {2013}, EDITOR = {Ausiello, G. and Sannella, D.}, KEYWORDS = {online algorithm, competitive analysis, buffer management, packet scheduling}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397511009583}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Li-Liu-Hong-Chen-Ma/13, AUTHOR = {Li, Deying and Liu, Zewen and Hong, Yi and Chen, Wenping and Ma, Huan}, TITLE = {Minimum energy multicast/broadcast routing with reception cost in wireless sensor networks}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {497}, PAGES = {173-180}, YEAR = {2013}, EDITOR = {Ausiello, G. and Sannella, D.}, KEYWORDS = {energy efficient, multicast routing, broadcast routing, reception cost, approximation algorithm, wireless sensor networks}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397511009492}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, }