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
Contact
No contact links provided.
Publications
1 items
Circuit-Based Program Verification: Sequential Circuits as an Intermediate Representation for Verifying C Programs
2026
Cited
0
Resume (English only)
Co-authors
8 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
Co-author 4
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
