中文 English 收藏本站
科学研究 / 学术论文 / 会议论文
当前位置： 首页  科学研究  学术论文  会议论文  Conference 2016

Conference 2016

时间：2019-07-14      分类：会议论文

    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”,*
    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”
    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”
    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”
    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”,*
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    51. Qiao Sun,Chao Yang,Changmao Wu,Leisheng Li,Fangfang Liu,Fast Parallel Stream Compaction for IA-Based Multi/many-Processors,”16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing (CCGrid 2016)”,5.16-19,”Cartagena, Colombia”
    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”
    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”
    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-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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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 “
    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”
    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”
    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”
    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”
    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”
    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”
    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 on Tianhe-2 ,22nd International Conference on Parallel and Distributed Systems (ICPADS16),12.13-12.16,Wuhan，China
    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”
    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”
    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”
    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”
    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”
    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”
    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”
    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 “
    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”
    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”
    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
    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”
    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.”
    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,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”
    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”
    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”

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