Cuong Chau

According to our database¹, Cuong Chau authored at least 3 papers between 2013 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Robust, End-to-end Correctness Proofs of Industrial Divide and Square Root RTL Designs.

[BibT_eX]

[DOI]

Sol Swords

Cuong Chau

Proceedings of the IEEE 32nd Symposium on Computer Arithmetic, 2025

2022

Formal Verification of a Chained Multiply-Add Design: Combining Theorem Proving and Equivalence Checking.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE Symposium on Computer Arithmetic, 2022

2013

Montague Meets Markov: Deep Semantics with Probabilistic Logical Form.

[BibT_eX]

[DOI]

Proceedings of the Second Joint Conference on Lexical and Computational Semantics, 2013

Cuong Chau

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...