-
Quantum random access stored-program machines
Author: Wang, Qisheng; Ying, Mingsheng
Journal: JOURNAL OF COMPUTER AND SYSTEM SCIENCES. 2023; Vol. 131, Issue , pp. 13-63. DOI: 10.1016/j.jcss.2022.08.002
-
The control complexity of r-Approval: From the single-peaked case to the general case
Author: Yongjie Yang, Jiong Guo
Journal: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017, Vol.89, 432-449, DOI:10.1016/j.jcss.2017.06.004
-
Differences of halting probabilities
Author: George Barmpalias, Andrew Lewis-Pye
Journal: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017, Vol.89, 349-360, DOI:10.1016/j.jcss.2017.06.002
-
Precisely deciding CSL formulas through approximate model checking for CTMCs
Author: Yuan Feng, Lijun Zhang
Journal: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017, Vol.89, 361-371, DOI:10.1016/j.jcss.2017.05.014
-
Geographic spatiotemporal big data correlation analysis via the Hilbert–Huang transformation
Author: Weijing Song, Lizhe Wang, Yang Xiang, Albert Y. Zomaya
Journal: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017, Vol.89, 130-141, DOI:10.1016/j.jcss.2017.05.010
-
An elastic and resiliency defense against DDoS attacks on the critical DNS authoritative infrastructure
Author: Zheng Wang
Journal: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017, Vol., , DOI:10.1016/j.jcss.2017.05.012
-
Linear kernels for separating a graph into components of bounded size
Author: Mingyu Xiao
Journal: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017, Vol.88, 260-270, DOI:10.1016/j.jcss.2017.04.004
-
On g-extra connectivity of hypercube-like networks
Author: Jin-Xin Zhou
Journal: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017, Vol.88, 208-219, DOI:10.1016/j.jcss.2017.04.002