Scholar
Jia Pan
Google Scholar ID: SAfr8x4AAAAJ
University of Texas at Austin
Distributed System
Formal Verification
Program Synthesis
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
17
H-index
2
i10-index
0
Publications
3
Co-authors
4
list available
Co-authors
3 total
Peng Huang
University of Michigan
Suman Nath
Principal Researcher, Microsoft Research
Tanakorn Leesatapornwongsa
University of Chicago
