Skip to content

Lingfeng Zhu

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

5

Venues

3

Active years

2003–2025

Best venue rank

A*

Where they publish

Papers

5 indexed papers, newest first.

YearVenueTitleAuthors
2025DACLeveraging Critical Proof Obligations for Efficient IC3 Verification.Lingfeng Zhu, Xindi Zhang, Yongjian Li, Shaowei Cai
2025ISCASA Three-Phase Fully-Integrated Reconfigurable Switched-Capacitor Converter For Near-Threshold Computing.Yue Zhong, Wing-Hung Ki, Junmin Jiang, Lingfeng Zhu, Yang Liu
2024ISCASDLingfeng Zhu, Wing-Hung Ki, Yue Zhong, Xiaofei Ma, Junmin Jiang
2003IGARSSStudy and implementation on parallel processing algorithm for DEPS.Lingfeng Zhu, Yun Shao, Xiangtao Fan, Huadong Guo
2003IGARSSStudy on real-time simulation technology of large-scale virtual scene.Lingfeng Zhu, Yun Shao, Xiangtao Fan, Huadong Guo