1113 | -- | 1128 | Xiang Zhao, Yifan Chen, Chuan Xiao, Yoshiharu Ishikawa, Jiuyang Tang. Frequent Subgraph Mining Based on Pregel |
1129 | -- | 1143 | Jorge Francisco Cutigi, Adenilso da Silva Simão, Simone R. S. Souza. Reducing FSM-Based Test Suites with Guaranteed Fault Coverage |
1144 | -- | 1154 | Pablo Pérez-Lantero. Area and Perimeter of the Convex Hull of Stochastic Points |
1155 | -- | 1173 | Hairong Yu, Guohui Li, Jianjun Li, LihChyun Shu. cyclical: A Latency-Resistant Cyclic Multi-Threading Approach for Automatic Program Parallelization |
1174 | -- | 1179 | Indra Rajasingh, Paul D. Manuel, N. Parthiban, D. Azubha Jemilet, R. Sundara Rajan. Transmission in Butterfly Networks |
1180 | -- | 1185 | Zbynek Krivka, Alexander Meduna, Petr Zemek. Phrase-Structure Grammars: Normal Forms and Reduction |
1186 | -- | 1206 | Robert M. Hierons, Uraz Cengiz Türker. Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences |
1207 | -- | 1219 | Huilin Liu, Chen Chen, Junchang Xin, Liyuan Zhang. Searching the Informative Subgraph Based on the PeakGraph Model |
1220 | -- | 1235 | Hui Cui, Robert H. Deng. Revocable and Decentralized Attribute-Based Encryption |
1236 | -- | 1251 | Weifeng Wang, Li Jiao. Trace Abstraction Refinement for Solving Horn Clauses |
1252 | -- | 1263 | Fabrizio Luccio, Bernard Mans, Luke Mathieson, Linda Pagli. Complete Balancing via Rotation |
1264 | -- | 1273 | Rolando Trujillo-Rasua, Ismael González Yero. Characterizing 1-Metric Antidimensional Trees and Unicyclic Graphs |