| Efficient computation of ECO patch functions AQ Dao, NZ Lee, LC Chen, MPH Lin, JHR Jiang, A Mishchenko, ... Proceedings of the 55th Annual Design Automation Conference, 1-6, 2018 | 30 | 2018 |
| Towards formal evaluation and verification of probabilistic design NZ Lee, JHR Jiang IEEE Transactions on Computers 67 (8), 1202-1216, 2018 | 20 | 2018 |
| Solving Stochastic Boolean Satisfiability under Random-Exist Quantification. NZ Lee, YS Wang, JHR Jiang IJCAI, 688-694, 2017 | 20 | 2017 |
| Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection. NZ Lee, YS Wang, JHR Jiang IJCAI, 1339-1345, 2018 | 19 | 2018 |
| Engineering change order for combinational and sequential design rectification JHR Jiang, VN Kravets, NZ Lee 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 726-731, 2020 | 14 | 2020 |
| Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits NZ Lee, HY Kuo, YH Lai, JHR Jiang 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2016 | 12 | 2016 |
| Dependency stochastic Boolean satisfiability: A logical formalism for NEXPTIME decision problems with uncertainty NZ Lee, JHR Jiang Proceedings of the AAAI Conference on Artificial Intelligence 35 (5), 3877-3885, 2021 | 10 | 2021 |
| Comprehensive search for ECO rectification using symbolic sampling VN Kravets, NZ Lee, JHR Jiang Proceedings of the 56th Annual Design Automation Conference 2019, 1-6, 2019 | 10 | 2019 |
| Canonicalization of threshold logic representation and its applications SY Lee, NZ Lee, JHR Jiang 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2018 | 10 | 2018 |
| Towards a framework for the analysis of multi-product lines in the automotive domain S Ali, P Arcaini, I Hasuo, F Ishikawa, NZ Lee Proceedings of the 13th International Workshop on Variability Modelling of …, 2019 | 7 | 2019 |
| Sequential engineering change order under retiming and resynthesis NZ Lee, VN Kravets, JHR Jiang 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 109-116, 2017 | 7 | 2017 |
| Stability analysis for safety of automotive multi-product lines: A search-based approach NZ Lee, P Arcaini, S Ali, F Ishikawa Proceedings of the Genetic and Evolutionary Computation Conference, 1241-1249, 2019 | 6 | 2019 |
| Interpolation and SAT-based model checking revisited: Adoption to software verification. arXiv/CoRR 2208 (05046)(July 2022) D Beyer, NZ Lee, P Wendler DOI: https://doi. org/10.48550/arXiv 2208, 0 | 6 | |
| Interpolation and SAT-based model checking revisited: Adoption to software verification D Beyer, NZ Lee, P Wendler arXiv preprint arXiv:2208.05046, 2022 | 5 | 2022 |
| Constraint solving for synthesis and verification of threshold logic circuits NZ Lee, JHR Jiang IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 5 | 2020 |
| Searching parallel separating hyperplanes for effective compression of threshold logic networks SY Lee, NZ Lee, JHR Jiang 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2019 | 5 | 2019 |
| CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification D Beyer, PC Chien, NZ Lee 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 4 | 2023 |
| Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator D Beyer, PC Chien, NZ Lee International Conference on Tools and Algorithms for the Construction and …, 2023 | 4 | 2023 |
| CPAchecker 2.3 with Strategy Selection: (Competition Contribution) D Baier, D Beyer, PC Chien, M Jankola, M Kettl, NZ Lee, T Lemberger, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 3 | 2024 |
| CPV: A Circuit-Based Program Verifier PC Chien, NZ Lee International Conference on Tools and Algorithms for the Construction and …, 2024 | 1 | 2024 |
Jie-Hong Roland JiangProfessor of Electrical Engineering, National Taiwan UniversityVerified email at ntu.edu.tw
