Hai Wan

Available identifiers

Publication	Date of Publication	Type
How to verify identity in the continuous variable quantum system?	2023-06-13	Paper
Gradient-based mixed planning with symbolic and numeric action parameters	2022-11-08	Paper
High-efficient quantum key agreement protocol with entanglement measure	2022-07-26	Paper
A general multi-agent epistemic planner based on higher-order belief change	2021-12-13	Paper
Formal proof of a machine closed theorem in Coq	2019-02-01	Paper
A novel fault diagnosis mechanism for wireless sensor networks	2011-11-11	Paper
Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections	2010-05-08	Paper

This page was built for person: Hai Wan