1175 | -- | 1190 | Julio Aracena, A. Richard, Lilian Salinas. Maximum number of fixed points in AND-OR-NOT networks |
1191 | -- | 1213 | Tom J. Ameloot, Jan Van den Bussche. Positive Dedalus programs tolerate non-causality |
1214 | -- | 1244 | Edith Cohen, Nick G. Duffield, Haim Kaplan, Carsten Lund, Mikkel Thorup. Algorithms and estimators for summarization of unaggregated data streams |
1245 | -- | 1253 | Amihood Amir, Alberto Apostolico, Gad M. Landau, Avivit Levy, Moshe Lewenstein, Ely Porat. Range LCP |
1254 | -- | 1265 | Jesús García-López, Florin Manea, Victor Mitrana. Prefix-suffix duplication |
1266 | -- | 1284 | Nikolaos 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 | -- | 1297 | Cristina Bazgan, Morgan Chopin, Marek Cygan, Michael R. Fellows, Fedor V. Fomin, Erik Jan van Leeuwen. Parameterized complexity of firefighting |
1298 | -- | 1322 | Manfred Broy. Verifying of interface assertions for infinite state Mealy machines |
1323 | -- | 1338 | Amir Talaei-Khoei, Suchada Vichitvanichphong, Terje Solvoll, Pradeep Ray, Amir Hossein Ghapanchi. A methodology to develop awareness in computer supported collaborative work using policies |
1339 | -- | 1349 | Chunguang 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 | -- | 1358 | Haitao Jiang, Binhai Zhu. A linear kernel for the complementary maximal strip recovery problem |
1359 | -- | 1373 | Christian Glaßer, Stephen D. Travers, Klaus W. Wagner. Perfect correspondences between dot-depth and polynomial-time hierarchies |
1374 | -- | 1383 | Fedor V. Fomin, Yngve Villanger. Searching for better fill-in |
1384 | -- | 1403 | Matthias Mnich, Geevarghese Philip, Saket Saurabh, Ondrej Suchý. Beyond Max-Cut: λ-extendible properties parameterized above the Poljak-Turzík bound |
1404 | -- | 1414 | Moein Kianpour, Reza Sabbaghi-Nadooshan, Keivan Navi. A novel design of 8-bit adder/subtractor by quantum-dot cellular automata |
1415 | -- | 1429 | Albert Atserias, Sergi Oliva. Bounded-width QBF is PSPACE-complete |
1430 | -- | 1447 | Fedor 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 | -- | 1489 | Sergio Flesca, Filippo Furfaro, Francesco Parisi. Consistency checking and querying in probabilistic databases under integrity constraints |