Map     中文
Papers 2014

From State Key Laboratory of Computer Science

Main Page > Research > Papers > Papers 2014
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. Yan Cai,Changjiang Jia,Shangru Wu,Ke Zhai,W.K. Chan,ASN: A Dynamic Barrier-based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs,IEEE Transactions on Parallel and Distributed Systems,CCF A
  2. Angsheng Li,Xi Yong,Entanglement guarantees emergence of cooperation in quantum prisoner's dilemma games on networks,Nature Scientifc Reports
  3. Angsheng Li,Xiaohui Zhang,Yicheng Pan, Pan Peng,Equilibrium game in networks,Physica A
  4. Angsheng Li ,Xuechen Li,Yicheng Pan,Wei Zhang,Strategies for network security,Science in China,CCF B
  5. Peter Bulychev,Alexandre David,Kim G. Larsen,Guangyuan Li,Efficient controller synthesis for a fragment of MTL0,∞,Acta Informatica,Vol. 51, Issue 3, pp.165-192,CORE A
  6. Zhenbo Xu,Jian Zhang,Zhongxing Xu,Melton: A practical and precise memory leak detection tool for C programs,Front.Comput.Sci.,CCF C
  7. Yi-Dong Shen,Kewen Wang,Thomas Eiter,FLP Answer Set Semantics without Circular Justifications for General Logic Programs,Artificial Intelligence, 213\1-41,CCF A
  8. George Barmpalias,Rod Downey,Exact pairs for the ideal of the K-trivial sequences in the Turing degrees,Journal of Symbolic Logic,Volume 79, Issue 03, September 2014, pp 676 - 692,CCF C
  9. George Barmpalias,R.Elwes ,Andy Lewis-Pye,Tipping points in Schelling segregation,Journal of Statistical Physics
  10. George Barmpalias,A. R. Day,Andy Lewis-Pye,The typical Turing degree,Proc. Lond. Math. Soc.
  11. Huiyuan Li,Hexagonal Fourier-Galerkin Methods for the Two-Dimensional Homogeneous Isotropic Decaying Turbulence ,J. Math. Study,Vol. 47, No. 1, pp. 21-46
  12. Huiyuan Li,Yuan Xu,Spectral approximation on the unit ball ,SIAM J. Numer. Anal
  13. yongjin liu,cuixia ma,qiufang fu,xiaolan fu,shengfeng qin,lexing xie,A Sketch-Based Approach for Interactive Organization of Video Clips,ACM Transactions on Multimedia Computing, Communications and Application,CCF B
  14. Tao Zhang,Qi Liao,Lei Shi,Weishan Dong,Analyze Spatiotemporal Anomalies through Interactive Visualization,Informatics, special issue on Interactive Visualizations: Design, Technologies, and Applications
  15. Chang Leng,Ying Qiao,Sharon X. Hu,HongAn Wang,Utilization-Based Admission Control for Aperiodic Tasks under EDF scheduling,Real-time Systems:International Journal of time-critical computing systems,CORE A
  16. Ming Bai,Xingke Yang,Jing Li,Wencheng Wang,几何形态学:关于形态定量比较的科学计算工具,科学通报,59\10\887-894
  17. Minying Zhang,Wencheng Wang,Hanqiu Sun,Honglei Han,Perception-based model simplification for motion blur rendering,Graphical Models,76\3\116-127,CCF B
  18. Honglei Han,Jing Li,Guangzheng Fei,结合视觉感知与信息量的视点评分方法,计算机辅助设计与图形学学报,26\6\939-947
  19. Bei Guan,Jingzheng Wu,Yongji Wang,Samee U. Khan,CIVSched: A Communication-aware Inter-VM Scheduling Technique for Decreased Network Latency between Co-located VMs.,IEEE Transactions on Cloud Computing,13 June 2014. (Accepted, Published Online, SCI, Ei)
  20. 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,7\3\544-557,CCF C
  21. Saddek Bensalem,Marius Bozga,Axel Legay,Thanh-Hung Nguyen,Joseph Sifakis,Rongjie Yan,Component-based verification using incremental design and invariants,Software and Systems Modeling,CCF B
  22. Kai Huang,Min Yu,Rongjie Yan,Xiaomeng Zhang,Xiaolang Yan,Lisane Brisolara,Communication Optimization for Multithreaded Code Generation from Simulink Models,ACM Transactions on Embedded Compting Systems,CCF B
  23. Rongjie Yan,Min Yu,Kai Huang,Xiaomeng Zhang,Communication-oriented performance optimisation during code generation from Simulink models,International Journal of Embedded Systems
  24. Chao Yang,Xiao-Chuan Cai,A SCALABLE FULLY IMPLICIT COMPRESSIBLE EULER SOLVER FOR MESOSCALE NONHYDROSTATIC SIMULATION OF ATMOSPHERIC FLOWS,SIAM Journal of Scientific Computing,CORE A
  25. Li Gan,Haohuan Fu,Wayne Luk,Chao Yang,Wei Xue,Xiaomeng Huang,Solving the Global Atmospheric Equations through Heterogeneous Reconfigurable Platforms,ACM Transactions on Reconfigurable Technology and System,CCF B
  26. Haijian Yang,Chao Yang,Xiao-Chuan Cai,Mixed order discretization based two-level Schwarz precondtioners for a tracer transport problem on the cubed-sphere,Computers and Fluids
  27. Haijian Yang,Chao Yang,Xiao-Chuan Cai,Parallel Domain Decomposition Methods with Mixed Order Discretization for Fully Implicit Solution of Tracer Transport Problems on the Cubed-Sphere,Journal of Scientific Computing
  28. Fangfang Liu,Chao Yang,一种提高SpMV向量化性能的新型稀疏矩阵存储格式,数值计算与计算机应用
  29. Jianling Cui,Da Yang,Juan Li,一种基于评论挖掘的需求获取方法,计算机应用与软件
  30. Ran Liang,Da Yang,跨组织数据的软件成本估算方法的研究,计算机系统应用
  31. Jiaoyang Li,Juan Li,Da Yang,基于开发者协作关系和信息检索的需求跟踪方法,计算机系统应用
  32. Xu Han,Juan Li,Yongji Wang,Da Yang,基于协同相关性模型的特征需求自动标注系统,计算机应用与软件
  33. Miao Xie,Qiusong Yang,Jian Zhai,Qing Wang,A vertex centric parallel algorithm for linear temporal logic model checking in Pregel ,Journal of Parallel Disributed Computing
  34. P.S. Thiagarajan,ShaofaYang,Rabin's Theorem in the Concurrency Setting: A Conjecture,Theoretical Computer Science,546:225-236,CCF B
  35. Xi Liu,Shaofa Yang,J.W.Sanders,Compensation by Design,Formal Aspects of Computing,26(4):623-676,CCF B
  36. David Nowak,Yu Zhang,Formal Security Proofs with Minimal Fuss: Implicit Computational Complexity at Work,Information and Computation,CCF A
  37. Yuxin Deng,Yu Zhang,Program Equivalence in Linear Contexts,Theoretical Computer Science,CCF B
  38. Xiaoxiao Yang,Yu Zhang,Ming Fu,Xinyu Feng,A Temporal Programming Model with Atomic Blocks based on Projection Temporal Logic,Frontiers of Computer Science,CCF C
  39. J.Zhang,Z.Zhang,Y. Chen,PRE_Stronger security notions and efficient construction with non-interactive opening,Theoretical Copmuter Science,542(2014):1-16,CCF B
  40. Lijun Mei,Yan Cai,Changjiang Jia,Bo Jiang,W.K. Chan,Zhenyu Zhang,T.H. Tse,A Subsumption Hierarchy of Test Case Prioritization for Composite Services,Transactions on Services Computing(TSC),7\2\265-278,CCF B
  41. Wenbo Zhang,Xiaowei Zhou,Jianhua Zhang,Zhenyu Zhang,Hua Zhong,A Class Loading Sensitive Approach to Detection of Runtime Type Errors in Component-based Java Programs,Information and Software Technology(IST),56\9\1076-1085,CCF B
  42. Danqing Guo,Jidong Lv,Shuling Wang,Tao Tang,Naijun Zhan,Datian Zhou,Liang Zou,中国高速铁路列控系统形式化分析与验证,中国科学 信息科学 F辑
  43. Jiang Liu,Ming Xu,Naijun Zhan,Hengjun Zhao,Discovering non-terminating inputs for polynomial programs,Journal of System Science and Complexity,CCF C
  44. Lei Song,Lijun Zhang,Holger Hermanns,Jens Chr. Godskesen,Incremental Bisimulation Abstraction Refinement,ACM Transactions on Embedded Computing Systems,13\4\142:1-142:23,CCF B
  45. Ernst Moritz Hahn,Holger Hermanns,Ralf Wimmer,Bernd Becker,Transient Reward Approximation for Continuous-Time Markov Chains,IEEE TRANSACTIONS ON RELIABILITY,CORE A
  46. Chuan Luo,Shaowei Cai,Wei Wu,Zhong Jie,Kaile Su,CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability,IEEE TRANSACTIONS ON COMPUTERS,CCF A
  47. Chuan Luo,Shaowei Cai,Wei Wu,Kaile Su,Clause States Based Configuration Checking in Local Search for Satisfiability,IEEE TRANSACTIONS ON CYBERNETICS,CCF B
  48. Lijun Wu,Huijia Huang,Kaile Su,Shaowei Cai,Xiaosong Zhang,An I/O Efficient Model Checking Algorithm for Large-Scale Systems,IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS,CCF B
  49. Chuan Luo,Kaile Su,Shaowei Cai,More efficient two-mode stochastic local search for random 3-satisfiability,Applied Intelligence,CCF C
  50. Olivier Ly,Zhilin Wu,On effective construction of the greatest solution of language inequality $XA \subseteq BX$,Theoretical Computer Science,528: 12-31,CCF B
  51. Yongjian Li,Naiju Zeng,William N. N. Hung,Xiaoyu Song,Combining Symmetry Reduction with Generalized Symbolic Trajectory Evaluation,Comput. J.,57(1): 115-128 (2014),CORE A*
  52. Yongjian Li,Jun Pang,Formalizing Provable Anonymity in Isabelle/HOL,Formal aspects of computing,CCF B
  53. He, Xiaowei,Wang, Huamin,Zhang, Fengjun,Wang, Hongan,Wang, Guoping,Zhou, KunPreserving Thin Features in SPH-Based Single-Phase Flows,ACM Transactions on Graphics,CCF A
  54. Xiaosheng LiLe Liu, Wen Wu, Xuehui Liu, Enhua Wu,Dynamic BFECC Characteristic Mapping method for fluid simulations,The Visual Computer,30(6-8):787-796,CCF C
  55. Dengguo Feng,Yu Qin,Wei Feng,Jianxiong Shao,The theory and practice in the evolution of trusted computing,Computer Science and Technology,CCF B
  56. Guofu Xie,Xin Sun,Xin Tong,Derek Nowrouzezahrai,Hierarchical Diffusion Curves for Accurate Automatic Image Vectorization,ACM Transactions on Graphic,CCF A

