×
Edit Profile (opens in new tab)

Bu, Lei

Co-Author Distance
Author ID: bu.lei Recent zbMATH articles by "Bu, Lei"
Published as: Bu, Lei
Documents Indexed: 10 Publications since 2002
1 Contribution as Editor
Co-Authors: 16 Co-Authors with 10 Joint Publications
507 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
7 Li, Xuandong
3 Xie, Dingbao
2 Chen, Xin
2 Zhao, Jianhua
1 Aanand, Sumit Jha
1 Hermanns, Holger
1 Jiang, Hui
1 Li, You
1 Pan, Minxue
1 Pu, Yun
1 Straub, John E.
1 Tang, Enyi
1 Wang, Jiawan
1 Whitfield, T. W.
1 Xing, Shaopeng
1 Xiong, Wen
1 Yin, Chuanzhong
1 Zhao, Yi
all top 5

Serials

1 Physica A
1 IEEE Transactions on Computers
1 Journal of Southwest Jiaotong University
1 Formal Methods in System Design
1 Journal of Software
1 Lecture Notes in Computer Science
1 Science China. Information Sciences

Fields

9 Computer science (68-XX)
3 Operations research, mathematical programming (90-XX)
2 Systems theory; control (93-XX)
1 General and overarching topics; collections (00-XX)
1 Statistical mechanics, structure of matter (82-XX)

Publications by Year

Citations contained in zbMATH Open

3 Publications have been cited 3 times in 3 Documents Cited by ▼ Year ▼
Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming. Zbl 1273.68198
Bu, Lei; Zhao, Jianhua; Li, Xuandong
2
2010
Generalized parallel sampling. Zbl 0986.82030
Whitfield, T. W.; Bu, L.; Straub, J. E.
1
2002
Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming. Zbl 1277.68139
Li, Xuandong; Aanand, Sumit Jha; Bu, Lei
1
2007
Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming. Zbl 1273.68198
Bu, Lei; Zhao, Jianhua; Li, Xuandong
2
2010
Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming. Zbl 1277.68139
Li, Xuandong; Aanand, Sumit Jha; Bu, Lei
1
2007
Generalized parallel sampling. Zbl 0986.82030
Whitfield, T. W.; Bu, L.; Straub, J. E.
1
2002
all top 5

Cited by 11 Authors

1 Bogomolov, Sergiy
1 Bu, Lei
1 Cimatti, Alessandro
1 Frehse, Goran
1 Giacobbe, Mirco
1 Henzinger, Thomas A.
1 Li, Xuandong
1 Mover, Sergio
1 Tonetta, Stefano
1 Xie, Dingbao
1 Zhao, Jianhua

Cited in 1 Serial

2 Formal Methods in System Design

Cited in 3 Fields

3 Computer science (68-XX)
1 Operations research, mathematical programming (90-XX)
1 Systems theory; control (93-XX)

Citations by Year