Naijun Zhan

Naijun Zhan

Institute of Software, Chinese Academy of Sciences - - / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4600628
-
person_outline Naijun Zhan's MOST POPULAR ARTICLES
1-) A calculus for hybrid CSPJ Liu, J Lv, Z Quan, N Zhan, H Zhao, C Zhou, L ZouAsian Symposium on Programming Languages and Systems, 1-15, 20101322010
2-) Computing semi-algebraic invariants for polynomial dynamical systemsJ Liu, N Zhan, H ZhaoProceedings of the ninth ACM international conference on Embedded software …, 20111292011
3-) Formal verification of quantum algorithms using quantum Hoare logicJ Liu, B Zhan, S Wang, S Ying, T Liu, Y Li, M Ying, N ZhanComputer Aided Verification: 31st International Conference, CAV 2019, New …, 201996*2019
4-) Discovering non-linear ranking functions by solving semi-algebraic systemsY Chen, B Xia, L Yang, N Zhan, C ZhouTheoretical Aspects of Computing–ICTAC 2007: 4th International Colloquium …, 2007972007
5-) Formal Verification of Simulink/Stateflow DiagramsN Zhan, S Wang, H ZhaoSpringer, 201794*2017