| 1247 | -- | 1264 | Natarajan Meghanathan. Centrality and Partial Correlation Coefficient-Based Assortativity Analysis of Real-World Networks |
| 1265 | -- | 1276 | Kenji Yasunaga. Error Correction by Structural Simplicity: Correcting Samplable Additive Errors |
| 1277 | -- | 1283 | Shu-Li Zhao, Rong-Xia Hao, Lidong Wu. The Generalized Connectivity of (n, k)-Bubble-Sort Graphs |
| 1284 | -- | 1300 | Khalil Mohamed, Ayman El Shenawy, Hany Harb. A Hybrid Decentralized Coordinated Approach for Multi-Robot Exploration Task |
| 1301 | -- | 1312 | Jinyong Wang, Xiaoping Mi. Open Source Software Reliability Model with the Decreasing Trend of Fault Detection Rate |
| 1313 | -- | 1321 | Yuxing Yang. Characterizations of Minimum Structure- and Substructure-Cuts of Hypercubes |
| 1322 | -- | 1341 | Zhiwu Xu, Ping Lu, Haiming Chen. Towards an Effective Syntax and a Generator for Deterministic Standard Regular Expressions |
| 1342 | -- | 1364 | Tangliu Wen, Lan Song, Zhen You. Proving Linearizability Using Reduction |
| 1365 | -- | 1402 | Ying Jiang, Jian Liu, Gilles Dowek, Kailiang Ji. Towards Combining Model Checking and Proof Checking |