Rui Qiao

Affiliations:

Chinese Academy of Sciences, Chengdu Institute of Computer Applications, Chengdu

According to our database¹, Rui Qiao authored at least 3 papers in 2008.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2008

Operational semantics of probabilistic Kleene algebra with tests.

[DOI]

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Theory framework for event structure slicing.

[DOI]

Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008

Probabilistic Modal Kleene Algebra and Hoare-Style Logic.

[DOI]

Proceedings of the Fourth International Conference on Natural Computation, 2008