Fang-Yi Lo

Identifiers

• name variant Fang-Yi Lo 0.60 · backfill

Papers (1)

1. Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report) cs.LO · 2024 · author #7

Mentions

• 2410.18540 #7 · arxiv_oai · confidence 0.70 Fang-Yi Lo

Frequent Coauthors

• Jyun-Ao Lin 1 shared papers
• Luk\'a\v{s} Hol\'ik 1 shared papers
• Ond\v{r}ej Leng\'al 1 shared papers
• Parosh Aziz Abdulla 1 shared papers
• Wei-Lun Tsai 1 shared papers
• Yo-Ga Chen 1 shared papers
• Yu-Fang Chen 1 shared papers