×
Author ID: song.lei.1 Recent zbMATH articles by "Song, Lei"
Published as: Song, Lei
Homepage: http://depend.cs.uni-sb.de/~song/
External Links: ORCID · dblp

Publications by Year

Citations contained in zbMATH Open

25 Publications have been cited 145 times in 141 Documents Cited by Year
Dynamical models of happiness with fractional order. Zbl 1221.93234
Song, Lei; Xu, Shiyun; Yang, Jianying
50
2010
Explicit dynamic isogeometric B-rep analysis of penalty-coupled trimmed NURBS shells. Zbl 1441.74256
Leidinger, Lukas F.; Breitenberger, M.; Bauer, A. M.; Hartmann, S.; Wüchner, R.; Bletzinger, K.-U.; Duddeck, F.; Song, L.
28
2019
Chaos synchronization for a class of nonlinear oscillators with fractional order. Zbl 1187.34066
Song, Lei; Yang, Jianying; Xu, Shiyun
23
2010
Numerical solutions of nonlinear fractional differential equations by alternative Legendre polynomials. Zbl 1427.65132
Meng, Zhijun; Yi, Mingxu; Huang, Jun; Song, Lei
20
2018
Manpower allocation with time windows. Zbl 1070.90067
Lim, A.; Rodrigues, B.; Song, L.
15
2004
Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1264.03087
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming
7
2013
An improved approach to robust stability analysis and controller synthesis for LPV systems. Zbl 1227.93091
Song, Lei; Yang, Jianying
7
2011
Robust reliable tracking controller design against actuator faults for LPV systems. Zbl 1263.93069
Song, Lei; Yang, Jianying
4
2011
Smooth switching output tracking control for LPV systems. Zbl 1303.93088
Song, Lei; Yang, Jianying
4
2012
Robust estimator for correlated observations based on bifactor equivalent weights. Zbl 1158.86340
Yang, Y.; Song, L.; Xu, T.
4
2002
Efficient 3D reconstruction of random heterogeneous media via random process theory and stochastic reconstruction procedure. Zbl 1441.74015
Zhang, Wenliang; Song, Lei; Li, Juanjuan
3
2019
Bisimulations and logical characterizations on continuous-time Markov decision processes. Zbl 1428.68191
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.
3
2014
Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1344.68170
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.
3
2011
Probabilistic mobility models for mobile and wireless networks. Zbl 1202.68270
Song, Lei; Godskesen, Jens Chr.
3
2010
Probabilistic bisimulation for realistic schedulers. Zbl 1427.68193
Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun
2
2015
Probabilistic bisimulation for realistic schedulers. Zbl 1398.68374
Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr.
2
2018
Probably safe or live. Zbl 1394.68231
Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun
2
2014
Reward-bounded reachability probability for uncertain weighted MDPs. Zbl 1475.68186
Hashemi, Vahid; Hermanns, Holger; Song, Lei
2
2016
Compositional bisimulation minimization for interval Markov decision processes. Zbl 1435.68197
Hashemi, Vahid; Hermanns, Holger; Song, Lei; Subramani, K.; Turrini, Andrea; Wojciechowski, Piotr
2
2016
Broadcast abstraction in a stochastic calculus for mobile networks. Zbl 1362.68018
Song, Lei; Godskesen, Jens Chr.
2
2012
Control-oriented approaches to anticipating synchronization of chaotic deterministic ratchets. Zbl 1231.81043
Xu, Shiyun; Yang, Ying; Song, Lei
2
2009
Dynamic mixed-item inventory control with limited capital and short-term financing. Zbl 1429.90004
Bi, Gongbing; Song, Lei; Fei, Yalei
1
2020
Retrospective versus prospective score tests for genetic association with case-control data. Zbl 1520.62269
Liu, Yukun; Li, Pengfei; Song, Lei; Yu, Kai; Qin, Jing
1
2021
Finite axiomatization for symbolic probabilistic \(\pi \)-calculus. Zbl 1202.68267
Song, Lei; Deng, Yu-Xin
1
2009
Adaptive prescribed performance control of nonlinear asymmetric input saturated systems with application to AUVs. Zbl 1472.93096
Wang, Chenggang; Zhu, Shanying; Yu, Wenbin; Song, Lei; Guan, Xinping
1
2021
Retrospective versus prospective score tests for genetic association with case-control data. Zbl 1520.62269
Liu, Yukun; Li, Pengfei; Song, Lei; Yu, Kai; Qin, Jing
1
2021
Adaptive prescribed performance control of nonlinear asymmetric input saturated systems with application to AUVs. Zbl 1472.93096
Wang, Chenggang; Zhu, Shanying; Yu, Wenbin; Song, Lei; Guan, Xinping
1
2021
Dynamic mixed-item inventory control with limited capital and short-term financing. Zbl 1429.90004
Bi, Gongbing; Song, Lei; Fei, Yalei
1
2020
Explicit dynamic isogeometric B-rep analysis of penalty-coupled trimmed NURBS shells. Zbl 1441.74256
Leidinger, Lukas F.; Breitenberger, M.; Bauer, A. M.; Hartmann, S.; Wüchner, R.; Bletzinger, K.-U.; Duddeck, F.; Song, L.
28
2019
Efficient 3D reconstruction of random heterogeneous media via random process theory and stochastic reconstruction procedure. Zbl 1441.74015
Zhang, Wenliang; Song, Lei; Li, Juanjuan
3
2019
Numerical solutions of nonlinear fractional differential equations by alternative Legendre polynomials. Zbl 1427.65132
Meng, Zhijun; Yi, Mingxu; Huang, Jun; Song, Lei
20
2018
Probabilistic bisimulation for realistic schedulers. Zbl 1398.68374
Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr.
2
2018
Reward-bounded reachability probability for uncertain weighted MDPs. Zbl 1475.68186
Hashemi, Vahid; Hermanns, Holger; Song, Lei
2
2016
Compositional bisimulation minimization for interval Markov decision processes. Zbl 1435.68197
Hashemi, Vahid; Hermanns, Holger; Song, Lei; Subramani, K.; Turrini, Andrea; Wojciechowski, Piotr
2
2016
Probabilistic bisimulation for realistic schedulers. Zbl 1427.68193
Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun
2
2015
Bisimulations and logical characterizations on continuous-time Markov decision processes. Zbl 1428.68191
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.
3
2014
Probably safe or live. Zbl 1394.68231
Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun
2
2014
Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1264.03087
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming
7
2013
Smooth switching output tracking control for LPV systems. Zbl 1303.93088
Song, Lei; Yang, Jianying
4
2012
Broadcast abstraction in a stochastic calculus for mobile networks. Zbl 1362.68018
Song, Lei; Godskesen, Jens Chr.
2
2012
An improved approach to robust stability analysis and controller synthesis for LPV systems. Zbl 1227.93091
Song, Lei; Yang, Jianying
7
2011
Robust reliable tracking controller design against actuator faults for LPV systems. Zbl 1263.93069
Song, Lei; Yang, Jianying
4
2011
Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1344.68170
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.
3
2011
Dynamical models of happiness with fractional order. Zbl 1221.93234
Song, Lei; Xu, Shiyun; Yang, Jianying
50
2010
Chaos synchronization for a class of nonlinear oscillators with fractional order. Zbl 1187.34066
Song, Lei; Yang, Jianying; Xu, Shiyun
23
2010
Probabilistic mobility models for mobile and wireless networks. Zbl 1202.68270
Song, Lei; Godskesen, Jens Chr.
3
2010
Control-oriented approaches to anticipating synchronization of chaotic deterministic ratchets. Zbl 1231.81043
Xu, Shiyun; Yang, Ying; Song, Lei
2
2009
Finite axiomatization for symbolic probabilistic \(\pi \)-calculus. Zbl 1202.68267
Song, Lei; Deng, Yu-Xin
1
2009
Manpower allocation with time windows. Zbl 1070.90067
Lim, A.; Rodrigues, B.; Song, L.
15
2004
Robust estimator for correlated observations based on bifactor equivalent weights. Zbl 1158.86340
Yang, Y.; Song, L.; Xu, T.
4
2002
all top 5

