( en | de | ru )

 

Disambiguation of "Zhao, Jianzhou"

Author of the publication

copydeleteadd this publication to your clipboard
AURA: a programming language for authorization and audit.

, , , , , , and . ICFP, page 27-38. ACM, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zhao Zhao

Yanning Zhao

Hertz-level ultra-stable laser and its application to high precision spectroscopy. Uni Erlangen-Nürnberg, (2009)

Ruoyao Zhao

Li Zhao

Fei Zhao

 

Other publications of authors with the same name

Formal verification of SSA-based optimizations for LLVM., , , and . PLDI, page 175-186. ACM, (2013)Lightweight linear types in system fdegree., , and . TLDI, page 77-88. ACM, (2010)PFGASAT- A Genetic SAT Solver Combining Partitioning and Fuzzy Strategie., , and . COMPSAC, page 108-113. IEEE Computer Society, (2004)Relational Parametricity for a Polymorphic Linear Lambda Calculus., , and . APLAS, volume 6461 of Lecture Notes in Computer Science, page 344-359. Springer, (2010)Performance analysis of ultra-dense heterogeneous network switching technology based on region awareness Bayesian decision., , , , and . Soft Comput., 24 (23): 18203-18210 (2020)Formalizing the LLVM intermediate representation for verified program transformations., , , and . POPL, page 427-440. ACM, (2012)AURA: a programming language for authorization and audit., , , , , , and . ICFP, page 27-38. ACM, (2008)Cooperation of SMV and Jeda for the property checking of mixed control and data intensive designs., , and . CSCWD (2), page 1024-1028. IEEE Computer Society, (2005)1-84600-002-5.Mechanized Verification of Computing Dominators for Formalizing Compilers., and . CPP, volume 7679 of Lecture Notes in Computer Science, page 27-42. Springer, (2012)Relaxed support vector based dictionary learning for image classification., , , , , and . Multim. Tools Appl., 83 (5): 12731-12755 (February 2024)