Bohua Zhan

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Formal verification of quantum algorithms using quantum Hoare logic	2024-02-16	Paper
\textsf{HHLPy}: practical verification of hybrid systems using Hoare logic	2023-08-17	Paper
Learning deterministic one-clock timed automata via mutation testing	2023-06-02	Paper
Active learning of one-clock timed automata using constraint solving	2023-06-02	Paper
Compression of enumerations and gain	2023-04-06	Paper
A denotational semantics of simulink with higher-order UTP	2022-11-16	Paper
Learning One-Clock Timed Automata	2022-10-13	Paper
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow	2022-02-01	Paper
Verified interactive computation of definite integrals	2021-12-01	Paper
Inferring switched nonlinear dynamical systems	2021-08-30	Paper
NIL: learning nonlinear interpolants	2020-03-10	Paper
Efficient verification of imperative programs using auto2	2019-09-16	Paper
Formalization of the fundamental group in untyped set theory using auto2	2019-08-21	Paper
Verifying asymptotic time complexity of imperative programs in Isabelle	2018-10-18	Paper
Formalization of the fundamental group in untyped set theory using auto2	2018-01-04	Paper
Combinatorial proofs in bordered Heegaard Floer homology	2016-11-17	Paper
AUTO2, A Saturation-Based Heuristic Prover for Higher-Order Logic	2016-10-27	Paper
Super-polynomial quantum speed-ups for boolean evaluation trees with hidden structure	2016-10-07	Paper
Explicit Koszul-dualizing bimodules in bordered Heegaard Floer homology	2016-03-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bohua Zhan