×
Edit Profile (opens in new tab)

Huang, Yutao

Co-Author Distance
Author ID: huang.yutao Recent zbMATH articles by "Huang, Yutao"
Published as: Huang, Yutao
Documents Indexed: 3 Publications since 1998
Co-Authors: 12 Co-Authors with 2 Joint Publications
255 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
1 Chen, Zhe
1 Chong, Yutian
1 Du, Zhicheng
1 Guo, Pi
1 Hao, Yuantao
1 Huang, Zhiqiu
1 Ibbotson, J.
1 Kan, Shuanglong
1 Li, Mengjie
1 Li, Weiwei
1 Li, Xiangyong
1 Tian, Xiaolu
1 Zhang, Wangjian
1 Zieleźny, Z.

Serials

1 Rocky Mountain Journal of Mathematics
1 Journal of Logic and Computation
1 Computational & Mathematical Methods in Medicine

Fields

1 Mathematical logic and foundations (03-XX)
1 Functional analysis (46-XX)
1 Statistics (62-XX)
1 Computer science (68-XX)
1 Biology and other natural sciences (92-XX)

Publications by Year

Citations contained in zbMATH Open

1 Publications have been cited 2 times in 2 Documents Cited by ▼ Year ▼
Partial order reduction for checking LTL formulae with the next-time operator. Zbl 1380.68276
Kan, Shuanglong; Huang, Zhiqiu; Chen, Zhe; Li, Weiwei; Huang, Yutao
2
2017
Partial order reduction for checking LTL formulae with the next-time operator. Zbl 1380.68276
Kan, Shuanglong; Huang, Zhiqiu; Chen, Zhe; Li, Weiwei; Huang, Yutao
2
2017

Cited by 5 Authors

1 Hoffmann, Jan-Philipp
1 Kahn, David M.
1 Neele, Thomas
1 Wesselink, Wieger
1 Willemse, Tim A. C.

Cited in 0 Serials

Cited in 3 Fields

2 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Citations by Year