Scholar

Wei-Lun Tsai

Google Scholar ID: e4_UkwMAAAAJ

National Taiwan University

Google Scholar↗

Citations & Impact

All-time

Citations

106

H-index

5

i10-index

5

Publications

10

Co-authors

0

Contact

No contact links provided.

Publications

1 items

A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)

2026

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)