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
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
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
Co-author 5
Co-author 6
Philipp Ruemmer
Professor in Computer Science, University of Regensburg
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up