According to our database1, Zhi-qing Shao authored at least 3 papers between 2007 and 2016.
Legend:Book In proceedings Article PhD thesis Other
The refinement check of added dynamic diagrams based on pi-calculus.
Int. Arab J. Inf. Technol., 2016
ASM Semantic Modeling and Checking for Sequence Diagram.
Proceedings of the Fifth International Conference on Natural Computation, 2009
Boolean Filters and Prime Filters of Residual Lattices.
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007