default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Computer and System Sciences, Volume 82
Volume 82, Number 1, Part A, February 2016
- Federica Mandreoli
, Riccardo Martoglia, Wilma Penzo:
Journal of Computer and System Sciences Special Issue on Query Answering on Graph-Structured Data. 1-2 - Elena Vasilyeva, Maik Thiele, Christof Bornhövd, Wolfgang Lehner:
Answering "Why Empty?" and "Why So Many?" queries in graph databases. 3-22 - Fang Wei-Kleiner:
Tree decomposition-based indexing for efficient shortest path and nearest neighbors query answering on graphs. 23-44 - Florian Holzschuher, René Peinl:
Querying a graph database - language selection and performance considerations. 45-68 - Fabio Grandi:
Dynamic class hierarchy management for multi-version ontology-based personalization. 69-90
Volume 82, Number 1, Part B, February 2016
- Yufeng Wang, Qun Jin, Athanasios V. Vasilakos:
Special Issue on Mobile Social Networking and computing in Proximity (MSNP). 91-92 - Feng Xia, Hannan Bin Liaqat, Ahmedin Mohammed Ahmed, Li Liu, Jianhua Ma, Runhe Huang, Amr Tolba:
User popularity-based packet scheduling for congestion control in ad-hoc social networks. 93-112 - Songling Fu, Ligang He, Xiangke Liao, Chenlin Huang:
Developing the Cloud-integrated data replication framework in decentralized online social networks. 113-129 - Shangguang Wang, Lin Huang, Ching-Hsien Hsu, Fangchun Yang:
Collaboration reputation for trustworthy Web service selection in social networks. 130-143 - Zhibin Jiang, Ching-Hsien Hsu, Daqiang Zhang, Xiaolei Zou:
Evaluating rail transit timetable using big passengers' data. 144-155 - Shaoyong Du, Jingyu Hua, Yue Gao, Sheng Zhong:
EV-Linker: Mapping eavesdropped Wi-Fi packets to individuals via electronic and visual signal matching. 156-172
Volume 82, Number 2, March 2016
- Maurizio Palesi, Mario Collotta, Masoud Daneshtalab, Pradip Bose:
Special issue on energy efficient methods and systems in the emerging cloud era. 173 - Keqin Li:
Power and performance management for parallel computations in clouds and data centers. 174-190 - Mohan Raj Velayudhan Kumar, Shriram Raghunathan:
Heterogeneity and thermal aware adaptive heuristics for energy efficient consolidation of virtual machines in infrastructure clouds. 191-212
- Konrad Kazimierz Dabrowski, Petr A. Golovach, Pim van 't Hof, Daniël Paulusma:
Editing to Eulerian graphs. 213-228 - George H. L. Fletcher, Marc Gyssens, Jan Paredaens, Dirk Van Gucht, Yuqing Wu:
Structural characterizations of the navigational expressiveness of relation algebras on a tree. 229-259 - Zhao Liu, Jianxi Fan, Xiaohua Jia:
Complete binary trees embeddings in Möbius cubes. 260-281 - Cengiz Karakoyunlu, John A. Chandy:
Exploiting user metadata for energy-aware node allocation in a cloud storage system. 282-309 - Danny Dolev, Keijo Heljanko, Matti Järvisalo, Janne H. Korhonen, Christoph Lenzen, Joel Rybicki, Jukka Suomela, Siert Wieringa:
Synchronous counting and computational algorithm design. 310-332 - Robert Ganian, Friedrich Slivovsky, Stefan Szeider:
Meta-kernelization with structural parameters. 333-346 - Andrei A. Bulatov:
Conservative constraint satisfaction re-revisited. 347-356 - Radim Belohlávek, Jan Konecny:
Bases of closure systems over residuated lattices. 357-365 - Christophe Paul, Anthony Perez, Stéphan Thomassé:
Linear kernel for Rooted Triplet Inconsistency and other problems based on conflict packing technique. 366-379 - Emil Jerábek:
Integer factoring and modular square roots. 380-394
Volume 82, Number 3, May 2016
- Rada Chirkova:
Combined-semantics equivalence of conjunctive queries: Decidability and tractability results. 395-465 - Lingling Xu, Fangguo Zhang, Willy Susilo, Yamin Wen:
Solutions to the anti-piracy problem in oblivious transfer. 466-476 - Golnaz Badkobeh, Maxime Crochemore:
Computing maximal-exponent factors in an overlap-free word. 477-487 - Hadas Shachnai, Meirav Zehavi:
Representative families: A unified tradeoff-based approach. 488-502 - Faisal N. Abu-Khzam, Cristina Bazgan, Morgan Chopin, Henning Fernau:
Data reductions and combinatorial bounds for improved approximation algorithms. 503-520 - Vincent Froese, René van Bevern, Rolf Niedermeier, Manuel Sorge:
Exploiting hidden structure in selecting dimensions that distinguish vectors. 521-535 - Keith J. Edwards:
A faster polynomial-space algorithm for Max 2-CSP. 536-550 - Michael Codish, Luís Cruz-Filipe, Michael Frank, Peter Schneider-Kamp:
Sorting nine inputs requires twenty-five comparisons. 551-563
Volume 82, Number 4, June 2016
- Chi-Hung Chi, Can Wang, Yu Zheng:
Special Issue on Trajectory-based Behaviour Analytics. 565 - Alasdair Thomason, Nathan Griffiths, Victor Sanchez:
Identifying locations from geospatial trajectories. 566-581 - Guangyan Huang, Jing He, Wanlei Zhou, Guang-Li Huang, Limin Guo, Xiangmin Zhou, Feiyi Tang:
Discovery of stop regions for understanding repeat travel behaviors of moving objects. 582-593 - Victor W. Chu, Raymond K. Wong, Fang Chen, Simon Fong, Patrick C. K. Hung:
Self-regularized causal structure discovery for trajectory-based networks. 594-609 - Hyun Jung La:
A conceptual framework for trajectory-based medical analytics with IoT contexts. 610-626
Volume 82, Number 5, August 2016
- Susanne Albers, Sonja Lauer:
On list update with locality of reference. 627-653 - Roberto Baldoni, Silvia Bonomi, Michel Raynal:
Implementing set objects in dynamic distributed systems. 654-689 - Jin-Yi Cai, Andreas Galanis, Leslie Ann Goldberg, Heng Guo, Mark Jerrum, Daniel Stefankovic, Eric Vigoda:
#BIS-hardness for 2-spin systems on bipartite bounded degree graphs in the tree non-uniqueness region. 690-711 - Priyanka Chawla, Inderveer Chana, Ajay Rana:
Cloud-based automatic test data generation framework. 712-738 - Erich Christian Teppan, Gerhard Friedrich, Georg Gottlob:
Tractability frontiers of the partner units configuration problem. 739-755 - Damien Vergnaud:
Comment on "A strong provably secure IBE scheme without bilinear map" by M. Zheng, Y. Xiang and H. Zhou [J. Comput. Syst. Sci. 81 (2015) 125-131]. 756-757 - Stefan Kratsch:
On polynomial kernels for sparse integer linear programs. 758-766 - Chia-Wen Cheng, Sun-Yuan Hsieh:
Edge-fault-tolerant pancyclicity and bipancyclicity of Cartesian product graphs with faulty edges. 767-781 - Biing-Feng Wang, Jhih-Hong Ye, Pei-Jung Chen:
Efficient algorithms for the round-trip 1-center and 1-median problems. 782-792 - Magnus Find, Mika Göös, Matti Järvisalo, Petteri Kaski, Mikko Koivisto, Janne H. Korhonen:
Separating OR, SUM, and XOR circuits. 793-801 - Dariusz Dereniowski, Adrian Kosowski, Dominik Pajak, Przemyslaw Uznanski:
Bounds on the cover time of parallel rotor walks. 802-816 - Ioannis Papoutsakis:
On approximating tree spanners that are breadth first search trees. 817-825 - Claudia Carapelle, Alexander Kartzow, Markus Lohrey:
Satisfiability of ECTL⁎ with constraints. 826-855 - Miika Hannula, Juha Kontinen, Sebastian Link:
On the finite and general implication problems of independence atoms and keys. 856-877 - Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol:
What is decidable about partially observable Markov decision processes with ω-regular objectives. 878-911 - Peter Jonsson, Johan Thapper:
Constraint satisfaction and semilinear expansions of addition over the rationals and the reals. 912-928 - Danny Dolev, Matthias Függer, Christoph Lenzen, Martin Perner, Ulrich Schmid:
HEX: Scaling honeycombs is easier than scaling clock trees. 929-956 - Zhibin Jiang, Ching-Hsien Hsu, Daqiang Zhang, Xiaolei Zou:
Corrigendum to "Evaluating rail transit timetable using big passengers' data" [J. Comput. Syst. Sci. 82 (1, Part B) (2016) 144-155]. 957
Volume 82, Number 6, September 2016
- Etienne Grandjean, Frédéric Olive:
A logical approach to locality in pictures languages. 959-1006 - Artur Jez, Alexander Okhotin:
Equations over sets of integers with addition only. 1007-1019 - Karl Bringmann, Danny Hermelin, Matthias Mnich, Erik Jan van Leeuwen:
Parameterized complexity dichotomy for Steiner Multicut. 1020-1043 - Mohammad Khairul Hasan, Kyung-Yong Chwa:
Approximation algorithms for the Weighted t-Uniform Sparsest Cut and some other graph partitioning problems. 1044-1063 - Troy Lee, Nikos Leonardos, Michael E. Saks, Fengming Wang:
Hellinger volume and number-on-the-forehead communication complexity. 1064-1074 - Leo van Iersel, Steven Kelk, Céline Scornavacca:
Kernelizations for the hybridization number problem on multiple nonbinary trees. 1075-1089 - Bosheng Song, Mario J. Pérez-Jiménez, Linqiang Pan:
An efficient time-free solution to SAT problem by P systems with proteins on membranes. 1090-1099 - Vincent Froese, André Nichterlein, Rolf Niedermeier:
Win-win kernelization for degree sequence completion problems. 1100-1111 - Dipali Pal, Praveen Rao, Vasil Slavov, Anas Katib:
Fast processing of graph queries on a large database of small and medium-sized data graphs. 1112-1143 - Leslie Ann Goldberg, Rob Gysel, John Lapinskas:
Approximately counting locally-optimal structures. 1144-1160
Volume 82, Number 7, November 2016
- Luca Ferrucci, Laura Ricci, Michele Albano, Ranieri Baraglia, Matteo Mordacchini:
Multidimensional range queries on hierarchical Voronoi overlays. 1161-1179 - Omer Reingold, Shai Vardi:
New techniques and tighter bounds for local computation algorithms. 1180-1200 - Zoltán Fülöp, Andreas Maletti:
Linking theorems for tree transducers. 1201-1222
Volume 82, Number 8, December 2016
- Martin Anthony, Joel Ratsaby:
Multi-category classifiers and sample width. 1223-1231 - Jérémie Cabessa, Alessandro E. P. Villa:
Expressive power of first-order recurrent neural networks determined by their attractor dynamics. 1232-1250 - Andrzej Czygrinow, Michal Hanckowiak, Edyta Szymanska, Wojciech Wawrzyniak:
On the distributed complexity of the semi-matching problem. 1251-1267 - Alexei Miasnikov, Alexander Ushakov:
Generic case completeness. 1268-1282 - George Barmpalias, Nan Fang, Andrew Lewis-Pye:
Optimal asymptotic bounds on the oracle use in computations from Chaitin's Omega. 1283-1299 - Xiaocheng Hu, Miao Qiao, Yufei Tao:
I/O-efficient join dependency testing, Loomis-Whitney join, and triangle enumeration. 1300-1315 - Xuejiao Liu, Yingjie Xia, Wenzhi Chen, Yang Xiang, Mohammad Mehedi Hassan, Abdulhameed Alelaiwi:
SEMD: Secure and efficient message dissemination with policy enforcement in VANET. 1316-1328 - Tamar Aizikowitz, Michael Kaminski:
LR(0) conjunctive grammars and deterministic synchronized alternating pushdown automata. 1329-1359 - Christian Rosenke:
The exact complexity of projective image matching. 1360-1387
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.
last updated on 2024-11-07 20:34 CET 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:
