Journal 2011
时间：2019-07-22 分类：Journal Paper
- 吴敬征，王永吉，丁丽萍，云计算环境下隐蔽信道关键问题研究，通信学报，Vol.32，No.9A，PP.184-203
- 翟健，杨秋松，肖俊超，李明树，一种形式化的基于组件的软件过程建模方法，软件学报，Vol.22，No.1，PP.001-016
- 杜晶，杨叶，王青，李明树，基于证据的可信软件过程评估方法，计算机科学与探索，Vol.5，No.6，PP.501-512
- 何治民，舒风笛，杨叶，李明树，王青，An investigation on the feasibility of cross-project defect prediction，Journal of Automated Software Engineering
- 王永吉，吴敬征，曾海涛，丁丽萍，一种基于并发冲突间隔时间的隐蔽信道检测方法，计算机研究与发展， Vol.48， No.8， PP.1542 – 1553
- 廖晓锋，王永吉，周津慧，关贝，一种领域专家文献自动收集系统，计算机系统应用
- CAO Zheng-cai，ZHAO Hui-dan，WANG Yong-ji，Releasing Control Policy for Semiconductor Wafer Fabrication Based on Fuzzy Petri Nets-Reasoning，CHINESE JOURNAL OF ELECTRONICS，Vol.20，No.7，PP.1545-1550
- 费辉，张云泉，王可，许亚武，基于GPU的分子动力学模拟并行化及实现，计算机科学，Vol.38，No.9，PP. 275-278
- 解庆春，张云泉，王可，李焱，许亚武，SIMD技术与向量数学库研究，计算机科学，Vol.38，No.7，PP.298-301
- 马翠霞，任磊，滕东兴，王宏安，戴国忠，云制造环境下的普适人机交互技术，计算机集成制造系统， Vol.17， No.3， PP.504-510
- 陈明炫，邓昌智，任磊，田丰，戴国忠，一种基于模型驱动的笔式界面开发框架研究，电子学报， Vol.39， No.2， P.268-274
- 樊银亭，滕东兴，汪恭正，杨海燕，王宏安，戴国忠，虚拟家居定制系统中的自适应用户界面实现机制，计算机辅助设计与图形学学报，Vol.23，No.4，PP.705-712
- 滕东兴，王子璐，杨海燕，王宏安，戴国忠，基于交互式可视组件的分析决策环境研究，计算机学报， Vol.34， No.3， PP.3555-3565
- 杨海燕，陈佳，何利力，滕东兴，戴国忠，王宏安，基于草图的超视频构造方法及关键技术研究，计算机研究与发展， Vol.48， No.2， PP.289-295
- Jinyi Cai，Pinyan Lu，Mingji Xia，A computational proof of complexity of some restricted counting problems，Theoretical Computer Science，Vol.412，No.23，PP.2468-2485
- Yongjian Li，William N.N.Hung，Xiaoyu Song，A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL，Theoretical Computer Science，Vol.412，No.25，PP.2746-2765
- Robert G. Merkel，Daoming Wang，Huimin Lin，Tsong Yueh Chen，Automatic Verification of Optimization Algorithms: a Case Study of a Quadratic Assignment Problem Solver，International Journal of Software Engineering and Knowledge Engineering，Vol. 21，No.2，PP.289-307
- Jinyi Cai，Pinyan Lu，Mingji Xia，Computational Complexity of Holant Problems，SIAM Journal on Computing，Vol.40，No.4，PP.1101-1132
- Yongjian Li，William N.N.Hung，Xiaoyu SongNaiju Zeng，Exploring structural symmetry automatically in symbolic trajectory evaluation，Formal Methods in System Design，Vol.39，No.2，PP.117-143
- Xiaohui Bie，Haoda Huang，Wencheng Wang，Free appearance-editing with improved Poisson image cloning，Journal of Computer Science and Technology，Vol.26，No.6，PP.1011-1016
- Zhenyu Zhang，W. K. Chan，T.H.Tse，Y.T.Yu，Peifeng Hu，Non-Parametric Predicate-Based Fault Localization，Journal of System and Softwares，Vol.84，No.6，PP.885-905
- Linqing Tang，On the Derandomization of the Graph Test for Homomorphism over Groups，Theoretical Computer Science，Vol.412，No.18，PP.1718-1728
- Gilles Dowek，Ying Jiang，On the expressive power of schemes，Information and Computation，Vol.209，No.9，PP.1231-1245
- Xiaohui Bie，Haoda Huang，Wencheng Wang，Real time edit propagation by efficient sampling，Computer Graphics Forum，Vol.30，No.7，PP.2041-2048
- Bin Fu，Angsheng Li，Liyu Zhang，Separating NE from Some Nonuniform Nondeterministic Complexity Classes，Journal of Combinatorial Optimization，Vol.22，No.3，PP.482-493
- George Barmpalias，Strings with trivial Kolmogorov Complexity，International Journal of Software and Informatics，Vol. 5，No.4，PP.609-623
- Bican Xia，Lu Yang，Naijun Zhan，Zhihai Zhang，Symbolic decision procedure for termination of linear programs，Formal Aspects of Computing，Vol.23，No.2，PP.171-190
- Manindra Agrawal，Angsheng Li，Theory and applications of models of computation，Theoretical Computer Science，Vol.412，No.18，PP.1645
- 部德振，带时间约束的LTL性质的模型检测的实现，计算机工程与设计，Vol.32，No.2，PP.564-567
- 韩红雷，王文成，光栅化时的线性纹理插值，计算机辅助设计与图形学学报，Vol.23，No.6，PP.999-1005
- 华淼，陈昕，王文成，简捷的主纹理提取方法，计算机辅助设计与图形学学报，Vol.23，No.1，PP.46-53
- 李静，王文成，线性复杂度的网格优化划分，软件学报，Vol.22，No.10，PP.2488-2496
- Yongguo Liu，Xindong Wu ，Yidong Shen，Automatic clustering using genetic algorithms，Applied Mathematics and Computation ，Vol.218，No.4，PP.1267-1279
- Angsheng Li，Pan Peng，Community Structures in Classical Network Models，Internet Mathematics，Vol.7，No.2，PP.81-106
- Yisong Wang，Jiahuai You，Lyan Yuan，Yidong Shen，Mingyi Zhang，The loop formula based semantics of description logic programs，Theoretical Computer Science，Vol.415，PP.60-85
- 谢国富，王文成，单遍数据读取的GPU上的多片元效果绘制，计算机学报，Vol.34，No.3，PP.473-481
- Rahul Jain，Zhengfeng Ji，Sarvagya Upadhyay，John Watrous，QIP = PSPACE，Journal of ACM，Vol.58，No.6
- Jianxin Chen，Xie Chen，Runyao Duan，Zhengfeng Ji，Bei Zeng，No-go theorem for one-way quantum computing on naturally occurring two-level systems，Phys.Rev.A，Vol.83
- Zhengfeng Ji，Zhaohui Wei， Bei Zeng ，Complete characterization of the ground-space structure of two-body frustration-free hamiltonians for qubits，Phys.Rev.A，Vol.84
- Markus Grassl，Zhengfeng Ji，Zhaohui Wei，Bei Zeng，Quantum-capacity-approaching codes for the detected-jump channel，Rev.A，Vol.82
