Collaborated with:M.P.L.Haslbeck N.Zhan M.Chen J.W.0042 J.An D.Kapur J.Liu S.Wang S.Ying T.Liu Y.Li M.Ying
Talks about:quantum (2) nonlinear (1) algorithm (1) interpol (1) asymptot (1) program (1) isabell (1) complex (1) verifi (1) formal (1)
Person: Bohua Zhan
DBLP: Zhan:Bohua
Contributed to:
2018
2019
2019Wrote 3 papers:
- IJCAR-2018-ZhanH #complexity #imperative #source code #verification
- Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle (BZ, MPLH), pp. 532–548.
- CADE-2019-ChenWAZKZ #learning #named
- NIL: Learning Nonlinear Interpolants (MC, JW0, JA, BZ, DK, NZ), pp. 178–196.
- CAV-2019-LiuZWYLLYZ #algorithm #hoare #logic #quantum #using #verification
- Formal Verification of Quantum Algorithms Using Quantum Hoare Logic (JL, BZ, SW, SY, TL, YL, MY, NZ), pp. 187–207.