We stand with Ukraine  

Thi Minh Tuyen Nguyen

According to our database1, Thi Minh Tuyen Nguyen authored at least 4 papers between 2010 and 2012.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Taking architecture and compiler into account in formal proofs of numerical programs. (Preuves formelles de programmes numériques en prenant en compte l'architecture et le compilateur).
[BibTeX]
[DOI]
Thi Minh Tuyen Nguyen
PhD thesis, 2012

2011
Proofs of numerical programs when the compiler optimizes.
[BibTeX]
[DOI]
Sylvie Boldo
,
Thi Minh Tuyen Nguyen
Innov. Syst. Softw. Eng., 2011

Hardware-Dependent Proofs of Numerical Programs.
[BibTeX]
[DOI]
Thi Minh Tuyen Nguyen
,
Claude Marché
Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2010
Hardware-independent Proofs of Numerical Programs.
[BibTeX]
Sylvie Boldo
,
Thi Minh Tuyen Nguyen
Proceedings of the Second NASA Formal Methods Symposium, 2010


  Loading...