| Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link |
|---|---|---|---|---|---|---|
| 2004 | Bounded Model Checking for Region Automata | Fang Yu; Bow-Yaw Wang; Yao-Wen Huang | ||||
| 2004 | Web-Based Collaborative Problem Solving Environment Part I: Knowledge Management | Gen-Cher Lee; Ming-Yu Chen; Yao-Wen Huang; Jyh-Da Wei; Chien-Min Wang; D. T. Lee | TR-IIS-04-012 |
