Jyun-Ao Lin

Identifiers

• name variant Jyun-Ao Lin 0.60 · backfill

Papers (3)

1. AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report) cs.LO · 2024 · author #6
2. A new involution for quantum loop algebras math.RT · 2014 · author #1
3. Spherical Hall algebras of a weighted projective curve math.RT · 2014 · author #1

Mentions

• 1410.6917 #1 · backfill · confidence 0.70 Jyun-Ao Lin
• 1410.0896 #1 · backfill · confidence 0.70 Jyun-Ao Lin

Frequent Coauthors

• Kai-Min Chung 1 shared papers
• Min-Hsiu Hsieh 1 shared papers
• Ond\v{r}ej Leng\'al 1 shared papers
• Wei-Jia Huang 1 shared papers
• Wei-Lun Tsai 1 shared papers
• Yu-Fang Chen 1 shared papers