Qinheping Hu

Identifiers

No identifiers captured yet.

Papers (3)

1. Proving Unrealizability for Syntax-Guided Synthesis cs.PL · 2019 · author #1
2. Program Repair via Direct State Manipulation cs.PL · 2018 · author #1
3. 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