Scholar

Long Qian

Google Scholar ID: Jh-O2gUAAAAJ

PhD student, Carnegie Mellon University

LogicComputabilityFormal Verification

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

35

H-index

3

i10-index

1

Publications

11

Co-authors

0

Contact

No contact links provided.

Publications

2 items

Differential Equation Inductive Robustness Axiomatization

2026

Cited

0

A Deductive Refinement Calculus for Differential-Algebraic Programs

2026

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)