Ye Liang
Affiliations:- Max Planck Institute for Informatics
- Chinese Academy of Sciences, Key Laboratory of Mathematics Mechanization
- Pierre-and-Marie-Curie University, Department of Computers, Telecommunications and Electronics
- Beihang University, School of Mathematics and Systems Sciences
According to our database1,
Ye Liang
authored at least 5 papers
between 2011 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2013
J. Symb. Comput., 2013
J. Symb. Comput., 2013
2012
2011
Math. Comput. Sci., 2011
J. Symb. Comput., 2011