Lin, Jyun-Ao

1. An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report)
   2023/01/18 by Yu‐Fang Chen, Chen, Yu-Fang, Kai-Min Chung +9 · 9 citations
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms #Parallel Computing and Optimization Techniques #Quantum Computing Algorithms and Architecture
2. Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
   2024/10/24 by Parosh Aziz Abdulla, Yo-Ga Chen, Abdulla, Parosh Aziz +15 · 1 voice · 8 citations
   Computer Science · #cs.LO #cs.FL
3. AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)
   2024/11/14 by Yu‐Fang Chen, Chen, Yu-Fang, Kai-Min Chung +11 · 4 citations
   Computer Science · Engineering · #Quantum Computing Algorithms and Architecture #Radiation Effects in Electronics #Quantum Information and Cryptography
4. Spherical Hall algebras of a weighted projective curve
   2014/10/03 by Jyun-Ao Lin, Lin, Jyun-Ao · 1 citation
   Mathematics · #Advanced Algebra and Geometry #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #FOS: Mathematics #Quantum Algebra (math.QA) #Representation Theory (math.RT) #math.QA #math.RT