Cuong K. Chau

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 5

Top Topics

Agent Communication Language

Circular Harmonic

Top Venues

Haifa Verification Conference

Publications

Cuong K. Chau, Warren A. Hunt Jr., Matt Kaufmann, Marly Roncken, Ivan E. Sutherland
A Hierarchical Approach to Self-Timed Circuit Verification. ASYNC (2019)
Cuong K. Chau, Warren A. Hunt Jr., Matt Kaufmann, Marly Roncken, Ivan E. Sutherland
Data-Loop-Free Self-Timed Circuit Verification. ASYNC (2018)
Cuong K. Chau, Warren A. Hunt Jr., Marly Roncken, Ivan E. Sutherland
A Framework for Asynchronous Circuit Modeling and Verification in ACL2. Haifa Verification Conference (2017)
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
How to think about self-timed systems. ACSSC (2017)
Cuong K. Chau, Matt Kaufmann, Warren A. Hunt Jr.
Fourier Series Formalization in ACL2(r). ACL2 (2015)
Van T. T. Duong, Tru Hoang Cao, Cuong K. Chau, Tho T. Quan
Latent Ontological Feature Discovery for Text Clustering. RIVF (2009)