| 2024 | ISCAS | A 23.8-bit ENOB, ±5V Input Range Readout Circuit for High Precision Sensor Applications with 173.7dB-FoM. | Yinuo Chen, Lu Cao, Hong Chen, Liang Zou, Cong Tang, Junyu Wang |
| 2024 | ISCAS | A 172.5dB-FoM Hybrid CT/DT Incremental Σ∆Modulator for Direct Current-to-Digital Conversion. | Yinuo Chen, Liang Zou, Cong Tang, Hong Chen, Junyu Wang |
| 2019 | ICASSP | Channel Adversarial Training for Cross-channel Text-independent Speaker Recognition. | Xin Fang, Liang Zou, Jin Li, Lei Sun, Zhen-Hua Ling |
| 2018 | ICSE | Detecting missing checks for identifying insufficient attack protections. | Lingyun Situ, Liang Zou, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li |
| 2015 | ATVA | Formal Verification of Simulink/Stateflow Diagrams. | Liang Zou, Naijun Zhan, Shuling Wang, Martin Frnzle |
| 2015 | CAV | Automatic Verification of Stability and Safety for Delay Differential Equations. | Liang Zou, Martin Frnzle, Naijun Zhan, Peter Nazier Mosaad |
| 2015 | FM | Abstraction of Elementary Hybrid Systems by Variable Transformation. | Jiang Liu, Naijun Zhan, Hengjun Zhao, Liang Zou |
| 2015 | ICFEM | An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems. | Shuling Wang, Naijun Zhan, Liang Zou |
| 2014 | FM | Formal Verification of a Descent Guidance Control Program of a Lunar Lander. | Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu, Liang Zou, Yao Chen |
| 2014 | ICECCS | A Refinement Calculus for Hybrid Systems. | Bin Gu, Liang Zou |
| 2014 | ISCAS | A 6 | Liang Zou, Udo Karthaus, Deepti Sukumaran, Nasser Mehrtash, Horst Wagner |
| 2013 | EMSOFT | Verifying Simulink diagrams via a Hybrid Hoare Logic Prover. | Liang Zou, Naijun Zhan, Shuling Wang, Martin Frnzle, Shengchao Qin |
| 2012 | ISCAS | Approaches to digital compensation of excess loop delay in continuous-time Delta-Sigma modulators using a scaled quantizer. | Chongjun Ding, Liang Zou, Matthias Keller, Yiannos Manoli |
| 2010 | APLAS | A Calculus for Hybrid CSP. | Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou |