Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jcss/jcss78.bht:"
download as .bib file
@article{DBLP:journals/jcss/AlbagliBS12,
author = {Sivan Albagli and
Rachel Ben{-}Eliyahu{-}Zohary and
Solomon Eyal Shimony},
title = {Markov network based ontology matching},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {105--118},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.02.014},
doi = {10.1016/J.JCSS.2011.02.014},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AlbagliBS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/AptBOG12,
author = {Krzysztof R. Apt and
Frank S. de Boer and
Ernst{-}R{\"{u}}diger Olderog and
Stijn de Gouw},
title = {Verification of object-oriented programs: {A} transformational approach},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {823--852},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.002},
doi = {10.1016/J.JCSS.2011.08.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/AptBOG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ArmandoGMP12,
author = {Alessandro Armando and
Enrico Giunchiglia and
Marco Maratea and
Serena Elisa Ponta},
title = {An action-based approach to the formal specification and automatic
analysis of business processes under authorization constraints},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {119--141},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.02.015},
doi = {10.1016/J.JCSS.2011.02.015},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/ArmandoGMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ArrighiG12,
author = {Pablo Arrighi and
Jonathan Grattage},
title = {Intrinsically universal n-dimensional quantum cellular automata},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1883--1898},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.008},
doi = {10.1016/J.JCSS.2011.12.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ArrighiG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BalabanPSZ12,
author = {Ittai Balaban and
Amir Pnueli and
Yaniv Sa'ar and
Lenore D. Zuck},
title = {Verification of multi-linked heaps},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {853--876},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.003},
doi = {10.1016/J.JCSS.2011.08.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BalabanPSZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BedonR12,
author = {Nicolas Bedon and
Chlo{\'{e}} Rispal},
title = {Sch{\"{u}}tzenberger and Eilenberg theorems for words on linear
orderings},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {517--536},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.06.003},
doi = {10.1016/J.JCSS.2011.06.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BedonR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BeimelCWZ12,
author = {Amos Beimel and
Yeow Meng Chee and
Huaxiong Wang and
Liang Feng Zhang},
title = {Communication-efficient distributed oblivious transfer},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {4},
pages = {1142--1157},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2012.02.002},
doi = {10.1016/J.JCSS.2012.02.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BeimelCWZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BenvenisteBCP12,
author = {Albert Benveniste and
Timothy Bourke and
Beno{\^{\i}}t Caillaud and
Marc Pouzet},
title = {Non-standard semantics of hybrid systems modelers},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {877--910},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.009},
doi = {10.1016/J.JCSS.2011.08.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BenvenisteBCP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BjorklundM12,
author = {Henrik Bj{\"{o}}rklund and
Wim Martens},
title = {The tractability frontier for {NFA} minimization},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {198--210},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.03.001},
doi = {10.1016/J.JCSS.2011.03.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BjorklundM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BloemJPPS12,
author = {Roderick Bloem and
Barbara Jobstmann and
Nir Piterman and
Amir Pnueli and
Yaniv Sa'ar},
title = {Synthesis of Reactive(1) designs},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {911--938},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.007},
doi = {10.1016/J.JCSS.2011.08.007},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BloemJPPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BomhoffKS12,
author = {Matthijs Bomhoff and
Walter Kern and
Georg Still},
title = {On bounded block decomposition problems for under-specified systems
of equations},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {336--347},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.05.011},
doi = {10.1016/J.JCSS.2011.05.011},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BomhoffKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BorgerCG12,
author = {Egon B{\"{o}}rger and
Antonio Cisternino and
Vincenzo Gervasi},
title = {Ambient Abstract State Machines with applications},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {939--959},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.004},
doi = {10.1016/J.JCSS.2011.08.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BorgerCG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BouajjaniHZ12,
author = {Ahmed Bouajjani and
David Harel and
Lenore D. Zuck},
title = {Editor's foreword},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {822},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.001},
doi = {10.1016/J.JCSS.2011.08.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BouajjaniHZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BravermanOZ12,
author = {Vladimir Braverman and
Rafail Ostrovsky and
Carlo Zaniolo},
title = {Optimal sampling from sliding windows},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {260--272},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.04.004},
doi = {10.1016/J.JCSS.2011.04.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BravermanOZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BulatovDGJJR12,
author = {Andrei A. Bulatov and
Martin E. Dyer and
Leslie Ann Goldberg and
Markus Jalsenius and
Mark Jerrum and
David Richerby},
title = {The complexity of weighted and unweighted {\#}CSP},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {681--688},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.002},
doi = {10.1016/J.JCSS.2011.12.002},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/BulatovDGJJR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BulatovDGM12,
author = {Andrei A. Bulatov and
V{\'{\i}}ctor Dalmau and
Martin Grohe and
D{\'{a}}niel Marx},
title = {Enumerating homomorphisms},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {638--650},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.09.006},
doi = {10.1016/J.JCSS.2011.09.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BulatovDGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BuszkowskiLM12,
author = {Wojciech Buszkowski and
Zhe Lin and
Katarzyna Moroz},
title = {Pregroup grammars with letter promotions: Complexity and context-freeness},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1899--1909},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.010},
doi = {10.1016/J.JCSS.2011.12.010},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/BuszkowskiLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CalvaneseGLR12,
author = {Diego Calvanese and
Giuseppe De Giacomo and
Maurizio Lenzerini and
Riccardo Rosati},
title = {View-based query answering in Description Logics: Semantics and complexity},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {26--46},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.02.011},
doi = {10.1016/J.JCSS.2011.02.011},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CalvaneseGLR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CarlucciJS12,
author = {Lorenzo Carlucci and
Sanjay Jain and
Frank Stephan},
title = {Learning with ordinal-bounded memory from positive data},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1623--1636},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2012.03.002},
doi = {10.1016/J.JCSS.2012.03.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CarlucciJS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Cesa-BianchiL12,
author = {Nicol{\`{o}} Cesa{-}Bianchi and
G{\'{a}}bor Lugosi},
title = {Combinatorial bandits},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1404--1422},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2012.01.001},
doi = {10.1016/J.JCSS.2012.01.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Cesa-BianchiL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ChadwickF12,
author = {David W. Chadwick and
Kaniz Fatema},
title = {A privacy preserving authorisation system for the cloud},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1359--1373},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.019},
doi = {10.1016/J.JCSS.2011.12.019},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ChadwickF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ChatterjeeH12,
author = {Krishnendu Chatterjee and
Thomas A. Henzinger},
title = {A survey of stochastic {\(\omega\)}-regular games},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {394--413},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.05.002},
doi = {10.1016/J.JCSS.2011.05.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ChatterjeeH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CheboluGM12,
author = {Prasad Chebolu and
Leslie Ann Goldberg and
Russell Martin},
title = {The complexity of approximately counting stable roommate assignments},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1579--1605},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2012.02.003},
doi = {10.1016/J.JCSS.2012.02.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CheboluGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ChenFKLZ12,
author = {Jianer Chen and
Jia{-}Hao Fan and
Iyad A. Kanj and
Yang Liu and
Fenghui Zhang},
title = {Multicut in trees viewed through the eyes of vertex cover},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1637--1650},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2012.03.001},
doi = {10.1016/J.JCSS.2012.03.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ChenFKLZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ChenM12,
author = {Jianer Chen and
Jie Meng},
title = {A 2k kernel for the cluster editing problem},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {211--220},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.04.001},
doi = {10.1016/J.JCSS.2011.04.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ChenM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ChenMW12,
author = {Zhi{-}Zhong Chen and
Bin Ma and
Lusheng Wang},
title = {A three-string approach to the closest string problem},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {164--178},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.01.003},
doi = {10.1016/J.JCSS.2011.01.003},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ChenMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ChenW12,
author = {Jinjun Chen and
Lizhe Wang},
title = {Special Issue: Cloud Computing 2011},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1279},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.013},
doi = {10.1016/J.JCSS.2011.12.013},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ChenW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ChenZJ12,
author = {Hong Chen and
Xiaokang Zhou and
Qun Jin},
title = {Socialized ubiquitous personal study: Toward an individualized information
portal},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1775--1792},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.020},
doi = {10.1016/J.JCSS.2011.10.020},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ChenZJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ConitzerS12,
author = {Vincent Conitzer and
Tuomas Sandholm},
title = {Computing optimal outcomes under an expressive representation of settings
with externalities},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {2--14},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.02.009},
doi = {10.1016/J.JCSS.2011.02.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ConitzerS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Crespi-ReghizziM12,
author = {Stefano Crespi{-}Reghizzi and
Dino Mandrioli},
title = {Operator precedence and the visibly pushdown property},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1837--1867},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.006},
doi = {10.1016/J.JCSS.2011.12.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Crespi-ReghizziM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CrochemoreIKRRW12,
author = {Maxime Crochemore and
Costas S. Iliopoulos and
Marcin Kubica and
Jakub Radoszewski and
Wojciech Rytter and
Tomasz Walen},
title = {The maximal number of cubic runs in a word},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1828--1836},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.005},
doi = {10.1016/J.JCSS.2011.12.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/CrochemoreIKRRW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DalalyanT12,
author = {Arnak S. Dalalyan and
Alexandre B. Tsybakov},
title = {Sparse regression learning by aggregation and Langevin Monte-Carlo},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1423--1443},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.023},
doi = {10.1016/J.JCSS.2011.12.023},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DalalyanT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DassowM12,
author = {J{\"{u}}rgen Dassow and
Tom{\'{a}}s Masopust},
title = {On restricted context-free grammars},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {293--304},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.05.008},
doi = {10.1016/J.JCSS.2011.05.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DassowM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DattaKTV12,
author = {Samir Datta and
Raghav Kulkarni and
Raghunath Tewari and
N. V. Vinodchandran},
title = {Space complexity of perfect matching in bounded genus bipartite graphs},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {765--779},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.11.002},
doi = {10.1016/J.JCSS.2011.11.002},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/DattaKTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DeutchM12,
author = {Daniel Deutch and
Tova Milo},
title = {A structural/temporal query language for Business Processes},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {583--609},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.09.004},
doi = {10.1016/J.JCSS.2011.09.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DeutchM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DobzinskiNS12,
author = {Shahar Dobzinski and
Noam Nisan and
Michael Schapira},
title = {Truthful randomized mechanisms for combinatorial auctions},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {15--25},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.02.010},
doi = {10.1016/J.JCSS.2011.02.010},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DobzinskiNS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DohiU12,
author = {Tadashi Dohi and
Toshikazu Uemura},
title = {An adaptive mode control algorithm of a scalable intrusion tolerant
architecture},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1751--1774},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.022},
doi = {10.1016/J.JCSS.2011.10.022},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DohiU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DornFT12,
author = {Frederic Dorn and
Fedor V. Fomin and
Dimitrios M. Thilikos},
title = {Catalan structures and dynamic programming in H-minor-free graphs},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1606--1622},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2012.02.004},
doi = {10.1016/J.JCSS.2012.02.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DornFT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DurandRS12,
author = {Bruno Durand and
Andrei E. Romashchenko and
Alexander Shen},
title = {Fixed-point tile sets and their applications},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {731--764},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.11.001},
doi = {10.1016/J.JCSS.2011.11.001},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/DurandRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/EirinakiPS12,
author = {Magdalini Eirinaki and
Shamita Pisal and
Japinder Singh},
title = {Feature-based opinion mining and ranking},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {4},
pages = {1175--1184},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.007},
doi = {10.1016/J.JCSS.2011.10.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/EirinakiPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/EiterOS12,
author = {Thomas Eiter and
Magdalena Ortiz and
Mantas Simkus},
title = {Conjunctive query answering in the description logic {SH} using knots},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {47--85},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.02.012},
doi = {10.1016/J.JCSS.2011.02.012},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/EiterOS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FanLMRZS12,
author = {Xinxin Fan and
Mingchu Li and
Jianhua Ma and
Yizhi Ren and
Hui Zhao and
Zhiyuan Su},
title = {Behavior-based reputation management in {P2P} file-sharing networks},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1737--1750},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.021},
doi = {10.1016/J.JCSS.2011.10.021},
timestamp = {Tue, 30 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FanLMRZS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Feldman12,
author = {Vitaly Feldman},
title = {A complete characterization of statistical query learning with applications
to evolvability},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1444--1459},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.024},
doi = {10.1016/J.JCSS.2011.12.024},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Feldman12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FeldmanKN12,
author = {Moran Feldman and
Guy Kortsarz and
Zeev Nutov},
title = {Improved approximation algorithms for Directed Steiner Forest},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {279--292},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.05.009},
doi = {10.1016/J.JCSS.2011.05.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FeldmanKN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FellowsFLRSV12,
author = {Michael R. Fellows and
Fedor V. Fomin and
Daniel Lokshtanov and
Frances A. Rosamond and
Saket Saurabh and
Yngve Villanger},
title = {Local search: Is brute-force avoidable?},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {707--719},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.003},
doi = {10.1016/J.JCSS.2011.10.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FellowsFLRSV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FenzaFL12,
author = {Giuseppe Fenza and
Domenico Furno and
Vincenzo Loia},
title = {Hybrid approach for context-aware service discovery in healthcare
domain},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {4},
pages = {1232--1247},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.011},
doi = {10.1016/J.JCSS.2011.10.011},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FenzaFL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FernauM12,
author = {Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {From the Guest Editors},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1793--1794},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.11.004},
doi = {10.1016/J.JCSS.2011.11.004},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FernauM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FominLRSR12,
author = {Fedor V. Fomin and
Daniel Lokshtanov and
Venkatesh Raman and
Saket Saurabh and
B. V. Raghavendra Rao},
title = {Faster algorithms for finding and counting subgraphs},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {698--706},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.001},
doi = {10.1016/J.JCSS.2011.10.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FominLRSR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Francez12,
author = {Nissim Francez},
title = {When are different type-logical semantic definitions defining equivalent
meanings?},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {960--969},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.005},
doi = {10.1016/J.JCSS.2011.08.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Francez12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GajardoKM12,
author = {Anah{\'{\i}} Gajardo and
Jarkko Kari and
Andr{\'{e}}s Moreira},
title = {On time-symmetry in cellular automata},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {4},
pages = {1115--1126},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2012.01.006},
doi = {10.1016/J.JCSS.2012.01.006},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/GajardoKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GaspersS12,
author = {Serge Gaspers and
Gregory B. Sorkin},
title = {A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything
in between},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {305--335},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.05.010},
doi = {10.1016/J.JCSS.2011.05.010},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GaspersS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GemmellSMB12,
author = {Jonathan Gemmell and
Thomas Schimoler and
Bamshad Mobasher and
Robin D. Burke},
title = {Resource recommendation in social annotation systems: {A} linear-weighted
hybrid approach},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {4},
pages = {1160--1174},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.006},
doi = {10.1016/J.JCSS.2011.10.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GemmellSMB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GiacomoDLM12,
author = {Emilio Di Giacomo and
Walter Didimo and
Giuseppe Liotta and
Henk Meijer},
title = {Drawing a tree as a minimum spanning tree approximation},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {491--503},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.06.001},
doi = {10.1016/J.JCSS.2011.06.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GiacomoDLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GrzywaczewskiI12,
author = {Adam Grzywaczewski and
Rahat Iqbal},
title = {Task-specific information retrieval systems for software engineers},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {4},
pages = {1204--1218},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.009},
doi = {10.1016/J.JCSS.2011.10.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GrzywaczewskiI12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GutinIMY12,
author = {Gregory Z. Gutin and
Leo van Iersel and
Matthias Mnich and
Anders Yeo},
title = {Every ternary permutation constraint satisfaction problem parameterized
above average has a kernel with a quadratic number of variables},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {151--163},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.01.004},
doi = {10.1016/J.JCSS.2011.01.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/GutinIMY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HarelS12,
author = {David Harel and
Itai Segall},
title = {Synthesis from scenario-based specifications},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {970--980},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.008},
doi = {10.1016/J.JCSS.2011.08.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HarelS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HeZHSC12,
author = {Jing He and
Yanchun Zhang and
Guangyan Huang and
Yong Shi and
Jie Cao},
title = {Distributed data possession checking for securing multiple replicas
in geographically-dispersed clouds},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1345--1358},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.018},
doi = {10.1016/J.JCSS.2011.12.018},
timestamp = {Thu, 11 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HeZHSC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HeljankoKLN12,
author = {Keijo Heljanko and
Misa Kein{\"{a}}nen and
Martin Lange and
Ilkka Niemel{\"{a}}},
title = {Solving parity games by a reduction to {SAT}},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {430--440},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.05.004},
doi = {10.1016/J.JCSS.2011.05.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HeljankoKLN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HolblWB12,
author = {Marko H{\"{o}}lbl and
Tatjana Welzer and
Bostjan Brumen},
title = {An improved two-party identity-based authenticated key agreement protocol
using pairings},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {142--150},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.01.002},
doi = {10.1016/J.JCSS.2011.01.002},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HolblWB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Hovland12,
author = {Dag Hovland},
title = {The inclusion problem for regular expressions},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1795--1813},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.003},
doi = {10.1016/J.JCSS.2011.12.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Hovland12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HsuKZ12,
author = {Daniel J. Hsu and
Sham M. Kakade and
Tong Zhang},
title = {A spectral algorithm for learning Hidden Markov Models},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1460--1480},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.025},
doi = {10.1016/J.JCSS.2011.12.025},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HsuKZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Ipate12,
author = {Florentin Ipate},
title = {Learning finite cover automata from queries},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {221--244},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.04.002},
doi = {10.1016/J.JCSS.2011.04.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Ipate12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/IqbalOJ12,
author = {Kashif Iqbal and
Michael O. Odetayo and
Anne E. James},
title = {Content-based image retrieval approach for biometric security using
colour, texture and shape features controlled by fuzzy heuristics},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {4},
pages = {1258--1277},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.013},
doi = {10.1016/J.JCSS.2011.10.013},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/IqbalOJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/IqbalS12,
author = {Rahat Iqbal and
Nazaraf Shah},
title = {Information Retrieval, Decision Making Process and User Needs},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {4},
pages = {1158--1159},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.005},
doi = {10.1016/J.JCSS.2011.10.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/IqbalS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/JainLS12,
author = {Sanjay Jain and
Qinglong Luo and
Frank Stephan},
title = {Learnability of automatic classes},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1910--1927},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.011},
doi = {10.1016/J.JCSS.2011.12.011},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/JainLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/JansenZ12,
author = {Klaus Jansen and
Hu Zhang},
title = {Scheduling malleable tasks with precedence constraints},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {245--259},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.04.003},
doi = {10.1016/J.JCSS.2011.04.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/JansenZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/JanssonSS12,
author = {Jesper Jansson and
Kunihiko Sadakane and
Wing{-}Kin Sung},
title = {Ultra-succinct representation of ordered trees with applications},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {619--631},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.09.002},
doi = {10.1016/J.JCSS.2011.09.002},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/JanssonSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Jiang12,
author = {Minghui Jiang},
title = {Approximability of constrained {LCS}},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {689--697},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.002},
doi = {10.1016/J.JCSS.2011.10.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Jiang12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/JinW12,
author = {Qun Jin and
Yufeng Wang},
title = {Special Issue on Multidisciplinary Emerging Networks and Systems},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1671--1672},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.015},
doi = {10.1016/J.JCSS.2011.10.015},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/JinW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/JobstmannSGB12,
author = {Barbara Jobstmann and
Stefan Staber and
Andreas Griesmayer and
Roderick Bloem},
title = {Finding and fixing faults},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {441--460},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.05.005},
doi = {10.1016/J.JCSS.2011.05.005},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/JobstmannSGB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/JordanZ12,
author = {Charles Jordan and
Thomas Zeugmann},
title = {Testable and untestable classes of first-order formulae},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1557--1578},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2012.01.007},
doi = {10.1016/J.JCSS.2012.01.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/JordanZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KajiokaWM12,
author = {Shinsuke Kajioka and
Naoki Wakamiya and
Masayuki Murata},
title = {Autonomous and adaptive resource allocation among multiple nodes and
multiple applications in heterogeneous wireless networks},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1673--1685},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.016},
doi = {10.1016/J.JCSS.2011.10.016},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KajiokaWM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KalaiKM12,
author = {Adam Tauman Kalai and
Varun Kanade and
Yishay Mansour},
title = {Reliable agnostic learning},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1481--1495},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.026},
doi = {10.1016/J.JCSS.2011.12.026},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KalaiKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KapoutsisKM12,
author = {Christos A. Kapoutsis and
Richard Kr{\'{a}}lovic and
Tobias M{\"{o}}mke},
title = {Size complexity of rotating and sweeping automata},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {537--558},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.06.004},
doi = {10.1016/J.JCSS.2011.06.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KapoutsisKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KatzMTG12,
author = {Jonathan Katz and
Philip D. MacKenzie and
Gelareh Taban and
Virgil D. Gligor},
title = {Two-server password-only authenticated key exchange},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {651--669},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.09.005},
doi = {10.1016/J.JCSS.2011.09.005},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/KatzMTG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KawarabayashiK12,
author = {Ken{-}ichi Kawarabayashi and
Yusuke Kobayashi},
title = {A linear time algorithm for the induced disjoint paths problem in
planar graphs},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {670--680},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.004},
doi = {10.1016/J.JCSS.2011.10.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KawarabayashiK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KohlasPS12,
author = {J{\"{u}}rg Kohlas and
Marc Pouly and
Cesar Schneuwly},
title = {Generic local computation},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {348--369},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.05.012},
doi = {10.1016/J.JCSS.2011.05.012},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KohlasPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KohnoOTOKA12,
author = {Eitaro Kohno and
Tomoya Okazaki and
Mario Takeuchi and
Tomoyuki Ohta and
Yoshiaki Kakuda and
Masaki Aida},
title = {Improvement of assurance including security for wireless sensor networks
using dispersed data transmission},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1703--1715},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.018},
doi = {10.1016/J.JCSS.2011.10.018},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/KohnoOTOKA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KpotufeD12,
author = {Samory Kpotufe and
Sanjoy Dasgupta},
title = {A tree-based regressor that adapts to intrinsic dimension},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1496--1515},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2012.01.002},
doi = {10.1016/J.JCSS.2012.01.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KpotufeD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KupfermanPV12,
author = {Orna Kupferman and
Amir Pnueli and
Moshe Y. Vardi},
title = {Once and for all},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {981--996},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.08.006},
doi = {10.1016/J.JCSS.2011.08.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/KupfermanPV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/KutribM12,
author = {Martin Kutrib and
Andreas Malcher},
title = {Reversible pushdown automata},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1814--1827},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.004},
doi = {10.1016/J.JCSS.2011.12.004},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/KutribM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LaraBPN12,
author = {Pedro C. S. Lara and
F{\'{a}}bio Borges and
Renato Portugal and
Nadia Nedjah},
title = {Parallel modular exponentiation using load balancing without precomputation},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {575--582},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.07.002},
doi = {10.1016/J.JCSS.2011.07.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/LaraBPN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LazaricM12,
author = {Alessandro Lazaric and
R{\'{e}}mi Munos},
title = {Learning with stochastic inputs and adversarial outputs},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1516--1537},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.027},
doi = {10.1016/J.JCSS.2011.12.027},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/LazaricM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Lin12,
author = {Tianrong Lin},
title = {Another approach to the equivalence of measure-many one-way quantum
finite automata and its application},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {807--821},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2012.01.004},
doi = {10.1016/J.JCSS.2012.01.004},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/Lin12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LinGLW12,
author = {Guohui Lin and
Randy Goebel and
Zhong Li and
Lusheng Wang},
title = {An improved approximation algorithm for the complementary maximal
strip recovery problem},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {720--730},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.014},
doi = {10.1016/J.JCSS.2011.10.014},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/LinGLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LinWXLYP12,
author = {Chi Lin and
Guowei Wu and
Feng Xia and
Mingchu Li and
Lin Yao and
Zhongyi Pei},
title = {Energy efficient ant colony algorithms for data aggregation in wireless
sensor networks},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1686--1702},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.017},
doi = {10.1016/J.JCSS.2011.10.017},
timestamp = {Fri, 24 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/LinWXLYP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Link12,
author = {Sebastian Link},
title = {Characterisations of multivalued dependency implication over undetermined
universes},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {4},
pages = {1026--1044},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.012},
doi = {10.1016/J.JCSS.2011.12.012},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Link12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Lohrey12,
author = {Markus Lohrey},
title = {Model-checking hierarchical structures},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {461--490},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.05.006},
doi = {10.1016/J.JCSS.2011.05.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Lohrey12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LohreyMS12,
author = {Markus Lohrey and
Sebastian Maneth and
Manfred Schmidt{-}Schau{\ss}},
title = {Parameter reduction and automata evaluation for grammar-compressed
trees},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1651--1669},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2012.03.003},
doi = {10.1016/J.JCSS.2012.03.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/LohreyMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LouZ12,
author = {Xiaowen Lou and
Daming Zhu},
title = {A new approximation algorithm for cut-and-paste sorting of unsigned
circular permutations},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {4},
pages = {1099--1114},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2012.01.005},
doi = {10.1016/J.JCSS.2012.01.005},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/LouZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/MarozzoTT12,
author = {Fabrizio Marozzo and
Domenico Talia and
Paolo Trunfio},
title = {P2P-MapReduce: Parallel data processing in dynamic Cloud environments},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1382--1402},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.021},
doi = {10.1016/J.JCSS.2011.12.021},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/MarozzoTT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/MathiesonS12,
author = {Luke Mathieson and
Stefan Szeider},
title = {Editing graphs to satisfy degree constraints: {A} parameterized approach},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {179--191},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.02.001},
doi = {10.1016/J.JCSS.2011.02.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/MathiesonS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/NagyO12,
author = {Benedek Nagy and
Friedrich Otto},
title = {On CD-systems of stateless deterministic R-automata with window size
one},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {3},
pages = {780--806},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.009},
doi = {10.1016/J.JCSS.2011.12.009},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/NagyO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Palopoli12,
author = {Luigi Palopoli},
title = {Editor's foreword},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {1},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.02.008},
doi = {10.1016/J.JCSS.2011.02.008},
timestamp = {Mon, 18 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/Palopoli12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/PearceV12,
author = {David Pearce and
Agust{\'{\i}}n Valverde},
title = {Synonymous theories and knowledge representations in answer set programming},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {86--104},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.02.013},
doi = {10.1016/J.JCSS.2011.02.013},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/PearceV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/PengYTH12,
author = {Yung{-}Hsing Peng and
Chang{-}Biau Yang and
Chiou{-}Ting Tseng and
Chiou{-}Yi Hor},
title = {A new efficient indexing algorithm for one-dimensional real scaled
patterns},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {273--278},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.05.001},
doi = {10.1016/J.JCSS.2011.05.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/PengYTH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/PolicritiTV12,
author = {Alberto Policriti and
Alexandru I. Tomescu and
Francesco Vezzi},
title = {A randomized Numerical Aligner (rNA)},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1868--1882},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.007},
doi = {10.1016/J.JCSS.2011.12.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/PolicritiTV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Preparata12,
author = {Franco P. Preparata},
title = {Accurate and precise aggregation counting},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {192--197},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.02.002},
doi = {10.1016/J.JCSS.2011.02.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Preparata12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/QiDZC12,
author = {Lianyong Qi and
Wanchun Dou and
Xuyun Zhang and
Jinjun Chen},
title = {A QoS-aware composition method supporting cross-platform service invocation
in cloud environment},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1316--1329},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.016},
doi = {10.1016/J.JCSS.2011.12.016},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/QiDZC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/QureshiM12,
author = {Pir Abdul Rasool Qureshi and
Nasrullah Memon},
title = {Hybrid model of content extraction},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {4},
pages = {1248--1257},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.012},
doi = {10.1016/J.JCSS.2011.10.012},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/QureshiM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/RahmanS12,
author = {Fazilatur Rahman and
Jawed I. A. Siddiqi},
title = {Semantic annotation of digital music},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {4},
pages = {1219--1231},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.010},
doi = {10.1016/J.JCSS.2011.10.010},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/RahmanS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Rakhlin12,
author = {Alexander Rakhlin},
title = {Foreword},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1403},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.022},
doi = {10.1016/J.JCSS.2011.12.022},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Rakhlin12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Ramanan12,
author = {Prakash Ramanan},
title = {Rewriting XPath queries using materialized XPath views},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {4},
pages = {1006--1025},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.001},
doi = {10.1016/J.JCSS.2011.12.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Ramanan12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ShaoDLX12,
author = {Zehui Shao and
Fei Deng and
Meilian Liang and
Xiaodong Xu},
title = {On sets without k-term arithmetic progression},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {610--618},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.09.003},
doi = {10.1016/J.JCSS.2011.09.003},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/ShaoDLX12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ShenR12,
author = {Haifeng Shen and
Mark D. Reilly},
title = {Personalized multi-user view and content synchronization and retrieval
in real-time mobile social software applications},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {4},
pages = {1185--1203},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.008},
doi = {10.1016/J.JCSS.2011.10.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ShenR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ShohamG12,
author = {Sharon Shoham and
Orna Grumberg},
title = {Multi-valued model checking games},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {414--429},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.05.003},
doi = {10.1016/J.JCSS.2011.05.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ShohamG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Talaei-KhoeiSRP12,
author = {Amir Talaei{-}Khoei and
Terje Solvoll and
Pradeep Ray and
Nandan Parameswaran},
title = {Maintaining awareness using policies; Enabling agents to identify
relevance of information},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {1},
pages = {370--391},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.05.013},
doi = {10.1016/J.JCSS.2011.05.013},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Talaei-KhoeiSRP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/TianZ12,
author = {Jing Tian and
Xianzhong Zhao},
title = {Representations of commutative asynchronous automata},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {504--516},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.06.002},
doi = {10.1016/J.JCSS.2011.06.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/TianZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Tolosana-CalasanzBPR12,
author = {Rafael Tolosana{-}Calasanz and
Jos{\'{e}} {\'{A}}ngel Ba{\~{n}}ares and
Congduc Pham and
Omer F. Rana},
title = {Enforcing QoS in scientific workflow systems enacted over Cloud infrastructures},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1300--1315},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.015},
doi = {10.1016/J.JCSS.2011.12.015},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Tolosana-CalasanzBPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Veith12,
author = {Helmut Veith},
title = {Special Issue: Games in Verification},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {393},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.05.007},
doi = {10.1016/J.JCSS.2011.05.007},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Veith12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/VillegasBRDLDFSP12,
author = {David Villegas and
Norman Bobroff and
Ivan Rodero and
Javier Delgado and
Yanbin Liu and
Aditya Devarakonda and
Liana Fong and
Seyed Masoud Sadjadi and
Manish Parashar},
title = {Cloud federation in a layered service model},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1330--1344},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.017},
doi = {10.1016/J.JCSS.2011.12.017},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/VillegasBRDLDFSP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/VincentLM12,
author = {Millist W. Vincent and
Jixue Liu and
Mukesh K. Mohania},
title = {The implication problem for 'closest node' functional dependencies
in complete {XML} documents},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {4},
pages = {1045--1098},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2012.01.003},
doi = {10.1016/J.JCSS.2012.01.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/VincentLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/WaluyoTRATS12,
author = {Agustinus Borgy Waluyo and
David Taniar and
J. Wenny Rahayu and
Ailixier Aikebaier and
Makoto Takizawa and
Bala Srinivasan},
title = {Trustworthy-based efficient data broadcast model for {P2P} interaction
in resource-constrained wireless environments},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1716--1736},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.10.019},
doi = {10.1016/J.JCSS.2011.10.019},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/WaluyoTRATS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/WeiPL12,
author = {Chunfu Wei and
Zheng Pei and
Huamin Li},
title = {An induced {OWA} operator in coal mine safety evaluation},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {4},
pages = {997--1005},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.11.003},
doi = {10.1016/J.JCSS.2011.11.003},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/WeiPL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/WellerKNU12,
author = {Mathias Weller and
Christian Komusiewicz and
Rolf Niedermeier and
Johannes Uhlmann},
title = {On making directed graphs transitive},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {559--574},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.07.001},
doi = {10.1016/J.JCSS.2011.07.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/WellerKNU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/WenR12,
author = {Yicheng Wen and
Asok Ray},
title = {Vector space formulation of probabilistic finite state automata},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {4},
pages = {1127--1141},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2012.02.001},
doi = {10.1016/J.JCSS.2012.02.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/WenR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/WuGB12,
author = {Linlin Wu and
Saurabh Kumar Garg and
Rajkumar Buyya},
title = {SLA-based admission control for a Software-as-a-Service provider in
Cloud computing environments},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1280--1299},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.014},
doi = {10.1016/J.JCSS.2011.12.014},
timestamp = {Wed, 21 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/WuGB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/YueBKJ12,
author = {Yisong Yue and
Josef Broder and
Robert Kleinberg and
Thorsten Joachims},
title = {The K-armed dueling bandits problem},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1538--1556},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.028},
doi = {10.1016/J.JCSS.2011.12.028},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/YueBKJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Yuster12,
author = {Raphael Yuster},
title = {Approximate shortest paths in weighted graphs},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {2},
pages = {632--637},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.09.001},
doi = {10.1016/J.JCSS.2011.09.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Yuster12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ZhangYC12,
author = {Gaofeng Zhang and
Yun Yang and
Jinjun Chen},
title = {A historical probability based noise generation strategy for privacy
protection in cloud computing},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {5},
pages = {1374--1381},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.020},
doi = {10.1016/J.JCSS.2011.12.020},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ZhangYC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-25 07:17 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
