| 作者 |
文章名称 |
期刊名称 |
卷、期、页码 |
| L. Yin, C. Yang, S.-Z. Ma, et al |
Parallel numerical simulation of the thermal convection in the Earth’s outer core on the cubed-sphere |
GEOPHYSICAL JOURNAL INTERNATIONAL |
209(3): 1934-1954 |
| H. Fu, L. Gan, W. Luk, C. Yang, et al. |
Solving mesoscale atmospheric dynamics using reconfigurable dataflow architecture |
IEEE Micro |
37(4): 40-50 |
| C. M. Tang, W. K. Chan, Y. T. Yu, Zhenyu Zhang |
Accuracy graphs of spectrum-based fault localization formulas |
IEEE Transactions on Reliability (T-Rel) |
66(2): 403-424 |
| Zhaowei Xu, Wenhui Zhang |
Linear Templates of ACTL Formulas with an Application to SAT-based Verification |
Information Processing Letters |
127: 6-16 |
| Ji W., Wang F., Wu P |
Synthesizing Coalitions for Multi-agent Games |
Integrated Formal Methods |
243–259 |
| H. Yang, S. Sun, C. Yang |
Nonlinearly preconditioned semismooth Newton methods for variational inequality solution of two-phase flow in porous media |
JOURNAL OF COMPUTATIONAL PHYSICS |
332(1): 1-20 |
| Feng, Y. and Zhang, L. |
Precisely deciding csl formulas through approximate model checking for ctmcs |
JOURNAL OF COMPUTER AND SYSTEM SCIENCES |
89: 361–371 |
| Haochen Zhang, Shaowei Cai, Chuan Luo, Minghao Yin |
An efficient local search algorithm for the winner determination problem. |
J. Heuristics |
23(5): 367-396 |
| George Barmpalias, Andy Lewis-Pye |
Differences of halting probabilities |
Journal of Computer and System Sciences |
89: 349-360 |
| P. S. Thiagarajan, Shaofa Yang, Yi Wang |
Synthesis of Timed Admission Controllers |
JOURNAL OF INTEGRATION TECHNOLOGY |
6(3): 1-14 |
| Angsheng Li., Xiaohui Zhang, Yicheng Pan |
Resistance maximization principle for defending networks against virus attack |
Physica A |
466: 211–223 |
| Xin, T;Lu, DW;Klassen, J;Yu, NK;Ji, ZF;Chen, JX;Ma, X;Long, GL;Zeng, B;Laflamme, R |
Quantum State Tomography via Reduced Density Matrices |
PHYSICAL REVIEW LETTERS |
118(2) |
| H. Fu, L. Gan, C. Yang, et al. |
Solving global shallow water equations on heterogeneous supercomputers |
PLoS ONE |
12(3) |
| Chen, JX;Guo, C;Ji, ZF;Poon, YT;Yu, NK;Zeng, B;Zhou, J |
Joint product numerical range and geometry of reduced density matrices |
SCIENCE CHINA-PHYSICS MECHANICS & ASTRONOMY |
60(2) |
| Chen, JY;Ji, ZF;Liu, ZX;Qi, XF;Yu, N;Zeng, B;Zhou, DL |
Physical origins of ruled surfaces on the reduced density matrices geometry |
SCIENCE CHINA-PHYSICS MECHANICS & ASTRONOMY |
60(2) |
| 李红,吴恩华,吴雯 |
最优种子提取与局部平滑标签传播提升显著性检测模型 |
计算机辅助设计与图形学学报 |
29(10): 1853-1862 |
| 崔艳玲，金蓓弘，张扶桑 |
基于数据融合的高速公路交通状况检测 |
计算机学报 |
40(8) |
| 吴国全，何妹妹，魏峻，钟华，黄涛 |
基于捕获／重放的Web应用跨浏览器兼容性检测 |
计算机研究与发展 |
54(3): 623-632 |
| 王翀, 吕荫润, 陈力, 王秀利, 王永吉 |
SMT 求解技术的发展及最新应用研究综述 |
计算机研究与发展 |
54(7): 1405-1425 |
| 郝庭毅, 吴恒, 吴国全, 张文博 |
面向微服务架构的容器级弹性资源供给方法 |
计算机研究与发展 |
54(3): 597-608 |
| 武跟强，贺也平 |
夏娴瑶线性查询的一种近似最优差分隐私机制 |
软件学报 |
28(9): 2309−2322 |
| 唐震,吴恒,王伟,魏峻,黄涛 |
虚拟化环境下面向多目标优化的自适应SSD缓存系统 |
软件学报 |
28(8): 1982-1998 |
| 李正 吴敬征 李明树 |
API使用的关键问题研究 |
软件学报 |
doi: 10.13328/j.cnki.jos.005541 |
| 亢良伊, 王建飞, 刘杰, 叶丹 |
可扩展机器学习的并行与分布式优化算法综述 |
软件学报 |
doi: 10.13328/j.cnki.jos.005376 |
| 徐培兴,陈伟,吴国全,高楚舒,魏峻 |
一种面向软件配置管理制品的层次分类方法 |
软件学报 |
28(6): 1389-1404 |
| 刘树森;周立;官极;贺旸;段润尧;应明生; |
Q|SI＞:一个量子程序设计环境 |
中国科学:信息科学 |
47(10): 1300–1315 |
