Journal 2012

时间：2019-07-14 分类：期刊论文

1. Qi Zhao，Ping Tan，Qiang Dai，Li Shen，Enhua Wu，Stephen Lin，A Closed-form Solution to Retinex with Non-local Texture Constraint，IEEE Trans. on Pattern Analysis and Machine Intelligence，34(7):1437-1444
2. Jia Liu，Huimin Lin，A Complete Symbolic Bisimulation For Full Applied Pi Calculus，Theoretical Computer Science，458，76-112
3. Yuanzhang Chang，Kai Bao，Jian Zhu，Enhua Wu，A Particle-Based Method For Granular Flow Simulation，SCIENCE CHINA-INFORMATION SCIENCES，55，5，1062-1072
4. Shandong Wang，Enhua Wu，Youquan Liu，Xuehui Liu，Yanyun Chen，Abstract line drawings from photographs using flow-based filters，Computers & Graphics，36，4，224-231
5. Jiang Tian，Wenfei Jiang，Tao Luo，Kangying Cai，Jingliang Peng ，Wencheng Wang，Adaptive Coding of Generic 3D Triangular Meshes Based on Octree Decomposition. ，The Visual Computer，28，6-8，819-827
6. Jiang Liu ，Guohua Wu，Almost universal cupping and diamond embeddings，Annals of Pure and Applied Logic ，163，717-729
7. Zhimin He，Fengdi Shu，Ye Yang，Mingshu Li，Qing Wang，An investigation on the feasibility of cross-project defect prediction，Automated Software Engineering，19，2，167-199
8. Qinma Kang，Hong He，Haining Jiang，An Iterated Local Search Algorithm for Task Assignment in Distributed Computing Systems，Advanced Materials Research，588-589，1308-1311
9. Lihua Wu，Daowen Qiu，Hongyan Xing，Automata Theory Based On Complete Residuated Lattice-Valued Logic: Turing Machines，Fuzzy Sets and Systems，208，43-66
10. Qinma Kang，Hong He，Rong Deng，Bi-objective task assignment in heterogeneous distributed systems using honeybee mating optimization，Applied Mathematics and Computation，219，2589–2600
11. Zhengcai Cao，Yazhen Peng，Yongji Wang，Bottleneck prediction method based on improved adaptive network-based fuzzy inference system (ANFIS) in semiconductor manufacturing system，Chinese Journal of Chemical Engineering，20，6，1081-1088
12. A. Li，Y. Pan，Characterizations of locally testable linear- and affine-invariant families，Theoretical Computer Science ，414，1，55-75
13. Bixin Li，Xiaobing Sun，Hareton Leung，Combining Concept Lattice With Call Graph For Impact Analysis，Advances in Engineering Software，53，1-13
14. Jianxin Chen，Zhengfeng Ji，Mary Beth Ruskai，Bei Zeng，Duanlu Zhou，Comment On Some Results Of Erdahl And The Convex Structure Of Reduced Density Matrices，JOURNAL OF MATHEMATICAL PHYSICS，53，7
15. Fei Pu，Compositional Verification Of Liveness Property In Inhibitor-Arc Connections Of Petri Net Systems，Journal of Software，7，3，499-507
16. Xin Sun，Guofu Xie，Yue Dong，Stephen Lin，Weiwei Xu，Wencheng Wang, Xin Tong, Baining Guo，Diffusion Curve Textures for Resolution Independent Texture Mapping，ACM Transactions on Graphics，31\4\article 74
17. Xue-Yang Zhu，Twan Basten，Marc Geilen，Sander Stuijk，Efficient Retiming of Multi-rate DSP Algorithms，IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems，31，6，831-844
18. Hai Hu，Changhai Jiang，Kaiyuan Cai，W.Eric Wong，Aditya P. Mathur，Enhancing Software Reliability Estimates Using Modified Adaptive Testing，Information and Software Technology，55，2
19. Dongxu Wang，Wencheng Wang，Yuexiang Shi，Exact distance transform by using coherence progressively，Advanced Science Letters，10，1，513-518
20. Zhenyu Zhang，W.K. Chan，T.H. Tse，Fault Localization Based Only on Failed Runs，IEEE Computer(COMPUTER)，45\6\64-71
21. Yanyan Xu，Wei Chen，Kaile Su，Wenhui Zhang，Greedy Clique Decomposition for Symbolic Satisfiability Solving，International Journal of Advancements in Computing Technology ，10，4，174-184
22. Jianxin Chen，Zhengfeng Ji，David Kribs，Zhaohui Wei，Bei Zeng，Ground-State Spaces Of Frustration-Free Hamiltonians，JOURNAL OF MATHEMATICAL PHYSICS，53，10
23. Jinyi Cai，Pinyan Lu，Mingji Xia，Holographic Reduction, Interpolation And Hardness，COMPUTATIONAL COMPLEXITY，21，4，573-604
24. Bo Jiang，Zhenyu Zhang，W.K.Chan，T.H. Tse，Tsong Yueh Chen，How Well Does Test Case Prioritization Integrate With Statistical Fault Localization?，Information and Software Technology，54，7，739-758
25. Qi Li，Ye Yang，Mingshu Li，Qing Wang，Barry W.Boehm，Chenyong Hu，Improving Software Testing Process: Feature Prioritization To Make Winners Of Success-Critical Stakeholders，Journal of Software Maintenance and Evolution，12，6
26. Jiwei Jin，Feifei Ma，Jian Zhang，Integrating Standard Dependency Schemes In Qcsp Solvers，Journal of Computer Science and Technology，27，1，37-41
27. Meng Yang，Longsheng Jiang，Xiaosheng Li，Youquan Liu，Xuehui Liu，Enhua Wu，Interactive Coupling between Tree and Raindrops，Computer Animation and Virtual Worlds，23(3,4)：267-277
28. Xiaowei He，Ning Liu，Sheng Li，Hongan Wang，Guoping Wang，Local Poisson Sph For Viscous Incompressible Fluids，COMPUTER GRAPHICS FORUM，31，6，1948-1958
29. Xiuqing Wang，Zengguang Hou，Min Tan，Yongji Wang，Fei Xie，Mobile Robots’ Wall-following Controller Based On Probabilistic Spiking Neuron Model，Advanced Materials Research，588 – 589，1547-1551
30. Yang Gao，Ming Xu，Naijun Zhan，Lijun Zhang，Model checking conditional CSL for continuous-time Markov chains，Inf. Process. Lett，113，1-2，44-50
31. Kang Zhang，Guangquan Zhang，Mingcai Chen，Yi Zhu，Model Supporting CPS Software System Evaluation on Trustworthiness，Journal of Computational Information Systems，8，1，1-8
32. Paulo Mateus，Daowen Qiu，Lvzhou Li，On The Complexity Of Minimizing Probabilistic And Quantum Automata，Information and Computation，218，36-53
33. N. Min-Allah，S. U. Khan，Yongji Wang，Optimal Task Execution Times for Periodic Tasks using Nonlinear Constrained Optimization，Journal of Supercomputing，59\3\1120-1138
34. Weiyan Wang，Yunquan Zhang，Shengen Yan，Ying Zhang，Haipeng Jia，Parallelization And Performance Optimization On Face Detection Algorithm With Opencl: A Case Study，Tsinghua Science and Technology，17，3，287-295
35. Youquan Liu，Yanyun Chen，Wen Wu，Nelson Max，Enhua Wu，Physically based Object Withering Simulation，Computer Animation and Virtual Worlds，23(3-4)：395-406
36. Jianxin Chen，Zhengfeng Ji，Alexander Klyachko，David Kribs，Bei Zeng，Rank Reduction For The Local Consistency Problem，JOURNAL OF MATHEMATICAL PHYSICS，53，2
37. Enhua Wu，Feitong Liu，Robust Image Metamorphosis Immune from Ghost and Blur，The Visual Computer ，29(4）：311-321
38. Xiaoming Deng，Fuchao Wu，Yihong Wu，Fuqing Duan，Liang Chang，Hongan Wang，Self-Calibration Of Hybrid Central Catadioptric And Perspective Cameras，Computer Vision and Image Understanding，116，6，715-729
39. Ching-yung Lin，Hanghang Tong，Zhen Wen，Lynn Wu，Vicky Griffiths-Fisher，Lei Shi，Social Network Analytics in Enterprise，Proceedings of the IEEE，100(9):2759-2776，*
40. Shenggen Zheng，Daowen Qiu，Lvzhou Li，，Some Languages Recognized By Two-Way Finite Automata With Quantum And Classical States，INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE，23，5，1117-1129
41. Guoquan Wu，Jun Wei，Chunyang Ye，Hua Zhong，Tao Huang，Hong He，Specification And Monitoring Of Data-Centric Temporal Properties For Service-Based Systems，Journal of Systems and Software，85，12
42. Wang, Y. S，You, J，Yuan, L., ，Zhang, M. ，The Loop Formula Based Semantics of Description Logic Programs. ，Theoretical Computer Science ，415，60-85
43. A. Li，P. Peng，The small community phenomenon in networks，Mathematical Structures in Computer Science，22，3，373 – 407
44. 段新明，武继刚，张大坤，Torus网络自适应容错路由算法，计算机科学，39，2，115-117
45. Du, J. F，Qi, G，Shen, Y. D，and Pan, J. ，Towards Practical ABox Abduction in Large Description Logic Ontologies，International Journal on Semantic Web and Information Systems，8，2，1-33
46. George Barmpalias，David L.Dowe，Universality Probability Of A Prefix-Free Machine，Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences，370，1971，3488-3511
47. Shaohui Jiao，Wen Wu，Pheng-Ann Heng，Enhua Wu，Using Time-Varying Texels To Simulate Withering Grassland，IEEE COMPUTER GRAPHICS AND APPLICATIONS，32，1，78-86
48. Yunhe Wang ，Li Jiao，Using transition set sequences to partition behaviors of Petri nets，Acta Informatica，49，1，15-28
49. 陈伟，魏峻，黄涛，W4H:一个面向软件部署的技术分析框架，软件学报，23，7，1669-1687，一级学报
50. 邓超强，曾凡平，武飞，熊能，董齐兴，程序不变量到断言的自动转换方法研究及其应用，计算机与应用软件，29，11，177-189
51. 刘世光，傅应坻，蒋浴芹，地表火蔓延的真实感仿真，自然灾害学报，2，180-186，一级学报
52. 王璞，武继刚，高效软硬件划分算法及其提升技术，计算机科学，39，1，290-294
53. 费辉，张云泉，王靖，基于GPU的非标记定量软件QuantWiz并行化实现，计算机科学，39，6，285-288
54. 贺喜，蒋建春，丁丽萍，王永吉，廖晓峰，基于LDA模型的主机异常检测方法，计算机应用与软件，29\8\1-4,24
55. 廖晓锋，王永吉，范修斌，吴敬征，基于LDA主题模型的安全漏洞分类，清华大学学报(自然科学版)，52\10\1351-1355
56. 孙小兵，李必信，陶传奇，基于LoCMD的软件修改分析技术，软件学报，23，6，1368-1381，一级学报
57. 贾海鹏，张云泉，龙国平，徐建良，李焱，基于OpenCL的拉普拉斯图像增强算法优化研究，计算机科学，39，5，271-277
58. 宋金莲，吴恩华，基于动力学的头发造型方法，中国科学院研究生院学报，29，4，543-548
59. 王焘，魏峻，张文博，钟华，基于负载模式识别的Web应用在线异常检测方法，软件学报，23，10，786-801，一级学报
60. 王晶，戎玫，张广泉，祝义，基于概率模型检测的Web服务组合验证，计算机科学，39，1，120-123
61. 赵磊，王丽娜，高东明，张震宇，熊作婷，基于关联挖掘的软件错误定位方法，计算机学报，12期\2528-2540
62. 王昌晶，基于扩展逻辑变换系统_μTS证明循环优化正确性，计算机研究与发展，49，9，1863-1873
63. 张广泉，狄浩军，石慧娟，晏荣杰，朱雪阳，基于扩展自动机的服务组合静态与动态验证方法，通信学报，33，Z1，1-8，一级学报
64. 徐添辰，吴恩华，基于流体动力学的实时角色动画运动特效，系统仿真学报，24，1，236-241
65. 武飞，曾凡平，熊能，邓超强，董齐兴，基于启发式搜索的IP数据流分类方法的研究，小型微型计算机系统，33，10，2153-2157
66. 李静，王文成，基于网格中心点的点在多边形内的高效判定.，软件学报，23，9，2481-2488，一级学报
67. 郝川艳，陈昕，吴恩华，基于纹理规则性分析的图像填补方法，计算机辅助设计与图形学学报，24，2，183-190，一级学报
68. 戎玫，陈圣标，张广泉，基于限界模型检查的Web服务行为失配检测，计算机科学，39，6，129-132
69. 孙昌爱，基于约束的软件失效域识别与特征分析，软件学报，23，7，1688-1701，一级学报
70. 刘洋，刘学慧，吴恩华，基于自适应分割的动态面光源图像空间绘制，计算机工程与设计，33，2，624-629
71. 李睿，陈彦云，刘学慧，基于自适应光子发射的渐进式光子映射，计算机工程与设计，33，1，219-223
72. 柳有权，吴宗胜，王山东，薛茹，吴恩华，建筑物图像的线条画生成，软件学报，23(Sup2)：34-41
73. 徐添辰，吴恩华，交互式角色运动特效的光滑粒子流体动力学仿真，集成技术，1，77-83
74. 曹政才，韩丁富，王永吉，面向城市交通网络的一种新型动态路径寻优方法，电子学报，40\10\2062-2067
75. 朱雪阳，张文辉，李广元，吕毅，林惠民，模型检测发展研究，中国科协学科发展研究系列报告–2011-2012计算机科学与技术学科发展报告，169-186
76. 汪芳，Stephane GRUMBACH，容错的网络声明式程序，软件学报，23，8，1992-2001，一级学报
77. Qifeng Tang，Lei Xu，Ju Qian，Lin Chen，Zhenyu Zhang，一种基于模型结合的错误定位方法，中国科技论文，7，1，19-27
78. 廖晓锋，王永吉，周津慧，关贝，一种领域专家文献自动收集系统，计算机系统应用，21，6，115-120
79. 邵玉珍，张侃，张广泉，陈名才，沈晓刚，李烨静，一种面向CPS软件的可信性评估框架，计算机与数字工程，40，10，51-54
80. 赵占山，张静，孙连坤，丁刚，有限时间收敛的滑模自适应控制器设计，山东大学学报(工学版)，42，4，74-78
81. 倪晓勇，陈海明，正规树文法的产生式相交判定，计算机工程与设计，33，3，1197-1202