Concepedia

I-M. TSAI

IT

Statistics

Publications

1

Citations

102

H-Index

1

Active since

2008

Affiliations

National Taiwan University(Current)

I-M. TSAI is an author at National Taiwan University specializing in formal verification, engineering, and quantum computing.

Top concepts

Publications per year

2008–2008

1

Publications

1

An XQDD-Based Verification Method for Quantum Circuits

Sung-Wen Wang, Chin-Yung Lu, I-M. TSAI et al. · IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences · 2008 · 102 citations

, , +15

1–1 of 1