Concepedia

Nian-Ze Lee

NL

7

Publications

96

Citations

7

H-Index

2016

Active since

Affiliations

National Taiwan University(Current)

National Chung Cheng University

Nian-Ze Lee is an author at National Taiwan University specializing in engineering, computer engineering, and formal methods.

Top concepts

EngineeringComputer EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringVerificationAutomated ReasoningComputer ArchitectureCombinatorial Optimization

Publications per year

2016–2022

7

Publications

7

Efficient computation of ECO patch functions

Ai Quoc Dao, Nian-Ze Lee, Licheng Chen et al. · 2018 · 19 citations · Full text

Numerical Analysis, Mathematical Programming, Engineering +24

Efficient Computation of ECO Patch Functions

Ai Quoc Dao, Nian-Ze Lee, Licheng Chen et al. · 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) · 2018 · 18 citations

Numerical Analysis, Mathematical Programming, Engineering +24

Engineering Change Order for Combinational and Sequential Design Rectification

Jie-Hong R. Jiang, Nian-Ze Lee · 2020 · 15 citations

Eco Tools, Engineering, Vlsi Design +19

Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits

Nian-Ze Lee, Hao-Yuan Kuo, Yi‐Hsiang Lai et al. · 2016 · 12 citations

Circuit Complexity, Strong Bind, Engineering +17

Towards Formal Evaluation and Verification of Probabilistic Design

Nian-Ze Lee, Jie-Hong R. Jiang · IEEE Transactions on Computers · 2018 · 12 citations

Engineering, Verification, Computer-aided Verification +20

Rows per page

1–5 of 7