Cited by 343 Authors

6 Bernardo, Marco
4 De Nicola, Rocco
4 Gu, Zhendong
4 Loreti, Michele
4 Wu, Cong
3 Aghababa, Mohammad Pourmahmood
3 Almeida, Ricardo
3 Chen, Diyi
3 Chen, Yiming
3 Ma, Xiaoyi
3 Malinowska, Agnieszka Barbara
3 Merro, Massimo
3 Singh, Brajesh Kumar
3 Song, Lei
3 Zhang, Lijun
3 Zhang, Runfan
2 Ali, M. Syed
2 Barriere, Thierry
2 Behinfaraz, Reza
2 Boukhouima, Adnane
2 Chen, Tong
2 Deng, Yuxin
2 Ebaid, Abdelhalim
2 Fu, Jinlong
2 Ghiasi, Amir Rikhtegar
2 Gupta, Mukesh
2 Hassani, Hossein
2 Hattaf, Khalid
2 Hermanns, Holger
2 Kamocki, Rafal
2 Kaslik, Eva
2 Kong, Yinying
2 Kumar, Anil
2 Lanotte, Ruggero
2 Larsen, Kim Guldstrand
2 Li, Hua
2 Lin, Xiaoran
2 Liu, Si
2 Machado, José António Tenreiro
2 Meseguer Guaita, José
2 Narayanan, Govindasamy
2 Odzijewicz, Tatiana
2 Olveczky, Peter Csaba
2 Ordokhani, Yadollah
2 Rahimkhani, Parisa
2 Shekher, Vineet
2 Sivasundaram, Seenith
2 Sprott, Julien Clinton
2 Wang, Lei
2 Wang, Zhen
2 Xin, Baogui
2 Xu, Shiyun
2 Yang, Guanghong
2 Yang, Qigui
2 Yousfi, Noura
2 Yuan, Liguo
2 Zhang, Yanlan
2 Zhou, Shangbo
1 Abate, Alessandro
1 Abolpour, Roozbeh
1 Adel, Waleed
1 Admon, Mohd Rashid
1 Aghajani, Asadollah
1 Agrawal, Saloni
1 Ahmad, Bashir
1 Ahmad, Zubair
1 Ahmadian, Ali
1 Ahmed, Alaa
1 Ali, Farhad
1 Aljohani, Abdulrahman F.
1 Alkhateeb, Abdulhameed F.
1 Almuqrin, Muqrin A.
1 Alsulami, Hamed Hamdan
1 Altanji, Mohamed
1 Amin, Rohul
1 Arik, Sabri
1 Asheghan, Mohammad Mostafa
1 Atanackovic, Teodor M.
1 Avazzadeh, Zakieh
1 Bacci, Giorgio
1 Badamchizadeh, Mohammadali
1 Badings, Thom S.
1 Baier, Christel
1 Balatif, Omar
1 Bartoletti, Massimo
1 Bedouhene, Fazia
1 Beheshti, Mohammadtaghi Hamidi
1 Bekela, Alemu Senbeta
1 Bekiros, Stelios D.
1 Belachew, Melisew Tefera
1 Bendtsen, Jan Dimon
1 Bhattacharyya, Shankar Prashad
1 Boujallal, Lahoucine
1 Buchholz, Peter
1 Cao, Jiawei
1 Cao, Junying
1 Cardelli, Luca
1 Cen, Song
1 Chen, Haitao
1 Chen, Honggang
...and 243 more Authors
all top 5

