| |
| 2008 | ||
|---|---|---|
| 4 | EE | Chenguang Luo: From Word Automata to Tree Automata. ICYCS 2008: 94-99 |
| 3 | EE | Chenguang Luo, Shengchao Qin, Zongyan Qiu: Verifying BPEL-Like Programs with Hoare Logic. TASE 2008: 151-158 |
| 2 | EE | Chenguang Luo, Shengchao Qin: Separation Logic for Multiple Inheritance. Electr. Notes Theor. Comput. Sci. 212: 27-40 (2008) |
| 1 | EE | Chenguang Luo, Shengchao Qin, Zongyan Qiu: Verifying BPEL-like programs with Hoare logic. Frontiers of Computer Science in China 2(4): 344-356 (2008) |
| 1 | Shengchao Qin | [1] [2] [3] |
| 2 | Zongyan Qiu | [1] [3] |