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.

[BibT_eX]

[DOI]

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

Theory framework for event structure slicing.

[BibT_eX]

[DOI]

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

Probabilistic Modal Kleene Algebra and Hoare-Style Logic.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Natural Computation, 2008