中文 English 收藏本站
Journal Paper
当前位置： 首页  Journal Paper  Journal 2013

Journal 2013

时间：2019-07-22      分类：Journal Paper

    1. Feng Tian，Fei Lu，Yingying Jiang，Xiaolong(Luke) Zhang，Xiang Cao，Guozhong Dai，Hongan Wang， An exploration of pen tail gestures for interactions，International Journal of Human-Computer Studies，Vol.71, No.5, p.551-569
    2. Chang-ai Sun，Yi Meng Zhai，Yan Shang，Zhenyu Zhang，BPELDebuger: An effective BPEL-specific fault localization framework，Information and Software Technology ， 55(12): 2140-2153
    3. Heng Wu, ，Wenbo Zhang，Jianhua Zhang，Jun Wei，Tao Huang，A benefit-aware on-demand provisioning approach for multi-tier applications in cloud computing，Frontiers of Computer Science ，Vol.7 No.4 2013 pp.459-474
    4. Lei Zhao，Zhenyu Zhang， Lina Wang，Xiaodan Yin，A fault localization framework to alleviate the impact of execution similarity， International Journal of Software Engineering and Knowledge Engineering，23(7): 963-998
    5. Andreas Griesmayer，Zhiming Liu， Charles Morisset，Shuling Wang，A framework for automated and certified refinement steps，Innovations System Software Engineer，9，1，3-16
    6. Jian Xu，Zhenyu Zhang，W. K. Chan，T. H. Tse，A general noise-reduction framework for fault localization of Java programs，Information and Software Technology，55(5): 880-896
    7. Li Bixin，Sun Xiaobing，Leung Hareton，Zhang Sai，a survey of code-based change impact analysis techniques，SOFTWARE TESTING VERIFICATION & RELIABILITY，23,8,613-646
    8. Yuan Feng，Lijun Zhang，A Tighter Bound for the Self-Stabilization Time in Herman’s Algorithm，Information Processing Letters， 113(13):486-488
    9. Gang Sun，Shuhui Wang，Xuehui Liu，Qingming Huang，Yanyun Chen，Enhua Wu，Accurate and efficient cross-domain visual matching leveraging multiple feature representations，The Visual Computer ，29(6-8), pp565-575.
    10. Georgios Barmpalias，Algorithmic randomness and measures of complexity ，Bulletin of Symbolic logic，19(3):318-350
    11. Kang Qinma，He Hong，Wei Jun，an effective iterated greedy algorithm for reliability-oriented task allocation in distributed computing systems，JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING，73,8,1106-1115
    12. Yongjian Li，Jun Pang，An inductive approach to strand spaces，Formal Aspects of Computing，25，4，465-501
    13. Georgios Barmpalias，Rupert Holzl，Andrew E.M. Lewis，Wolfgang Merkle，Analogues of Chaitin’s Omega in the computably enumerable sets ，Information Processing Letters ， 113(5-6):171-178
    14. Sun Xiaobing，Li Bixin，Wen Wanzhi，Zhang Sai，analyzing impact rules of different change types to support change impact analysis，INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING，23,3,259-288
    15. Cao Zhengcai，Zhao Huidan，Wang Yongji，anfis and sa based approach to prediction, scheduling, and performance evaluation for semiconductor wafer fabrication，CHINESE JOURNAL OF ELECTRONICS，22,1,25-30
    16. Jian Zhu，Youquan Liu，Yuanzhang Chang，Enhua Wu，Animating Turbulent Water by Vortex Shedding in PIC/FLIP，Science in China F: Information Sciences，56(3),pp1-11
    17. Alessio Lomuscio，Ben Strulo，Nigel G. Walker，Peng Wu，Assume-Guarantee Verification with Local Specifications，International Journal on Foundations of Computer Science，24(4): 419-444
    18. Lei Song， Lijun Zhang，Jens C. Godskesen，Flemming Nielson，Bisimulations Meet PCTL Equivalences for Probabilistic Automata，Logical Methods in Computer Science，9(2), 2013
    19. Jingzheng Wu，Liping Ding，Yanjun Wu，Nasro Min-Allah，Samee U. Khan，Yongji Wang，C2Detector: A Covert Channel Detection Framework in Cloud Computing.，Security and Communication Networks，2013. (Accepted, Published Online，SCI, EI收录
    20. Gao Jian-Hua，clausal presentation of theories in deduction modulo，JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY，28,6,1085-1096
    21. Shandong Wang，Ziyang Ma,，Xuehui Liu，Yanyun Chen，Coherence-enhancing line drawing for color images，SCIENCE CHINA Information Sciences，56（11），1-11
    22. Yongjian Li，William N. N. Hung，Xiaoyu Song，Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation， The Computer Journal，Published online: January 17, 2013
    23. Xi Liu，Shaofa Yang，Jeff Sanders，Compensation by design，Formal Aspects of Computing，网络版
    24. Qin Shu，Zongyan Qiu，Shuling Wang，Confinement framework for encapsulating objects，Frontiers of Computer Science，7，2，236-256
    25. Wang Tao，Wei Jun，Qin Feng，Zhang WenBo，Zhong Hua，Huang Tao，detecting performance anomaly with correlation analysis for internetware，Science China Information Sciences，56,8,1-15
    26. Wencheng Wang，Miao Hua，Extracting dominant texture in real time with multi-scale hue-saturation-intensity histograms， IEEE Transactions on Image Processing， Vol.22, No.11, p.4237-4248
    27. Li Bixin，Sun Xiaobing，Keung Jacky，fca-cia: an approach of using fca to support cross-level change impact analysis for object oriented java programs，INFORMATION AND SOFTWARE TECHNOLOGY，55,8,1437-1449
    28. Feifei Ma，Jian Zhang，Finding orthogonal latin squares using finite model searching tools，SCIENCE CHINA Information Sciences，56(3): 032112: 1-9
    29. Liang Zhao，Shuling Wang，Zhiming Liu，Graph-Based Object-Oriented Hoare Logic，Theories of Programming and Formal Methods，8051, pp.374-393
    30. Zhou Xiang-Dong，Wang Da-Han，Tian Feng，Liu Cheng-Lin，Nakagawa Masaki，handwritten chinese/japanese text recognition using semi-markov conditional random fields，IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE，35,10,2413-2426
    31. Huang Kai，Ma De，Yan Rong-jie，Ge Hai-tong，Yan Xiao-lang，high throughput vlsi architecture for h.264/avc context-based adaptive binary arithmetic coding (cabac) decoding， UNIVERSITY-SCIENCE C-COMPUTERS & ELECTRONICS，14,6,449-463
    32. Kang Qinma，He Hong，honeybee mating optimization algorithm for task assignment in heterogeneous computing systems，INTELLIGENT AUTOMATION AND SOFT COMPUTING，19,1,69-84
    33. Peng Liu，Jigang Wu，Yongji Wang，Hybrid Algorithms for Hardware/Software Partitioning and Scheduling on Reconfigurable Devices，Mathematical and Computer Modelling，58(1-2), 409-420，SCI, EI收录
    34. Guo Jianwei，Yan Dong-Ming，Li Er，Dong Weiming，Wonka Peter，Zhang Xiaopeng，illustrating the disassembly of 3d models，COMPUTERS & GRAPHICS-UK，37,6,574-581
    35. Xiaohui Bie，Wencheng Wang，Hanqiu Sun，Haoda Huang，Minying Zhang，Intent-aware image cloning，The Visual Computer，Vol.29, No.6-8, p.599-608
    36. Guofu Xie，Xin Sun，Wencheng Wang，Interactive Depth-of-Field Rendering with Secondary Rays，Journal of Computer Science and Technology，Vol.28, No.3, p.490-498
    37. George Barmpalias，Angsheng Li，Kolmogorov complexity and computably enumerable sets，Ann. Pure Appl. Logic ，164(12): 1187-1200
    38. Yadang Chen，Chuanyan Hao，Zhongmou Cai，Wen Wu，Enhua Wu，Live Accurate and Dense Reconstruction from a Handheld Camera，Computer Animation and Virtual Worlds，24(3-4)，pp387-397
    39. Hantao Zhang，Jian Zhang，MACE4 and SEM: A Comparison of Finite Model Generators，Automated Reasoning and Mathematics，101-130
    40. Ma Yinglong，Lu Ke，Zhang Ying，Jin Beihong，measuring ontology information by rules based transformation，KNOWLEDGE-BASED SYSTEMS，50,,234-245
    41. Wencheng Wang，Guofu Xie，Memory-Efficient Single-Pass GPU Rendering of Multi-fragment Effects，IEEE Transactions on Visualization and Computer Graphics，Vol.19, No.8, p. 1307-1316
    42. Yang Gao，Ming Xu， Naijun Zhan，Lijun Zhang，Model-checking Conditional CSL for Continuous-time Markov Chains，Information Processing Letters，113(1-2):44-50
    43. Bo Jiang， K. Zhai，W. K. Chan，T. H. Tse， Zhenyu Zhang，On the Adoption of MC/DC and Control-Flow Adequacy for a Tight Integration of Program Testing and Statistical Fault Localization，Information and Software Technology， 55(5): 897-917
    44. Georgios Barmpalias，Martijn Baartse，On the gap between trivial and nontrivial initial segment prefix-free complexity ，Theory of Computing Systems， 52:28-47
    45. Sheng Bin，Meng Weiliang，Sun Hanqiu，Wu Wen，Wu Enhua，perception-motivated multiresolution rendering on sole-cube maps，Multimedia Tools and Applications，,,1-22
    46. De Ma， Rongjie Yan，Kai Huang，Min Yu，Haitong Ge，Xiaolang Yan，Ahmed Jerraya，Performance Estimation Techniques with MPSoC Transaction-Accurate Model，IEEE Transaction on Computer-Aided Design of Integrated Circuits and Systems，Vol. 32(12):1920-1933
    47. Xiulei Qin，Wei Wang，Wenbo Zhang，Jun Wei，Xin Zhao，Hua Zhong，Tao Huang，PRESC2: Efficient Self-Reconfiguration of Cache Strategies for Elastic Caching Platforms，Springer Computing，publised online
    48. Cao Ping，Dong Zhao，Liu Ke，Cai Kai-Yuan，quantitative effects of software testing on reliability improvement in the presence of imperfect debugging，INFORMATION SCIENCES，218,,119-132
    49. 王昌晶，薛锦云，Radl形式规格说明相对正确性研究，软件学报，24,4,715-729，一级学报
    50. Ziyang Ma，Enhua Wu，Real-time and Robust Hand Tracking with a Single Depth Camera，The Visual Computer，
    51. Tianchen Xu，Wen Wu，Enhua Wu，Real-time Character-driven Motion Effects with Particle-based Fluid Simulation，Computer Animation and Virtual Worlds，v24
    52. Enhua Wu，Feitong Liu，Robust Image Metamorphosis Immune from Ghost and Blur，The Visual Computer，29(4), pp311-321
    53. Xu Ming，Zhu Jiaqi，Li Zhi-Bin，some decidable results on reachability of solvable systems，INTERNATIONAL JOURNAL OF GENERAL SYSTEMS，42,4,405-425
    54. Zheng Shenggen，Qiu Daowen，Gruska Jozef，Li Lvzhou，Mateus Paulo，state succinctness of two-way finite automata with quantum and classical states，THEORETICAL COMPUTER SCIENCE，499,,98-112
    55. Yan Shengen，Long Guoping，Zhang Yunquan，streamscan: fast scan algorithms for gpus without global barrier synchronization，ACM SIGPLAN NOTICES，48,8,229-238
    56. Xu Ming，Li Zhi-Bin，symbolic termination analysis of solvable loops，JOURNAL OF SYMBOLIC COMPUTATION，50,,28-49
    57. Kang Qinma，He Hong，task assignment for minimizing application completion time using honeybee mating optimization，FRONTIERS OF COMPUTER SCIENCE，7,3,404-415
    58. Angsheng Li,，Peng Zhang，Unbalanced Graph Partitioning，Theory of Computing Systems，53(3): 454-466
    59. Chen Jianxin，Dawkins Hillary，Ji Zhengfeng，Johnston Nathaniel，Kribs David，Shultz Frederic，Zeng Bei，uniqueness of quantum states compatible with given measurement results，PHYSICAL REVIEW A，88
    60. Georgios Barmpalias，Universal computably enumerable sets and initial segment prefix-free complexity ，Information and Computation，233 (2013) 41-59
    61. LI Xuan，Du Liang，Shen Yidong，Update Summarization via Graph-Based Sentence Ranking，IEEE Transactions on Knowledge and Data Engineering (TKDE) ，25，5,1162-1174
    62. Qi Liao， Lei Shi，Chen Wang，Visual Analysis of Large-Scale Network Anomalies，IBM Journal of Research and Development，57(3/4): 13:1-13:12
    63. Du Jianfeng，Qi, G. L.，Shen Yidong，Weight-based Consistent Query Answering over Inconsistent SHIQ Knowledge Bases，Knowledge and Information Systems ，34(2):335-371
    64. Tao Wang, ，Jun Wei，Wenbo Zhang,，Hua Zhong,，Tao Huang，Workload-Aware Anomaly Detection for Web Applications. ，Journal of Systems and Software，2013, In Press. (Available online 28 March 2013,
    65. 孙相征，张云泉，王婷，李焱，袁良，对角线稀疏矩阵的SpMV自适应性能优化，计算机研究与发展，50,3,648-656，一级学报
    66. 张璐，盛斌，马利庄，分区域去运动模糊，中国图象图形学报，18,4,467-475
    67. 柳有权，张曼，光线跟踪算法的加速技术研究，计算机与数字工程，41,6,863-865,898
    68. Liu Kuien，Xiao Junchao，Ding Zhiming，Li Mingshu，轨迹数据库中热门区域的发现，软件学报，24,8,，一级学报
    69. 柳有权，雷鹏，韩红雷，吴恩华，基于Google Earth的协同飞行可视仿真，飞行力学学报，
    70. 庞旭，张云泉，龙国平，贾海鹏，颜深根，基于OpenCL的均值平移算法在多个众核平台的性能优化研究，计算机科学，40,3,79-85,110
    71. 蒋丽媛，张云泉，龙国平，贾海鹏，基于OpenCL的连续数据无关访存密集型函数并行与优化研究，计算机科学，40,3,111-115
    72. 贾海鹏，张云泉，徐建良，基于OpenCL的图像积分图算法优化研究，计算机科学，40,2,1-7
    73. 时磊，廖琦，林闯，基于变换的大图点边可视化综述，计算机辅助设计与图形学学报，25,3,304-311，一级学报
    74. 孙昌爱，程庆顺，基于故障的布尔表达式测试技术综述，计算机科学，40,3,16-23,40
    75. 王光伟，谢国富，王文成，基于空间聚类增强lightcuts的光照计算，计算机学报，Vol.36, No.11, p.2364-2370，一级学报
    76. 高天豪，王文成，朱滨海，基于凸片段分解和格网的点在多边形中的可见边检测，计算机辅助设计与图形学学报，Vol.25, No.8, p.1114-1120，一级学报
    77. 王昌晶，罗海梅，左正康，基于问题模式的形式化软件规格说明生成方法，计算机研究与发展，50,2,352-360，一级学报
    78. 柳有权，王章野，朱鉴，常元章，吴恩华，基于物理的流体动画加速技术的研究进展，计算机辅助设计与图形学学报，25(3), pp312-321，一级学报
    79. 徐士彪，张晓鹏，陈彦云，于海涛，吴恩华，交互式水滴效果模拟，计算机辅助设计与图形学学报，25(8), pp1159-1168，一级学报
    80. 陈思明，王山东，近似软影下的三维增强绘制，计算机工程与设计，34,1,221-224,267
    81. 宫成，郑征，张震宇，郝鹏，饶培峰，高乙超，类别比例对缺陷定位稳定性影响的实验研究，计算机科学与探索，7,6,505-517
    82. 邵小哲，吴国全，魏峻，黄涛，面向移动平台的消息通讯服务设计与实现，计算机工程与科学，35,9,78-82
    83. 秦秀磊，张文博，王伟，魏峻，赵鑫，钟华，黄涛，面向云端Key/Value存储系统的开销敏感的数据迁移方法，软件学报，24,6,1403-1417，一级学报
    84. 张茗泰，张广泉，张侃，陈名才，封飞，描述CPS物理实体的时空Petri网模型，计算机科学与探索，,4,377-384
    85. 吴腾飞，骆岩林，田沄，武仲科，闫建平，脑血管体绘制的快速表意式增强，中国图象图形学报，18,4,476-482
    86. 陈海明，陆平，确定型语言的相关研究综述，集成技术，2（6），65-70
    87. 赵勇，张智强，严俊，张健，软件兼容性测试的故障定位分析，计算机科学与探索， 7(5): 405-411
    88. 柳有权，赵祥模，李光熙，吴恩华，三维数字城市的大规模微观交通仿真，长安大学学报（自然科学版），33(3), 2013
    89. 柳有权，陈丹，王山东，吴恩华，深度增强的图像线条画生成，系统仿真学报
    90. 王山东，李晓生，刘学慧，吴恩华，图像抽象化的实时增强型绘制，计算机辅助设计与图形学学报，25,2,189-199，一级学报
    91. 柳有权，苏仙鹤，线段的三步快速聚类算法，电子测试，,11,61-63,72
    92. 柳有权，吴宗胜，韩红雷，吴恩华，线条增强的建筑物图像抽象画生成，计算机辅助设计与图形学学报，25(9), pp1275-1280，一级学报
    93. 蔡宇文，盛斌，马利庄，优化分割的手绘图像彩色化技术，计算机辅助设计与图形学学报，25,6,774-781，一级学报
    94. 王光伟，王文成，华淼，韩红雷，优化光源设计的自适应增强绘制，软件学报，Vol.24, No.8, p.1885-1897，一级学报
    95. 秦秀磊，张文博，魏峻，王伟，钟华，黄涛，云计算环境下分布式缓存技术的现状与挑战，软件学报，24,1,50-66，一级学报
    96. 江隆盛，吴恩华，真实感雨线绘制，中国图象图形学报，18,5,600-606
    97. Xin Sun，Kun Zhou，Jie Guo，Guofu Xie，Jingui Pan，Wencheng Wang, Baining Guo，Line segment sampling with blue-noise properties，ACM Transactions on Graphics，32\4\article 127
    98. 刘江，詹乃军，赵恒军，Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems，Mathematics in Computer Science，6:395-408，C
    99. 柯伟，刘志明，王淑灵，赵亮，A graph-based generic type system for object-oriented programs，Frontiers of Computer Science，7(1): 109-134
    100. Shaohui Jiao，Xiaoguang Wang，Mingcai Zhou，Weiming Li，Tao Hong，Enhua Wu，Haitao Wang，Multiple Ray Cluster Rendering for Interactive Integral Imaging System，Optics Express，21(8):10070-10086
    101. Jian Zhu，Youquan Liu，Yuanzhang Chang，Enhua Wu，Simulation of Turbulent Water by Vortex Shedding in PIC/FLIP，Science in China F: Information Sciences，56(3):1-11

Copyright © 2019-2024 计算机科学国家重点实验室 All Rights Reserved. 京ICP备05046678号-1