According to our database1, Zhen Zhang authored at least 15 papers between 2012 and 2020.
Legend:Book In proceedings Article PhD thesis Other
EFFORT: Enhancing Energy Efficiency and Error Resilience of a Near-Threshold Tensor Processing Unit.
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019
Proceedings of the Formal Methods for Industrial Critical Systems, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis.
Sci. Comput. Program., 2016
ACM J. Emerg. Technol. Comput. Syst., 2014
Proceedings of the Formal Methods for Industrial Critical Systems, 2014
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012
Proceedings of the 2012 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 2012