Cuong K. Chau

According to our database, Cuong K. Chau authored at least 6 papers between 2009 and 2019.

Collaborative distances:

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

2019

A Hierarchical Approach to Self-Timed Circuit Verification.

Cuong K. Chau, Warren A. Hunt Jr., Matt Kaufmann, Marly Roncken, Ivan E. Sutherland

Proceedings of the 25th IEEE International Symposium on Asynchronous Circuits and Systems, 2019

2018

Data-Loop-Free Self-Timed Circuit Verification.

Cuong K. Chau, Warren A. Hunt Jr., Matt Kaufmann, Marly Roncken, Ivan E. Sutherland

Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems, 2018

2017

A Framework for Asynchronous Circuit Modeling and Verification in ACL2.

Cuong K. Chau, Warren A. Hunt Jr., Marly Roncken, Ivan E. Sutherland

Proceedings of the Hardware and Software: Verification and Testing, 2017

How to think about self-timed systems.

Marly Roncken, Ivan E. Sutherland, Chris Chen, Yong Hei, Warren A. Hunt Jr., Cuong K. Chau, Swetha Mettala Gilla, Hoon Park, Xiaoyu Song, Anping He, Hong Chen

Proceedings of the 51st Asilomar Conference on Signals, Systems, and Computers, 2017

2015

Fourier Series Formalization in ACL2(r).

Cuong K. Chau, Matt Kaufmann, Warren A. Hunt Jr.

Proceedings of the Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, 2015

2009

Latent Ontological Feature Discovery for Text Clustering.

Van T. T. Duong, Tru Hoang Cao, Cuong K. Chau, Tho T. Quan

Proceedings of the 2009 IEEE International Conference on Computing and Communication Technologies, 2009