Journal Paper

Journal 2017

作者 文章名称 期刊名称 卷、期、页码
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