Rui Qiao (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Rui Qiao, Yuan Wang, Xinyan Gao, Jinzhao Wu: Operational semantics of probabilistic Kleene algebra with tests. ISCC 2008: 706-713

1 Xinyan Gao, Jinzhao Wu, Rui Qiao, Jianfeng Chen: Theory framework for event structure slicing. ISCC 2008: 714-721

Selection of 2 from 2 records - Rui Qiao has 4 coauthors

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