Scholar
Yu-Fang Chen
Google Scholar ID: 5Dwh77YAAAAJ
Research Fellow/Professor, Academia Sinica
Program Verification
Formal Method
Model Checking
Theory of Computation
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,173
H-index
28
i10-index
45
Publications
20
Co-authors
24
list available
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
Co-authors
11 total
Lukas Holik
Brno University of Tehcnology
Parosh Abdulla
Professor of Computer Science, Uppsala University
Ondřej Lengál
Brno University of Technology
Mohamed Faouzi Atig
Uppsala University
Philipp Ruemmer
Professor in Computer Science, University of Regensburg
Tomas Vojnar
FI, Masaryk University & FIT, Brno University of Technology
Chih-Duo Hong (洪智鐸)
National Chengchi University, Taiwan
Azadeh Farzan
Associate Professor, University of Toronto
