Mengdi Wang

Affiliations:

According to our database¹, Mengdi Wang authored at least 3 papers between 2013 and 2015.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2015

Modeling and Verifying Google File System.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

Formalizing Google File System.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

2013

A DT-SVM Strategy for Stock Futures Prediction with Big Data.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013