Login / Signup
Jian Zhang
ORCID
Publication Activity (10 Years)
Years Active: 1994-2024
Publications (10 Years): 68
Top Topics
Integer Solution
Static Analysis
Satisfiability Testing
Android Application
Top Venues
CoRR
ASE
QRS
AAAI
</>
Publications
</>