Qinheping Hu
Identifiers
No identifiers captured yet.
Papers (3)
- Proving Unrealizability for Syntax-Guided Synthesis cs.PL · 2019 · author #1
- Program Repair via Direct State Manipulation cs.PL · 2018 · author #1
- Units of rotational information quant-ph · 2017 · author #3
Mentions
No mention provenance yet.
Frequent Coauthors
- Loris D'Antoni 2 shared papers
- Giulio Chiribella 1 shared papers
- Isaac Evavold 1 shared papers
- Jason Breck 1 shared papers
- John Cyphert 1 shared papers
- Rishabh Singh 1 shared papers
- Roopsha Samanta 1 shared papers
- Thomas Reps 1 shared papers
- Yuxiang Yang 1 shared papers