| 2020 | Formal Modelling and Verification of MCAC Router Architecture in ICN. | Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu |
| 2020 | Formalization and Verification of VANET. | Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu |
| 2020 | Sentiment Analysis of Online Reviews with a Hierarchical Attention Network. | Jingren Zhou, Peiquan Jin |
| 2020 | Understanding Travel Patterns of Commuting Private Cars using Big data of Electronic Registration Identification of Vehicles. | Junchao Lv, Linjiang Zheng, Yuhui Ye, Chenglin Ye |
| 2020 | Collaborative Denoising Graph Attention Autoencoders for Social Recommendation. | Nan Mu, Daren Zha, Lin Zhao, Rui Gong |
| 2020 | A Detect-and-Modify Region-based Classifier to Defend Evasion Attacks. | Jiawei Jiang, Yongxin Zhao, Xi Wu, Genwang Gou |
| 2020 | The Prediction of Delay Time and Route Planning for Autonomous Vehicles. | Genwang Gou, Yongxin Zhao, Jiawei Jiang, Ling Shi |
| 2020 | Deep Hashing with Large Batch Training for Cross-modal Retrieval. | Xuewang Zhang, Yin Zhou |
| 2020 | Patent Technical Function-effect Representation and Mining Method. | Weidong Liu, Piying Zhang, Wenbo Qiao |
| 2020 | Cross-project Reopened Pull Request Prediction in GitHub. | Abdillah Mohamed, Li Zhang, Jing Jiang |
| 2020 | Conditional Normalizing Flow-based Generative Model for Zero-Shot Recognition. | Xinwei Zhu, Haiping Zhang, Liming Guan, Dongjin Yu, Zhongjin Li |
| 2020 | A Deep Spatio-temporal Residual Network Model for Commercial Activeness Prediction. | Ping Liang, Dongjin Yu, Xiaoxiao Sun |
| 2020 | Restaurant Failure Prediction Based on Multi-View Online Data. | Ping Liang, Dongjin Yu, Xiaoxiao Sun |
| 2020 | Threat Intelligence Relationship Extraction Based on Distant Supervision and Reinforcement Learning. | Xuren Wang, Jie Yang, Qiuyun Wang, Changxin Su |
| 2020 | Reliable Compilation Optimization Selection Based on Gate Graph Neural Network. | Jiang Wu, Jianjun Xu |
| 2020 | Identifying Security Concerns Based on a Use Case Ontology Framework. | Imano Williams, Xiaohong Yuan |
| 2020 | Modeling and Selecting Frameworks in terms of Patterns, Tactics, and System Qualities. | Michael Weiss, Hind Milhem, Stphane S. Som |
| 2020 | Detecting and Modeling Method-level Hotspots in Architecture Design Flaws. | Ran Mo, Shaozhi Wei, Ting Hu |
| 2020 | A Semantic Convolutional Auto-Encoder Model for Software Defect Prediction. | Zhihan Wang, Lu Lu |
| 2020 | Modeling HiBrinto Ontology to Develop Knowledge Management Portal for Highway Bridge Construction. | Shanmuganathan Vasanthapriyan, Banujan Kuhaneswaran |
| 2020 | Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG. | Duong Dinh Tran, Kazuhiro Ogata |
| 2020 | Using Deep Learning Classifiers to Identify Candidate Classes for Unit Testing in Object-Oriented Systems. | Wyao Matcha, Fadel Tour, Mourad Badri, Linda Badri |
| 2020 | Unit Test Effort Prioritization Using Combined Datasets and Deep Learning: A Cross-Systems Validation. | Fadel Tour, Mourad Badri |
| 2020 | Towards Fine-Grained Compiler Identification with Neural Modeling. | Borun Xie, Zhenzhou Tian, Cong Gao, Lingwei Chen |
| 2020 | Plagiarism Detection of Multi-threaded Programs using Frequent Behavioral Pattern Mining. | Qing Wang, Zhenzhou Tian, Cong Gao, Lingwei Chen |