| 2026 | AAAI | PurMM: Attention-Guided Test-Time Backdoor Purification in Multimodal Large Language Models. | Wenzheng Jiang, Ke Liang, Xuankun Rong, Jingxuan Zhou, Zhengyi Zhong, Guancheng Wan, Ji Wang |
| 2026 | FASE | FDSE v2: Variable Importance Guided Hybrid Fuzzing (Competition Contribution). | Guofeng Zhang, Zhenbang Chen, Ji Wang |
| 2026 | FM | EUF-based Solving Dyck-Reachability with Applications to Static Analysis. | Yide Du, Zhenbang Chen, Kunlin Liu, Guofeng Zhang, Xudong Wang, Ke Ma, Wei Dong, Ji Wang |
| 2026 | FM | Selective Concolic Testing. | Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Jun Sun, Weijiang Hong, Yufeng Zhang, Ji Wang, Yang Liu |
| 2026 | WWW | Unveiling and Mitigating Untargeted Poisoning Attacks on Federated Knowledge Graph Embedding. | Wenzheng Jiang, Ke Liang, Wenke Huang, Xiongtao Zhang, Zhenxing Xu, Guancheng Wan, Cheston Tan, Flint Xiaofeng Fan, Ji Wang |
| 2026 | TASE | Learning-Based Quantitative Evaluation of GR(1) Temporal Properties upon Partial Data Traces. | Jianing Chen, Wanwei Liu, Ji Wang |
| 2025 | AAAI | MRBTP: Efficient Multi-Robot Behavior Tree Planning and Collaboration. | Yishuai Cai, Xinglin Chen, Zhongxuan Cai, Yunxin Mao, Minglong Li, Wenjing Yang, Ji Wang |
| 2025 | CIKM | Yes is Harder than No: A Behavioral Study of Framing Effects in Large Language Models Across Downstream Tasks. | Ziheng Zhang, Weixin Zeng, Jiuyang Tang, Ji Wang, Xiang Zhao |
| 2025 | CVPR | Unlocking Generalization Power in LiDAR Point Cloud Registration. | Zhenxuan Zeng, Qiao Wu, Xiyu Zhang, Lin Yuanbo Wu, Pei An, Jiaqi Yang, Ji Wang, Peng Wang |
| 2025 | CVPR | Unlearning through Knowledge Overwriting: Reversible Federated Unlearning via Selective Sparse Adapter. | Zhengyi Zhong, Weidong Bao, Ji Wang, Shuai Zhang, Jingxuan Zhou, Lingjuan Lyu, Wei Yang Bryan Lim |
| 2025 | ICASSP | HyperSDT: HyperNetwork Slide Decision Tree for Interpretable Tabular Learning. | Nan Hu, Xueqiong Li, Jun-Jie Huang, Zhenhua Liang, Shaowu Yang, Ji Wang |
| 2025 | ICASSP | Automated Exposure Mapping for Networked Interference. | Yunxin Mao, Haotian Wang, Yishuai Cai, Minglong Li, Ji Wang, Wenjing Yang |
| 2025 | ICASSP | Robust CLIP-Guided Deep Thinking: A Two-Stage Optimization Strategy for Enhancing Adversarial Robustness and Reliability in LVLMs. | Yize Sui, Wanrong Huang, Wenjing Yang, Chaofan Zhao, Jing Ren, Ji Wang |
| 2025 | ICASSP | KABON: Knowledge Aggregation with Vision-Language Model for Black-Box Open-Set Domain Adaptation. | Zhixin Zeng, Yusen Zhang, Ji Wang |
| 2025 | ICCV | Task-Specific Zero-Shot Quantization-Aware Training for Object Detection. | Changhao Li, Xinrui Chen, Ji Wang, Kang Zhao, Jianfei Chen |
| 2025 | ICECCS | Verifying Neural Network Controlled Systems by Combining Taylor Models and Linear Abstract Domains. | Minghao Li, Liqian Chen, Xinyu Wang, Shifu Yang, Yuan Zhou, Ji Wang |
| 2025 | ICFEM | BCCIC3: Batch Clause Construction Enhanced Generalization in IC3. | Yi Chen, Xinyi Gong, Liangze Yin, Ji Wang, Ting Wang |
| 2025 | ICFEM | Detecting Vector Container Errors in C++ Programs via Abstract Interpretation. | Siyu Liu, Liqian Chen, Guangsheng Fan, Banghu Yin, Chun Huang, Ji Wang |
| 2025 | ICFEM | Neural-Symbolic System Control Adjustment Based on Runtime Verification. | Hongxu Zhu, Wanwei Liu, Ji Wang |
| 2025 | IJCAI | BTPG: A Platform and Benchmark for Behavior Tree Planning in Everyday Service Robots. | Xinglin Chen, Yishuai Cai, Minglong Li, Yunxin Mao, Zhou Yang, Wenjing Yang, Weixia Xu, Ji Wang |
| 2025 | ICRA | HBTP: Heuristic Behavior Tree Planning with Large Language Model Reasoning. | Yishuai Cai, Xinglin Chen, Yunxin Mao, Minglong Li, Shaowu Yang, Wenjing Yang, Ji Wang |
| 2025 | IJCNN | UR4NNV: Neural Network Verification, Under-approximation Reachability Works! | Zhen Liang, Taoran Wu, Ran Zhao, Bai Xue, Ji Wang, Wenjing Yang, Shaojun Deng, Wanwei Liu |
| 2025 | IJCNN | Learning Robust Representations for Carotid Plaque Classification via Transition Matrix and Structural Similarity Regularization. | Yongrui Lv, Ran Zhou, Cong Wu, Ji Wang, Haitao Gan |
| 2025 | ICSE | EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Framework. | Ziji Wu, Yu Huang, Peishan Huang, Shanghua Wen, Minglong Li, Ji Wang |
| 2025 | SMC | Efficient Multi-Task Modeling through Automated Fusion of Trained Models. | Jingxuan Zhou, Weidong Bao, Ji Wang, Dayu Zhang, Zhengyi Zhong |
| 2025 | TrustCom | Revisiting the Byzantine Resilience of Federated Reinforcement Learning: A Distillation Perspective. | Wenzheng Jiang, Ji Wang, Zhengyi Zhong, Jiangzhou Liao, Xiaomin Zhu, Flint Xiaofeng Fan |
| 2025 | TACAS | AISE v2.0: Combining Loop Transformations - (Competition Contribution). | Yao Lin, Zhenbang Chen, Ji Wang |
| 2024 | AAAI | Scaling Few-Shot Learning for the Open World. | Zhipeng Lin, Wenjing Yang, Haotian Wang, Haoang Chi, Long Lan, Ji Wang |
| 2024 | APSEC | Sound Floating-Point Neural Network Verification with MILP. | Shifu Yang, Liqian Chen, Banghu Yin, Minghao Li, Yuan Zhou, Ji Wang |
| 2024 | FASE | FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution). | Guofeng Zhang, Ziqi Shuai, Kelin Ma, Kunlin Liu, Zhenbang Chen, Ji Wang |
| 2024 | GECCO | Hypernetwork-Based Multi-Objective Optimization with NSGA-II. | Jie He, Yaohong Zhang, Ji Wang, Xiaoqing Li, Weidong Bao |
| 2024 | ICASSP | Diversifying Cross-Domain Few-Shot Learning via Multimodal Image Editing. | Zhipeng Lin, Wenjing Yang, Long Lan, Mingyang Geng, Haotian Wang, Haoang Chi, Xueqiong Li, Ji Wang |
| 2024 | ICASSP | A Transformer-Based Network for Unifying Radio Map Estimation and Optimized Site Selection. | Yi Zheng, Cunyi Liao, Ji Wang, Shouyin Liu |
| 2024 | IJCAI | Integrating Intent Understanding and Optimal Behavior Planning for Behavior Tree Generation from Human Instructions. | Xinglin Chen, Yishuai Cai, Yunxin Mao, Minglong Li, Wenjing Yang, Weixia Xu, Ji Wang |
| 2024 | IJCNN | Contrastive pre-training of Soft-Clustering GCN for diagnosing Alzheimer's disease. | Sihui Ge, Zhi Yang, Haitao Gan, Zhongwei Huang, Ran Zhou, Ji Wang |
| 2024 | ISSTA | Synthesizing Boxes Preconditions for Deep Neural Networks. | Zengyu Liu, Liqian Chen, Wanwei Liu, Ji Wang |
| 2023 | AISTATS | Scalable Spectral Clustering with Group Fairness Constraints. | Ji Wang, Ding Lu, Ian Davidson, Zhaojun Bai |
| 2023 | APSEC | Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution. | Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Hengbiao Yu, Ji Wang |
| 2023 | ATVA | An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks. | Ye Tao, Wanwei Liu, Fu Song, Zhen Liang, Ji Wang, Hongxu Zhu |
| 2023 | GLOBECOM | Weighted Sum Power Maximization for STAR-RIS Assisted SWIPT Systems. | Yixuan Li, Ji Wang, Yuanwei Liu, Wenwu Xie, Jun Wang |
| 2023 | GLOBECOM | Multi-Task Learning Based Channel Estimation for Hybrid-Field STAR-RIS Systems. | Jian Xiao, Ji Wang, Yuanwei Liu, Wenwu Xie, Jun Wang, Shouyin Liu |
| 2023 | ICONIP | MView-DTI: A Multi-view Feature Fusion-Based Approach for Drug-Target Protein Interaction Prediction. | Jiahui Wen, Haitao Gan, Zhi Yang, Ming Shi, Ji Wang |
| 2023 | ISSTA | Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning. | Shiwen Yu, Ting Wang, Ji Wang |
| 2023 | QRS | CSP based Formal Modeling and Verification of Behavior Trees. | Peishan Huang, Weijiang Hong, Zhenbang Chen, Ji Wang |
| 2023 | QRS | Input Validation for Neural Networks via Local Robustness Verification. | Jiangchao Liu, Liqian Chen, Antoine Min, Hengbiao Yu, Ji Wang |
| 2023 | WCNC | Secrecy Wireless Information and Power Transfer in Ultra-Dense Cloud-RAN with Wireless Fronthaul. | Ji Wang, Xinxin Ma, Le Zheng, Kai Yang, Zhao Chen, Qiaoqiao Xia |
| 2023 | WCNC | Multi-Scale Supervised Learning-Based Channel Estimation for RIS-Aided Communication Systems. | Jian Xiao, Ji Wang, Wenwu Xie, Xinhua Wang, Chaowei Wang, Hongbo Xu |
| 2023 | SIGIR | Personalized Federated Relation Classification over Heterogeneous Texts. | Ning Pang, Xiang Zhao, Weixin Zeng, Ji Wang, Weidong Xiao |
| 2023 | SETTA | Formal Verification Based Synthesis for Behavior Trees. | Weijiang Hong, Zhenbang Chen, Minglong Li, Yuhan Li, Peishan Huang, Ji Wang |
| 2023 | SETTA | An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. | Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang |
| 2023 | TASE | Safety Verification for Neural Networks Based on Set-Boundary Analysis. | Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue |
| 2022 | APSEC | NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs. | Chenghu Ma, Liqian Chen, Xin Yi, Guangsheng Fan, Ji Wang |
| 2022 | APSEC | Synergizing Symbolic Execution and Fuzzing By Function-level Selective Symbolization. | Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Ji Wang |
| 2022 | FASE | Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing. | Liqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei, Ji Wang |
| 2022 | IJCAI | A Digital Gaming Intervention Combing Multitasking and Alternating Attention for ADHD: A Preliminary Study. | Jiaheng Wang, Mengyi Bao, Wenyu Li, Ji Wang, Kewen Jiang, Lin Yao, Yueming Wang |
| 2022 | ICSE | Multi-Intention-Aware Configuration Selection for Performance Tuning. | Haochen He, Zhouyang Jia, Shanshan Li, Yue Yu, Chenglong Zhou, Qing Liao, Ji Wang, Xiangke Liao |
| 2022 | ICTAI | Imitation Learning-Based Drone Motion Planning in Dense Obstacle Scenarios. | Ji Wang, Ziyue Hou, Longyuan Zhang, Wei Li, Zhongxue Gan |
| 2022 | MMSP | A low-power water quality monitoring system and prediction model. | Yangde Li, Zaimi Xie, Chunmei Mo, Yuge Chen, Ji Wang |
| 2022 | TASE | Collaborative Verification of Uninterpreted Programs. | Yide Du, Weijiang Hong, Zhenbang Chen, Ji Wang |
| 2021 | AAAI | Dec-SGTS: Decentralized Sub-Goal Tree Search for Multi-Agent Coordination. | Minglong Li, Zhongxuan Cai, Wenjing Yang, Lixia Wu, Yinghui Xu, Ji Wang |
| 2021 | ACL | Gaussian Process based Deep Dyna-Q approach for Dialogue Policy Learning. | Guanlin Wu, Wenqi Fang, Ji Wang, Jiang Cao, Weidong Bao, Yang Ping, Xiaomin Zhu, Zheng Wang |
| 2021 | CP | Making Rigorous Linear Programming Practical for Program Analysis. | Tengbin Wang, Liqian Chen, Taoqing Chen, Guangsheng Fan, Ji Wang |
| 2021 | FM | Trace Abstraction-Based Verification for Uninterpreted Programs. | Weijiang Hong, Zhenbang Chen, Yide Du, Ji Wang |
| 2021 | IJCNN | Dynamic Scene Deblurring Using Enhanced Feature Fusion and Multi - Distillation Mechanism. | Qianyi Zhang, Zhixin Zeng, Yiming Liu, Kang Tang, Ji Wang |
| 2021 | ICSE | DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures. | Zhouyang Jia, Shanshan Li, Tingting Yu, Chen Zeng, Erci Xu, Xiaodong Liu, Ji Wang, Xiangke Liao |
| 2021 | ISSRE | Static Bound Analysis of Dynamically Allocated Resources for C Programs. | Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang |
| 2021 | ISSTA | Synthesize solving strategy for symbolic execution. | Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang |
| 2021 | ISSTA | Challenges and opportunities: an in-depth empirical study on configuration error injection testing. | Wang Li, Zhouyang Jia, Shanshan Li, Yuanliang Zhang, Teng Wang, Erci Xu, Ji Wang, Xiangke Liao |
| 2021 | ISSTA | Grammar-agnostic symbolic execution by token symbolization. | Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang |
| 2021 | ISSTA | Type and interval aware array constraint solving for symbolic execution. | Ziqi Shuai, Zhenbang Chen, Yufeng Zhang, Jun Sun, Ji Wang |
| 2021 | TASE | An Abstract Domain to Infer Linear Absolute Value Equalities. | Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang |
| 2020 | CIS | Unsupervised learning based target localization method for pantograph video. | Rui Sun, Liming Li, Xingjie Chen, Ji Wang, Xiao-dong Chai, Shubin Zheng |
| 2020 | IJCAI | Learning with Noise: Improving Distantly-Supervised Fine-grained Entity Typing via Automatic Relabeling. | Haoyu Zhang, Dingkun Long, Guangwei Xu, Muhua Zhu, Pengjun Xie, Fei Huang, Ji Wang |
| 2020 | ICPR | Progressive Unsupervised Domain Adaptation for Image-based Person Re-Identification. | Mingliang Yang, Jing Zhao, Da Huang, Ji Wang |
| 2020 | IJCNN | Visual Relational Reasoning for Image Caption. | Haolei Pei, Qiaohong Chen, Ji Wang, Qi Sun, Yubo Jia |
| 2020 | IJCNN | Dynamic Global-Local Attention Network Based On Capsules for Text Classification. | Ji Wang, Qiaohong Chen, Haolei Pei, Qi Sun, Yubo Jia |
| 2020 | ICSE | MPI-SV: a symbolic verifier for MPI programs. | Zhenbang Chen, Hengbiao Yu, Xianjin Fu, Ji Wang |
| 2020 | ICSE | Symbolic verification of message passing interface programs. | Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong |
| 2020 | SMC | Benign: An Automatic Optimization Framework for the Logic of Swarm Behaviors. | Jingjing Tao, Xiaomin Zhu, Li Ma, Meng Wu, Weidong Bao, Ji Wang |
| 2020 | WCNC | SEdroid: A Robust Android Malware Detector using Selective Ensemble Learning. | Ji Wang, Qi Jing, Jianbo Gao, Xuanwei Qiu |
| 2020 | SETTA | Symbolic Verification of MPI Programs with Non-deterministic Synchronizations. | Hengbiao Yu, Zhenbang Chen, Chun Huang, Ji Wang |
| 2019 | AAAI | Private Model Compression via Knowledge Distillation. | Ji Wang, Weidong Bao, Lichao Sun, Xiaomin Zhu, Bokai Cao, Philip S. Yu |
| 2019 | ACL | Complex Question Decomposition for Semantic Parsing. | Haoyu Zhang, Jingjing Cai, Jianjun Xu, Ji Wang |
| 2019 | CoNLL | Pretraining-Based Natural Language Generation for Text Summarization. | Haoyu Zhang, Jingjing Cai, Jianjun Xu, Ji Wang |
| 2019 | CVPR | Towards Accurate One-Stage Object Detection With AP-Loss. | Kean Chen, Jianguo Li, Weiyao Lin, John See, Ji Wang, Lingyu Duan, Zhibo Chen, Changwei He, Junni Zou |
| 2019 | GLOBECOM | Subchannel Assignment and Power Allocation for NOMA in Spatial Modulation Systems. | Ji Wang, Yuanwei Liu, Zhijin Qin, Zhao Chen, Yingzhuang Liu |
| 2019 | IJCAI | Integrating Decision Sharing with Prediction in Decentralized Planning for Multi-Agent Coordination under Uncertainty. | Minglong Li, Wenjing Yang, Zhongxuan Cai, Shaowu Yang, Ji Wang |
| 2019 | ICSE | Parallel refinement for multi-threaded program verification. | Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang |
| 2019 | SAS | Verifying Numerical Programs via Iterative Abstract Testing. | Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot |
| 2018 | ICA3PP | A Parallel Fast Fourier Transform Algorithm for Large-Scale Signal Data Using Apache Spark in Cloud. | Cheng Yang, Weidong Bao, Xiaomin Zhu, Ji Wang, Wenhua Xiao |
| 2018 | ICDCS | Deep Learning towards Mobile Applications. | Ji Wang, Bokai Cao, Philip S. Yu, Lichao Sun, Weidong Bao, Xiaomin Zhu |
| 2018 | ICDM | Layerwise Perturbation-Based Adversarial Training for Hard Drive Health Degree Prediction. | Jianguo Zhang, Ji Wang, Lifang He, Zhao Li, Philip S. Yu |
| 2018 | ICSE | Symbolic verification of regular properties. | Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong |
| 2018 | ISIT | Non-Orthogonal Training Sequence Design in Two-Cell Interference Networks Based on an Extended Welch Bound. | Ji Wang, Jun Sun, Weimin Wu, Yingzhuang Liu, Xiaodong Wang |
| 2018 | ISPA | Joint Optimization of Stateful VNF Placement and Routing Scheduling in Software-Defined Networks. | Jiugen Shi, Ji Wang, Huawei Huang, Lulu Shen, Jin Zhang, Hao Xu |
| 2018 | KDD | Not Just Privacy: Improving Performance of Private Deep Learning in Mobile Cloud. | Ji Wang, Jianguo Zhang, Weidong Bao, Xiaomin Zhu, Bokai Cao, Philip S. Yu |
| 2018 | TACAS | YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement - (Competition Contribution). | Liangze Yin, Wei Dong, Wanwei Liu, Yunchou Li, Ji Wang |
| 2017 | ICDCS | A Lightweight Recommendation Framework for Mobile User's Link Selection in Dense Network. | Ji Wang, Xiaomin Zhu, Weidong Bao, Guanlin Wu |
| 2017 | MOBICOM | Implicit Cooperative Caching based on Information Popularity for Vehicular Networks. | Yuhong Li, Ji Wang, Anders Lindgren, Xiang Su, Jukka Riekki |
| 2017 | VTC | Coordinated DPC-Based Precoding Design for Energy Efficiency Optimization in Downlink Multi-Cell MIMO Systems. | Ji Wang, Xin Gui, Weimin Wu, Yingzhuang Liu |
| 2017 | SIGMOD | BLOCKBENCH: A Framework for Analyzing Private Blockchains. | Tien Tuan Anh Dinh, Ji Wang, Gang Chen, Rui Liu, Beng Chin Ooi, Kian-Lee Tan |
| 2017 | VMCAI | Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT. | Jiahong Jiang, Liqian Chen, Xueguang Wu, Ji Wang |
| 2016 | CISS | Adaptive decision fusion using genetic algorithm. | Ji Wang, Sayandeep Acharya, Moshe Kam |
| 2015 | IJCAI | A Simple Probabilistic Extension of Modal Mu-calculus. | Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang |
| 2015 | IJCNN | Threshold optimization of pseudo-inverse linear discriminants based on overall accuracies. | Tian Tian, Ji Wang, Daqi Gao |
| 2015 | ICSE | Poster: Symbolic Execution of MPI Programs. | Xianjin Fu, Zhenbang Chen, Hengbiao Yu, Chun Huang, Wei Dong, Ji Wang |
| 2015 | ICSE | Regular Property Guided Dynamic Symbolic Execution. | Yufeng Zhang, Zhenbang Chen, Ji Wang, Wei Dong, Zhiming Liu |
| 2015 | ICSE | Poster: Segmentation Based Online Performance Problem Diagnosis. | Jingwen Zhou, Zhenbang Chen, Ji Wang |
| 2014 | APSEC | Synchronization Error Detection of MPI Programs by Symbolic Execution. | Xianjin Fu, Zhenbang Chen, Chun Huang, Wei Dong, Ji Wang |
| 2014 | CHI | Towards crowd-based customer service: a mixed-initiative tool for managing Q&A sites. | Tiziano Piccardi, Gregorio Convertino, Massimo Zancanaro, Ji Wang, Cdric Archambeau |
| 2014 | CloudCom | Trace Bench: An Open Data Set for Trace-Oriented Monitoring. | Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Michael R. Lyu |
| 2014 | FUSION | Distributed decision fusion using the Neyman-Pearson criterion. | Sayandeep Acharya, Ji Wang, Moshe Kam |
| 2014 | FUSION | Decision fusion for parallel sequential sensors. | Ji Wang, Pramod Abichandani, Moshe Kam |
| 2014 | ICPP | Analysis and Design of Fault-Tolerant Scheduling for Real-Time Tasks on Earth-Observation Satellites. | Xiaomin Zhu, Jianjiang Wang, Ji Wang, Xiao Qin |
| 2014 | ISSRE | A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems. | Jingwen Zhou, Zhenbang Chen, Ji Wang, Zibin Zheng, Wei Dong |
| 2014 | PPSN | Power Distribution Network Reconfiguration by Evolutionary Integer Programming. | Kaifeng Yang, Michael T. M. Emmerich, Rui Li, Ji Wang, Thomas Bck |
| 2014 | SAS | An Abstract Domain to Infer Octagonal Constraints with Absolute Value. | Liqian Chen, Jiangchao Liu, Antoine Min, Deepak Kapur, Ji Wang |
| 2013 | CHI | Fisheye word cloud for temporal sentiment exploration. | Ji Wang, Kyle D. Dent, Chris North |
| 2013 | HPCC | Real-Time Fault-Tolerant Scheduling Based on Primary-Backup Approach in Virtualized Clouds. | Ji Wang, Xiaomin Zhu, Weidong Bao |
| 2013 | ICTAC | Counterexample-Preserving Reduction for Symbolic Model Checking. | Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao |
| 2013 | SAC | Static analysis of list-manipulating programs via bit-vectors and numerical abstractions. | Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang |
| 2012 | APSEC | Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs. | Longming Dong, Ji Wang, Liqian Chen |
| 2012 | ICPADS | Online Optimization of VM Deployment in IaaS Cloud. | Pei Fan, Zhenbang Chen, Ji Wang, Zibin Zheng |
| 2012 | ISSRE | Speculative Symbolic Execution. | Yufeng Zhang, Zhenbang Chen, Ji Wang |
| 2011 | DSN | The First International Workshop on Dependability of Clouds, data centers and Virtual Computing Environments. | Jogesh K. Muppala, Matti A. Hiltunen, Robert J. Stroud, Ji Wang |
| 2011 | DSN | The first international workshop on dependability of clouds, data centers and virtual computing environments: DCDV 2011. | Jogesh K. Muppala, Matti A. Hiltunen, Robert J. Stroud, Ji Wang |
| 2011 | ESOP | Linear Absolute Value Relation Analysis. | Liqian Chen, Antoine Min, Ji Wang, Patrick Cousot |
| 2011 | FM | Failure-Divergence Refinement of Compensating Communicating Processes. | Zhenbang Chen, Zhiming Liu, Ji Wang |
| 2011 | IJCAI | A Wikipedia Based Semantic Graph Model for Topic Tracking in Blogsphere. | Jintao Tang, Ting Wang, Qin Lu, Ji Wang, Wenjie Li |
| 2011 | VTC | Multi-Cell Collaborative Transmission Combining Closed-Loop and Open-Loop Techniques. | Ji Wang, Lihua Li, Lei Song, Hualei Wang, Qi Sun, Wanlu Sun |
| 2011 | VTC | A Transmit Precoding Scheme for Downlink Multiuser MIMO Systems. | Hualei Wang, Lihua Li, Ji Wang, Lei Song, Yue Ma, Zhou Zhou |
| 2011 | WWW | Using complex network features for fast clustering in the web. | Jintao Tang, Ting Wang, Ji Wang, Qin Lu, Wenjie Li |
| 2011 | SIGIR | A bipartite graph based social network splicing method for person name disambiguation. | Jintao Tang, Qin Lu, Ting Wang, Ji Wang, Wenjie Li |
| 2010 | ICPP | Towards Building Efficient Content-Based Publish/Subscribe Systems over Structured P2P Overlays. | Shengdong Zhang, Ji Wang, Rui Shen, Jie Xu |
| 2010 | VMCAI | An Abstract Domain to Discover Interval Linear Equalities. | Liqian Chen, Antoine Min, Ji Wang, Patrick Cousot |
| 2009 | ICPADS | Mobility of Internet-Based Virtual Computing Environment. | Siqi Shen, Ji Wang, Rui Shen, Shengdong Zhang, Pei Fan |
| 2009 | IGARSS | A Method of Correction for Marine Seismic Acquisition. | Ji Wang, Wen-Kai Lu |
| 2009 | KDD | Efficient social network approximate analysis on blogosphere based on network structure characteristics. | Jintao Tang, Ting Wang, Ji Wang, Dengping Wei |
| 2009 | NPC | DPM: A Demand-driven Virtual Disk Prefetch Mechanism for Mobile Personal Computing Environments. | Bin Chen, Nong Xiao, Zhiping Cai, Ji Wang |
| 2009 | SAS | Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. | Liqian Chen, Antoine Min, Ji Wang, Patrick Cousot |
| 2008 | COMPSAC | Automating Software FMEA via Formal Analysis of Dependence Relations. | Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian |
| 2008 | ICNC | The Noise Reduction of Structural Multichannel Signals Based on Independent Component Analysis. | Yan Yang, Hai-qing Yuan, Ji Wang |
| 2008 | ISoLA | Computing Must and May Alias to Detect Null Pointer Dereference. | Xiaodong Ma, Ji Wang, Wei Dong |
| 2008 | TASE | Symbolic Model Checking APSL. | Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma |
| 2007 | APSEC | Compositional Verification of UML Dynamic Models. | Wei Dong, Ji Wang, Zhichang Qi, Ni Rong |
| 2007 | ICTAC | Axiomatizing Extended Temporal Logic Fragments Via Instantiation. | Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen |
| 2007 | PAKDD | Feature Extraction and Classification of Tumor Based on Wavelet Package and Support Vector Machines. | Shulin Wang, Ji Wang, Huowang Chen, Shutao Li |
| 2007 | PRIMA | Engineering Adaptive Multi-Agent Systems with ODAM Methodology. | XinJun Mao, Jianming Zhao, Ji Wang |
| 2006 | ADMA | SVM-Based Tumor Classification with Gene Expression Data. | Shulin Wang, Ji Wang, Huowang Chen, Boyun Zhang |
| 2006 | CIS | Molecular Diagnosis of Tumor Based on Independent Component Analysis and Support Vector Machines. | Shulin Wang, Huowang Chen, Ji Wang, Dingxing Zhang, Shutao Li |
| 2006 | COMPSAC | An Interface Theory Based Approach to Verification of Web Services. | Zhenbang Chen, Ji Wang, Wei Dong, Zhichang Qi, Wing Lok Yeung |
| 2006 | ICCS | Representing Wholes by Structure. | Yang Yu, Ji Wang, Ting Wang, Huowang Chen |
| 2006 | ICFEM | Stateful Dynamic Partial-Order Reduction. | Xiaodong Yi, Ji Wang, Xuejun Yang |
| 2006 | ICSE | Automated WCET Analysis Based on Program Modes. | Mengluo Ji, Ji Wang, Shuhao Li, Zhi-Chang Qi |
| 2006 | ISDA | The Classification of Tumor Using Gene Expression Profile Based on Support Vector Machines and Factor Analysis. | Shulin Wang, Ji Wang, Huowang Chen, Wensheng Tang |
| 2006 | ISoLA | Towards a Framework for Scalable Model Checking of Concurrent C Programs. | Ji Wang, Xiaodong Yi, Xuejun Yang |
| 2006 | SEKE | The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. | XinJun Mao, Zhiming Chang, Lijun Shan, Hong Zhu, Ji Wang |
| 2005 | APSEC | Improvements Towards Formalizing UML State Diagrams in CSP. | Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong |
| 2005 | COMPSAC | Contract-Based Formal Specification of Safety Critical Systems. | Wei Dong, Ji Wang |
| 2005 | COMPSAC | Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM. | Shuhao Li, Ji Wang, Xin Wang, Zhi-Chang Qi |
| 2005 | COMPSAC | Agent Oriented Programming Based on SLABS. | Ji Wang, Rui Shen, Hong Zhu |
| 2005 | ICFEM | 2/3 Alternating Simulation Between Interface Automata. | Yanjun Wen, Ji Wang, Zhi-Chang Qi |
| 2004 | APSEC | Property-Oriented Testing of Real-Time Systems. | Shuhao Li, Ji Wang, Wei Dong, Zhichang Qi |
| 2004 | APSEC | Scenario Mechanism in Agent-Oriented Programming. | Rui Shen, Ji Wang, Hong Zhu |
| 2004 | FORTE | Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. | Xin Wang, Ji Wang, Zhi-Chang Qi |
| 2004 | ICFEM | Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. | Yanjun Wen, Ji Wang, Zhi-Chang Qi |
| 2004 | ICTAC | Reverse Observation Equivalence Between Labelled State Transition Systems. | Yanjun Wen, Ji Wang, Zhi-Chang Qi |
| 2004 | ISPA | UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software. | Jiong Yan, Ji Wang, Huowang Chen |
| 2004 | WISE | MetaData Pro: Ontology-Based Metadata Processing for Web Resources. | Ting Wang, Ji Wang, Yang Yu, Rui Shen, Jinhong Liu, Huowang Chen |
| 2002 | ICFEM | Slicing Hierarchical Automata for Model Checking UML Statecharts. | Ji Wang, Wei Dong, Zhichang Qi |
| 2001 | APSEC | Model Checking UML Statecharts. | Wei Dong, Ji Wang, Xuan Qi, Zhichang Qi |
| 2001 | APSEC | On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing. | Jinhui Shan, Ji Wang, Zhichang Qi |
| 1993 | COMPSAC | A formal technique to analyze real-time systems. | Ji Wang, Huowang Chen |