| 公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 |
|---|---|---|---|---|---|---|
| 2018 | Advanced Automata-based Algorithms for Program Termination Checking | Yu-Fang Chen; Matthias Heizmann; Ondrej Lengal; Yong Li; Ming-Hsien Tsai; Andrea Turrini; Lijun Zhang | ||||
| 2017 | An Executable Sequential Specification for Spark Aggregation | Yu-Fang Chen; Chih-Duo Hong; Ondrej Lengal; Shin-Cheng Mu; Nishant Sinha; Bow-Yaw Wang |
