Jian Zhang

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 68

Top Topics

Integer Solution

Static Analysis

Satisfiability Testing

Android Application

Top Venues

Publications