Depeng Liu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2017–2022
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | VMCAI | Verifying Pufferfish Privacy in Hidden Markov Models. | Depeng Liu, Bow-Yaw Wang, Lijun Zhang |
| 2021 | FM | Formal Verification of Consensus in the Taurus Distributed Database. | Song Gao, Bohua Zhan, Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen, Lijun Zhang |
| 2018 | APLAS | Model Checking Differentially Private Properties. | Depeng Liu, Bow-Yaw Wang, Lijun Zhang |
| 2017 | TACAS | A Novel Learning Algorithm for Bchi Automata Based on Family of DFAs and Classification Trees. | Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu |