Scholar
Long Qian
Google Scholar ID: Jh-O2gUAAAAJ
PhD student, Carnegie Mellon University
Logic
Computability
Formal Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
35
H-index
3
i10-index
1
Publications
11
Co-authors
0
Publications
2 items
Differential Equation Inductive Robustness Axiomatization
2026
Cited
0
A Deductive Refinement Calculus for Differential-Algebraic Programs
2026
Cited
0
