Yu-Fang Chen
Scholar

Yu-Fang Chen

Google Scholar ID: 5Dwh77YAAAAJ
Research Fellow/Professor, Academia Sinica
Program VerificationFormal MethodModel CheckingTheory of Computation
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,173
 
H-index
28
 
i10-index
45
 
Publications
20
 
Co-authors
24
list available
Contact
No contact links provided.
Publications
4 items
A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
2026
Cited
0
Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
2026
Cited
0
Parameterized Verification of Quantum Circuits (Technical Report)
2025
Cited
0
A Uniform Framework for Handling Position Constraints in String Solving (Technical Report)
2025
Cited
0
Resume (English only)
Co-authors
24 total
Lukas Holik
Lukas Holik
Brno University of Tehcnology
Parosh Abdulla
Parosh Abdulla
Professor of Computer Science, Uppsala University
Ondřej Lengál
Ondřej Lengál
Brno University of Technology
Mohamed Faouzi Atig
Mohamed Faouzi Atig
Uppsala University
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Philipp Ruemmer
Philipp Ruemmer
Professor in Computer Science, University of Regensburg
Co-author 8
Co-author 8