×
Edit Profile (opens in new tab)

Zhang, Zhenya

Co-Author Distance
Author ID: zhang.zhenya Recent zbMATH articles by "Zhang, Zhenya"
Published as: Zhang, Zhenya
Documents Indexed: 10 Publications since 2004
Co-Authors: 17 Co-Authors with 8 Joint Publications
576 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
4 Hasuo, Ichiro
3 Arcaini, Paolo
2 Chen, Enhong
2 Cheng, Hongmei
2 Wang, Xufa
2 Zhang, Shuguang
1 An, Jie
1 Burkhard, Hans-Dieter
1 Chen, Shuangping
1 Chen, Yang
1 Ernst, Gidon
1 Lindemann, Gabriela
1 Lyu, Deyun
1 Ma, Lei
1 Sedwards, Sean
1 Zhang, Yu
1 Zhao, Jianjun

Serials

2 International Journal of Modern Physics A
1 ACM Transactions on Modeling and Computer Simulation
1 Informatica (Ljubljana)
all top 5

Fields

8 Computer science (68-XX)
2 Mathematical logic and foundations (03-XX)
2 Quantum theory (81-XX)
2 Biology and other natural sciences (92-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Systems theory; control (93-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

4 Publications have been cited 7 times in 6 Documents Cited by ▼ Year ▼
Multi-armed bandits for Boolean connectives in hybrid system falsification. Zbl 1533.68183
Zhang, Zhenya; Hasuo, Ichiro; Arcaini, Paolo
3
2019
Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness. Zbl 1493.68227
Zhang, Zhenya; Lyu, Deyun; Arcaini, Paolo; Ma, Lei; Hasuo, Ichiro; Zhao, Jianjun
2
2021
Falsification of hybrid systems using adaptive probabilistic search. Zbl 1542.68096
Ernst, Gidon; Sedwards, Sean; Zhang, Zhenya; Hasuo, Ichiro
2
2021
\(\overline{K}N\) scattering in chiral constituent quark models. Zbl 1149.81369
Huang, F.; Wang, W. L.; Zhang, Z. Y.
1
2008
Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness. Zbl 1493.68227
Zhang, Zhenya; Lyu, Deyun; Arcaini, Paolo; Ma, Lei; Hasuo, Ichiro; Zhao, Jianjun
2
2021
Falsification of hybrid systems using adaptive probabilistic search. Zbl 1542.68096
Ernst, Gidon; Sedwards, Sean; Zhang, Zhenya; Hasuo, Ichiro
2
2021
Multi-armed bandits for Boolean connectives in hybrid system falsification. Zbl 1533.68183
Zhang, Zhenya; Hasuo, Ichiro; Arcaini, Paolo
3
2019
\(\overline{K}N\) scattering in chiral constituent quark models. Zbl 1149.81369
Huang, F.; Wang, W. L.; Zhang, Z. Y.
1
2008
all cited Publications top 5 cited Publications
all top 5

Cited by 22 Authors

1 Åkesson, Knut
1 Arcaini, Paolo
1 Bartocci, Ezio
1 Bloem, Roderick
1 Chandratre, Aniruddh
1 Donzé, Alexandre
1 Fainekos, Georgios E.
1 Ghorbel, Bassem
1 Hasuo, Ichiro
1 Hernandez Acosta, Tomas
1 Khandait, Tanmay
1 Lidén Eddeland, Johan
1 Lyu, Deyun
1 Ma, Lei
1 Maderbacher, Benedikt
1 Manjunath, Niveditha
1 Nickovic, Dejan
1 Pedrielli, Giulia
1 Prabhu, Vinayak S.
1 Waga, Masaki
1 Zhang, Zhenya
1 Zhao, Jianjun

Cited in 1 Serial

1 Nonlinear Analysis. Hybrid Systems

Cited in 3 Fields

6 Computer science (68-XX)
5 Systems theory; control (93-XX)
1 Mathematical logic and foundations (03-XX)

Citations by Year