Zhenhe Cui
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus. | Liangda Fang, Xiaoman Wang, Zhang Chen, Kailun Luo, Zhenhe Cui, Quanlong Guan |
| 2025 | SecureComm | On the Decision Problem of a Class of Automata Used for Security Verification of Network Protocols. | Qingxia Long, Yong He, Zhenhe Cui |
| 2023 | IJCAI | Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning. | Zhenhe Cui, Weidu Kuang, Yongmei Liu |
| 2021 | IJCAI | A Uniform Abstraction Framework for Generalized Planning. | Zhenhe Cui, Yongmei Liu, Kailun Luo |