Meiling Cao

According to our database1, Meiling Cao authored at least 4 papers between 2008 and 2016.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Traveling curved fronts of bistable Lotka-Volterra competition-diffusion systems in R<sup>3</sup>.
Comput. Math. Appl., 2016

2015
Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

2011
SAT-based Algorithmic Verification of Noninterference.
J. Comput., 2011

2008
Color Correction for Digital Images Based on the Finite-Dimensional Linear-Model.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008


  Loading...