Bohua Zhan

From MaRDI portal
Person:258840

Available identifiers

zbMath Open zhan.bohuaMaRDI QIDQ258840

List of research outcomes

PublicationDate of PublicationType
Formal verification of quantum algorithms using quantum Hoare logic2024-02-16Paper
\textsf{HHLPy}: practical verification of hybrid systems using Hoare logic2023-08-17Paper
Learning deterministic one-clock timed automata via mutation testing2023-06-02Paper
Active learning of one-clock timed automata using constraint solving2023-06-02Paper
Compression of enumerations and gain2023-04-06Paper
A denotational semantics of simulink with higher-order UTP2022-11-16Paper
Learning One-Clock Timed Automata2022-10-13Paper
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow2022-02-01Paper
Verified interactive computation of definite integrals2021-12-01Paper
Inferring switched nonlinear dynamical systems2021-08-30Paper
NIL: learning nonlinear interpolants2020-03-10Paper
Efficient verification of imperative programs using auto22019-09-16Paper
Formalization of the fundamental group in untyped set theory using auto22019-08-21Paper
Verifying asymptotic time complexity of imperative programs in Isabelle2018-10-18Paper
Formalization of the fundamental group in untyped set theory using auto22018-01-04Paper
Combinatorial proofs in bordered Heegaard Floer homology2016-11-17Paper
AUTO2, A Saturation-Based Heuristic Prover for Higher-Order Logic2016-10-27Paper
Super-polynomial quantum speed-ups for boolean evaluation trees with hidden structure2016-10-07Paper
Explicit Koszul-dualizing bimodules in bordered Heegaard Floer homology2016-03-10Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Bohua Zhan