| 217 | -- | 231 | Liya Liu, Osman Hasan, Sofiène Tahar. Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL |
| 232 | -- | 246 | Mohamed El-bachir Menai, Tasniem Nasser Al-Yahya. A Taxonomy of Exact Methods for Partial Max-SAT |
| 247 | -- | 254 | Wensheng Guo, Guowu Yang, William N. N. Hung, Xiaoyu Song. Complete Boolean Satisfiability Solving Algorithms Based on Local Search |
| 255 | -- | 266 | François Anton, Darka Mioc, Marcelo Santos. Exact Computation of the Topology and Geometric Invariants of the Voronoi Diagram of Spheres in 3D |
| 267 | -- | 277 | Gill Barequet, Matthew Dickerson, David Eppstein, David Hodorkovsky, Kira Vyatkina. On 2-Site Voronoi Diagrams Under Geometric Distance Functions |
| 278 | -- | 284 | Mei-Xia Qu, Jun-Feng Luan, Da-Ming Zhu, Meng Du. On the Toggling-Branching Recurrence of Computability Logic |
| 285 | -- | 299 | Irfan Ahmad, Sabri A. Mahmoud. Arabic Bank Check Processing: State of the Art |
| 300 | -- | 310 | Wei Luo, Marcus Gallagher, Janet Wiles. Parameter-Free Search of Time-Series Discord |
| 311 | -- | 321 | Kiatichai Treerattanapitak, Chuleerat Jaruskulchai. Possibilistic Exponential Fuzzy Clustering |
| 322 | -- | 328 | Mathu Soothana S. Kumar Retna Swami, Muneeswaran Karuppiah. Optimal Feature Extraction Using Greedy Approach for Random Image Components and Subspace Approach in Face Recognition |
| 329 | -- | 342 | Hong-Wei Tang, Jian-Nong Cao, Xue-Feng Liu, Cai-Xia Sun. SR-MAC: A Low Latency MAC Protocol for Multi-Packet Transmissions in Wireless Sensor Networks |
| 343 | -- | 356 | Kun Xie, Jiannong Cao, Jigang Wen. Optimal Relay Assignment and Power Allocation for Cooperative Communications |
| 357 | -- | 365 | Chollette C. Chude-Olisah, Uche A. K. Chude-Okonkwo, Kamalrulnizam A. Bakar, Ghazali Sulong. Fuzzy-Based Dynamic Distributed Queue Scheduling for Packet Switched Networks |
| 366 | -- | 381 | Junfeng Zhou, Guoxiang Lan, Ziyang Chen, Xian Tang. Fast Smallest Lowest Common Ancestor Computation Based on Stable Match |
| 382 | -- | 393 | Dan Yang, Derong Shen, Ge Yu, Yue Kou, Tiezheng Nie. Query Intent Disambiguation of Keyword-Based Semantic Entity Search in Dataspaces |
| 394 | -- | 400 | Joo Hyuk Jeon, Jihwan Song, Jeong Eun Kwon, Yoon-Joon Lee, Man Ho Park, Myoung-Ho Kim. An Efficient and Spam-Robust Proximity Measure Between Communication Entities |