| |
| 2008 | ||
|---|---|---|
| 5 | EE | Xiaoxiao Yang, Zhenhua Duan: Operational semantics of Framed Tempura. J. Log. Algebr. Program. 78(1): 22-51 (2008) |
| 4 | EE | Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny: Framed temporal logic programming. Sci. Comput. Program. 70(1): 31-61 (2008) |
| 2007 | ||
| 3 | EE | Xiaoxiao Yang, Zhenhua Duan: Operational Semantics of Framed Temporal Logic Programs. SOFSEM (1) 2007: 566-578 |
| 2 | EE | Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang: An Interpreter for Framed Tempura and Its Application. TASE 2007: 251-260 |
| 2005 | ||
| 1 | EE | Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny: Semantics of Framed Temporal Logic Programs. ICLP 2005: 356-370 |
| 1 | Zhenhua Duan | [1] [2] [3] [4] [5] |
| 2 | Maciej Koutny | [1] [4] |
| 3 | Yongtao Ma | [2] |
| 4 | Xiaobing Wang | [2] |