×
Edit Profile (opens in new tab)

Liu, Depeng

Co-Author Distance
Author ID: liu.depeng Recent zbMATH articles by "Liu, Depeng"
Published as: Liu, Depeng
Documents Indexed: 5 Publications since 2017
Co-Authors: 5 Co-Authors with 5 Joint Publications
152 Co-Co-Authors

Co-Authors

0 single-authored
5 Zhang, Lijun
3 Wang, Bow-Yaw
2 Chen, Yu-Fang
2 Li, Yong
1 Fu, Chen

Serials

1 Theoretical Computer Science
1 Information and Computation

Fields

5 Computer science (68-XX)
2 Mathematical logic and foundations (03-XX)
2 Probability theory and stochastic processes (60-XX)
2 Operations research, mathematical programming (90-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

5 Publications have been cited 17 times in 16 Documents Cited by ▼ Year ▼
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1453.68098
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng
9
2017
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1518.68150
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng
3
2021
Model checking differentially private properties. Zbl 1519.68137
Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun
3
2018
Verifying Pufferfish privacy in hidden Markov models. Zbl 1498.68104
Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun
1
2022
Model checking differentially private properties. Zbl 1512.68157
Liu, Depeng; Wang, Bow-Yaw; Fu, Chen; Zhang, Lijun
1
2023
Model checking differentially private properties. Zbl 1512.68157
Liu, Depeng; Wang, Bow-Yaw; Fu, Chen; Zhang, Lijun
1
2023
Verifying Pufferfish privacy in hidden Markov models. Zbl 1498.68104
Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun
1
2022
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1518.68150
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng
3
2021
Model checking differentially private properties. Zbl 1519.68137
Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun
3
2018
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1453.68098
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng
9
2017
all cited Publications top 5 cited Publications
all top 5

Cited by 46 Authors

5 Zhang, Lijun
3 Li, Yong
3 Liu, Depeng
2 An, Jie
2 Angluin, Dana
2 Fisman, Dana
2 Turrini, Andrea
2 Vardi, Moshe Ya’akov
2 Wang, Bow-Yaw
2 Zhan, Bohua
2 Zhan, Naijun
2 Zhang, Miaomiao
1 Barthe, Gilles
1 Bohn, León
1 Boker, Udi
1 Brunet, Paul
1 Chadha, Rohit
1 Chen, Mingshuai
1 Chen, Yu-Fang
1 Chong, Stephen
1 Ciancia, Vincenzo
1 Doveri, Kyveli
1 Farina, Gian Pietro
1 Feng, Weizhi
1 Fleischhacker, Nils
1 Fu, Chen
1 Gaboardi, Marco
1 Ganty, Pierre
1 Jagannath, Vishal
1 Jin, Xiangyu
1 Kappé, Tobias
1 Krupp, Johannes
1 Löding, Christof
1 Malavolta, Giulio
1 Mazzocchi, Nicolas
1 Prasad Sistla, A.
1 Schneider, Jonas
1 Schröder, Dominique
1 Shoval, Yaara
1 Silva, Alexandra
1 Simkin, Mark
1 Tsay, Yih-Kuen
1 Venema, Yde
1 Viswanathan, Mahesh
1 Wagemaker, Jana
1 Zanasi, Fabio

Cited in 5 Serials

2 Information and Computation
1 Theoretical Computer Science
1 Formal Aspects of Computing
1 Logical Methods in Computer Science
1 TheoretiCS
all top 5

Cited in 6 Fields

14 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)
1 Probability theory and stochastic processes (60-XX)
1 Operations research, mathematical programming (90-XX)
1 Systems theory; control (93-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year