Wenjing Jin

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 7

Top Topics

Bounded Model Checking

High Performance Computing

Loopy Belief Propagation

Continuous Query Processing

Top Venues

USENIX Annual Technical Conference

Publications