Concepedia

Bohua Zhan

BZ

9

Publications

185

Citations

9

H-Index

1999

Active since

Affiliations

Institute of Software(Current)

University of Chinese Academy of Sciences

Chinese Academy of Sciences

Tongji University

Centre Inria de l'Université de Rennes

Bohua Zhan is an author at Institute of Software specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationRobot LearningAutomated ReasoningSystems EngineeringArtificial IntelligenceCryptographyVerification

Publications per year

1999–2022

9

Publications

9

Learning Nondeterministic Real-Time Automata

Jie An, Bohua Zhan, Naijun Zhan et al. · ACM Transactions on Embedded Computing Systems · 2021 · 46 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +18

On the security of HY-key authentication scheme

Bohua Zhan, Zhuang Li, Zhekai Hu · Computer Communications · 1999 · 33 citations

Lightweight Authentication Mechanism, Engineering, Information Security +5

Super-polynomial quantum speed-ups for boolean evaluation trees with hidden structure

Bohua Zhan, Shelby Kimmel, Avinatan Hassidim · 2012 · 24 citations · Full text

Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow

Xiong Xu, Shuling Wang, Bohua Zhan et al. · Theoretical Computer Science · 2021 · 19 citations

Model-based System Engineering, Engineering, Graphical Co-modeling +9

Learning real-time automata

Jie An, Lingtai Wang, Bohua Zhan et al. · Science China Information Sciences · 2021 · 18 citations

Artificial Intelligence, Logical Automaton, Engineering +8

Rows per page

1–5 of 9