| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2009 | Automated Compositional Reasoning of Intuitionistically Closed Regular Properties | Yih-Kuen Tsay; Bow-Yaw Wang | International Journal of Foundations of Computer Science 20(4), 747-762 | |||
| 2011 | Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference | Yungbum Jung; Wonchan Lee; Bow-Yaw Wang ; Kwangkeun Yi | ||||
| 2012 | Thread-Modular Model Checking with Iterative Refinement | Wenrui Meng; Fei He; Bow-Yaw Wang ; Qiang Liu |
