地图     English
学术论文 2016

出自计算机科学国家重点实验室

学术论文 2016
跳转到: 导航, 搜索


2016年 2015年 2014年 2013年 2012年 2011年 2010年 2009年 2008年 往年期刊论文
  1. Hector M. Chavez,Wuwei Shen,Robert B. France,Benjamin A. Mechling,Guangyuan Li,An Approach to Checking Consistency between UML Class Model and Its Java Implementation,IEEE Transactions on Software Engineering,"42, 4, 322 - 344",ccf a
  2. Lijun Zhang,David N. Jansen,A space-efficient simulation algorithm on probabilistic automata,Information and Computation,"249,138-159",ccf a
  3. Xinsong Yang,Lei Shi,Madelaine Daianu,Hanghang Tong,Qingsong Liu,Paul Thompson,Blockwise Human Brain Network Visual Comparison Using NodeTrix Representation,IEEE Transactions on Visualization and Computer Graphics (Proceeding of IEEE VIS/VAST'16),"23,1,181-190",ccf a
  4. Fusang Zhang,Hai Liu,Yiu-Wing Leung,Xiaowen Chu,Beihong Jin,CBS: Community-based Bus System as Routing Backbone for Vehicular Ad Hoc Networks,IEEE Transactions on Mobile Computing,DOI:?10.1109/TMC.2016.2613869,ccf a
  5. Yuqi Lin,Saif Malik,Kashif Bilal,Qiusong Yang,Yongji Wang,Designing and Modeling of Covert Channels in Operating Systems,IEEE Transactions on Computers,"65,6,1706-1719",ccf a
  6. Yan Cai,Qiong Lu,Dynamic Testing for Deadlocks via Constraints,IEEE Transactions on Software Engineering ,"42,9,825-842",ccf a
  7. John Fearnley,Markus N. Rabe,Sven Schewe,Lijun Zhang,Efficient approximation of optimal control for continuous-time Markov games,Information and Computation,"247,106-129?",ccf a
  8. Wencheng Wang, Panpan Xu, Xiaohui Bie,Miao Hua,Enhanced use of mattes for easy image composition,IEEE Transactions on Image Processing,"25,10,4608-4616",ccf a
  9. Yi-Dong Shen ,Thomas Eiter,Evaluating epistemic negation in answer set programming,Artificial Intelligence,"237,115-135",ccf a
  10. Fei He,Xiaowei Gao,Miaofei Wang,Bow-Yaw Wan,Lijun Zhang,Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes,ACM Transactions on Software Engineering and Methodology,"25,3,Article 21 (1-39)",ccf a
  11. Tianyong Wu,Jierui Liu,Zhenbo Xu,Chaorong Guo,Yanli Zhang,Jun Yan,Jian Zhang,"Light-weight, Inter-procedural and Callback-aware Resource Leak Detection for Android Apps",IEEE Transactions on Software Engineering,"42,11,1054-1076",ccf a
  12. George Barmpalias,Andy Lewis-Pye,Jason Teutsch,Lower bounds on the redundancy in computations from random oracles via betting strategies with restricted wagers,Information and Computation ,251, 287–300,ccf a
  13. Jiaqi Zhu ,Kaijun Wang , Yunkun Wu,Zhongyi Hu ,Hongan Wang ,Mining User-Aware Rare Sequential Topic Patterns in Document Streams,IEEE Transactions on Knowledge and Data Engineering,"28,7,1790-1804",ccf a
  14. Xiang Hu,Li Jiao,Zhijia Li,Modeling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets,The Computer Journal,"59,10,1563-1580",core a*
  15. Shuling Wang,Flemming Nielson,Hanne Riis Nielson,Naijun Zhan,Modelling and Verifying Communication Failure of Hybrid Systems in HCSP,The Computer Journal,DOI:https://doi.org/10.1093/comjnl/bxw084,core a*
  16. Xue-Yang Zhu,Marc Geilen,Twan Basten,Sander Stuijk,Multi-Constraint Static Scheduling of Synchronous Dataflow Graphs via Retiming and Unfolding,IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,ccf a
  17. Shaowei Cai,Chuan Luo,Jinkun Lin,Kaile Su,New local search methods for partial MaxSAT,Artificial Intelligence,https://doi.org/10.1093/comjnl/bxw084,ccf a
  18. Fu Song,Zhilin Wu,On temporal logics with data variable quantifications: decidability and complexity,Information and Computation,251,104–139,ccf a
  19. George Barmpalias,Nan Fang,Andy Lewis-Pye,Optimal asymptotic bounds on the oracle use in computations from Chaitin's Omega,Journal of Computer and System Sciences,"82,8,1283-1299",core a*
  20. Angsheng Li,Yicheng Pan,Structural Information and Dynamical Complexity of Networks,IEEE Transactions on Information Theory,"62,6,3290-3339",ccf a
  21. Weifeng Wang,Li Jiao,Trace Abstraction Refinement for Solving Horn Clauses,The Computer Journal,"59, 8, 1236-1251",core a*
  22. Lian Wen,Kewen Wang,Yi-Dong Shen, Fangzhen Lin ,A Model for Phase Transition of Random Answer-Set Programs,ACM Transactions on Computational Logic ,"17,3, 22 (1-34)",ccf b
  23. Jizu Huang,Chao Yang,Xiao-Chuan Cai,A Nonlinearly Preconditioned Inexact Newton Algorithm for Steady State Lattice Boltzmann Equations,SIAM Journal on Scientific Computing,"38,3,A1701-A1724",core a
  24. Haijian Yang,Chao Yang, Shuyu Sun,Active-Set Reduced-Space Methods with Nonlinear Elimination for Two-Phase Flow Problems in Porous Media,SIAM Journal on Scientific Computing,"38,4,B593-B618",core a
  25. Li Chen,Jing-Zheng Wu, Yin-Run Lv,Yong-Ji Wang,An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints,Journal of Computer Science and Technology,"31,5,987-1011",ccf b
  26. Lu Lu,Fei Lyu,Feng Tian,Yineng Chen,Guozhong Dai,Hongan Wang,An exploratory study of multimodal interaction modeling based on neural computation,SCIENCE CHINA Information Sciences,"59,9,092106 (1-16)",ccf b
  27. Yong-Jin Liu, Cuixia Ma, Guozhen Zhao,Xiaolan Fu,Hongan Wang,Guozhong Dai,Lexing Xie?,An Interactive SpiralTape Video Summarization,IEEE Transactions on Multimedia,"18,7,1269-1282",ccf b
  28. Junjie Wang,Qing Wang,Analyzing and predicting software integration bugs using network analysis on requirements dependency network,Requirements Engineering,"21,2,161-184",ccf b
  29. Liyun Dai, Ting Gan,Bican Xia,Naijun Zhan,Barrier certificate revisited,Journal of Symbolic Computation,"80,1,62–86",ccf b
  30. Jiwei Xu,Wenbo Zhang,Zhenyu Zhang,Tao Wang,Tao Huang,Clustering-based acceleration for virtual machine image deduplication in the cloud environment,Journal of Systems and Software,"121,144-156",ccf b
  31. Saddek Bensalem,Marius Bozga,Axel Legay,Thanh-Hung Nguyen,Joseph Sifakis,Rongjie Yan,Component-based verification using incremental design and invariants,Software and System Modeling ,"15,2,427-451",ccf b
  32. George Barmpalias,Andy Lewis-Pye,Computing halting probabilities from other halting probabilities,Theoretical Computer Science,660, 17,16–22,ccf b
  33. Luis Mar??a Ferrer Fioriti,Vahid Hashemi,Holger Hermanns,Andrea Turrini,Deciding Probabilistic Automata Weak Bisimulation: Theory and Practice,Formal Aspects of Computing,"28,1,109-143",ccf b
  34. Huiyuan Li,Zhimin Zhang,Efficient spectral and spectral element methods for eigenvlaue problems of Schrodinger equations with an inverse square potential,SIAM Journal on Scientific Computing,"39, 1, A114–A140",core a
  35. Ming Xu,Lijun Zhang,David N. Jansen,Huibiao Zhu,Zongyuan Yang,Multiphase until formulas over Markov reward models: An algebraic approach,Theoretical Computer Science,"611,18,116-135",ccf b
  36. Yanfeng Wang,Wenling Wu,New criterion for diffusion property and applications to Improved GFS and EGFN,"Designs, Codes and Cryptography","81,3,393-412",ccf b
  37. Fusang Zhang,Beihong Jin,Zhaoyang Wang,Hai Liu,Jiafeng Hu,Lifeng Zhang,On Geocasting over Urban Bus based Networks by Mining Trajectories,IEEE Transactions on Intelligent Transportation Systems,"17,6,1734-1747",ccf b
  38. Jie Chen,Junchao Xiao,Qing Wang,Leon J. Osterweil,Mingshu Li,Perspectives on Refactoring Planning and Practice: An Empirical Study,Empirical Software Engineering,"21,3,1397-1436",ccf b
  39. George Barmpalias,Douglas Cenzer,Christopher P. Porter,Random numbers as probabilities of machine behaviour,Theoretical Computer Science,"673, 18,1–18",ccf b
  40. Lijie Yang,Tianchen Xu,Jixiang Du,Enhua Wu,Sketch-based Stroke Generation in Chinese Flower Painting,SCIENCE CHINA Information Sciences,"59, 079101(13)",ccf b
  41. Teng Long,Wenhui Zhang,Termination analysis with recursive calling graphs. ,Journal of Network and Computer Applications,"59,109-116",core a
  42. Weikun Shan,Huiyuan Li,The triangular spectral element method for Stokes eigenvalues,Mathematics of Computation,DOI: 10.1090/mcom/3173,core a
  43. Cuixia Ma,Yong-Jin Liu,Guozhen Zhao,Hong-An Wang,Visualizing and Analyzing Video Content with Interactive Scalable Maps,IEEE Transactions on Multimedia,"18,11,2171-2183",ccf b
  44. Tianhao Gao,Wencheng Wang,Honglei Han,Efficient view selection by measuring proxy information,Computer Animation and Virtual Worlds,"27,3-4,351-357",ccf c
  45. Wen-jing Ma,Kan Gao,Guo-ping Long,Highly Optimized Code Generation for Stencil Codes with Computation Reuse for GPUs ,Journal of Computer Science and Technology,"31,6,1262–1274",core b
  46. Hong Li,Enhua Wu,Wen Wu,Salient Region Detection via Unit Boundary Distribution and Energy Optimization,Multimedia Tools and Applications,"online, DOI: 10.1007/s11042-016-3691-9",ccf c
  47. Yiqun Liu,Chao Yang,Fangfang Liu,Xianyi Zhang,Yutong Lu,Yunfei Du,Canqun Yang,Min Xie,Xiangke Liao,623 Tflop/s HPCG run on Tianhe-2: Leveraging millions of hybrid cores,International Journal of High Performance Computing Applications,"30,1,39-54",core b
  48. Angsheng Li,Yicheng Pan,A Theory of Network Security: Principles of Natural Selection and Combinatorics,Internet Mathematics,"12,3,145-204",
  49. Jiachang Sun,Chao Yang,Xiao-Chuan Cai,Algorithm Development for Extreme-Scale Computing,National Science Review,"3,1,26-27",
  50. Yanfeng Wang,Wenling Wu,Lei Zhang,Diffusion and Security Evaluation of Feistel-PG,Chinese Journal of Electronics,"25,1,598-603",
  51. Ji-Yao Chen,Zhengfeng Ji,Zheng-Xin Liu, Yi Shen,Bei Zeng,Geometry of reduced density matrices for symmetry-protected topological phases,Physical Review A,93,
  52. Hengyan Wang,Wenqiang Zheng,Nengkun Yu,Keren Li,Dawei Lu,Tao Xin,Carson Li,Zhengfeng Ji,David Kribs,"Bei Zeng,Xinhua Peng, Jiangfeng Du",Quantum state and process tomography via adaptive measurements,"Science China Physics, Mechanics and Astronomy","59,10,100313",
  53. Angsheng Li,Qifu Hu,Jun Liu,Yicheng Pan,Resistance and Security Index of Networks: Structural Information Perspective of Network Security,Scientific Reports,"6,26810,",
  54. Fun-jun Liu,Hui-yuan Li,Zhong-qing Wang,Spectral methods using generalized Laguerre functions for second and fourth order problems,Numerical Algorithms,"online, DOI: 10.1007/s11075-016-0228-2",
  55. Angsheng Li, Xianchen Yin, Yicheng Pan,Three-Dimensional Gene Map of Cancer Cell Types: Structural Entropy Minimisation Principle for Defining Tumour Subtypes,Scientific Reports,"620,412",
  56. Dawei Lu,Tao Xin,Nengkun Yu,Zhengfeng Ji,Jianxin Chen,Guilu Long,Jonathan Baugh,Xinhua Peng,Bei Zeng,Raymond Laflamme,Tomography is necessary for universal entanglement detection with single-copy observables,Physical Review Letters,116,
  57. George Barmpalias,Richard Elwes,Andy Lewis-Pye,Unperturbed Schelling Segregation in Two and Three Dimensions,Journal of Statistical Physics,"164,6,1460-1487",
  58. 吕荫润, 陈力, 王翀,吴敬征,王永吉,基于混合搜索的含逻辑“与”“或”的RM优化算法,软件学报,"online, DOI: 10.13328/j.cnki.jos.005133",
  59. 徐继伟, 张文博, 魏峻, 钟华, 黄涛,一种基于聚类分组的虚拟机镜像去冗余方法,软件学报,"27,2,466-480",
  60. 徐继伟, 张文博, 王焘, 黄涛,一种基于遗传算法的虚拟机镜像自适应备份策略,计算机学报,"39,2,351-362",
  61. 郭洋,马翠霞,滕东兴,杨祎,王宏安,运动目标三维轨迹可视化与关联分析方法,软件学报,"27,5,1151?1162",
  62. 王德鑫,王青,贺劼,基于证据的软件过程可信度模型及评估方法,软件学报,"online,DOI: doi: 10.13328/j.cnki.jos.005102",
  63. 胡洁,王青,一种软件特征模型扩展和演化分析方法,软件学报,"27,5,1212-1229",
  64. 杨波, 冯登国,秦宇,张英骏,基于 TrustZone 的可信移动终端云服务安全接入方案,软件学报,"27,6,1366?1386",
  65. Nafei Zhu,Min Zhang,Dengguo Feng,How Well?Can?WordNet?Measure?Privacy:A?Comparative?Study,International Journal of Reasoning-based Intelligent Systems,accepted,
  66. 朱雪阳,基于模型的嵌入式系统性能分析框架,软件学报,"27suppl2,328-335",
  67. 王丹丹,王青,基于演化数据的软件缺陷预测性能改进,软件学报,"27.12, 3014-3029",


2016年 2015年 2014年 2013年 2012年 2011年 2010年 2009年 2008年 往年会议论文
  1. Shaowei Cai,Jinkun Lin,Fast Solving Maximum Weight Clique Problem in Massive Graphs,Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16),July 9-15,"New York, NY,USA",CCF A
  2. Yiyuan Wang,Shaowei Cai,Minghao Yin,Two Efficient Local Search Algorithms for Maximum Weight Clique Problem,Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16), February 12-17,"Phoenix, Arizona, USA",CCF A
  3. Yan Cai,Jian Zhang,Lingwei Cao,Jian Liu,A Deployable Sampling Strategy for Data Race Detection, 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE'16),November 13-18,"Seattle, WA, USA",CCF A
  4. Yan Cai,Zijiang Yang,Radius Aware Probabilistic Testing of Deadlocks with Guarantees,31st IEEE/ACM International Conference on Automated Software Engineering (ASE'16),September 3-7,"Singapore,Singapore",CCF A
  5. Yan Cai,Lingwei Cao,Fixing Deadlocks via Lock Pre-Acquisitions,38th International Conference on Software Engineering (ICSE '16),May 14 - 22,"Austin, TX, USA",CCF A
  6. Bin Liang,Pan Bian,Yan Zhang,Wenchang Shi,Wei You,Yan Cai,AntMiner: Mining More Bugs by Reducing Noise Interference,38th International Conference on Software Engineering (ICSE '16),May 14 - 22,"Austin, TX, USA",CCF A
  7. Shiteng Chen,Periklis A. Papakonstantinou,Depth reduction for composites,57th Annual Symposium on Foundations of Computer Science (FOCS 2016),2016.10.9-2016.10.11,"New Brunswick, USA",CCF A
  8. Krishnendu Chatterjee,Hongfei Fu,Petr Novotn?,Rouzbeh Hasheminezhad,Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs,43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'16),1.20-1.22,"St. Petersburg, Florida, United States",CCF A
  9. Artur Czumaj,Pan Peng,Christian Sohler.,Relating two property testing models for bounded degree directed graphs.,48th ACM Symposium on Theory of Computing (STOC'16),June 19 - June 21,"Cambridge, MA, USA",CCF A
  10. Shi Lei,Shen Yidong,Diversifying Convex Transductive Experimental Design for Active Learning ,Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16),July 9-15,"New York, NY,USA",ccf a
  11. Lei Shi,Sibai Sun,Yuan Xuan,Yue Su,Hanghang Tong,Shuai Ma,Yang Chen,TOPIC: Toward Perfect Influence Graph Summarization,IEEE 32nd International Conference on Data Engineering (ICDE 2016),5.16-20,"Helsinki, Finland",CCF A
  12. Wencheng Wang,Tianhao Gao,Constructing canonical regions for fast and effective view selection,29th IEEE Conference on Computer Vision and Pattern Recognition (CVPR 2016) ,June 26 - July 1,"Las Vegas, Nevada, USA",ccf a
  13. Taolue Chen,Fu Song,Zhilin Wu,Global Model Checking on Pushdown Multi-Agent Systems,Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16),February 12-17,"Phoenix, Arizona, USA",CCF A
  14. Xincai Gu,Taolue Chen,Zhilin Wu,A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints,8th International Joint Conference on Automated Reasoning (IJCAR 2016),6.27-7.2,"Coimbra, Portugal",CORE A*
  15. Yu-Fang Chen,Lei Song,Zhilin Wu,The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach,28th International Conference on Computer Aided Verification (CAV 2016),7.17-23,"Toronto, ON, Canada",CCF A
  16. Taolue Chen,Fu Song,Zhilin Wu,Verifying Pushdown Multi-Agent Systems against Strategy Logics,Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16),July 9-15,"New York, NY,USA",CCF A
  17. Mingji Xia,Base collapse of holographic algorithms,48th Annual ACM SIGACT Symposium on Theory of Computing (STOC'16),6.19-21,"Cambridge, MA, USA",CCF A
  18. Ting Gan,Liyun Dai,Bican Xia,Naijun Zhan,Deepak Kapur,Mingshuai Chen,Interpolant synthesis for quadratic polynomial inequalities and combination with EUF,8th International Joint Conference on Automated Reasoning (IJCAR 2016),6.27-7.2,"Coimbra, Portugal",core a*
  19. Ernst Moritz Hahn,Sven Schewe,Andrea Turrini,Lijun Zhang,A Simple Algorithm for Solving Qualitative Probabilistic Parity Games,28th International Conference on Computer Aided Verification (CAV 2016),7.17-23,"Toronto, ON, Canada",CCF A
  20. Zhenzhong Zhang,Le Sun,Xianpei Han.,A Joint Model for Entity Set Expansion and Attribute Extraction from Web Search Queries,Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16),February 12-17,"Phoenix, Arizona, USA",CCF A
  21. Xianpei Han,Le Sun,Global Distant Supervision for Relation Extraction,Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16),February 12-17,"Phoenix, Arizona, USA",CCF A
  22. Bo Chen,Le Sun,Xianpei Han,Bo An,Sentence Rewriting for Semantic Parsing,54th Annual Meeting of the Association for Computational Linguistics (ACL 2016),8.7-12,"Berlin, Germany",CCF A
  23. Krishnendu Chatterjee,Hongfei Fu,Amir Kafshdar Goharshady,Termination Analysis of Probabilistic Programs Through Positivstellensatz's,28th International Conference on Computer Aided Verification (CAV 2016),7.17-23,"Toronto, ON, Canada",CCF A
  24. Hongzhi Yin,Zhiting Hu,Xiaofang Zhou,Hao Wang,Kai Zheng,Quoc Viet Hung Nguyen,Shazia Sadiq,Discovering Interpretable Geo-Social Communities for User Behavior Prediction,International Conference on Data Engineering (ICDE 2016),May 16-20,"Helsinki, Finland",CCF A
  25. Junjie Wang,Song Wang,Qiang Cui,Qing Wang,Local-Based Active Classification of Test Report to Assist Crowdsourced Testing,31st IEEE/ACM International Conference on Automated Software Engineering (ASE'16),September 3-7,"Singapore, Singapore",CCF A
  26. Anne Broadbent,Zhengfeng Ji,Fang Song,John Watrous,Zero-knowledge proof systems for QMA,57th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2016),10.9-10.11,"New Brunswick, New Jersey, USA",ccf a
  27. Zhengfeng Ji,Classical verification of quantum proofs,48th Annual ACM SIGACT Symposium on Theory of Computing (STOC 2016),6.19-6.21,"Cambridge, MA, USA",ccf a
  28. Jeongwan Haah,Aram W. Harrow,Zhengfeng Ji,Xiaodi Wu,Nengkun Yu,Sample-optimal tomography of quantum states,48th Annual ACM SIGACT Symposium on Theory of Computing (STOC 2016),6.19-6.21,"Cambridge, MA, USA",ccf a
  29. Yongjian Li,Kaiqiang Duan,Yi Lv,Jun Pang,Shaowei Cai,A Novel Approach to Parameterized Verification of Cache Coherence Protocols,34th IEEE International Conference on Computer Design (ICCD 2016),10.2 - 5,"Scottsdale, AZ, USA",ccf b
  30. Gaogao Yan,Li Jiao,Yangjia Li,Shuling Wang,Naijun Zhan,Approximate bisimulation and discretization of Hybrid CSP,21st International Symposium on Formal Methods (FM 2016),November 9-11,"Limassol, Cyprus",ccf b
  31. Zengfeng Huang,Pan Peng,Dynamic graph stream algorithms in o(n) space.,"43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)",JULY 12-15 ,"ROME, ITALY",CCF B
  32. Wei Ji,Farn Wang,Peng Wu,Yi Lv,"An Experiment on Decision Diagrams for Model Checking Probabilistic Timed Automata",21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016),11.6-8,"Dubai, United Arab Emirates",CORE A
  33. Qian Zhang,Ying Jiang,Peng Wu,Modelling and Analysis of Network Security - an Algebraic Approach ,"15th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-16)",8.23-26,"Tianjin, China",CORE A
  34. Mingshuai Chen,Martin Fraenzle,Yangjia Li,Peter Nazier Mosaad,Naijun Zhan,Validated simulation-based verification of delayed differential dynamics,21st International Symposium on Formal Methods (FM 2016),November 9-11,"Limassol, Cyprus",ccf b
  35. Jierui Liu,Tianyong Wu,Jun Yan,Jian Zhang,"Fixing Resource Leaks in Android Apps with Light-weight Static Analysis and Low-overhead Instrumentation",IEEE 27th International Symposium on Software Reliability Engineering (ISSRE 2016),October 23-27,"Ottawa, ON, Canada",ccf b
  36. Feifei Ma,Xin Gao,Minghao Yin,Linjie Pan,Jiwei Jin,Hai Liu,Jian Zhang,Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search,22nd International Conference on Principles and Practice of Constraint Programming (CP 2016),September 5-9,"Toulouse, France",ccf b
  37. (共同一作)Sheng Yang,(共同一作)Xiaowei He,Huamin Wang,Sheng Li,Guoping Wang,Enhua Wu,Kun Zhou,Enriching SPH Simulation by Approximate Capillary Waves,15th Eurographics/ ACM SIGGRAPH Symposium on Computer Animation (SCA'16),7.11-7.13,"Zurich, Switzerland",ccf b
  38. Feng Zhu ,Jie Liu ,Sa Wang ,Jiwei Xu,Lijie Xu ,Jixin Ren,Dan Ye,Jun Wei,Tao Huan,Hug the Elephant: Migrating a Legacy Data Analytics Application to Hadoop Ecosystem,IEEE International Conference on Software Maintenance and Evolution(ICSME 2016),10.2-10.7,"Raleigh,NC,USA",CCF B
  39. Yu-Lei Gu,Xue-Yang Zhu,Guangquan Zhang,Yifan He,Pareto Optimal Scheduling for Synchronous Data Flow Graphs on Heterogeneous Multiprocessor,21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016),11.6-8,"Dubai, United Arab Emirates",core a
  40. Xianpei Han,Le Sun,Context Sensitive Inference Rule Discovery: A Graph-Based Method,26th International Conference on Computational Linguistics (COLING 2016),12.11-17,"Osaka, Japan",CCF B
  41. Meimei He,Guoquan Wu,Hongyin Tang,Wei Chen,Jun Wei,Hua Zhong, Tao Huang,X-Check: A Novel Cross-browser Testing Service based on Record/Replay,IEEE International Conference on Web Services (ICWS 2016),6.27-7.2,"San francisco, CA, USA",CCF B
  42. Haijiang Wu,Jie Liu,Tao Wang,Dan Ye,Jun Wei,Hua Zhong.,Parallel Materialization of Datalog Programs with Spark for Scalable Reasoning,17th International Conference on Web Information System Engineering (WISE 2016),11.8-11.10,"Shanghai, China",CORE A
  43. Chen Zhang,Hao Wang,Wei Wang,Cuixia Ma,Jingjing Li,Yibo Wang,Fanjiang Xu,EventPanorama: A Framework for Event Detection and Visualization from Online News,49th Hawaii International Conference on System Sciences (HICSS 2016),Jan 5 - Jan 8,"Koloa, HI, USA",core a
  44. Wenjing Ma,Liangliang Cao,Lei Yu,Guoping Long,Yucheng Li,GPU-FV: Realtime Fisher Vector and Its Applications in Video Monitoring,ACM International Conference on Multimedia Retrieval (ICMR '16),6.6-6.9,"New York, New York, USA",CCF B
  45. Siqi Deng,Kan Gao,Changying Du,Wenjing Ma,Guoping Long,Yucheng Li,Online Variational Bayesian Support Vector Regression,International Joint Conference on Neural Networks (IJCNN 2016),7.24-7.29,"Vancouver, BC, Canada",CORE A
  46. Danli Wang,Lan Zhang,Chao Xu,Haichen Hu ,Yunfeng Qi,A Tangible Embedded Programming System to Convey Event-Handling Concept,"10th International Conference on Tangible, Embedded, and Embodied Interaction (TEI 2016)",2.14-17,"Eindhoven, Netherlands",CORE A
  47. Yan Sun,Qing Wang,Mingshu Li,Understanding the Contribution of Non-source Documents in Improving Missing Link Recovery: An Empirical Study,10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM'16),September 8-9,"Ciudad Real, Spain",CCF B
  48. Junjie Wang,Qian Cui,Qing Wang,Song Wang,Towards Effectively Test Report Classification to Assist Crowdsourced Testing,10th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM'16),September 8-9,"Ciudad Real, Spain",CCF B
  49. Hong Wu,Lin Shi,Celia Chen,Qing Wang,Barry Boehm,Maintenance Effort Estimation for Open Source Software: A Systematic Literature Review,IEEE International Conference on Software Maintenance and Evolution(ICSME 2016),10.2-10.7,"Raleigh,NC,USA",CCF B
  50. Li Lin,Wenling Wu,Yafei Zheng,Automatic Search for Key-Bridging Technique: Applications to LBlock and TWINE,23rd International Conference on Fast Software Encryption (FSE 2016),March 20-23,"Bochum, Germany",CCF B
  51. Qiao Sun,Chao Yang,Changmao Wu,Leisheng Li,Fangfang Liu,Fast Parallel Stream Compaction for IA-Based Multi/many-core Processors,"16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing (CCGrid 2016)",5.16-19,"Cartagena, Colombia",Core A
  52. Jingheng Xu,Haohuan Fu,Lin Gan,Chao Yang,Wei Xue,Shizhen Xu,Wenlai Zhao,Xinliang Wang,Bingwei Chen,Guangwen Yang,Generalized GPU Acceleration for Applications Employing Finite-Volume Methods,"16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing (CCGrid 2016)",5.16-19,"Cartagena, Colombia",Core A
  53. Haohuan Fu,Jingheng Xu,Lin Gan,Chao Yang,Wei Xue,Wenlai Zhao,Wen Shi, Xinliang Wang, Guangwen Yang,Unleashing the Performance Potential of CPU-GPU Platforms for the 3D Atmospheric Euler Solver ,"IEEE 27th International Conference on Application-specific Systems, Architectures and Processors (ASAP 2016)",7.6-8,"London, UK",Core A
  54. Chao Yang,Wei Xue,Haohuan Fu,Hongtao You,Xinliang Wang,Yulong Ao,Fangfang Liu,Lin Gan,Ping Xu,Lanning Wang,Guangwen Yang,Weimin Zheng ,10M-Core Scalable Fully-Implicit Solver for Nonhydrostatic Atmospheric Dynamics ,"International Conference for High Performance Computing, Networking, Storage and Analysis (SC 2016)",11.13-18,"Salt Lake City, Utah, USA",core a
  55. Fusang Zhang,Beihong Jin,Tingjian Ge,Qiang Ji,Yanling Cui,Who are My Familiar Strangers? Revealing Hidden Friend Relations and Common Interests from Smart Card Data,25th ACM International Conference on Information and Knowledge Management (CIKM 2016),October 24-28,"Indianapolis, IN, USA",ccf b
  56. Xiang Hu ,Li Jiao,Modelling and Performance Analysis of IEEE 802.11e EDCA,30th Annual European Simulation and Modelling Conference(ESM 2016),10.26-10.28,"Las Palmas Gran Canaria, Spain",CORE B
  57. Peng Zou,Hui Li,Chunlin Xin,Wencheng Wang,Binhai Zhu,Finding disjoint dense clubs in an undirected graph,10th International Frontiers of Algorithmics Workshop (FAW16),6.30-7.2,"Qingdao, China",core b
  58. Chao Wang,Yi Lv,Peng Wu,Bounded TSO-to-SC Linearizability is Decidable,42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM16),1.23-28,"Harrachov, Czech Republic",CORE B
  59. Qiong Lu,Tianyong Wu,Jiwei Yan,Jun Yan,Feifei Ma,Fan Zhang,Lightweight Method-Level Energy Consumption Estimation for Android Applications,10th International Symposium on Theoretical Aspects of Software Engineering (TASE16),7.17-7.19,"Shanghai, China",ccf c
  60. Hai Liu,Feifei Ma,Jian Zhang,Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic,Pacific Rim International Conference on Artificial Intelligence (PRICAI),8.22-8.26,"Phuket, Thailand",ccf c
  61. Xingming Wu,Zhenbo Xu,Dong Yan,Tianyong Wu,Jun Yan,Jian Zhang,"The Floating-point Extension of Symbolic Execution Engine for Bug Detection",23rd Asia-Pacific on Asia-Pacific Software Engineering Conference (APSEC16),12.6-12.9,"Hamilton, New Zealand",ccf c
  62. Yong Li,Lei Song,Yuan Feng,Lijun Zhang,Verify LTL with Fairness Assumptions Efficiently,23rd International Symposium on Temporal Representation and Reasoning (TIME16),10.17-10.19,"Copenhagen,Denmark",CORE B
  63. Zhaowei Xu,Wenhui Zhang,Yuefei Sui,"Completeness of Hoare Logic Relative to the Standard Model",The 43rd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM17),1.16-1.20,"Lero–Limerick, Ireland ",core b
  64. Yeting?Li,Xiaolan?Zhang,Feifei?Peng,Haiming?Chen,Practical Study of Subclasses of Regular Expressions in DTD and XML Schema,18th Asia-Pacific Web Conference (APWeb16),9.23-9.25,"Suzhou, China",ccf c
  65. Shichao Liu,Ying Jiang,Value-Passing CCS for Trees: A Theory for Concurrent Systems,10th International Symposium on Theoretical Aspects of Software Engineering (TASE16),7.17-7.19,"Shanghai, China",ccf c
  66. Haijiang Wu,Jie Liu,Tao Wang,Dan Ye,Jun Wei,Hua Zhong,Plogs: Materializing Datalog Programs with MapReduce for Scalable Reasoning,13th IEEE International Conference on Ubiquitous Intelligence and Computing (UIC),2016.7.18-7.21,"Toulouse, France",CCF C
  67. Hong Wu,Junjie Wang,Qing Wang,Lin Shi,Feng Yuan,Stage-oriented Analysis on Factors Impacting Bug Fixing Time,28th International Conference on Software Engineering and Knowledge Engineering?(SEKE16),1.1-1.3,"Redwood.San Francico,USA",CCF C
  68. Yanfeng Wang ,Wenling Wu,New Observations on Piccolo Block Cipher,The Cryptographers' Track at the RSA Conference #2.29-3.4,"San Francisco, CA, USA",CCF C
  69. Jingheng Xu,Haohuan Fu,Lin Gan,Chao Yang,Wei Xue,Guangwen Yang,Accelerating the 3D euler atmospheric solver through heterogeneous CPU-GPU platforms,ACM International Conference on Computing Frontiers (CF16),5.16-5.18,"Como, Italy",CCF C
  70. Changmao Wu,Fangfang Liu,Chao Yang,Ligang Li,Haitao Zhao,Yutong Lu,Leisheng Li,Yunfei Du ,Accelerating the Simulation of Thermal Convection in the Earth’s Outer Core on Tianhe-2 ,22nd International Conference on Parallel and Distributed Systems (ICPADS16),12.13-12.16,Wuhan,China,CCF C
  71. Zhejun Zheng,Beihong Jin,Yanling Cui,Qiang Ji,Detecting Live Events by Mining Textual and Spatial-Temporal Features from Microblogs,17th International Conference on Web-Age Information Management (WAIM16),6.3-6.5,"Nanchang, China",CCF C
  72. Beihong Jin,Yanling Cui,Fusang Zhang,Fusing Static and Roving Sensor Data for Detecting Highway Traffic Conditions in Real Time,"40th IEEE Computer Society International Conference on Computers, Software &Applications(COMPSAC16)",6.10-6.14,"Atlanta, GA,USA",CCF C
  73. Zhaoyang Wang,Beihong Jin,Fusang Zhang,Ruiyang Yang,Qiang Ji,Discovering Trip Patterns from Incomplete Passenger Trajectories for Inter-zonal Bus Line Planning,13th IFIP WG 10.3 International Conference on Network and Parallel Computing (NPC16),10.28-10.29,"Xi'an, China",ccf c
  74. Fusang Zhang,Beihong Jin,Hai Liu,Yiu-Wing Leung,Xiaowen Chu,Minimum-Cost Recruitment of Mobile Crowdsensing in Cellular Networks,2016 IEEE Global Communications Conference (GLOBECOM16),12.4-12.8,"Washington DC, USA",ccf c
  75. Zhenyue Long,Yu Zhang,Checking Linearizability with Fine-Grained Traces,31st ACM/SIGAPP Symposium on Applied Computing (SAC16),4.4-4.8,"Pisa,?Italy",ccf c
  76. Tian-Chen X,En-Hua Wu,View-space Meta-ball Approximation by Depth-independent Accumulative Fields,SIGGRAPH ASIA16 Technical Briefs (SA16),12.5-12.8,"Macao, China",
  77. Zhilin Wu,Semipositivity in Separation Logic with Two Variables,"2nd Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA16)",11.9-11.11,"Beijing, China",regular
  78. Ting Gan,Mingshuai Chen,Yangjia Li,Bican Xia,Naijun Zhan,Computing reachable sets of linear vector fields revisited,2016 European Control Conference (ECC16),6.9-71.,"Aalborg, Denmark",long
  79. Mingshuai Chen,Anders P.Ravn,Shuling Wang,Mengfei Yang,Naijun Zhan,A two-way path between formal and informal design of embedded systems,6th International Symposium on Unifying Theories of Programming (UTP16),6.4-6.5,"Reykjavik, Iceland",long
  80. Tianyong Wu,Jierui Liu,Xi Deng,Jun Yan,Jian Zhang,Relda2: an effective static analysis tool for resource leak detection in Android apps,Automated Software Engineering (ASE16),9.3-9.7,Singapore,tool
  81. Yong Li,Wanwei Liu,Andrea Turrini,Ernst Moritz Hahn,Lijun Zhang,An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties,"2nd Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA16)",11.9-11.11,"Beijing, China",regular
  82. Vahid?Hashemi,Holger?Hermanns,Lei?Song,K.?Subramani,Andrea?Turrini,Piotr?Wojciechowski,Compositional Bisimulation Minimization for Interval Markov Decision Processes,10th International Conference on Language and Automata Theory and Applications (LATA16),3.14-3.18,"Prague, Czech Republic",regular
  83. Ernst?Moritz?Hahn,Vahid?Hashemi,Holger?Hermanns,Andrea?Turrini,Exploiting Robust Optimization for Interval Probabilistic Bisimulation,13th International Conference on Quantitative Evaluation of Systems (QEST16),8.23-8.25,"Quebec City, Canada ",regular
  84. George Barmpalias,Andy Lewis-Pye,A note on the differences of computably enumerable reals,"Festschrift volume for Downey's 60th birthday. Springer LNCS series, 2016",12.1,
  85. Cui-Xia?Ma,Yang Guo,Hongan Wang,VideoMap:An Interactive and Scalable Visualization for Exploring Video Content,The 4th international conference on Computational Visual Media,4.6-4.8,"Cardiff University, UK",
  86. Yineng Chen,Xiaojun Su,Feng Tian,Jin Huang,Xiaolong (Luke) Zhang,Guozhong Dai,Hongan Wang,Pactolus: A Method for Mid-Air Gesture Segmentation within EMG,2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA16),5.7-5.12,"Santa Clara, California, USA",short
  87. Xiaojun Bi,Lu Xiao,Feng Tian,Xianghua (Sharon) Ding,Yong Ming Kow,Chinese CHI 2016 Symposium,2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA16),5.7-5.12,"Santa Clara, California, USA",short
  88. Xinpan Yang,Danli Wang,Haichen Hu,Yue Kang,Visual Fatigue Assessment and Modeling Based on ECG and EOG Caused by 2D and 3D Displays,Journal of the Society for Information Display,5.25,"?San Francisco, CA, USA",poster
  89. Bing Su,?Jiahuan Zhou,Xiaoqing Ding,Hao Wang,Ying WU,Hierarchical Dynamic Parsing and Encoding for Action Recognition,14th European Conference on Computer Vision (ECCV2016),10.11-10.14,"Amsterdam, The Netherlands",poster
  90. Hongyin Tang,Guoquan Wu,Jun Wei,Hua Zhong,Generating Test Cases to Expose Concurrency Bugs in Android Applications,31st IEEE/ACM International Conference on Automated Software Engineering (ASE2016),9.3-9.7,Singapore,short
  91. Genqiang Wu,Yeping He,Jingzheng Wu,Xianyao Xia,Inherit Differential Privacy in Distributed Setting: Multiparty Randomized Function Computation,2016 IEEE TrustCom/BigDataSE/ISPA,8.23-8.26,"Tianjin, China",regular
  92. Bo Yang,Yu Qin,Yingjun Zhang,Weijin Wang,Dengguo Feng,TMSUI: A Trust Management Scheme of USB Storage Devices for Industrial Control Systems ,17th International Conference on Information and Communications Security (ICICS15),12.9-12.11,"Beijing, China",ccf c
  93. Bo Yang,Kang Yang,Zhenfeng Zhang,Yu Qin,Dengguo Feng,"AEP-M: Practical Anonymous E-Payment for Mobile Devices Using ARM TrustZone and Divisible E-Cash",19th International Conference on Information Security (ISC16),9.3-9.6,"Honolulu, HI, USA",ccf c
  94. Weijin Wang ,Yu Qin,Bo Yang,Yingjun Zhang,Dengguo Feng,"Automated Security Proof of Cryptographic Support Commands in TPM 2.0",18th International Conference on Information and Communications Security (ICICS16),11.29-12.2,Singapore,ccf c
  95. Bin Zhang,Lin Jiao,Mingsheng Wang,Faster Algorithms for Solving LPN,the 35th Annual International Conference on Advances in Cryptology ( EUROCRYPT 2016),5.8-5.12,"Vienna, Austria",ccf a
  96. Li Lin,Wenling Wu,Yafei Zheng,Automatic Search for Key-Bridging Technique: Applications to LBlock and TWINE,the 23rd International Conference on Fast Software Encryption(FSE 2016),3.20-3.23,"Bochum, Germany.",ccf b
  97. Huiling Zhang,Wenling Wu,Structural Evaluation for Simon-Like Designs Against Integral Attack,International Conference on Information Security Practice and Experience(ISPEC 2016),11.16-11.18,Zhang Jiajie,China,core b
  98. Zhenfeng Zhang,Kang Yang,Xuexian Hu,Yuchen Wang,Practical Anonymous Password Authentication and TLS with Anonymous Client Authentication ,ACM Conference on Computer and Communications Security(ACM CCS 2016),10.24-10.28,"Vienna, Austria",ccf a
  99. Xinyu Li,Jing Xu,Zhenfeng Zhang,Dengguo Feng,Honggang Hu,Multiple Handshakes Security of TLS 1.3 Candidates,2016 IEEE Symposium on Security and Privacy(S&P),5.23-5.25,"San Jose, California",ccf a
  100. Nafei Zhu,Min Zhang,Dengguo Feng,On the Application of Ontology to Privacy Protection,2016 2nd IEEE International conference on computer and communications(ICCC 2016),10.14-10.17,"Chengdu,China",


