Cuong Chau
According to our database1,
Cuong Chau
authored at least 2 papers
between 2013 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
0
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Formal Verification of a Chained Multiply-Add Design: Combining Theorem Proving and Equivalence Checking.
Proceedings of the 29th IEEE Symposium on Computer Arithmetic, 2022
2013
Proceedings of the Second Joint Conference on Lexical and Computational Semantics, 2013