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 
Other 

Links

On csauthors.net:

Bibliography

2014
Verifying global start-up for a Möbius ring-oscillator.
Formal Methods Syst. Des., 2014

2012
Oscillator verification with probability one.
Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011
An Approach of Semi-automatic Public Sentiment Analysis for Opinion and District.
Proceedings of the Web-Age Information Management, 2011

Formal Verification of C-element Circuits.
Proceedings of the 17th IEEE International Symposium on Asynchronous Circuits and Systems, 2011

2010
Formal Verification of an Arbiter Circuit.
Proceedings of the 16th IEEE International Symposium on Asynchronous Circuits and Systems, 2010

2008
Verifying an Arbiter Circuit.
Proceedings of the Formal Methods in Computer-Aided Design, 2008

Faster projection based methods for circuit level verification.
Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

2007
Circuit Level Verification of a High-Speed Toggle.
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007


  Loading...