Concepedia

J.S. Zhang

JZ

2

Publications

78

Citations

2

H-Index

2006

Active since

Affiliations

University of California, Berkeley(Current)

Portland State University

Synopsys (United States)

J.S. Zhang is an author at University of California, Berkeley specializing in formal verification, computer science, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceCircuit ComplexityAutomated ReasoningFormal VerificationComputer EngineeringComputational ComplexitySatisfiability

Publications per year

2006–2006

2

Publications

2

Using simulation and satisfiability to compute flexibilities in Boolean networks

A. Mishchenko, J.S. Zhang, Soham Sinha et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2006 · 62 citations

Mathematical Programming, Circuit Complexity, Engineering +21

Linear cofactor relationships in Boolean functions

J.S. Zhang, Malgorzata Chrzanowska-Jeske, A. Mishchenko et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2006 · 16 citations

Circuit Complexity, Classical Symmetries, Logic Synthesis +14

Rows per page

1–2 of 2