@article{Agrawal/11, AUTHOR = {Agrawal, Manindra}, TITLE = {The isomorphism conjecture for constant depth reductions}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {1}, PAGES = {3-13}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {isomorphism, constant depth circuits, complete sets}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000875}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Allender-Koucky-Ronneburger-Roy/11, AUTHOR = {Allender, Eric and Kouck{\'y}, Michal and Ronneburger, Detlef and Roy, Sambuddha}, TITLE = {The pervasive reach of resource-bounded Kolmogorov complexity in computational complexity theory}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {1}, PAGES = {14-40}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {circuit complexity, distinguishing complexity, fewexp, formula size, kolmogorov complexity, nexp}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000887}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Cai-Lu/11a, AUTHOR = {Cai, Jin-Yi and Lu, Pinyan}, TITLE = {Holographic algorithms: From art to science}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {1}, PAGES = {41-61}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {holographic algorithm, matchgate, matchgate realizability}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000899}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Dubey-Feige-Unger/11, AUTHOR = {Dubey, Chandan and Feige, Uriel and Unger, Walter}, TITLE = {Hardness results for approximating the bandwidth}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {1}, PAGES = {62-90}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {caterpillar, gap amplification, circular arc graph}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000905}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Fortnow-Santhanam/11, AUTHOR = {Fortnow, Lance and Santhanam, Rahul}, TITLE = {Infeasibility of instance compression and succinct PCPs for $NP$}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {1}, PAGES = {91-106}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {computational complexity, kernalization, instance complexity, probabilistically checkable proof systems}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000917}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Gopalan-Guruswami/11, AUTHOR = {Gopalan, Parikshit and Guruswami, Venkatesan}, TITLE = {Hardness amplification within $NP$ against deterministic algorithms}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {1}, PAGES = {107-121}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {average-case hardness, hardness amplification, error-correcting codes, np, p, monotone functions, expander graphs, noise sensitivity}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000929}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Karp/11, AUTHOR = {Karp, Richard M.}, TITLE = {Heuristic algorithms in computational molecular biology}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {1}, PAGES = {122-128}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {heuristic algorithm, implicit hitting set, multi-genome alignment, protein interaction}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000930}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Khot-Saket/11, AUTHOR = {Khot, Subhash and Saket, Rishi}, TITLE = {On the hardness of learning intersections of two halfspaces}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {1}, PAGES = {129-141}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {learning, hardness, approximation, halfspaces}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000942}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Buchfuhrer-Umans/11, AUTHOR = {Buchfuhrer, David and Umans, Christopher}, TITLE = {The complexity of Boolean formula minimization}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {1}, PAGES = {142-153}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {formula minimization, computational complexity, logic synthesis, polynomial-time hierarchy, turing reduction}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000954}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Valiant/11, AUTHOR = {Valiant, Leslie G.}, TITLE = {A bridging model for multi-core computing}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {1}, PAGES = {154-166}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {parallel algorithms, multi-core, bridging model, bulk synchronous}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000966}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Raz-Yehudayoff/11, AUTHOR = {Raz, Ran and Yehudayoff, Amir}, TITLE = {Multilinear formulas, maximal-partition discrepancy and mixed-sources extractors}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {1}, PAGES = {167-190}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {algebraic complexity, discrepancy, extractors}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000978}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Kamp-Rao-Vadhan-Zuckerman/11, AUTHOR = {Kamp, Jesse and Rao, Anup and Vadhan, Salil and Zuckerman, David}, TITLE = {Deterministic extractors for small-space sources}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {1}, PAGES = {191-220}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {randomness extractors, pseudorandomness, markov chains, samplable sources, bit-fixing sources, independent sources}, URL = {http://www.sciencedirect.com/science/article/pii/S002200001000098X}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Lin-Lo-Chao-Godwin/11, AUTHOR = {Lin, Wei-Li and Lo, Chi-Chun and Chao, Kuo-Ming and Godwin, Nick}, TITLE = {Multi-group QoS consensus for web services}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {2}, PAGES = {223-243}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {web service qos, multi-attributes clustering, similarity analysis}, URL = {http://www.sciencedirect.com/science/article/pii/S002200001000005X}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Glasner-Volkert/11, AUTHOR = {Glasner, Christian and Volkert, Jens}, TITLE = {{\sc Adaps} --- A three-phase adaptive prediction system for the run-time of jobs based on user behaviour}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {2}, PAGES = {244-261}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {run-time prediction, forecasting, grid computing, scheduling}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000061}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Caminero-Rana-Caminero-Carrion/11, AUTHOR = {Caminero, Agust{\'{i}}n and Rana, Omer and Caminero, Blanca and Carri{\'o}n, Carmen}, TITLE = {Network-aware heuristics for inter-domain meta-scheduling in Grids}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {2}, PAGES = {262-281}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {grid computing, network-aware, inter-domain, peer-to-peer, meta-scheduling}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000073}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Bajaber-Awan/11, AUTHOR = {Bajaber, Fuad and Awan, Irfan}, TITLE = {Adaptive decentralized re-clustering protocol for wireless sensor networks}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {2}, PAGES = {282-292}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {wireless sensor networks, adaptive clustering, energy efficiency, clustering protocol}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000085}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Randles-Lamb-Odat-Taleb-Bendiab/11, AUTHOR = {Randles, Martin and Lamb, David and Odat, E. and Taleb-Bendiab, A.}, TITLE = {Distributed redundancy and robustness in complex systems}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {2}, PAGES = {293-304}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {system robustness, distributed redundancy, algebraic connectivity, observer system}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000097}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Anthony-Ghassemian/11, AUTHOR = {Anthony, Richard and Ghassemian, Mona}, TITLE = {Automatic mobility status estimation in wireless self-organised networks}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {2}, PAGES = {305-321}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {wireless sensor networks, self-detection of mobility, mobility models and metrics, reinforcement learning, l{\'o}vy flights}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000103}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Bessler-Fischer-Kuhn-Mordinyi-Tomic/11, AUTHOR = {Bessler, Sandford and Fischer, Alexander and K{\"u}hn, Eva and Mordinyi, Richard and Tomic, Slobodanka}, TITLE = {Using tuple-spaces to manage the storage and dissemination of spatial-temporal content}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {2}, PAGES = {322-331}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {tuple spaces, content centric dissemination, dht, intelligent transportation, service platform}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000115}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Ameedeen-Bordbar-Anane/11, AUTHOR = {Ameedeen, Mohamed A. and Bordbar, Behzad and Anane, Rachid}, TITLE = {Model interoperability via Model Driven Development}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {2}, PAGES = {332-347}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {model driven development, model interoperability, software development, uml, petri nets}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000127}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Shi-Zhang-Merabti/11, AUTHOR = {Shi, Q. and Zhang, N. and Merabti, M.}, TITLE = {Fair exchange of valuable information: A generalised framework}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {2}, PAGES = {348-371}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {fair exchange, e-commerce, digital signatures, communication protocols, verifiable encryption}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001315}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Arrighi-Nesme-Werner/11, AUTHOR = {Arrighi, Pablo and Nesme, Vincent and Werner, Reinhard}, TITLE = {Unitarity plus causality implies localizability}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {2}, PAGES = {372-378}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {quantum walks, axiomatic quantum field theory, discrete space-time}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000589}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Fu/11, AUTHOR = {Fu, Bin}, TITLE = {Theory and application of width bounded geometric separators}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {2}, PAGES = {379-392}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {width bounded separator, disk covering, divide and conquer}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000577}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Manna-Scarcello-Leone/11, AUTHOR = {Manna, M. and Scarcello, F. and Leone, N.}, TITLE = {On the complexity of regular-grammars with integer attributes}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {2}, PAGES = {393-421}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {attribute grammars, computational complexity, models of computation}, URL = {http://www.sciencedirect.com/science/article/pii/S002200001000084X}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Gutin-Kim-Szeider-Yeo/11, AUTHOR = {Gutin, Gregory and Kim, Eun Jung and Szeider, Stefan and Yeo, Anders}, TITLE = {A probabilistic approach to problems parameterized above or below tight bounds}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {2}, PAGES = {422-429}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {parameterized problems, above tight bounds, fixed-parameter tractable, kernel, hypercontractive inequality, probabilistic method}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000851}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Myrvold-Kocay/11, AUTHOR = {Myrvold, Wendy and Kocay, William}, TITLE = {Errors in graph embedding algorithms}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {2}, PAGES = {430-438}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {graph embedding, torus, graph genus, algorithm}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000863}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Epstein-Levin-Woeginger/11, AUTHOR = {Epstein, Leah and Levin, Asaf and Woeginger, Gerhard J.}, TITLE = {Graph coloring with rejection}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {2}, PAGES = {439-447}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {graph coloring, approximation algorithms, online algorithms}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001005}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Bjorklund-Martens-Schwentick/11, AUTHOR = {Bj{\"o}rklund, Henrik and Martens, Wim and Schwentick, Thomas}, TITLE = {Conjunctive query containment over trees}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {3}, PAGES = {450-472}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {data management, xml, query optimization, logic}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000474}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Dalvi-Re-Suciu/11, AUTHOR = {Dalvi, Nilesh and Re, Christopher and Suciu, Dan}, TITLE = {Queries and materialized views on probabilistic databases}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {3}, PAGES = {473-490}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {probabilistic databses, query evaluation, views}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000486}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Geerts-Van_den_Bussche/11, AUTHOR = {Geerts, Floris and Van den Bussche, Jan}, TITLE = {Relational completeness of query languages for annotated databases}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {3}, PAGES = {491-504}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {annotated relational databases, expressive power, query languages}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000498}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Gelade-Neven/11, AUTHOR = {Gelade, Wouter and Neven, Frank}, TITLE = {Succinctness of pattern-based schema languages for XML}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {3}, PAGES = {505-519}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {complexity, schema transformation, xml schema languages}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000504}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Gutierrez-Hurtado-Mendelzon-Perez/11, AUTHOR = {Gutierrez, Claudio and Hurtado, Carlos A. and Mendelzon, Alberto O. and P{\'e}rez, Jorge}, TITLE = {Foundations of Semantic Web databases}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {3}, PAGES = {520-541}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {semantic web, rdf model, query language}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000516}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Libkin-Sirangelo/11, AUTHOR = {Libkin, Leonid and Sirangelo, Cristina}, TITLE = {Data exchange and schema mappings in open and closed worlds}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {3}, PAGES = {542-571}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {data exchange, schema mappings, closed world assumption, open world assumption, incomplete information}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000528}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Rosati/11, AUTHOR = {Rosati, Riccardo}, TITLE = {On the finite controllability of conjunctive query answering in databases under open-world assumption}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {3}, PAGES = {572-594}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {incomplete databases, open-world assumption, query answering, finite controllability, integrity constraints}, URL = {http://www.sciencedirect.com/science/article/pii/S002200001000053X}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Siewe-Zedan-Cau/11, AUTHOR = {Siewe, Fran{\c{c}}ois and Zedan, Hussein and Cau, Antonio}, TITLE = {The Calculus of Context-aware Ambients}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {4}, PAGES = {597-620}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {context-awareness, process calculus, mobility, ambient, pervasive, ubiquitous, computing, systems}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000176}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Papamarkos-Poulovassilis-Wood/11, AUTHOR = {Papamarkos, George and Poulovassilis, Alexandra and Wood, Peter T.}, TITLE = {Performance modelling of Event-Condition-Action rules in P2Pp networks}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {4}, PAGES = {621-636}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {peer-to-peer networks, event-condition-action rules}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000188}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Xuan-Zhao-Taniar-Rahayu-Safar-Srinivasan/11, AUTHOR = {Xuan, Kefeng and Zhao, Geng and Taniar, David and Rahayu, Wenny and Safar, Maytham and Srinivasan, Bala}, TITLE = {Voronoi-based range and continuous range query processing in mobile databases}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {4}, PAGES = {637-651}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {mobile databases, range search, mobile query processing, voronoi diagram}, URL = {http://www.sciencedirect.com/science/article/pii/S002200001000019X}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Ernst-Denko/11, AUTHOR = {Ernst, Jason B. and Denko, Mieso K.}, TITLE = {The design and evaluation of fair scheduling in wireless mesh networks}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {4}, PAGES = {652-664}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {fair scheduling, gateways, wireless mesh networks, scheduling}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000206}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Wang-Guan-Lim-Wang-Grigg-Awan-Philips-Chi/11, AUTHOR = {Wang, Jie and Guan, Lin and Lim, Lee Booi and Wang, X.G. and Grigg, A. and Awan, I. and Philips, I. and Chi, X.}, TITLE = {QoS enhancements and performance analysis for delay sensitive applications}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {4}, PAGES = {665-676}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {qos, dynamic queue threshold, queuing delay, required delay}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000218}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Durresi-Durresi-Barolli/11, AUTHOR = {Durresi, Arjan and Durresi, Mimoza and Barolli, Leonard}, TITLE = {Network trust management in emergency situations}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {4}, PAGES = {677-686}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {trust managements, ad hoc networks, emergency networks}, URL = {http://www.sciencedirect.com/science/article/pii/S002200001000022X}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Dong-Hussain-Chang/11, AUTHOR = {Dong, Hai and Hussain, Farookh Khadeer and Chang, Elizabeth}, TITLE = {A framework for discovering and classifying ubiquitous services in digital health ecosystems}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {4}, PAGES = {687-704}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {digital ecosystems, digital health ecosystems, ontology, semantic focused crawlers, semantic service discovery, semantic service classification}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000231}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Sheltami-Shakshuki-Mouftah/11, AUTHOR = {Sheltami, Tarek R. and Shakshuki, Elhadi M. and Mouftah, Hussein T.}, TITLE = {Video streaming application over WEAC protocol in MANET}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {4}, PAGES = {705-719}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {ad hoc networks, routing protocols, video streaming}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000243}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Hsu-Liao/11, AUTHOR = {Hsu, Hui-Huang and Liao, Hsuan-Ting}, TITLE = {A mobile RFID-based tour system with instant microblogging}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {4}, PAGES = {720-727}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {self-guided tour systems, ubiquitous computing, rfid, information sharing, microblogging, web 2.0}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010000255}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Chow/11, AUTHOR = {Chow, Timothy Y.}, TITLE = {Almost-natural proofs}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {4}, PAGES = {728-737}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {circuit lower bound, natural proof}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001017}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Terwijn-Torenvliet-Vitanyi/11, AUTHOR = {Terwijn, Sebastiaan A. and Torenvliet, Leen and Vit{\'a}nyi, Paul M.B.}, TITLE = {Nonapproximability of the normalized information distance}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {4}, PAGES = {738-742}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {normalized information distance, kolmogorov complexity, semicomputability}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001029}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Charlier-Le_Gonidec-Rigo/11, AUTHOR = {Charlier, {\'E}milie and Le Gonidec, Marion and Rigo, Michel}, TITLE = {Representing real numbers in a generalized numeration system}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {4}, PAGES = {743-759}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {real numbers, representation, numeration system, dyck language, infinite word, rational base}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001042}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Jain-Stephan-Teutsch/11, AUTHOR = {Jain, Sanjay and Stephan, Frank and Teutsch, Jason}, TITLE = {Index sets and universal numberings}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {4}, PAGES = {760-773}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {1-generic, index sets, kolmogorov property, minimal indices, min*, universal numberings, turing degrees}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001030}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Betzler-Guo-Komusiewicz-Niedermeier/11, AUTHOR = {Betzler, Nadja and Guo, Jiong and Komusiewicz, Christian and Niedermeier, Rolf}, TITLE = {Average parameterization and partial kernelization for computing medians}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {4}, PAGES = {774-789}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {polynomial-time preprocessing, data reduction, fixed-parameter tractability, rank aggregation, consensus clustering}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001078}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Wang-Juang-Lei/11, AUTHOR = {Wang, Ren-Chiun and Juang, Wen-Shenq and Lei, Chin-Laung}, TITLE = {Provably secure and efficient identification and key agreement protocol with user anonymity}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {4}, PAGES = {790-798}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {anonymity, authentication, elliptic curve discrete logarithm problem, key agreement, random oracle model}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001066}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Fellows-Fertin-Hermelin-Vialette/11, AUTHOR = {Fellows, Michael R. and Fertin, Guillaume and Hermelin, Danny and Vialette, St{\'e}phane}, TITLE = {Upper and lower bounds for finding connected motifs in vertex-colored graphs}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {4}, PAGES = {799-811}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {graph motif, graph pattern matching, parameterized complexity, w hardness, treewidth}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001054}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Calude-Hay-Stephan/11, AUTHOR = {Calude, Cristian S. and Hay, Nicholas J. and Stephan, Frank}, TITLE = {Representation of left-computable $\epsilon$-random reals}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {4}, PAGES = {812-819}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {$\epsilon$-universal prefix-free turing machine, halting probability, $\epsilon$-random real, peano arithmetic}, URL = {http://www.sciencedirect.com/science/article/pii/S002200001000108X}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Blondel-Gaubert-Portier/11, AUTHOR = {Blondel, Vincent and Gaubert, St{\'e}phane and Portier, Natacha}, TITLE = {The set of realizations of a max-plus linear sequence is semi-polyhedral}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {4}, PAGES = {820-833}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {max-plus algebra, minimal realization, discrete event systems, semi-polyhedral set, formal series, semiring}, URL = {http://www.sciencedirect.com/science/article/pii/S002200001000125X}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Mapp-Thakker-Gemikonakli/11, AUTHOR = {Mapp, Glenford and Thakker, Dhawal and Gemikonakli, Orhan}, TITLE = {Exploring gate-limited analytical models for high-performance network storage servers}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {5}, PAGES = {837-851}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {gate-limited service, markov models, prefetching}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001091}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Dargie-Schill/11, AUTHOR = {Dargie, Waltenegus and Schill, Alexander}, TITLE = {Stability and performance analysis of randomly deployed wireless networks}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {5}, PAGES = {852-860}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {control packet overhead, deployment, performance analysis, wlan, wireless networks}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001108}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Clegg-Landa-Rio/11, AUTHOR = {Clegg, Richard G. and Landa, Raul and Rio, Miguel}, TITLE = {Criticisms of modelling packet traffic using long-range dependence}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {5}, PAGES = {861-868}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {queueing, traffic, long-range dependence}, URL = {http://www.sciencedirect.com/science/article/pii/S002200001000111X}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, PCOMMENT = {extended version}, } @article{Hong-Kim/11, AUTHOR = {Hong, Jinpyo and Kim, Hwangnam}, TITLE = {An empirical framework for user mobility models: Refining and modeling user registration patterns}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {5}, PAGES = {869-883}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {wlan, 802.11, empirical mobility model, network performance}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001121}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Subramanian-Dutta/11, AUTHOR = {Subramanian, Sureshkumar V. and Dutta, Rudra}, TITLE = {A study of performance and scalability metrics of a SIP proxy server --- A practical approach}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {5}, PAGES = {884-897}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {sip, performance, m / m / c, m / m / 1}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001194}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Lim-Guan-Grigg-Phillips-Wang-Awan/11, AUTHOR = {Lim, L.B. and Guan, L. and Grigg, A. and Phillips, I.W. and Wang, X.G. and Awan, I.U.}, TITLE = {Controlling mean queuing delay under multi-class bursty and correlated traffic}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {5}, PAGES = {898-916}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {discrete-time queuing model, dynamic queue thresholds, superposition of n mmbp-2, qos, closed-loop feedback control, adaptive queue management}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001224}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Noh-Kang/11, AUTHOR = {Noh, Dong Kun and Kang, Kyungtae}, TITLE = {Balanced energy allocation scheme for a solar-powered sensor system and its effects on network-wide performance}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {5}, PAGES = {917-932}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {solar energy, sensor system, energy allocation, sensor network, network performance}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001236}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Abiteboul-Gottlob-Manna/11, AUTHOR = {Abiteboul, S. and Gottlob, G. and Manna, M.}, TITLE = {Distributed XML design}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {6}, PAGES = {936-964}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {semistructured data, xml schemas, distributed data, database design, distributed xml}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000011000328}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Cuzzocrea-Bertino/11, AUTHOR = {Cuzzocrea, Alfredo and Bertino, Elisa}, TITLE = {Privacy preserving OLAP over distributed XML data: A theoretically-sound secure-multiparty-computation approach}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {6}, PAGES = {965-987}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {privacy preserving olap, secure multiparty computation schemes for olap, secure distributed olap aggregations over xml data}, URL = {http://www.sciencedirect.com/science/article/pii/S002200001100033X}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Greco-Gullo-Ponti-Tagarelli/11, AUTHOR = {Greco, Sergio and Gullo, Francesco and Ponti, Giovanni and Tagarelli, Andrea}, TITLE = {Collaborative clustering of XML documents}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {6}, PAGES = {988-1008}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {collaborative distributed clustering, xml, p2p networks, xml structure and content information, transactional data}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000011000341}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Moreira-Sousa-Machado/11, AUTHOR = {Moreira, Leonardo O. and Sousa, Fl{\'a}vio R.C. and Machado, Javam C.}, TITLE = {A distributed concurrency control mechanism for XML data}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {6}, PAGES = {1009-1022}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {xml, concurrency control, distributed transactions}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000011000353}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Jukna-Schnitger/11, AUTHOR = {Jukna, Stasys and Schnitger, Georg}, TITLE = {Min-rank conjecture for log-depth circuits}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {6}, PAGES = {1023-1038}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {boolean circuits, partial matrix, matrix completion, min-rank, matrix rigidity, sum-sets, cayley graphs, error-correcting codes}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000011000778}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Choi-Jung-Kim/11, AUTHOR = {Choi, Sung-Soon and Jung, Kyomin and Kim, Jeong Han}, TITLE = {Almost tight upper bound for finding Fourier coefficients of bounded pseudo-Boolean functions}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {6}, PAGES = {1039-1053}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {pseudo-boolean function, fourier coefficients, graph finding, learning polynomials, linkage discovery, walsh analysis}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001261}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Bang_Ye/11, AUTHOR = {Bang Ye, Wu}, TITLE = {A note on approximating the min-max vertex disjoint paths on directed acyclic graphs}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {6}, PAGES = {1054-1057}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {approximation algorithm, vertex disjoint paths, rounding, fptas, directed acyclic graph}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001273}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Kanj-Pelsmajer-Schaefer-Xia/11, AUTHOR = {Kanj, Iyad and Pelsmajer, Michael J. and Schaefer, Marcus and Xia, Ge}, TITLE = {On the induced matching problem}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {6}, PAGES = {1058-1070}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {induced matching, planar graphs, outerplanar graphs, kernel, parameterized algorithms, twins}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001285}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Bessy-Fomin-Gaspers-Paul-Perez-Saurabh-Thomasse/11, AUTHOR = {Bessy, St{\'e}phane and Fomin, Fedor V. and Gaspers, Serge and Paul, Christophe and Perez, Anthony and Saurabh, Saket and Thomass{\'e}, St{\'e}phan}, TITLE = {Kernels for feedback arc set in tournaments}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {6}, PAGES = {1071-1078}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {feedback arc set, tournaments, kernelization, parameterized algorithms, graph algorithms}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001297}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Afrati-Chirkova/11, AUTHOR = {Afrati, Foto and Chirkova, Rada}, TITLE = {Selecting and using views to compute aggregate queries}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {6}, PAGES = {1079-1107}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {rewriting queries using views, view selection, efficient query processing, aggregate queries}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001327}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Dragan-Fomin-Golovach/11, AUTHOR = {Dragan, Feodor F. and Fomin, Fedor V. and Golovach, Petr A.}, TITLE = {Spanners in sparse graphs}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {6}, PAGES = {1108-1119}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {graph algorithms, parameterized complexity, spanners, distances, planar graphs, apex-minor-free graphs, treewidth}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001303}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Prakash/11, AUTHOR = {Prakash, Ramanan}, TITLE = {Memory lower bounds for XPath evaluation over XML streams}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {6}, PAGES = {1120-1140}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {xml, xpath, query evaluation, stream processing, lower bounds}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001339}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Fellows-Guo-Moser-Niedermeier/11, AUTHOR = {Fellows, Michael R. and Guo, Jiong and Moser, Hannes and Niedermeier, Rolf}, TITLE = {A generalization of Nemhauser and Trotter's local optimization theorem}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {6}, PAGES = {1141-1158}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {parameterized computational complexity, np-hard problems, w[2]-completeness, graph algorithms, polynomial-time data reduction, kernelization}, URL = {http://www.sciencedirect.com/science/article/pii/S002200001000142X}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Amini-Fomin-Saurabh/11, AUTHOR = {Amini, Omid and Fomin, Fedor V. and Saurabh, Saket}, TITLE = {Implicit branching and parameterized partial cover problems}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {6}, PAGES = {1159-1171}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {graph algorithms, parameterized complexity, partial vertex cover, dominating set, planar graphs, minor-free graphs, treewidth}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000010001431}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, } @article{Alvarez-Gabarro-Serna/11, AUTHOR = {{\`A}lvarez, Carme and Gabarro, Joaquim and Serna, Maria}, TITLE = {Equilibria problems on games: Complexity versus succinctness}, JOURNAL = {J. Comput.~Syst.~Sci.}, VOLUME = {77}, NUMBER = {6}, PAGES = {1172-1197}, YEAR = {2011}, EDITOR = {Blum, E.K.}, KEYWORDS = {extensive games, strategic games, nash equilibria, complexity classes, succinct representations}, URL = {http://www.sciencedirect.com/science/article/pii/S002200001100002X}, PUBLISHER = {Elsevier}, ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis}, }