Scholar
Wei-Lun Tsai
Google Scholar ID: e4_UkwMAAAAJ
National Taiwan University
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
106
H-index
5
i10-index
5
Publications
10
Co-authors
0
Publications
1 items
A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
2026
Cited
0
