Journal: J. Comput. Syst. Sci.

Volume 80, Issue 7

1175 -- 1190Julio Aracena, A. Richard, Lilian Salinas. Maximum number of fixed points in AND-OR-NOT networks
1191 -- 1213Tom J. Ameloot, Jan Van den Bussche. Positive Dedalus programs tolerate non-causality
1214 -- 1244Edith Cohen, Nick G. Duffield, Haim Kaplan, Carsten Lund, Mikkel Thorup. Algorithms and estimators for summarization of unaggregated data streams
1245 -- 1253Amihood Amir, Alberto Apostolico, Gad M. Landau, Avivit Levy, Moshe Lewenstein, Ely Porat. Range LCP
1254 -- 1265Jesús García-López, Florin Manea, Victor Mitrana. Prefix-suffix duplication
1266 -- 1284Nikolaos Laoutaris, Laura J. Poplawski, Rajmohan Rajaraman, Ravi Sundaram, Shang-Hua Teng. Bounded Budget Connection (BBC) games or how to make friends and influence people, on a budget
1285 -- 1297Cristina Bazgan, Morgan Chopin, Marek Cygan, Michael R. Fellows, Fedor V. Fomin, Erik Jan van Leeuwen. Parameterized complexity of firefighting
1298 -- 1322Manfred Broy. Verifying of interface assertions for infinite state Mealy machines
1323 -- 1338Amir Talaei-Khoei, Suchada Vichitvanichphong, Terje Solvoll, Pradeep Ray, Amir Hossein Ghapanchi. A methodology to develop awareness in computer supported collaborative work using policies
1339 -- 1349Chunguang Li, Shouzhen Zeng, Tiejun Pan, Leina Zheng. A method based on induced aggregation operators and distance measures to multiple attribute decision making under 2-tuple linguistic environment
1350 -- 1358Haitao Jiang, Binhai Zhu. A linear kernel for the complementary maximal strip recovery problem
1359 -- 1373Christian Glaßer, Stephen D. Travers, Klaus W. Wagner. Perfect correspondences between dot-depth and polynomial-time hierarchies
1374 -- 1383Fedor V. Fomin, Yngve Villanger. Searching for better fill-in
1384 -- 1403Matthias Mnich, Geevarghese Philip, Saket Saurabh, Ondrej Suchý. Beyond Max-Cut: λ-extendible properties parameterized above the Poljak-Turzík bound
1404 -- 1414Moein Kianpour, Reza Sabbaghi-Nadooshan, Keivan Navi. A novel design of 8-bit adder/subtractor by quantum-dot cellular automata
1415 -- 1429Albert Atserias, Sergi Oliva. Bounded-width QBF is PSPACE-complete
1430 -- 1447Fedor V. Fomin, Stefan Kratsch, Marcin Pilipczuk, Michal Pilipczuk, Yngve Villanger. Tight bounds for parameterized complexity of Cluster Editing with a small number of clusters
1448 -- 1489Sergio Flesca, Filippo Furfaro, Francesco Parisi. Consistency checking and querying in probabilistic databases under integrity constraints