Yan Zhang
Affiliations:- Huawei Singapore Research Center, Singapore
- National University of Singapore
- University of Colorado Boulder, CO, USA
According to our database1,
Yan Zhang
authored at least 9 papers
between 2011 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2011
2012
2013
2014
2015
2016
2017
2018
2019
0
1
2
3
1
2
2
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2019
IEEE Trans. Cloud Comput., 2019
2015
Simulation-Guided Parameter Synthesis for Chance-Constrained Optimization of Control Systems.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015
2014
Proceedings of the Automated Technology for Verification and Analysis, 2014
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014
2013
From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013
2012
Piecewise linear modeling of nonlinear devices for formal verification of analog circuits.
Proceedings of the Formal Methods in Computer-Aided Design, 2012
2011
Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, 2011
Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011