| 2026 | CAV | Deadlock Verification via Ordering-Constrained Mutex Modeling. | Pei Wang, Zhilei Han, Zhihang Sun, Fei He |
| 2026 | FM | A Refined Ordering Consistency Theory: Full Sequential Consistency and Generalized Preventive Reasoning. | Zhiheng Cai, Zhihang Sun, Fei He |
| 2026 | MSR | Combining Example-Based and Rule-Based Program Transformations to Resolve Build Conflicts. | Sheikh Shadab Towqir, Fei He, Todd Mytkowicz, Na Meng |
| 2025 | ASPLOS | Robustness Verification for Checking Crash Consistency of Non-volatile Memory. | Zhilei Han, Fei He |
| 2025 | FUSION | Game Strategies for Entanglement Paths in Quantum Network Infrastructure. | Nageswara S. V. Rao, Chris Y. T. Ma, Fei He |
| 2025 | ICASSP | Fully Connected Tensor Network based Brain Structural Feature Extraction for Early Alzheimer's Disease Detection. | Fei He, Xinyue Li, Ce Zhu, Fan Zhang, Yipeng Liu |
| 2025 | ICIG | A Novel Dual-Branch Cross-Attention Transformer Network for Low-Dose CT Denoising. | Yuqin Li, Mengcheng Huang, Xu Wang, Fei He, Zhengang Jiang |
| 2025 | MMSP | Flexibly Constrained Tucker Decomposition for High-Order Spectral Analysis. | Fei He, Houji Du, Nipon Theera-Umpon, Yipeng Liu, Ce Zhu |
| 2025 | NSDI | On Temporal Verification of Stateful P4 Programs. | Delong Zhang, Chong Ye, Fei He |
| 2024 | FUSION | ML Classifier Fusion for Three Data Streams with Quality Inversely Proportional to Time Resolution. | Nageswara S. V. Rao, Chris Y. T. Ma, Fei He |
| 2024 | ICASSP | Multi-Band Speech Tensor Decomposition for Interactive Feature Extraction in Early Dysphagia Screening. | Fei He, Yipeng Liu, Da Shen, Yangyang Jiang, Ying Li, Ce Zhu |
| 2024 | INFOCOM | P4Inv: Inferring Packet Invariants for Verification of Stateful P4 Programs. | Delong Zhang, Chong Ye, Fei He |
| 2024 | ISCAS | Epilepsy Detection with Personal Identification Based on Regularized O-minus Decomposition. | Da Shen, Zhongrong Wang, Fei He, Zhijie Sun, Ce Zhu, Yipeng Liu |
| 2024 | SIGIR | Deep Automated Mechanism Design for Integrating Ad Auction and Allocation in Feed. | Xuejian Li, Ze Wang, Bingqi Zhu, Fei He, Yongkang Wang, Xingxing Wang |
| 2023 | FUSION | Game-Theoretic Strategies for Quantum-Conventional Network Infrastructures. | Nageswara S. V. Rao, Chris Y. T. Ma, Fei He |
| 2023 | ICMLA | Deep Learning Based Forecasting of COVID-19 Hospitalisation in England: A Comparative Analysis. | Michael Ajao-Olarinoye, Vasile Palade, Seyed Mousavi, Fei He, Petra A. Wark |
| 2023 | ICONIP | Botnet Detection Method Based on NSA and DRN. | Zhanhong Yin, Renchao Qin, Chengzhuo Ye, Fei He, Lan Zhang |
| 2023 | ICSE | Data-driven Recurrent Set Learning For Non-termination Analysis. | Zhilei Han, Fei He |
| 2022 | AAAI | QueryProp: Object Query Propagation for High-Performance Video Object Detection. | Fei He, Naiyu Gao, Jian Jia, Xin Zhao, Kaiqi Huang |
| 2022 | AAAI | Learning Disentangled Attribute Representations for Robust Pedestrian Attribute Recognition. | Jian Jia, Naiyu Gao, Fei He, Xiaotang Chen, Kaiqi Huang |
| 2022 | CVPR | PanopticDepth: A Unified Framework for Depth-aware Panoptic Segmentation. | Naiyu Gao, Fei He, Jian Jia, Yanhu Shan, Haoyang Zhang, Xin Zhao, Kaiqi Huang |
| 2022 | FUSION | Classification and Fusion of Two Disparate Data Streams and Nuclear Dissolutions Application. | Nageswara S. V. Rao, Chris Y. T. Ma, Fei He |
| 2022 | ICSE | Data-Driven Loop Bound Learning for Termination Analysis. | Rongchen Xu, Jianhui Chen, Fei He |
| 2022 | PPoPP | Interference relation-guided SMT solving for multi-threaded program verification. | Hongyu Fan, Weiting Liu, Fei He |
| 2022 | SETTA | EqFix: Fixing LaTeX Equation Errors by Examples. | Fengmin Zhu, Fei He |
| 2022 | SETTA | Mastery: Shifted-Code-Aware Structured Merging. | Fengmin Zhu, Xingyu Xie, Dongyu Feng, Na Meng, Fei He |
| 2022 | TACAS | Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution). | Fei He, Zhihang Sun, Hongyu Fan |
| 2021 | FUSION | Game-Theoretic Approach for Grace-Period Policy in Supercomputers. | Fei He, Nageswara S. V. Rao, Chris Y. T. Ma |
| 2021 | PLDI | Satisfiability modulo ordering consistency theory for multi-threaded program verification. | Fei He, Zhihang Sun, Hongyu Fan |
| 2020 | AAAI | Temporal Context Enhanced Feature Aggregation for Video Object Detection. | Fei He, Naiyu Gao, Qiaozhe Li, Senyao Du, Xin Zhao, Kaiqi Huang |
| 2020 | LREC | Crowdsourcing Latin American Spanish for Low-Resource Text-to-Speech. | Adriana Guevara-Rukoz, Isin Demirsahin, Fei He, Shan-Hui Cathy Chu, Supheakmungkol Sarin, Knot Pipatsrisawat, Alexander Gutkin, Alena Butryna, Oddur Kjartansson |
| 2020 | LREC | Open-source Multi-speaker Speech Corpora for Building Gujarati, Kannada, Malayalam, Marathi, Tamil and Telugu Speech Synthesis Systems. | Fei He, Shan-Hui Cathy Chu, Oddur Kjartansson, Clara Rivera, Anna Katanova, Alexander Gutkin, Isin Demirsahin, Cibu Johny, Martin Jansche, Supheakmungkol Sarin, Knot Pipatsrisawat |
| 2020 | PLDI | Proving almost-sure termination by omega-regular decomposition. | Jianhui Chen, Fei He |
| 2019 | AMIA | An Informatics Framework for Knowledge Representation and Reconciliation of Disease Pathways. | Yulia Innokenteva, Olha Kholod, Fei He, Duolin Wang, Richard D. Hammer, Dong Xu, Dmitriy Shin |
| 2019 | FUSION | Effects of Interdependencies on Game-Theoretic Defense of Cyber-Physical Infrastructures. | Fei He, Santhosh Chandrasekar, Nageswara S. V. Rao, Chris Y. T. Ma |
| 2019 | ICDCN | Defense strategies and expected capacity of high performance computing infrastructures. | Nageswara S. V. Rao, Neena Imam, Chris Y. T. Ma, Fei He |
| 2019 | ICSE | Enhancing precision of structured merge by proper tree matching. | Fengmin Zhu, Fei He, Qianshan Yu |
| 2018 | FUSION | A Sequential Game of Defense and Attack on an Interdependent System of Systems. | Fei He, Chiamaka Agwuegbo, Nageswara S. V. Rao, Chris Y. T. Ma |
| 2018 | FUSION | On Defense Strategies for Recursive System of Systems Using Aggregated Correlations. | Nageswara S. V. Rao, Chris Y. T. Ma, Fei He |
| 2018 | ICDCN | Defense Strategies for Multi-Site Cloud Computing Server Infrastructures. | Nageswara S. V. Rao, Chris Y. T. Ma, Fei He |
| 2018 | SIGMOD | Cohort Analysis with Ease. | Zhongle Xie, Qingchao Cai, Fei He, Gene Yan Ooi, Weilong Huang, Beng Chin Ooi |
| 2017 | COMPSAC | Assertion Recommendation for Formal Program Verification. | Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun |
| 2017 | FUSION | Game-theoretic analysis of system of systems with inherent robustness parameters. | Fei He, Nageswara S. V. Rao, Chris Y. T. Ma |
| 2017 | FUSION | Game-theoretic strategies for asymmetric networked systems. | Nageswara S. V. Rao, Chris Y. T. Ma, Kjell Hausken, Fei He, David K. Y. Yau, Jun Zhuang |
| 2017 | ICSE | PSpec: a formal specification language for fine-grained control on distributed data analytics. | Chen Luo, Fei He, Dong Yan, Dan Zhang, Xin Zhou, Bow-Yaw Wang |
| 2017 | WSC | Computing worst-case expectations given marginals via simulation. | Jose H. Blanchet, Fei He, Henry Lam |
| 2016 | CAV | Learning-Based Assume-Guarantee Regression Verification. | Fei He, Shu Mao, Bow-Yaw Wang |
| 2016 | FUSION | Defense strategies for infrastructures with multiple systems of components. | Nageswara S. V. Rao, Chris Y. T. Ma, Kjell Hausken, Fei He, Jun Zhuang |
| 2016 | ICNC | An MR image segmentation algorithm based on bias field correction. | Yu Miao, Jiahai Dai, Yanfang Li, Wei He, Weili Shi, Fei He, Fei Yan, Jiashi Zhao, Zhengang Jiang, Huimiao Zhang |
| 2015 | CVPR | Query-adaptive late fusion for image search and person re-identification. | Liang Zheng, Shengjin Wang, Lu Tian, Fei He, Ziqiong Liu, Qi Tian |
| 2015 | FUSION | On resilience of cyber-physical infrastructures using discrete product-form games. | Nageswara S. V. Rao, Chris Y. T. Ma, Urvashi Shah, Jun Zhuang, Fei He, David K. Y. Yau |
| 2015 | ICNC | A study on CT aorta segmentation using vessel enhancement diffusion filter and region growing. | Wei He, Yanni Cao, Yanfang Li, Yu Miao, Weili Shi, Fei He, Fei Yan, Zhengang Jiang, Huimiao Zhang |
| 2015 | ICNC | Local region based active contours for colon tissue segmentation. | Wei He, Liyuan Zhang, Huamin Yang, Zhengang Jiang, Weili Shi, Yu Miao, Fei He, Fei Yan, Huimao Zhang |
| 2015 | ICNC | A hand-eye calibration method for computer assisted endoscopy. | Wei He, Kumsok Kang, Huamin Yang, Yu Miao, Weili Shi, Fei He, Fei Yan, Zhengang Jiang, Huimao Zhang |
| 2015 | INFOCOM | VeRV: A temporal and data-concerned verification framework for the vehicle bus systems. | Shuo Zhang, Fei He, Ming Gu |
| 2015 | POPL | Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems. | Fei He, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang |
| 2015 | SETTA | Inferring Software Behavioral Models with MapReduce. | Chen Luo, Fei He, Carlo Ghezzi |
| 2014 | FUSION | Cyber-physical correlations for infrastructure resilience: A game-theoretic approach. | Nageswara S. V. Rao, Chris Y. T. Ma, Fei He, Jun Zhuang, David K. Y. Yau |
| 2014 | ICECCS | Clause Replication and Reuse in Incremental Temporal Induction. | Liangze Yin, Fei He, Ming Gu, Jia-Guang Sun |
| 2014 | ICSE | Symbolic assume-guarantee reasoning through BDD learning. | Fei He, Bow-Yaw Wang, Liangze Yin, Lei Zhu |
| 2013 | ATVA | VCS: A Verifier for Component-Based Systems. | Fei He, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng |
| 2013 | CAV | Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems. | Hui Kong, Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu |
| 2013 | COMPSAC | Component-Based Modeling and Code Synthesis for Cyclic Programs. | Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu |
| 2013 | ICECCS | Reusing Search Tree for Incremental SAT Solving of Temporal Induction. | Liangze Yin, Fei He, Min Zhou, Ming Gu |
| 2013 | IGARSS | A fast approach for spatial CO-location pattern mining. | Fei He, Xuemin Deng, Jinyun Fang |
| 2013 | TASE | Optimizing the SAT Decision Ordering of Bounded Model Checking by Structural Information. | Liangze Yin, Fei He, Ming Gu |
| 2012 | ACCV | Combining Fast Extracted Edge Descriptors and Feature Sharing for Rapid Object Detection. | Yali Li, Fei He, Wenhao Lu, Shengjin Wang |
| 2011 | TASE | An Efficient Resolution Based Algorithm for SAT. | Min Zhou, Fei He, Ming Gu |
| 2010 | CAV | On Array Theory of Bounded Elements. | Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu |
| 2010 | GLOBECOM | YACA: Yet Another Cluster-Based Architecture for Network Intrusion Prevention. | Fei He, Yaxuan Qi, Yibo Xue, Jun Li |
| 2010 | IJCNN | Adaptive clustering of production state based on kernel entropy component analysis. | Fei He, Min Li, Jianhong Yang, Jinwu Xu |
| 2010 | ISoLA | Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. | Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu |
| 2010 | TASE | Compositional Abstraction Refinement for Timed Systems. | Fei He, He Zhu, William N. N. Hung, Xiaoyu Song, Ming Gu |
| 2009 | COMPSAC | Translation-Based Model Checking for PLC Programs. | Min Zhou, Fei He, Ming Gu, Xiaoyu Song |
| 2009 | FMCAD | Data mining based decomposition for assume-guarantee reasoning. | He Zhu, Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu |
| 2009 | ISPA | DLBS: Duplex Loading Balancing Strategy on Object Storage System. | Zhipeng Tan, Dan Feng, Xudong Tu, Fei He |
| 2008 | ICDCS | Fast Path Session Creation on Network Processors. | Bo Xu, Yaxuan Qi, Fei He, Zongwei Zhou, Yibo Xue, Jun Li |
| 2008 | IJCNN | On the complexity - sensitivity trade-off for the NF-kappaB pathway modeling. | Fei He, Martin Brown, Lam Fat Yeung |
| 2008 | IJCNN | Robust experimental design and feature selection in signal transduction pathway modeling. | Fei He, Martin Brown, Hong Yue, Lam Fat Yeung |
| 2007 | EUC | Studying of Multi-dimensional Based Replica Management in Object Storage System. | Zhipeng Tan, Dan Feng, Fei He, Ke Zhou |
| 2007 | FORTE | Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. | Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini |
| 2007 | ICPP | Towards Optimized Packet Classification Algorithms for Multi-Core Network Processors. | Yaxuan Qi, Bo Xu, Fei He, Xin Zhou, Jianming Yu, Jun Li |
| 2006 | ATVA | A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. | Fei He, Xiaoyu Song, Ming Gu, Jia-Guang Sun |
| 2006 | COMPSAC | Verifying Java Programs By Theorem Prover HOL. | Anduo Wang, Fei He, Ming Gu, Xiaoyu Song |
| 2005 | ADMA | RoleOf Relationship and Its Meta Model for Design Pattern Instantiation. | Chengwan He, Fei He, Keqing He, Jin Liu, Wenjie Tu |
| 2005 | ADMA | Classifying Class and Finding Community in UML Metamodel Network. | Bin Liu, Deyi Li, Jin Liu, Fei He |
| 2005 | ISCAS | Segmented channel routing with pin rearrangements via satisfiability. | Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun |