Bohua Zhan

Institute of Software, Chinese Academy of Sciences - Beijing / China

Engineering & Technology / Computer Science

AD Scientific Index ID: 4720844

-

Registration, Add Profile,
Premium Membership

Print Your Certificate

Bohua Zhan's MOST POPULAR ARTICLES

1-) 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 …, 2019692019

2-) Learning one-clock timed automataJ An, M Chen, B Zhan, N Zhan, M ZhangInternational Conference on Tools and Algorithms for the Construction and …, 2020372020

3-) Super-polynomial quantum speed-ups for boolean evaluation trees with hidden structureB Zhan, S Kimmel, A HassidimProceedings of the 3rd Innovations in Theoretical Computer Science …, 2012222012

4-) Verifying asymptotic time complexity of imperative programs in IsabelleB Zhan, MPL HaslbeckAutomated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018

5-) Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/StateflowX Xu, S Wang, B Zhan, X Jin, JP Talpin, N ZhanTheoretical computer science 903, 1-25, 2022182022

ARTICLES

Add your articles