×
Edit Profile (opens in new tab)

Li, Xuandong

Co-Author Distance
Author ID: li.xuandong Recent zbMATH articles by "Li, Xuandong"
Published as: Li, Xuandong; Li, Xuan Dong
Documents Indexed: 37 Publications since 1993
2 Contributions as Editor
Co-Authors: 40 Co-Authors with 28 Joint Publications
711 Co-Co-Authors
all top 5

Co-Authors

3 single-authored
13 Zheng, Guoliang
10 Zhao, Jianhua
7 Bu, Lei
6 Wiberg, Nils-Erik
6 Zheng, Tao
5 Chen, Xin
4 Pei, Yu
3 Li, Yong
3 Liu, Zhiming
3 Tang, Enyi
2 Lin, Wang
2 Xie, Dingbao
2 Yang, Zhengfeng
2 Yu, Xiaofeng
2 Zhang, Yan
2 Zhao, Qingye
1 Aanand, Sumit Jha
1 Chen, Qiguang
1 Cui, Meng
1 Jiang, Hui
1 Lei, Bin
1 Li, Bixin
1 Li, You
1 Lilius, Johan
1 Morisset, Charles
1 Pan, Minxue
1 Peng, Chao
1 Rönkkö, Mauno
1 Sha, Meng
1 Stolz, Volker
1 Tan, Wenkai
1 Wang, Jiawan
1 Wang, Yunfeng
1 Xing, Shaopeng
1 Xiong, Wen
1 Xu, He
1 Xu, Qiwen
1 Yi, Wang
1 Zeng, Ling Fu
1 Zhang, Tian
1 Zhang, Yifang
1 Zhao, Zhuoyu
1 Zhou, S.
all top 5

Serials

3 Journal of Computer Science and Technology
3 Journal of Software
2 Information Processing Letters
2 International Journal for Numerical Methods in Engineering
2 Formal Aspects of Computing
2 Communications in Numerical Methods in Engineering
1 Acta Mechanica
1 AIAA Journal
1 Astronomy and Astrophysics
1 Computer Methods in Applied Mechanics and Engineering
1 Computers and Structures
1 IEEE Transactions on Computers
1 Journal of Nanjing University. Natural Sciences
1 Science of Computer Programming
1 Archive of Applied Mechanics
1 Formal Methods in System Design
1 Nordic Journal of Computing
1 The Journal of Logic and Algebraic Programming
1 Lecture Notes in Computer Science
1 Science China. Information Sciences
all top 5

Fields

