Latent Ontological Feature Discovery for Text Clustering. - Van T. T. Duong 002; Tru Hoang Cao; Cuong K. Chau; Tho T. Quan (RIVF, 2009)

Fourier Series Formalization in ACL2(r). - Cuong K. Chau; Matt Kaufmann; Warren A. Hunt Jr. (ACL2, 2015)

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 002 (ACSSC, 2017)

A Framework for Asynchronous Circuit Modeling and Verification in ACL2. - Cuong K. Chau; Warren A. Hunt Jr.; Marly Roncken; Ivan E. Sutherland (Haifa Verification Conference, 2017)

Data-Loop-Free Self-Timed Circuit Verification. - Cuong K. Chau; Warren A. Hunt Jr.; Matt Kaufmann; Marly Roncken; Ivan E. Sutherland (ASYNC, 2018)

A Hierarchical Approach to Self-Timed Circuit Verification. - Cuong K. Chau; Warren A. Hunt Jr.; Matt Kaufmann; Marly Roncken; Ivan E. Sutherland (ASYNC, 2019)