Yen-Sheng Ho
According to our database1,
Yen-Sheng Ho
authored at least 4 papers
between 2012 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2012
2013
2014
2015
2016
2017
0
1
2
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017
2016
Efficient uninterpreted function abstraction and refinement for word-level model checking.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016
2012
Proceedings of the 49th Annual Design Automation Conference 2012, 2012