C. Chau

Montague Meets Markov: Deep Semantics with Probabilistic Logical Form

Cuong Chau, Gemma Boleda, Katrin Erk, 2013, *SEMEVAL.

Text Clustering with Named Entities: A Model, Experimentation and Realization

Tru H. Cao, Cuong K. Chau, Thao M. Tang, 2012 .

Latent Ontological Feature Discovery for Text Clustering

Tru H. Cao, Tho T. Quan, Van T. T. Duong, 2009, 2009 IEEE-RIVF International Conference on Computing and Communication Technologies.

A Hierarchical Approach to Self-Timed Circuit Verification

Marly Roncken, Matt Kaufmann, Warren A. Hunt, 2019, 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).

How to think about self-timed systems

Hong Chen, Marly Roncken, Xiaoyu Song, 2017, 2017 51st Asilomar Conference on Signals, Systems, and Computers.

Fourier Series Formalization in ACL2(r)

Matt Kaufmann, Warren A. Hunt, Cuong K. Chau, 2015, ACL2.

ACL2(r) Formalization of Fourier Series' Properties

C. Chau, 2015 .