29 Computer science (68-XX)
7 Mechanics of deformable solids (74-XX)
4 Operations research, mathematical programming (90-XX)
3 Numerical analysis (65-XX)
3 Systems theory; control (93-XX)
2 General and overarching topics; collections (00-XX)
1 Mathematical logic and foundations (03-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Partial differential equations (35-XX)
1 Mechanics of particles and systems (70-XX)
1 Fluid mechanics (76-XX)
1 Relativity and gravitational theory (83-XX)
1 Astronomy and astrophysics (85-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

18 Publications have been cited 20 times in 20 Documents Cited by ▼ Year ▼
Implementation and adaptivity of a space-time finite element method for structural dynamics. Zbl 0960.74065
Li, X. D.; Wiberg, N.-E.
50
1998
Structural dynamic analysis by a time-discontinuous Galerkin finite element method. Zbl 0885.73081
Li, X. D.; Wiberg, N.-E.
42
1996
Superconvergent patch recovery of finite-element solution and a posteriori \(L_ 2\) norm error estimate. Zbl 0802.65108
Wiberg, N.-E.; Li, X. D.
19
1994
A simple local error estimator and an adaptive time-stepping procedure for direct integration method in dynamic analysis. Zbl 0777.73079
Li, X. D.; Zeng, L. F.; Wiberg, N.-E.
15
1993
A postprocessed error estimate and an adaptive procedure for the semidiscrete finite element method in dynamic analysis. Zbl 0816.73063
Wiberg, N.-E.; Li, X. D.
10
1994
A posteriori error estimate by element patch post-processing, adaptive analysis in energy and \(L_2\) norms. Zbl 0894.73160
Li, X. D.; Wiberg, N.-E.
10
1994
A quadratic-time DBM-based successor algorithm for checking timed automata. Zbl 1184.68335
Zhao, Jianhua; Li, Xuandong; Zheng, Guoliang
5
2005
Linear hybrid action systems. Zbl 0978.68106
Rönkkö, Mauno; Li, Xuandong
2
2001
Efficient verification of a class of time Petri nets using linear programming. Zbl 0996.68524
Li, Xuandong; Lilius, Johan
2
2001
Removing irrelevant atomic formulas for checking timed automata efficiently. Zbl 1099.68060
Zhao, Jianhua; Li, Xuandong; Zheng, Tao; Zheng, Guoliang
2
2004
A novel approach for solving the BMI problem in barrier certificates generation. Zbl 1478.68152
Chen, Xin; Peng, Chao; Lin, Wang; Yang, Zhengfeng; Zhang, Yifang; Li, Xuandong
2
2020
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
Efficient verification of a class of linear hybrid automata using linear programming. Zbl 1002.68506
Li, Xuandong; Pei, Yu; Zhao, Jianhua; Li, Yong; Zheng, Tao; Zheng, Guoliang
1
2001
Partial order path technique for checking parallel timed automata. Zbl 1278.68198
Zhao, Jianhua; Xu, He; Li, Xuandong; Zheng, Tao; Zheng, Guoliang
1
2002
Positive loop-closed automata: A decidable class of hybrid systems. Zbl 1008.68070
Li, Xuandong; Zhao, Jianhua; Pei, Yu; Li, Yong; Zheng, Tao; Zheng, Guoliang
1
2002
Accretion torque on magnetized neutron stars. Zbl 1096.85013
Dai, H.-L.; Li, X.-D.
1
2006
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
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. Zbl 07807690
Zhao, Qingye; Chen, Xin; Zhang, Yifan; Sha, Meng; Yang, Zhengfeng; Lin, Wang; Tang, Enyi; Chen, Qiguang; Li, Xuandong
1
2021
Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems. Zbl 07807690
Zhao, Qingye; Chen, Xin; Zhang, Yifan; Sha, Meng; Yang, Zhengfeng; Lin, Wang; Tang, Enyi; Chen, Qiguang; Li, Xuandong
1
2021
A novel approach for solving the BMI problem in barrier certificates generation. Zbl 1478.68152
Chen, Xin; Peng, Chao; Lin, Wang; Yang, Zhengfeng; Zhang, Yifang; Li, Xuandong
2
2020
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
Accretion torque on magnetized neutron stars. Zbl 1096.85013
Dai, H.-L.; Li, X.-D.
1
2006
A quadratic-time DBM-based successor algorithm for checking timed automata. Zbl 1184.68335
Zhao, Jianhua; Li, Xuandong; Zheng, Guoliang
5
2005
Removing irrelevant atomic formulas for checking timed automata efficiently. Zbl 1099.68060
Zhao, Jianhua; Li, Xuandong; Zheng, Tao; Zheng, Guoliang
2
2004
Partial order path technique for checking parallel timed automata. Zbl 1278.68198
Zhao, Jianhua; Xu, He; Li, Xuandong; Zheng, Tao; Zheng, Guoliang
1
2002
Positive loop-closed automata: A decidable class of hybrid systems. Zbl 1008.68070
Li, Xuandong; Zhao, Jianhua; Pei, Yu; Li, Yong; Zheng, Tao; Zheng, Guoliang
1
2002
Linear hybrid action systems. Zbl 0978.68106
Rönkkö, Mauno; Li, Xuandong
2
2001
Efficient verification of a class of time Petri nets using linear programming. Zbl 0996.68524
Li, Xuandong; Lilius, Johan
2
2001
Efficient verification of a class of linear hybrid automata using linear programming. Zbl 1002.68506
Li, Xuandong; Pei, Yu; Zhao, Jianhua; Li, Yong; Zheng, Tao; Zheng, Guoliang
1
2001
Implementation and adaptivity of a space-time finite element method for structural dynamics. Zbl 0960.74065
Li, X. D.; Wiberg, N.-E.
50
1998
Structural dynamic analysis by a time-discontinuous Galerkin finite element method. Zbl 0885.73081
Li, X. D.; Wiberg, N.-E.
42
1996
Superconvergent patch recovery of finite-element solution and a posteriori \(L_ 2\) norm error estimate. Zbl 0802.65108
Wiberg, N.-E.; Li, X. D.
19
1994
A postprocessed error estimate and an adaptive procedure for the semidiscrete finite element method in dynamic analysis. Zbl 0816.73063
Wiberg, N.-E.; Li, X. D.
10
1994
A posteriori error estimate by element patch post-processing, adaptive analysis in energy and \(L_2\) norms. Zbl 0894.73160
Li, X. D.; Wiberg, N.-E.
10
1994
A simple local error estimator and an adaptive time-stepping procedure for direct integration method in dynamic analysis. Zbl 0777.73079
Li, X. D.; Zeng, L. F.; Wiberg, N.-E.
15
1993
all cited Publications top 5 cited Publications
all top 5

Cited by 48 Authors

7 Li, Xuandong
4 Srivathsan, Balaguru
4 Zhao, Jianhua
3 Zheng, Guoliang
2 Bu, Lei
2 Chen, Mingshuai
2 Gastin, Paul
2 Herbreteau, Frédéric
2 Katoen, Joost-Pieter
2 Walukiewicz, Igor
2 Wang, Qiuye
2 Xue, Bai
2 Zhan, Naijun
2 Zheng, Tao
1 Aanand, Sumit Jha
1 Akshay, S.
1 Al-Bataineh, Omar
1 Bogomolov, Sergiy
1 Boucheneb, Hanifa
1 Bozga, Marius
1 Chen, Xin
1 Cimatti, Alessandro
1 Frehse, Goran
1 French, Tim
1 Giacobbe, Mirco
1 Hadjidj, Rachid
1 Henzinger, Thomas A.
1 Kempf, Jean-Francois
1 Li, Yong
1 Lilius, Johan
1 Maler, Oded
1 Man, Ka Lok
1 Mover, Sergio
1 Mukherjee, Sayan
1 Pei, Yu
1 Ravn, Anders P.
1 Reniers, Michel Adriaan
1 Reynolds, Mark Alexander
1 Rönkkö, Mauno
1 Rooda, Jacobus E.
1 Schiffelers, R. R. H.
1 Sere, Kaisa
1 Tang, Enyi
1 Tonetta, Stefano
1 van Beek, D. A.
1 Xie, Dingbao
1 Zhao, Qingye
1 Zhao, Zhuoyu
all top 5

Cited in 7 Serials

3 Theoretical Computer Science
2 Information Processing Letters
2 Information and Computation
2 Formal Methods in System Design
1 Journal of Computer Science and Technology
1 The Journal of Logic and Algebraic Programming
1 Logical Methods in Computer Science

Cited in 4 Fields

20 Computer science (68-XX)
2 Operations research, mathematical programming (90-XX)
2 Systems theory; control (93-XX)
1 Mathematical logic and foundations (03-XX)

Citations by Year