Cited in 65 Serials

13 Nonlinear Dynamics
7 Asian Journal of Control
6 Chaos, Solitons and Fractals
6 Journal of Computational and Applied Mathematics
6 Communications in Nonlinear Science and Numerical Simulation
5 Fractals
4 Advances in Difference Equations
3 Computer Methods in Applied Mechanics and Engineering
3 Journal of the Franklin Institute
3 Applied Mathematical Modelling
3 International Journal of Robust and Nonlinear Control
3 Discrete Dynamics in Nature and Society
3 Logical Methods in Computer Science
2 Acta Informatica
2 Applied Mathematics and Computation
2 Automatica
2 Information and Computation
2 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
2 Mathematical Problems in Engineering
2 European Journal of Control
2 Chaos
2 Advances in Mathematical Physics
2 International Journal of Differential Equations
2 Journal of Logical and Algebraic Methods in Programming
1 Computers & Mathematics with Applications
1 International Journal of Control
1 Information Processing Letters
1 Mathematical Methods in the Applied Sciences
1 Physica A
1 Calcolo
1 Journal of Optimization Theory and Applications
1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
1 Theoretical Computer Science
1 Applied Numerical Mathematics
1 Acta Mathematicae Applicatae Sinica. English Series
1 Journal of Integral Equations and Applications
1 Formal Aspects of Computing
1 Annals of Operations Research
1 Numerical Algorithms
1 Archives of Control Sciences
1 Formal Methods in System Design
1 Computational and Applied Mathematics
1 The Journal of Artificial Intelligence Research (JAIR)
1 Abstract and Applied Analysis
1 ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik
1 Fractional Calculus & Applied Analysis
1 Journal of Applied Statistics
1 International Journal of Nonlinear Sciences and Numerical Simulation
1 Nonlinear Analysis. Real World Applications
1 Journal of the Indonesian Mathematical Society
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Journal of Industrial and Management Optimization
1 Journal of Shanghai Jiaotong University (Science)
1 The European Physical Journal B. Condensed Matter and Complex Systems
1 Optimization Letters
1 Acta Mathematica Sinica. Chinese Series
1 Mathematical Modelling of Natural Phenomena
1 Journal of Applied Analysis and Computation
1 Mathematical Sciences
1 Journal of Mathematics
1 JAMM. Journal of Advanced Mathematical Modeling
1 Computational Methods for Differential Equations
1 International Journal of Applied and Computational Mathematics
1 International Journal of Systems Science. Principles and Applications of Systems and Integration
1 AIMS Mathematics

Citations by Year