Map     中文
Papers 2012

From State Key Laboratory of Computer Science

Main Page > Research > Papers > Papers 2012
Jump to: navigation, search


Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Journal Papers Before 2007
  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,CCF A
  2. Jia Liu,Huimin Lin,A Complete Symbolic Bisimulation For Full Applied Pi Calculus,Theoretical Computer Science,458,76-112,CCF B
  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,CCF B
  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,CCF C
  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,CCF B
  6. Jiang Liu ,Guohua Wu,Almost universal cupping and diamond embeddings,Annals of Pure and Applied Logic ,163,717-729,CCF C
  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,CCF B
  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,N
  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,CCF C
  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,N
  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,CCF B
  13. Bixin Li,Xiaobing Sun,Hareton Leung,Combining Concept Lattice With Call Graph For Impact Analysis,Advances in Engineering Software,53,1-13,N
  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,N
  15. Fei Pu,Compositional Verification Of Liveness Property In Inhibitor-Arc Connections Of Petri Net Systems,Journal of Software,7,3,499-507,N
  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,CCF A
  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,CCF B
  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,CCF B
  19. Dongxu Wang,Wencheng Wang,Yuexiang Shi,Exact distance transform by using coherence progressively,Advanced Science Letters,10,1,513-518,N
  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,N
  22. Jianxin Chen,Zhengfeng Ji,David Kribs,Zhaohui Wei,Bei Zeng,Ground-State Spaces Of Frustration-Free Hamiltonians,JOURNAL OF MATHEMATICAL PHYSICS,53,10,N
  23. Jinyi Cai,Pinyan Lu,Mingji Xia,Holographic Reduction, Interpolation And Hardness,COMPUTATIONAL COMPLEXITY,21,4,573-604,CCF B
  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,CCF B
  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,N
  26. Jiwei Jin,Feifei Ma,Jian Zhang,Integrating Standard Dependency Schemes In Qcsp Solvers,Journal of Computer Science and Technology,27,1,37-41,CCF B
  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,CCF C
  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,CCF B
  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,N
  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,N
  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,N
  32. Paulo Mateus,Daowen Qiu,Lvzhou Li,On The Complexity Of Minimizing Probabilistic And Quantum Automata,Information and Computation,218,36-53,CCF A
  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,CCF C
  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,N
  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,CCF C
  36. Jianxin Chen,Zhengfeng Ji,Alexander Klyachko,David Kribs,Bei Zeng,Rank Reduction For The Local Consistency Problem,JOURNAL OF MATHEMATICAL PHYSICS,53,2,N
  37. Enhua Wu,Feitong Liu,Robust Image Metamorphosis Immune from Ghost and Blur,The Visual Computer ,29(4):311-321,CCF C
  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,CCF B
  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,CORE A*
  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,N
  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,CCF B
  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,CCF B
  43. A. Li,P. Peng,The small community phenomenon in networks,Mathematical Structures in Computer Science,22,3,373 - 407,CCF B
  44. Xinming Duan,Jigang Wu,Dakun Zhang,Torus网络自适应容错路由算法,计算机科学,39,2,115-117,N
  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,CCF C
  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,N
  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,N
  48. Yunhe Wang ,Li Jiao,Using transition set sequences to partition behaviors of Petri nets,Acta Informatica,49,1,15-28,CORE A
  49. Wei Chen,Jun Wei,Tao Huang,W4H:一个面向软件部署的技术分析框架,软件学报,23,7,1669-1687,一级学报
  50. Chaoqiang Deng,Fanping Zeng,Fei Wu,Neng Xiong,Qixing Dong,程序不变量到断言的自动转换方法研究及其应用,计算机与应用软件,29,11,177-189,N
  51. Shiguang Liu,Yingdi Fu,Yuqin Jiang,地表火蔓延的真实感仿真,自然灾害学报,2,180-186,一级学报
  52. Pu Wang,Jigang Wu,高效软硬件划分算法及其提升技术,计算机科学,39,1,290-294,N
  53. Hui Fei,Yunquan Zhang,Jing Wang,基于GPU的非标记定量软件QuantWiz并行化实现,计算机科学,39,6,285-288,N
  54. Xi He,Jianchun Jiang,Liping Jiang,Yongji Wang,Xiaofeng Liao,基于LDA模型的主机异常检测方法,计算机应用与软件,29\8\1-4,24
  55. Xiaofeng Liao,Yongji Wang,Xiubin Fan,Jingzheng Wu,基于LDA主题模型的安全漏洞分类,清华大学学报(自然科学版),52\10\1351-1355
  56. Xiaobing Sun,Bixin Li,Chuanqi Tao,基于LoCMD的软件修改分析技术,软件学报,23,6,1368-1381,一级学报
  57. Haipeng Jia,Yunquan Zhang,Guoping Long,Jianliang Xu,Yan Li,基于OpenCL的拉普拉斯图像增强算法优化研究,计算机科学,39,5,271-277,N
  58. Jinlian Song,Enhua Wu,基于动力学的头发造型方法,中国科学院研究生院学报,29,4,543-548,N
  59. Tao Wang,Jun Wei,Wenbo Zhang,Hua Zhong,基于负载模式识别的Web应用在线异常检测方法,软件学报,23,10,786-801,一级学报
  60. Jing Wang,Mei Rong,Guangquan Zhang,Yi Zhu,基于概率模型检测的Web服务组合验证,计算机科学,39,1,120-123,N
  61. Lei Zhao,Lina Wang,Dongming Gao,Zhenyu Zhang,Zuoting Xiong,基于关联挖掘的软件错误定位方法,计算机学报,12期\2528-2540
  62. Changjing Wang,基于扩展逻辑变换系统_μTS证明循环优化正确性,计算机研究与发展,49,9,1863-1873,N
  63. Guangquan Zhang,Haojun Di,Huijuan Shi,Rongjie Yan,Xueyang Zhu,基于扩展自动机的服务组合静态与动态验证方法,通信学报,33,Z1,1-8,一级学报
  64. Tianchen Xu,Enhua Wu,基于流体动力学的实时角色动画运动特效,系统仿真学报,24,1,236-241,N
  65. Fei Wu,Fanping Zeng,Neng Xiong,Chaoqiang Deng,Qixing Dong,基于启发式搜索的IP数据流分类方法的研究,小型微型计算机系统,33,10,2153-2157,N
  66. Jing Li,Wencheng Wang,基于网格中心点的点在多边形内的高效判定.,软件学报,23,9,2481-2488,一级学报
  67. Chuanyan Hao,Xin Chen,Enhua Wu,基于纹理规则性分析的图像填补方法,计算机辅助设计与图形学学报,24,2,183-190,一级学报
  68. Mei Rong,Shengbiao Chen,Guangquan Zhang,基于限界模型检查的Web服务行为失配检测,计算机科学,39,6,129-132,N
  69. Changai Sun,基于约束的软件失效域识别与特征分析,软件学报,23,7,1688-1701,一级学报
  70. Yang Liu,Xuehui Liu,Enhua Wu,基于自适应分割的动态面光源图像空间绘制,计算机工程与设计,33,2,624-629,N
  71. Rui Li,Yanyun Chen,Xuehui Liu,基于自适应光子发射的渐进式光子映射,计算机工程与设计,33,1,219-223,N
  72. Youquan Liu,Zongsheng Wu,Shandong Wang,Ru Xue,Enhua Wu,建筑物图像的线条画生成,软件学报,23(Sup2):34-41
  73. Tianchen Xu,Enhua Wu,交互式角色运动特效的光滑粒子流体动力学仿真,集成技术,1,77-83,N
  74. Zhengcai Cao,Dingfu Han,Yongji Wang,面向城市交通网络的一种新型动态路径寻优方法,电子学报,40\10\2062-2067
  75. Xueyang Zhu,Wenhui Zhang,Guangyuan Li,Yi Lv,Huimin Lin,模型检测发展研究,中国科协学科发展研究系列报告--2011-2012计算机科学与技术学科发展报告,169-186,N
  76. Fang Wang,Stephane GRUMBACH,容错的网络声明式程序,软件学报,23,8,1992-2001,一级学报
  77. Qifeng Tang,Lei Xu,Ju Qian,Lin Chen,Zhenyu Zhang,一种基于模型结合的错误定位方法,中国科技论文,7,1,19-27 ,N
  78. Xiaofeng Liao,Yongji Wang,Jinhui Zhou,Bei Guan,一种领域专家文献自动收集系统,计算机系统应用,21,6,115-120,N
  79. Yuzhen Shao,Kan Zhang,Guangquan Zhang,Mingcai Chen,Xiaogang Shen,Yejing Li,一种面向CPS软件的可信性评估框架,计算机与数字工程,40,10,51-54,N
  80. Zhanshan Zhao,Jing Zhang,Liankun Sun,Gang Ding,有限时间收敛的滑模自适应控制器设计,山东大学学报(工学版),42,4,74-78,N
  81. Xiaoyong Ni,Haiming Chen,正规树文法的产生式相交判定,计算机工程与设计,33,3,1197-1202,N



Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Conference Papers Before 2007
  1. Hengjun Zhao,Naijun Zhan,Deepak Kapur,Kim G. Larsen,A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example,FM 2012,Paris, France,CCF B,8.27-8.31
  2. Xiaoxiao Yang,Yu Zhang,Ming Fu,Xinyu Feng,A Concurrent Temporal Programming Model with Atomic Blocks,ICFEM 2012,Kyoto, Japan,CCF C,11.12-11.16
  3. Pan Peng,A Local Algorithm For Finding Dense Bipartite-Like Subgraphs,COCOON 2012,Sydney, NSW, Australia,CORE A,8.20-8.22
  4. Zhijun Dai,Yihong Wu,Fengjun Zhang,Hongan Wang,A Novel Fast Method for L Problems in Multiview Geometry,ECCV 2012,Firenze, Italy,CCF B,10.8-10.11
  5. Bei Guan,Yanjun Wu,Yongji Wang,A Novel Security Scheme For Online Banking Based On Virtual Machine,SERE-C 2012,Gaithersburg, MD, United states,N,6.20-6.22
  6. Tianyong Wu,Jun Yan,Jian Zhang,A Path-Oriented Approach To Generating Executable Test Sequences For Extended Finite State Machines,TASE 2012,Beijing, China,CCF C ,7.4-7.6
  7. Jun Yan,A Surprisingly Simple Way Of Reversing Trace Distance Via Entanglement,TAMC 2012,Beijing, China,CORE B,5.16-5.21
  8. Xiuqing Wang,Zengguang Hou,Feng Lv,Min Tan,Yongji Wang,A Target-reaching Controller for Mobile Robots Using Spiking Neural Networks,ICONIP,CORE A
  9. Lu Li,Mei Rong,Guangquan Zhang,A Web Service Selection Approach Based on Improved Euclidean Distance,ICCSE 2012,Melbourne,Australia,N
  10. Jigang Wu,Guiyuan Jiang,Yuanrui Zhang,Yuanbo Zhu,Algorithm For Communication Synchronization On Reconfigurable Processor Arrays With Faults,IPDPSW 2012,Shanghai, China,N,5.21-5.25
  11. Shuling Wang,Naijun Zhan,Dimitar P. Guelev,An Assume/Guarantee Based Compositional Calculus for Hybrid CSP,TAMC 2012,Beijing, China,CORE B,5.16-5.21
  12. Du, J. F,Qi, G,Pan, J,Shen, Y. D,Approximating Linear Order Inference in OWL 2 DL by Horn Compilation,WI-12,Macau, China,CORE B ,12.4-12.7
  13. Fanping Zeng,Chaoqiang Deng,Yuan Yuan,Assertion-Directed Test Case Generation,WCSE 2012,Wuhan,China,N,11.6-11.7
  14. Haiming Chen,Ping Lu,Checking Determinism of Regular Expressions with Counting,DLT 2012,Taiwan,CORE B,8.14-8.17
  15. Zhiqiang Zhang,Xiaojian Liu,Jian Zhang,Combinatorial Testing on ID3v2 Tags of MP3 Files,ICST 2012,Montreal,Canada,CCF C,4.17-4.21
  16. Zhilin Wu,Commutative Data Automata,CSL 2012,fontainebleau,France,CCF C,9.3-9.6
  17. Jun Yan,Complete Problem For Perfect Zero-Knowledge Quantum Proof,SOFSEM 2012,Spindleruv Mlyn, Czech republic,CORE B,1.21-1.27
  18. Meng Sun,Connectors As Designs: The Time Dimension,TASE 2012,Beijing, China,CCF C ,7.4-7.6
  19. Haiming Chen,Sheng Yu,Derivatives of Regular Expressions and an Application,WTCS 2012,Auckland, New Zealand,N,2.21-2.24
  20. Guiyuan Jiang,Jigang Wu,Jizhou Sun,Efficient Reconfiguration Algorithm For Three-Dimensional Vlsi Arrays,IPDPSW 2012,Shanghai, China,N,5.21-5.25
  21. Jianfeng Du,Exploiting Ontology Reasoning In E-Learning,EEIC 2012,Sanya, China,N,4.21-4.22
  22. Jian Zhang,Feifei Ma,Zhiqiang Zhang,Faulty Interaction Identification via Constraint Solving and Optimization,SAT 2012,Trento,Italy,CORE A ,6.17-6.20
  23. Wencheng Wang,Liming Yang,Dongxu Wang,Finding Canonical Views by Measuring Features on the Viewing Plane,APSIPA Annual Summit and Conference (ASC) 2012,Hollywood, Canifornia, USA,N,12.3-12.6
  24. Shen, Y. D. ,Wang, K. W,FLP Semantics without Circular Justifications for General Logic Programs,AAAI-12,Toronto, Canada,CORE A*,7.22-7.26
  25. Peng Liu,Jigang Wu,Yongji Wang,Integrated Heuristic for Hardware/Software Co-design on Reconfigurable Devices,13th International Conference on Parallel and Distributed Computing, Applications and Technologies,Beijing, CHINA,N,12.14-12.16
  26. Meng Yang,Longsheng Jiang,Xiaosheng Li,Youquan Liu,Xuehui Liu,Enhua Wu,Interactive Coupling Between A Tree And Raindrops,CASA 2012,Singapore,CCF C,5.9-5.11
  27. Zhenyue Long,Georgel Calin,Rupak Majumdar,Roland Meyer,Language-Theoretic Abstraction Refinement,ETAPS 2012,Tallinn, Estonia,CCF B ,3.24-4.1
  28. Peter Bulychev,Alexandre David,Kim G. Larsen,Guangyuan Li,Axel Legay,Danny B. Poulsen,Amelie Stainer,Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic,LPAR-18,Merida, Venezuela,CORE A ,3.11-3.15
  29. Yongjian Li,Xiaoyu Song ,On the formal modeling of inductive verification for cryptographical protocols,PDCAT12 ,CORE B
  30. Shenggen Zheng,Daowen Qiu,Lvzhou Li,Jozef Gruska,One-Way Finite Automata With Quantum And Classical States,Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),N
  31. Yicheng Pan,Principles Of Network Computing,TAMC 2012,Beijing, China,CORE B,5.16-5.21
  32. Teng Long,Wenhui Zhang,Proving Liveness Property under Fairness Requirements,APSEC 2012,Hong Kong,CCF C,12.4-12.7
  33. Teng Long,Wenhui Zhang,Proving Liveness Property under Strengthened Compassion Requirements,TAMC 2012,Beijing, China,CORE B,5.16-5.21
  34. Peter Bulychev,Alexandre David,Kim G. Larsen,Guangyuan Li,Axel Legay,Danny B. Poulsen,Rewrite-Based Statistical Model Checking of WMTL,RV 2012,Istanbul, Turkey ,CORE C ,9.25-9.28
  35. Zhijun Dai,Fengjun Zhang,Hongan Wang,Robust Maximum Likelihood Estimation By Sparse Bundle Adjustment Using The L1 Norm,CVPR 2012,Providence, RI, United states,CCF A,6.16-6.21
  36. Du L,Li, X. ,Shen, Y. D,Robust Nonnegative Matrix Factorization via Half-Quadratic Minimization,ICDM-12,Brussels, Belgium,CORE A*,12.10-12.13
  37. Xanyan Xu,Wei Chen,Kaile Su,Wenhui Zhang,Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition,FAW-AAIM 2012,Beijing, China,N,5.14-5.16
  38. Feifei Ma,Jun Yan,Jian Zhang,Solving Generalized Optimization Problems Subject to SMT Constraints,FAW-AAIM 2012,Beijing, China,N,5.14-5.16
  39. Xinxin Liu,Bingtian Xue,Specification In Pdl With Recursion,NFM 2012,Norfolk, VA, United states,CORE C ,4.3-4.5
  40. Xue-Yang Zhu,Marc Geilen,Twan Basten,Sander Stuijk,Static Rate-Optimal Scheduling of Multi-Rate DSP Algorithms via Retiming and Unfolding,RTAS 2012,Beijing, China,CORE A ,4.16-4.19
  41. Pan Peng,The Small Community Phenomenon In Networks: Models, Algorithms And Applications,TAMC 2012,Beijing, China,CORE B,5.16-5.21
  42. Chang-ai Sun,Yi Meng Zhai,Yan Shang,Zhenyu Zhang,Toward effectively locating integration-level faults in BPEL programs,QSIC 2012,Xi'an, China,CCF C ,8.27
  43. Ruzhen Dong,Johannes Faber,Zhiming Liu,Jirí Srba,Naijun Zhan,Jiaqi Zhu,Unblockable compositions of software components,CBSE 2012,Bertinoro, Italy,CORE A,6.26-6.28
  44. Yingying Jiang,Feng Tian,Xiaolong Zhang,Wei Liu,Guozhong Dai,Hongan Wang,Unistroke Gestures on Multi-Touch Interaction: Supporting Flexible Touches with Key Stroke Extraction,IUI'12,Lisbon, Portugal,CCF B ,2.14-2.17
  45. Qin Shu,Shuling Wang,Yijing Liu,Verifying OO programs by linking algebraic and abstract specifications,TASE 2012,Beijing, China,CCF C ,7.4-7.6
  46. You, J,Shen, Y. D,Wang, K. W,Well-Supported Semantics for Logic Programs with Generalized Rules,Correct Reasoning-Essays on Logic-Based AI in Honour of Vladimir Lifschitz,N
  47. Hongan Wang,Xiaoming Deng,Feng Tian,Wip Abstract: A Human-Centered Cyber-Physical Systematic Approach For Post-Stroke Monitoring,ICCPS 2012,Beijing, China,N,4.16-4.19
  48. Jingzheng Wu,Liping Ding,Yuqi Lin,Min-Allah, N.,Yongji Wang,Xenpump: A New Method To Mitigate Timing Channel In Cloud Computing,CLOUD 2012,Honolulu, HI, United states,N,3.20-3.21
  49. Cheng Gong,Zheng Zheng,Zhenyu Zhang,Peng Hao,Peifeng Rao,Yichao Gao,测试用例集类别比例对软件缺陷定位稳定性影响的实验研究,中国计算机学会第二届软件分析与测试研讨会,Nanjing, China,N,10.20-10.22
  50. Peng Hao,Zheng Zheng,Zhenyu Zhang,Yichao Gao,基于概率分布判据的统计学缺陷定位算法,中国制导、导航与控制学术会议,Beijing, China,N,8.10-8.12
  51. Lei Shi,Qi Liao,Chunxin Yang,Investigating Network Traffic Through Compressed Graph Visualization,IEEE VAST Challenge 2012,USA,10.14-10.19
  52. Xiaofeng Liao,Yongji Wang,Liping Ding,Jian Gu,A Novel Duplicate Images Detection Method Based On Plsa Model,Proceedings of SPIE - The International Society for Optical Engineering,Singapore,光学类顶级会议,2011.12.9-12.10
  53. Chih-Hong Cheng,Rongjie Yan,Harald Ruess,Saddek Bensalem,Distributed priority synthesis using knowledge,Programming systems, languages and applications based on actors, agents, and decentralized control abstractions,Tucson, Arizona, USA.,10.21-10.22
  54. Chih-Hong Cheng,Rongjie Yan,Saddek Bensalem,Harald Ruess,Distributed Priority Synthesis,Seventh Conference on Systems Software Verification,Sydney, Australia,11.28-11.30
  55. Cheng Gong,Zheng Zheng,Zhenyu Zhang,Yunqian Zhang,Yunzhi Xue,Factorising the Multiple Fault Localization Problem,The 19th Asia-Pacific Software Engineering Conference(APSEC 2012),Hong Kong, China,CCF C,12.4-12.7
  56. Xinxin Liu,Bingtian Xue,Decidability and completeness of PDL through canonical model,Logic for system analysis,Berkeley, California, USA,7.7
  57. Xinxin Liu,Bingtian Xue,Decomposition of PDL with recursion ,International multi-conference of computer science and engineering,Hong Kong, China


Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Technical Reports Before 2007
  1. ISCAS-SKLCS-12-01:Teng Long, Wenhui Zhang, Proving Liveness Property under Strengthened Compassion Requirements
  2. ISCAS-SKLCS-12-02:Linqing Tang, Zhilin Wu, Mingji Xia, Quantitative Reasoning of Opinions in Social Networks
  3. ISCAS-SKLCS-12-03:Zhilin Wu, Commutative Data Automata
  4. ISCAS-SKLCS-12-04:Jian Xu, Zhenyu Zhang, W.K.Chan, T. H. Tse, Shanping Li, A General Noise-Reduction Framework for Fault Localization of Java Programs
  5. ISCAS-SKLCS-12-05:Zhenyu Zhang,W. K. Chan,T. H. Tse, Fault Localization without Success Record: a Review and Proposal
  6. ISCAS-SKLCS-12-06:Bo Jiang, Zhenyu Zhang, W.K. Chan, T.H. Tse, Tsong Yueh Chen, How Well Does Test Case Prioritization Integrate with Statistical Fault Localization?
  7. ISCAS-SKLCS-12-07:Zhenyu Zhang, Factorizing the Multiple Fault Localization Problem
  8. ISCAS-SKLCS-12-08:Chang-ai Sun, Yimeng Zhai, Yan Shang, Zhenyu Zhang, Toward Effectively Locating Integration-Level Faults in BPEL Programs
  9. ISCAS-SKLCS-12-09:Yunqian Zhang,Zheng Zheng,Xiaohui Ji,Wenbo Zhang,Zhenyu Zhang,基于类型预测的软件错误定位方法
  10. ISCAS-SKLCS-12-10:Yunqian Zhang,Zhenyu Zhang,Zheng Zheng,基于马尔可夫模型的软件错误定位方法
  11. ISCAS-SKLCS-12-11:Yunqian Zhang, Zhenyu Zhang, Using Online Judge to Facilitate Software Fault Localization
  12. ISCAS-SKLCS-12-12:Yunqian Zhang,Lin Chen,Zhenyu Zhang,基于对称分布假设的软件错误定位调优技术
  13. ISCAS-SKLCS-12-13:He Zhang, Bo Jiang, Zhenyu Zhang, Improving Test Case Prioritization by Suppressing Safe Test Cases
  14. ISCAS-SKLCS-12-14:Lei Zhao, Zhenyu Zhang, Lina Wang, Xiaodan Yin, A fault localization framework to alleviate the impact of execution similarity
  15. ISCAS-SKLCS-12-15:Yichao Gao, Zhenyu Zhang, Zheng Zheng, Benefiting from the Confounding of Imperfect Oracles Used in Fault Localization
  16. ISCAS-SKLCS-12-16:Ruzhen Dong, Johannes Faber, Zhiming Liu, Jiˇrí Srba, Naijun Zhan, Jiaqi Zhu, Unblockable Compositions of Software Components
  17. ISCAS-SKLCS-12-17:Quan Zu, Miaomiao Zhang, Jiaqi Zhu, Naijun Zhan, Bounded Model-checking of Discrete Duration Calculus
  18. ISCAS-SKLCS-12-18:Zhongxing Xu, Jian Zhang, Zhenbo Xu, A Tool for Checking Common Defects in C Code
  19. ISCAS-SKLCS-12-19:Zhenbo Xu, Jian Zhang, Zhongxing Xu, Melton: A Tool for Detecting Memory Leak in C Programs
  20. ISCAS-SKLCS-12-20:Xueyang Zhu,Wenhui Zhang,Guangyuan Li,Yi Lv,Huimin Lin, 模型检测研究进展
  21. ISCAS-SKLCS-12-21:Dimitar Guelev, Shuling Wang, Naijun Zhan, Compositional Hoare-style Reasoning about Hybrid CSP in the Duration Calculus
  22. ISCAS-SKLCS-12-22:Qin SHU, Zongyan QIU, Shuling WANG, Connement framework for encapsulating objects
  23. ISCAS-SKLCS-12-23:Liang Zhao, Shuling Wang, Zhiming Liu, Graph-Based Object-Oriented Hoare Logic
  24. ISCAS-SKLCS-12-24:Liang Zou, Jidong Lv, Shuling Wang, Naijun Zhan, Tao Tang, Lei Yuan, Yu Liu, Verifying Chinese Train Control System Under a Combined Scenario by Theorem Proving
  25. ISCAS-SKLCS-12-25:Yi Lv, Yan Zhou, Xiaochun Ye, Huimin Lin, PaMC: A Model Checker for Parameterized Systems
  26. ISCAS-SKLCS-12-26:Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng, A Concurrent Temporal Programming Model with Atomic Blocks (Extended Version)
  27. ISCAS-SKLCS-12-27:Yongjian Li, Naiju Zeng, William N. N. Hung, Xiaoyu Song, Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation
  28. ISCAS-SKLCS-12-28:Yongjian Li, Jun Pang, Formalizing Provable Anonymity in Isabelle/HOL
  29. ISCAS-SKLCS-12-29:Yongjian Li, On the formal modeling of inductive verification for cryptographical protocols
  30. ISCAS-SKLCS-12-30:Kailiang Ji, Jianhua Gao, Ying Jiang, A Parameterized Sequent Calculus
  31. ISCAS-SKLCS-12-31:Jianhua Gao,Ying Jiang,基于共归纳的最小Kripke结构的求解
  32. ISCAS-SKLCS-12-32:Chih-Hong Cheng,Rongjie Yan,Harald Ruess,Saddek Bensale,Distributed Priority Synthesis using Knowledge
  33. ISCAS-SKLCS-12-33:Mengqi Liu, Jean-François Monin, Lifan Su, Rongjie Yan,BIP-oriented Certified Compiler
  34. ISCAS-SKLCS-12-34:Chih-Hong Cheng,Rongjie Yan,Saddek Bensalem,Harald Ruess,Distributed Priority Synthesis
  35. ISCAS-SKLCS-12-35:De Ma, Kai Huang, Rong-jie Yan, Min Yu, Hai-tong Ge, Xiao-lang Yan, Ahmed Amine JERRAYA, Performance Estimation Techniques with MPSoC Transaction-Accurate Model
  36. ISCAS-SKLCS-12-36:Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen, A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example
  37. ISCAS-SKLCS-12-37:JIANG LIU, NAIJUN ZHAN, HENGJUN ZHAO, Computing Semi-Algebraic Invariants for Polynomial Hybrid Systems
  38. ISCAS-SKLCS-12-38:Tianhao Gao,Wencheng Wang,Binhai Zhu, 基于凸片段分解和格网的点在多边形中的可见边检测
  39. ISCAS-SKLCS-12-39:Guangwei Wang,Wencheng Wang,Miao Hua,Honglei Han, 优化光源设计的自适应增强绘制
  40. ISCAS-SKLCS-12-40:Haiming Chen, Ping Lu, Checking Determinism of Regular Expressions with Counting


Copyright © State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Powered by MediaWiki