Concepedia

J.-H.R. Jiang

JJ

5

Publications

177

Citations

5

H-Index

2003

Active since

Affiliations

University of California, Berkeley(Current)

National Taiwan University

J.-H.R. Jiang is an author at University of California, Berkeley specializing in automated reasoning, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSatisfiabilitySystems EngineeringComputer EngineeringComputer ArchitectureMathematical Programming

Publications per year

2003–2024

5

Publications

5

A Survey on Large Language Models for Code Generation

J.-H.R. Jiang, Fan Wang, Jiasi Shen et al. · arXiv (Cornell University) · 2024 · 53 citations · Full text

Optimization of multi-valued multi-level networks

Min Gao, J.-H.R. Jiang, Yunjian Jiang et al. · 2003 · 36 citations

Mathematical Programming, Engineering, Network Planning +22

Scalable exploration of functional dependency by interpolation and incremental SAT solving

Chih-Chun Lee, J.-H.R. Jiang, Chung-Yang Huang et al. · 2007 · 31 citations

Mathematical Programming, Artificial Intelligence, Computational Science +15

On the verification of sequential equivalence

J.-H.R. Jiang, Robert K. Brayton · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2003 · 29 citations

Engineering, Verification, Computer Architecture +17

To SAT or Not to SAT: Scalable Exploration of Functional Dependency

J.-H.R. Jiang, Chih-Chun Lee, A. Mishchenko et al. · IEEE Transactions on Computers · 2010 · 28 citations

Dependency Analysis, Engineering, Data Science +13

Rows per page

1–5 of 5