Meixian Chen

Orcid: 0000-0003-4990-6420

According to our database¹, Meixian Chen authored at least 5 papers between 2012 and 2019.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2019

Research on Air-Supported Force Measurement Method and Air-Supported Triaxial Force Measurement Platform.

[BibT_eX]

[DOI]

IEEE Access, 2019

2015

Reusing constraint proofs in program analysis.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014

Reusing constraint proofs for scalable program analysis.

[BibT_eX]

[DOI]

Meixian Chen

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013

Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013

2012

Formal Verification of Netlog Protocols.

[BibT_eX]

[DOI]

Meixian Chen

Jean-François Monin

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Meixian Chen

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...