Bow-Yaw Wang

15 papers and 105 indexed citations i.

Bow-Yaw Wang has authored 15 papers that have received a total of 105 indexed citations. This includes 12 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 6 papers in Software. The topics of these papers are Formal Methods in Verification (8 papers), Software Testing and Debugging Techniques (6 papers) and Machine Learning and Algorithms (4 papers). Bow-Yaw Wang is often cited by papers focused on Formal Methods in Verification (8 papers), Software Testing and Debugging Techniques (6 papers) and Machine Learning and Algorithms (4 papers) and collaborates with scholars based in Taiwan, China and South Korea. Bow-Yaw Wang's co-authors include Ming-Hsien Tsai, Bo‐Yin Yang, Fei He, Yu‐Fang Chen and Kwangkeun Yi and has published in prestigious journals such as Lecture notes in computer science, ACM SIGPLAN Notices and ACM Transactions on Software Engineering and Methodology