| |
| 2008 | ||
|---|---|---|
| 2 | EE | Rui Qiao, Yuan Wang, Xinyan Gao, Jinzhao Wu: Operational semantics of probabilistic Kleene algebra with tests. ISCC 2008: 706-713 |
| 1 | EE | Xinyan Gao, Jinzhao Wu, Rui Qiao, Jianfeng Chen: Theory framework for event structure slicing. ISCC 2008: 714-721 |
| 1 | Jianfeng Chen | [1] |
| 2 | Xinyan Gao | [1] [2] |
| 3 | Yuan Wang | [2] |
| 4 | Jinzhao Wu | [1] [2] |