| 2026 | AAAI | Parameterized Abstract Interpretation for Transformer Verification. | Pei Huang, Dennis Wei, Omri Isac, Haoze Wu, Min Wu, Clark W. Barrett |
| 2025 | AAAI | A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic. | Fuqi Jia, Yuhang Dong, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang |
| 2024 | AAAI | Towards Efficient Verification of Quantized Neural Networks. | Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett |
| 2024 | CAV | Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. | Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett |
| 2024 | COLING | PAD: A Robustness Enhancement Ensemble Method via Promoting Attention Diversity. | Yuting Yang, Pei Huang, Feifei Ma, Juan Cao, Jintao Li |
| 2023 | AAAI | Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract). | Minghao Liu, Pei Huang, Fuqi Jia, Fan Zhang, Yuchen Sun, Shaowei Cai, Feifei Ma, Jian Zhang |
| 2023 | ISSTA | Improving Bit-Blasting for Nonlinear Integer Constraints. | Fuqi Jia, Rui Han, Pei Huang, Minghao Liu, Feifei Ma, Jian Zhang |
| 2023 | PRICAI | Investigating the Existence of Holey Latin Squares via Satisfiability Testing. | Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang |
| 2023 | WWW | A Dual Prompt Learning Framework for Few-Shot Dialogue State Tracking. | Yuting Yang, Wenqiang Lei, Pei Huang, Juan Cao, Jintao Li, Tat-Seng Chua |
| 2022 | AAAI | Word Level Robustness Enhancement: Fight Perturbation with Perturbation. | Pei Huang, Yuting Yang, Fuqi Jia, Minghao Liu, Feifei Ma, Jian Zhang |
| 2022 | INFOCOM | Physical-Level Parallel Inclusive Communication for Heterogeneous IoT Devices. | Sihan Yu, Xiaonan Zhang, Pei Huang, Linke Guo |
| 2022 | ISSTA | ε-weakened robustness of deep neural networks. | Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, Jian Zhang |
| 2021 | SAT | Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5. | Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang |
| 2020 | CCS | AuthCTC: Defending Against Waveform Emulation Attack in Heterogeneous IoT Environments. | Sihan Yu, Xiaonan Zhang, Pei Huang, Linke Guo, Long Cheng, Kuang-Ching Wang |
| 2020 | CP | Learning the Satisfiability of Pseudo-Boolean Problem with Graph Neural Networks. | Minghao Liu, Fan Zhang, Pei Huang, Shuzi Niu, Feifei Ma, Jian Zhang |
| 2019 | ICDCS | Hide and Seek: Waveform Emulation Attack and Defense in Cross-Technology Communication. | Xiaonan Zhang, Pei Huang, Linke Guo, Yuguang Fang |
| 2019 | IJCAI | Approximating Integer Solution Counting via Space Quantification for Linear Constraints. | Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang |
| 2019 | IJCAI | Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring. | Pei Huang, Minghao Liu, Ping Wang, Wenhui Zhang, Feifei Ma, Jian Zhang |
| 2019 | INFOCOM | Incentivizing Relay Participation for Securing IoT Communication. | Xiaonan Zhang, Pei Huang, Linke Guo, Mo Sha |
| 2019 | ISSAC | Investigating the Existence of Orthogonal Golf Designs via Satisfiability Testing. | Pei Huang, Minghao Liu, Cunjing Ge, Feifei Ma, Jian Zhang |
| 2018 | CADE | Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing. | Pei Huang, Feifei Ma, Cunjing Ge, Jian Zhang, Hantao Zhang |
| 2018 | MASS | CREAM: Unauthorized Secondary User Detection in Fading Environments. | Xiaonan Zhang, Pei Huang, Qi Jia, Linke Guo |
| 2017 | PIMRC | BlueID: Enabling robust in-car localization and on-demand personalization using Bluetooth. | Pei Huang, Pei Zheng |
| 2017 | SMC | Securing a UAV using individual characteristics from an EEG signal. | Ashutosh Singandhupe, Hung Manh La, David Feil-Seifer, Pei Huang, Linke Guo, Ming Li |
| 2016 | GLOBECOM | A Robust and Reusable ECG-Based Authentication and Data Encryption Scheme for eHealth Systems. | Pei Huang, Borui Li, Linke Guo, Zhanpeng Jin, Yu Chen |
| 2016 | MASS | Efficient NC-OFDM-Based Control Channel Establishment in Cognitive Radio Networks. | Chin-Jung Liu, Pei Huang, Li Xiao |
| 2016 | SECON | Exploiting Modulation Scheme Diversity in Multicarrier Wireless Networks. | Pei Huang, Jun Huang, Li Xiao |
| 2015 | INFOCOM | Efficient broadcast on fragmented spectrum in cognitive radio networks. | Pei Huang, Chin-Jung Liu, Xi Yang, Li Xiao |
| 2014 | Networking | Interference identification and resource management in OFDMA femtocell networks. | Chin-Jung Liu, Pei Huang, Li Xiao, Abdol-Hossein Esfahanian |
| 2014 | WSDM | An efficient framework for online advertising effectiveness measurement and comparison. | Pengyuan Wang, Yechao Liu, Marsha Meytlis, Han-Yun Tsao, Jian Yang, Pei Huang |
| 2013 | ICNP | Dynamic channel bonding in multicarrier wireless networks. | Pei Huang, Xi Yang, Li Xiao |
| 2013 | INFOCOM | WiFi-BA: Choosing arbitration over backoff in high speed multicarrier wireless networks. | Pei Huang, Xi Yang, Li Xiao |
| 2013 | MOBIHOC | Adaptive channel bonding in multicarrier wireless networks. | Pei Huang, Xi Yang, Li Xiao |
| 2013 | SECON | TAS-MAC: A traffic-adaptive synchronous MAC protocol for wireless sensor networks. | Pei Huang, Chin-Jung Liu, Li Xiao |
| 2012 | IWQoS | Mining frequent partial periodic patterns in spectrum usage data. | Pei Huang, Chin-Jung Liu, Li Xiao, Jin Chen |
| 2012 | MASCOTS | Wireless Spectrum Occupancy Prediction Based on Partial Periodic Pattern Mining. | Pei Huang, Chin-Jung Liu, Li Xiao, Jin Chen |
| 2011 | MASS | Efficient Opportunistic Multicast via Tree Backbone for Wireless Mesh Networks. | Guo-Kai Zeng, Pei Huang, Matt W. Mutka, Li Xiao, Eric Torng |
| 2010 | ISKE | The research on evaluation index system and evaluation methods of convergence of informatization and industrialization. | Haiwei Tong, Tingjie Lv, Pei Huang |
| 2010 | IWQoS | RC-MAC: A receiver-centric medium access control protocol for wireless sensor networks. | Pei Huang, Chen Wang, Li Xiao, Hongyang Chen |
| 2009 | PIMRC | Mobile anchor assisted node localization for wireless sensor networks. | Hongyang Chen, Qingjiang Shi, Pei Huang, H. Vincent Poor, Kaoru Sezaki |
| 2008 | EUC | Cooperative Node Localization for Mobile Sensor Networks. | Hongyang Chen, Marcelo H. T. Martins, Pei Huang, Hing-Cheung So, Kaoru Sezaki |
| 2008 | ICPADS | Mobility-Assisted Position Estimation in Wireless Sensor Networks. | Hongyang Chen, Pei Huang, Hing-Cheung So, Kaoru Sezaki |
| 2008 | IGARSS | Passive A-Band Wind Sounder (PAWS) for Measuring Tropospheric Wind Velocity. | Robert Pierce, Shane Roark, Christian Grund, Philip Slaymaker, Pei Huang, Paul Kaptchen |
| 2006 | ADMA | On Similarity of Financial Data Series Based on Fractal Dimension. | Jianrong Hou, Hui Zhao, Pei Huang |