P. Zhao
Social Sciences · University of Michigan
Publications
14
Citations
70
Est. group size
—
Recurring co-author estimate
Active years
24
Publishing since 2002
Typically publishes in teams of ~5 · 20% small-team papers (≤3 authors) · across 2 venues
- Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
Proceedings of the ACM on Programming Languages · 2025
- VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Proceedings of the ACM on Programming Languages · 2024
- Producing the Tibetan Plateau High-Resolution Atmospheric Reanalysis via the Community Gridpoint Statistical Interpolation System
AGU Fall Meeting Abstracts · 2017
- Challenges in Visualizing Satellite Level 2 Atmospheric Data with GIS approach
AGU Fall Meeting Abstracts · 2017
- A multi-scale automatic observatory of soil moisture and temperature served for satellite product validation in Tibetan Plateau
AGU Fall Meeting Abstracts · 2016
- AGU Fall Meeting Abstracts×3
- Proceedings of the ACM on Programming Languages×2
- Harold Moellering
Social Sciences · The Ohio State University
- Nicole Kong
Social Sciences · Purdue University West Lafayette
- Joshua Sadvari
Social Sciences · The Ohio State University
- Danielle Kane
Social Sciences · Purdue University West Lafayette
- Ningchuan Xiao
Social Sciences · The Ohio State University
This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.
Last updated Jul 25, 2026.
Claim or correct this profile