Jianzhou Zhao

Available identifiers

zbMath Open zhao.jianzhouMaRDI QIDQ2156927

List of research outcomes

Publication	Date of Publication	Type
Performance analysis of ultra-dense heterogeneous network switching technology based on region awareness Bayesian decision	2022-07-21	Paper
Formalizing the LLVM intermediate representation for verified program transformations	2015-09-11	Paper
Dependent types and program equivalence	2015-06-11	Paper
AURA	2015-03-16	Paper
Mechanized verification of computing dominators for formalizing compilers	2013-04-19	Paper

Research outcomes over time

This page was built for person: Jianzhou Zhao