Yuefeng Tang

According to our database1, Yuefeng Tang authored at least 3 papers between 2008 and 2018.

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

2018
Calculation Method on Tracking Interval of Magnetic Levitation Train.
Proceedings of the 11th International Symposium on Computational Intelligence and Design, 2018

2008
Rewriting Interpolants.
Proceedings of the First International Conference on Foundations of Informatics, 2008

Interpolants for Linear Arithmetic in SMT.
Proceedings of the Automated Technology for Verification and Analysis, 2008


  Loading...