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
1,166
 
H-index
21
 
i10-index
36
 
Publications
20
 
Co-authors
24
list available
Contact
No contact links provided.
Publications
2 items
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