2016年 2015年 2014年 2013年 2012年 2011年 2010年 2009年 2008年 往年技术报告
  1. ISCAS-SKLCS-1601 Decomposable Relaxation for Concurrent Data Structures Chao Wang, Yi Lv, and Peng Wu
  2. ISCAS-SKLCS-1602 Reachability Tree Representation of Unbounded Petri Nets Based on Semilinear Sets Xiong Xu, Li Jiao
  3. ISCAS-SKLCS-1603 A hybrid algorithm for multi-objective mapping and scheduling optimization of MPSoCs Rongjie Yan, Yupeng #Zhou, Yige Yan, Minghao Yin Min Yu, Feifei Ma, Kai Huang
  4. ISCAS-SKLCS-1604 A Three-Layered Formal MPSoC System Model with Realizability Analysis Rongjie Yan, Kai Huang, Xiaomeng Zhang
  5. ISCAS-SKLCS-1605 A Fully Abstract Semantics for
  6. Value-passing CCS for Trees Shichao Liu, Thomas Ehrhard, Ying Jiang
  7. ISCAS-SKLCS-1606 Automatic localization of linearizability faults Yang Chen, Yu Zhang, Zhenya Zhang
  8. ISCAS-SKLCS-1607 软件与网络安全研究综述 刘剑, 苏璞睿, 杨珉, 和亮, 张源, 朱雪阳, 林惠民




版权所有 © 中国科学院软件研究所计算机科学国家重点实验室 Powered by MediaWiki
京ICP备05046678号