Yuefeng Tang

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Calculation Method on Tracking Interval of Magnetic Levitation Train.

Ning Wang, Yuefeng Tang, Xiangqian Liu

Proceedings of the 11th International Symposium on Computational Intelligence and Design, 2018

2008

Rewriting Interpolants.

Christopher Lynch, Yuefeng Tang

Proceedings of the First International Conference on Foundations of Informatics, 2008

Interpolants for Linear Arithmetic in SMT.

Christopher Lynch, Yuefeng Tang

Proceedings of the Automated Technology for Verification and Analysis, 2008