Journal: Comput. J.

Volume 63, Issue 1

1 -- 15Shiying Wang, Nan Zhao. The Two-Good-Neighbor Connectivity and Diagnosability of the Augmented Three-Ary n-Cubes
16 -- 24Xueli Sun, Shuming Zhou, Mengjie Lv, Jiafei Liu, Guanqin Lian. Intermittent Fault Diagnosability of Some General Regular Networks
25 -- 40Yuan Lin 0003, Zhongzhi Zhang. Effects of Edge Centrality on Random Walks on Graphs
41 -- 65Lixiao Zheng, Shuai Ma 0001, Yuanyang Wang, Gang Lin. String Generation for Testing Regular Expressions
66 -- 79Juan Li, Yanmin Zhu, Jiadi Yu. Redundancy-Aware and Budget-Feasible Incentive Mechanism in Crowd Sensing
80 -- 90Huiqing Liu, Xiaolan Hu, Shan Gao 0005. The g-Good-Neighbor Conditional Diagnosability of Locally Exchanged Twisted Cubes
91 -- 104Lydia W. Rizkallah, Mona F. Ahmed, Nevin M. Darwish. SMT-LH: A New Satisfiability Modulo Theory-Based Technique for Solving Vehicle Routing Problem with Time Window Constraints
105 -- 122MohammadSadegh Mohagheghi, Jaber Karimpour, Ayaz Isazadeh. Prioritizing Methods to Accelerate Probabilistic Model Checking of Discrete-Time Markov Models
123 -- 136Xian-Shu Li, Su-Kyung Yoon, Jeong Geun Kim, Bernd Burgstaller, Shin-Dug Kim. Algorithm-Switching-Based Last-Level Cache Structure with Hybrid Main Memory Architecture
137 -- 150Xiao-yu Wang, Yu-Feng Liu, Kang Zhang. A Graph Grammar Approach to the Design and Validation of Floor Plans
151 -- 167Vasamsetti Srinivas, Ch Santhirani. Optimization-Based Support Vector Neural network for Speaker Recognition