We stand with Ukraine  

Chao Yan

Affiliations:
  • Intel, Portland, OR, USA
  • University of British Columbia, Vancouver, BC, Canada


According to our database1, Chao Yan authored at least 8 papers between 2007 and 2014.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Verifying global start-up for a Möbius ring-oscillator.
[BibTeX]
[DOI]
Chao Yan
,
Mark R. Greenstreet
,
Suwen Yang
Formal Methods Syst. Des., 2014

2012
Oscillator verification with probability one.
[BibTeX]
[DOI]
Chao Yan
,
Mark R. Greenstreet
Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011
An Approach of Semi-automatic Public Sentiment Analysis for Opinion and District.
[BibTeX]
[DOI]
Daling Wang
,
Shi Feng
,
Chao Yan
,
Ge Yu
Proceedings of the Web-Age Information Management, 2011

Formal Verification of C-element Circuits.
[BibTeX]
[DOI]
Chao Yan
,
Florent Ouchet
,
Laurent Fesquet
,
Katell Morin-Allory
Proceedings of the 17th IEEE International Symposium on Asynchronous Circuits and Systems, 2011

2010
Formal Verification of an Arbiter Circuit.
[BibTeX]
[DOI]
Chao Yan
,
Mark R. Greenstreet
,
Jochen Eisinger
Proceedings of the 16th IEEE International Symposium on Asynchronous Circuits and Systems, 2010

2008
Verifying an Arbiter Circuit.
[BibTeX]
[DOI]
Chao Yan
,
Mark R. Greenstreet
Proceedings of the Formal Methods in Computer-Aided Design, 2008

Faster projection based methods for circuit level verification.
[BibTeX]
[DOI]
Chao Yan
,
Mark R. Greenstreet
Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

2007
Circuit Level Verification of a High-Speed Toggle.
[BibTeX]
[DOI]
Chao Yan
,
Mark R. Greenstreet
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007


  Loading...