Year 2014 Year 2013 Year 2012 Year 2011 Year 2010 Year 2009 Year 2008 Year 2007 Conference Papers Before 2007
  1. Xianpei Han,Le Sun,Semantic Consistency: A Local Subspace Based Method for Distant Supervised Relation Extraction,the 52nd Annual Meeting of the Association for Computational Linguistics,CORE A*,2014.6.23-6.25
  2. Le Sun,Xianpei Han,A Feature-Enriched Tree Kernel for Relation Extraction,the 52nd Annual Meeting of the Association for Computational Linguistics,CORE A*,2014.6.23-6.25
  3. Bei Shi,Zhenzhong Zhang,Le Sun,Xianpei Han,A Probabilistic Co-Bootstrapping Method for Entity Set Expansion,the 25th International Conference on Computational Linguistics,CORE A,20114.2.24-8.29
  4. Weifeng Wang,Li Jiao,Trace Abstraction Refinement for Timed Automata,12th International Symposium on Automated Technology for Verification and Analysis,Sydney,CORE A,201411.3-11.7
  5. Xue-Yang Zhu,Marc Geilen,Twan Basten,Sander Stuijk,Memory-Constrained Static Rate-Optimal Scheduling of Synchronous Dataflow Graphs via Retiming,DATE 14,Germany,CCF B,3.24-3.28
  6. Gaogao Yan,Xue-Yang Zhu,Rongjie Yan,Guangyuan Li,Formal Throughput and Response Time Analysis of MARTE Models,16th International Conference on Formal Engineering Methods (ICFEM 2014),Luxembourg,CCF C,11.3-11.7
  7. Tianyong Wu,Jun Yan,Jian Zhang,Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion,2014 Eighth International Conference on Software Security and Reliability,"
  8. Zhengbo Xu,Jian Zhang,Zhongxing Xu,Jiteng Wang,Canalyze: A Static Bug-Finding Tool for C Programs ,ISSTA 2014,USA,CCF B,7.21-7.25
  9. Jianfeng Du,Kewen Wang,Yi-Dong Shen,A Tractable Approach to ABox Abduction over Description Logic Ontologies,The Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14),Canada,CCF A,7.14-8.14
  10. J.Zhang,ZF.Zhang,Y.Chen,YF. Guo,ZY. Zhang,Black-box Separations for One-More (Static) CDH and Its Generalization,ASIACRYPT,Taiwan,CCF B,12.7-12.11
  11. G. Barmpalias,R. Elwes,A.E.M. Lewis,Digital Morphogenesis via Schelling Segregation,FOCS 2014, 55th Annual IEEE Symposium on Foundations of Computer Science,CORE A*,10.18-10.21
  12. Yi Lv,Luming Sun,Xiaochun Ye,Dongrui Fan,Peng Wu,Efficiently and Completely Verifying Synchronized Consistency Models,12th International Symposium on Automated Technology for Verification and Analysis,Australia,CORE A,11.3-11.7
  13. Zhenhua Wu,Wenjing Ma,Guoping Long,Yucheng Li,Qiuyan Tang,Zhongjie Wang,High performance two-dimensional phase unwrapping on GPUs,Computing Frontiers,Italy,CCF C,5.20-5.22
  14. Yifan Hu,Lei Shi,,A Coloring Algorithm for Disambiguating Graph and Map Drawings,22nd International Symposium on Graph Drawing,Germany,CORE A,9.24-9.26
  15. Weishan Dong,Renjie Yao,Chunyang Ma,Changsheng Li,Lei Shi,Maximizing Multi-scale Spatial Statistical Discrepancy,ACM CIKM,China,CORE A,11.3-11.7
  16. Lei Shi,Qi Liao,Hanghang Tong,Yifan Hu,Yue Zhao,Hierarchical Focus+Context Heterogeneous Network Visualization,IEEE PacificVis,Japan,CORE B,3.4-3.7
  17. Tao Zhang,Qi Liao,Lei Shi,Bridging the gap of network management and anomaly detection through interactive visualization,IEEE PacificVis,Japan,CORE B,3.4-3.7
  18. Zhongyi Hu,Hongan Wang,Jiaqi Zhu,Maozhen Li,Ying Qiao,Changzhi Deng,Discovery of Rare Sequential Topic Patterns in Document Stream,2014 SIAM International Conference on Data Mining (SIAM SDM 2014),Philadelphia, Pennsylvania, US,CORE A,4.24-4.26
  19. Zhensong Zhang,Fengjun Zhang, Hui Chen, Jiasheng Liu,Hongan Wang,Guozhong Dai,Left and right hand distinction for multi-touch tabletop interactions,ACM Conference on Intelligent User Interfaces (IUI),Haifa,Israel,CORE B,2.24
  20. Hao Wang,Wei Wang,Chen Zhang,Fanjiang Xu,Cross-Domain Metric Learning Based on Information Theory. AAAI 2014,AAAI,Québec, Canada,CORE A*,7.27-7.31
  21. Qiyun Zhao, Hao Wang,Pin Lv,Chen Zhang,A Bootstrapping Based Refinement Framework For Mining Opinion Words and Targets,CIKM,Shanghai, China,CORE A,11.3-11.7
  22. Hao Wang,Chen Zhang,Wei Wang,Xiaohui Hu,Fanjiang Xu,Human-Centric Computational Knowledge Enviroment for Complex and Ill-Stutured Problem Solving,SMC,Sadiego, USA,CORE B,10.5-10.8
  23. Miao Hua,Xiaohui Bie,Minying Zhang,Wencheng Wang,Edge-aware gradient domain optimization framework for image filtering by local propagation,the 27th IEEE Conference on Computer Vision and Pattern Recognition (CVPR’2014),Columbus, USA,CCF A,6.24-6.29
  24. Guoquan WU,Jun Wei,Hua Zhong,Tao Huang,Runtime Enforcement of Data-centric Properties for Concurrent Service-based Applications,2014 IEEE International Conference on Web Services,Anchorage,AK,USA,CCF B,6.27-7.2
  25. Rongjie Yan,De Ma,Kai Huang,Xiaoxu Zhang,Siwen Xiu,Annotation and analysis combined cache modeling for native simulation,19th Asia and South Pacific Design Automation Conference,Singapore,CCF C,1.20-1.23
  26. Wei Xue,Chao Yang,Haohuan Fu,Xinliang Wang,Yangtong Xu,Lin Gan,Yutong Lu,Xiaoqian Zhu,Enabling and scaling a global shallow-water atmospheric model on Tianhe-2,International Parallel and Distributed Processing Symposium (IPDPS), 2014 IEEE 28th International,CCF B,
  27. Qiao Sun,Chao Yang,,Optimization of Scan Algorithms on Multi- and Many-core Processors,High Performance Computing (HiPC 2014), The 21st annual IEEE International Conference on,CCF C,
  28. Xianyi Zhang,Chao Yang,Yiqun Liu,Fangfang Liu,Yutong Lu,Optimizing and Scaling HPCG on Tianhe-2: Early Experience ,Algorithms and Architectures for Parallel Processing (ICA3PP'14), the 14th International Conference on ,CCF C,
  29. Li Gan,Haohuan Fu,Chao Yang,Wayne Luk,Wei Xue,Oskar Mencer,Xiaomeng Huang,Guangwen Yang,A Highly-Efficient and Green Data Flow Engine for Solving Euler Atmospheric Equations,Field Programmable Logic and Applications (FPL), 2014 24th International Conference,CCF C,
  30. Fangfang Liu,Chao Yang,Xianyi Zhang,Yiqun Liu,Yutong Lu,Reducing Communication Overhead in the High Performance Conjugate Gradient Benchmark on Tianhe-2,Distributed Computing and Applications to Business, Engineering and Science (DCABES), the 13th International Symposium on,
  31. Ke Zhan,Chao Yang,Changyou Zhang,Jingjing Zheng,Ting Wang,PLDSRC: A Multi-threaded Compressor/Decompressor for Massive DNA Sequencing Data,Distributed Computing and Applications to Business, Engineering and Science (DCABES), the 13th International Symposium on,
  32. Junjie Wang,Juan Li,Qing Wang,Da Yang,He Zhang,Can Requirements Dependency Network be Used as Early Indicator of Software Integration Bugs,International Requirements Engineering Conference,Sweden,CCF B,8.25-8.29
  33. Naiju Zeng,Wenhui Zhang,An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS,the 19th International Conference on Engineering of Complex Computer Systems,Tianjin, China,CORE A,8.5-8.7
  34. Wenhui Zhang,QBF Encoding of Temporal Properties and QBF-Based Verification,the 7th International Joint Conference on Automated Reasoning,Vienna, Austria,CORE A*,8.19-8.22
  35. Teng Long,Wenhui Zhang,Termination Analysis with Recursive Calling Graphs,Computing, Communications and IT Applications Conference ,Beijing,10.20-10.22
  36. Lifeng Zhang,Beihong Jin,Yanling Cui,A Concurrent Transmission Enabled Cooperative MAC protocol for Vehicular Ad Hoc Networks,IWQoS 2014, the IEEE/ACM International Symposium on Quality of Service 2014,Hong Kong,CCF B,5.26-5.27
  37. 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,TAMC 2014,CCF C,
  38. Ruzhen Dong,Johannes Farber,Zhiming Liu,Jiri Srba,Naijun Zhan,Jiaqi Zhu,Unblockable compositions of software components,CBSE 2014,CCF B,
  39. Bin Gu,Liang Zou,A Refinement Calculus for Hybrid Systems,ICECCS 2014,CCF B,
  40. Shuling Wang,Flemming Nielson,Hanne Riis Nielson,Denial of Service in the Continuous-Time World,FORTE 2014,CORE A,
  41. Yuan Feng,Lijun Zhang,A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman's Algorithm,The 25th Conference on Concurrency Theory,Rome, Italy,CCF B,9.1-9.6
  42. Jianwen Li,Lijun Zhang,Geguang Pu,Moshe Vardi,Jifeng He,Ltlf satisfiability checking,European Conference on Artificial Intelligence,Prague, Czech Republic,CCF B,8.18-8.22
  43. Joost-Pieter Katoen,Lei Song,Lijun Zhang,Probably Safe or Life,ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE,Viena,Austria,CCF A,7.14-7.18
  44. Ernst Moritz Hahn,Yi Li,Sven Schewe,Andrea Turrini,Lijun Zhang,IscasMC: A Web-Based Probabilistic Model Checker,International Symposium on the Formal Methods Europe association (FM),Singapore,CCF B,3.12-3.16
  45. Yuan Feng,Lijun Zhang,When Equivalence and Bisimulation Join Forces in Probabilistic Automata,International Symposium on the Formal Methods Europe association (FM),Singapore,CCF B,3.12-3.16
  46. Lei Song,Lijun Zhang,Jens Chr. Godskesen,Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes,International Conference on Verification, Model Checking, and Abstract Interpretation,San Diego,USA,CCF B,1.19-1.21
  47. David Spieler,Ernst Moritz Hahn,Lijun Zhang,Model checking csl for markov population models,International Workshop on Quantitative Aspects of Programming Languages and Systems,Grenoble,France,4.12-4.13
  48. Haijiang Wu,Jie Liu,Dan Ye,Jun Wei,Hua Zhong,Scalable Horn-Like Rule Inference of Semantic Data Using MapReduce,KSEM 2014,CORE B
  49. Shaowei Cai,Chuan Luo,Kaile Su,Tailoring Local Search for Partial MaxSAT,AAAI,CCF A
  50. Chuan Luo,Shaowei Cai,Wei Wu,Kaile Su,Double Configuration Checking in Stochastic Local Search for Satisfiability,AAAI,CCF A
  51. Honglei Han,Jing Li,Wencheng Wang,Huiwen Zhao,Miao Hua,Reasonable Viewpoint Ranking via Saliency-based Segmentation,International Conference on Virtual Reality and Visualization 2014 (ICVRV2014),ShenYang, China,8.30-8.31
  52. Jie Chen,Junchao Xiao,Qing Wang,Leon J. Osterweil,Mingshu Li,Refactoring planning and practice in agile software development: an empirical study,International Conference on Software and Systems Process,CCF C,5.26-5.28
  53. Ke Li,Junchao Xiao,Yongji Wang,Qing Wang,Analysis of the Key Factors for Software Quality in Crowdsourcing Development: An Empirical Study on TopCoder.com,2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC2013),CCF C,7.21-7.25
  54. Junchao Xiao,Leon J.Osterweil,Jie Chen,Qing Wang,Mingshu Li, Search Based Risk Mitigation Planning in Project Portfolio Management,International Conference on Software and Systems Process,CCF C,5.18-5.19
  55. Chuanyan Haoand Enhua Wu,Wen Wu ,Enhua Wu,Large-scale Texture Synthesis and Manipulations Based on an Iterated Coherent-Random Search,31st Computer Graphics international,Sydney, Australia,CCF C,6.10-6.13
  56. Li Shen,Gang Sun,Shuhui Wang,Enhua Wu ,Sharing modelwith multi-level featur representations, IEEE International Conference on Image Processing,Paris, France,CORE B,6.8-6.15
  57. Naijun Zhan,Liang Zou,Formal verification of Simulink/Stateflow diagrams,ESWEEK 2014,CCF B
  58. Ehsan Ahmad,Yunwei Dong,Shuling Wang,Naijun Zhan,Liang Zou,Adding Formal Meanings to AADL Models with Hybrid Annex.,FACS 2014
  59. Ehsan Ahmad,Brian Larson,Stephen Barrett,Naijun Zhan,Yunwei Dong,An AADL Extension for Continuous Behavior and Cyber-Physical Interaction Modeling,HILT 2014
  60. Hengjun Zhao,Mengfei Yang,Naijun Zhan,Bin Gu,Liang Zhou,Yao Chen,Formal verification of a descent guidance control program of a lunar lander,FM 2014,CCF B
  61. Liang Wu,Hui Xiong,Liang Du,Bo Liu,Guandong Xu,Yong Ge,Yanjie Fu,Yuanchun Zhou、Jianhui Li,Heterogeneous Metric Learning with Content-based Regularization for Software Artifact Retrieval,The Fourteenth IEEE International Conference on Data Mining (ICDM-14) ,China,CORE A*
  62. Giuseppe Castagna,Kim Nguyễn,Zhiwu Xu,Hyeonseung Im,Serguei Lenglet,Luca Padovani,Polymorphic Functions with Set-Theoretic Types,POPL ’14,,USA,CORE A*,1.22-1.24
  63. Wensheng Dou,Shing-Chi Cheung,Jun Wei,Is Spreadsheet Ambiguity Harmful? Detecting and Repairing Spreadsheet Smells due to Ambiguous Computation,ICSE 2014.,CORE A*



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