Circuit Level Verification of a High-Speed Toggle. - Chao Yan 001; Mark R. Greenstreet (FMCAD, 2007)

Faster projection based methods for circuit level verification. - Chao Yan 001; Mark R. Greenstreet (ASP-DAC, 2008)

Verifying an Arbiter Circuit. - Chao Yan 001; Mark R. Greenstreet (FMCAD, 2008)

Formal Verification of an Arbiter Circuit. - Chao Yan 001; Mark R. Greenstreet; Jochen Eisinger (ASYNC, 2010)

Formal Verification of C-element Circuits. - Chao Yan 001; Florent Ouchet; Laurent Fesquet; Katell Morin-Allory (ASYNC, 2011)

An Approach of Semi-automatic Public Sentiment Analysis for Opinion and District. - Daling Wang; Shi Feng 001; Chao Yan 001; Ge Yu 001 (WAIM Workshops, 2011)

Oscillator verification with probability one. - Chao Yan 001; Mark R. Greenstreet (FMCAD, 2012)

Verifying global start-up for a Möbius ring-oscillator. - Chao Yan 001; Mark R. Greenstreet; Suwen Yang (Formal Methods Syst. Des., 2014)