Scholar
Nian-Ze Lee
Google Scholar ID: _8OD03gAAAAJ
National Taiwan University
Formal Methods
Model Checking
Program Analysis
Artificial Intelligence
EDA
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
367
H-index
12
i10-index
16
Publications
20
Co-authors
8
list available
Publications
1 items
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs
2026
Cited
0
Co-authors
7 total
Jie-Hong Roland Jiang
Professor of Electrical Engineering, National Taiwan University
Po-Chun Chien
Institute of Informatics, LMU Munich
Dirk Beyer
Professor of Computer Science, LMU Munich, Germany
Fuyuki Ishikawa
Associate Professor, National Institute of Informatics
Shaukat Ali
Simula Research Laboratory
Paolo Arcaini
National Institute of Informatics
Ichiro Hasuo
Professor of Computer Science, National Institute of Informatics
