Skip to content

Scientist · Computer Science

Bow-Yaw Wang

Research Center for Information Technology Innovation, Academia Sinica, Taipei, Taiwan

iD0000-0002-5757-545X

Citations, last 5 years: 36
Works, last 5 years: 19
h-index: 16
Citations, all time: 813
In Computer Science: #202,123

Research topics

Formal Methods in Verification80Computer Science
Logic, programming, and type systems70Computer Science
Software Testing and Debugging Techniques31Computer Science
semigroups and automata theory19Computer Science
Petri Nets in System Modeling12Computer Science

Recent works

Discussion

Ask Bow-Yaw about their research. When the scientist claims this card, they will see your question.

Start a discussion