Zhi-qing Shao

According to our database1, Zhi-qing Shao authored at least 3 papers between 2007 and 2016.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
The refinement check of added dynamic diagrams based on pi-calculus.
Int. Arab J. Inf. Technol., 2016

2009
ASM Semantic Modeling and Checking for Sequence Diagram.
Proceedings of the Fifth International Conference on Natural Computation, 2009

2007
Boolean Filters and Prime Filters of Residual Lattices.
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007


  Loading...