| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2010 | Automated Assume-Guarantee Reasoning through Implicit Learning | Yu-Fang Chen; Edmund M. Clarke; Azadeh Farzan; Ming-Hsien Tsai; Yih-Kuen Tsay; Bow-Yaw Wang | ||||
| 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 | |||
| 2008 | Automated Compositional Reasoning of Intuitionistically Closed Regular Properties | Yih-Kuen Tsay; Bow-Yaw Wang | ||||
| 2010 | Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. | Yu-Fang Chen; Edmund M. Clarke; Azadeh Farzan; Fei He; Ming-Hsien Tsai; Yih-Kuen Tsay; Bow-Yaw Wang; Lei Zhu |
