Edit Profile (opens in new tab) Song, Lei Co-Author Distance Author ID: song.lei.1 Published as: Song, Lei Homepage: http://depend.cs.uni-sb.de/~song/ External Links: ORCID · dblp Documents Indexed: 45 Publications since 2002, including 5 Additional arXiv Preprints Co-Authors: 45 Co-Authors with 29 Joint Publications 1,688 Co-Co-Authors all top 5 Co-Authors 1 single-authored 7 Godskesen, Jens Chr. 6 Zhang, Lijun 5 Yang, Jianying 4 Hermanns, Holger 3 Xu, Shiyun 2 Duddeck, Fabian M. E. 2 Eisentraut, Christian 2 Hashemi, Vahid 2 Hu, Hongchang 2 Nielson, Flemming 2 Tong, Shaocheng 2 Yu, Kai 1 Arapura, Donu 1 Bauer, Alexander Max 1 Bi, Gongbing 1 Bian, Jiang 1 Bletzinger, Kai-Uwe 1 Breitenberger, Michael 1 Briggs, Keith M. 1 Chen, Sihong 1 Chen, Yu-Fang 1 Cheng, Xiaosheng 1 Deng, Lu 1 Deng, Yuxin 1 Ding, Yuandong 1 Duan, Huixian 1 Erhart, Tobias 1 Fei, Yalei 1 Feng, Mingxiao 1 Gu, Zhen 1 Guan, Xinping 1 Hu, Jianxun 1 Huang, Jun 1 Jansen, David N. 1 Jin, Yan 1 Katoen, Joost-Pieter 1 Ke, Huazhong 1 Leidinger, Lukas F. 1 Li, Changzheng 1 Li, Houqiang 1 Li, Juanjuan 1 Li, Pengfei 1 Li, Yongming 1 Lim, Andrew E. B. 1 Liu, Guozi 1 Liu, Na 1 Liu, Yukun 1 Ma, Chunguang 1 Mei, Lin 1 Meng, Zhijun 1 Nielsen, Bo Friis 1 Olano, Sebastián 1 Pan, Yuting 1 Prellberg, Thomas 1 Qin, Jing 1 Raychaudhury, Debaditya 1 Rodrigues, Brian 1 Subramani, Krishnan 1 Turrini, Andrea 1 Wang, Chenggang 1 Wang, Jun 1 Wojciechowski, Piotr J. 1 Wu, Zhilin 1 Wüchner, Roland 1 Xia, Xiaopeng 1 Xu, Jinxing 1 Yang, Pengfei 1 Yang, Ying 1 Yang, Yuanxi 1 Yi, Mingxu 1 Yu, Wenbin 1 Zhang, Chuheng 1 Zhang, Guoyin 1 Zhang, Han 1 Zhang, Wenliang 1 Zhang, Xuehong 1 Zhao, Li 1 Zhu, Shanying all top 5 Serials 2 Computer Methods in Applied Mechanics and Engineering 2 Advances in Mathematics 2 Biometrics 2 Acta Mathematica Sinica. English Series 2 Asian Journal of Control 1 Acta Informatica 1 Journal of the Franklin Institute 1 Physics Letters. A 1 Applied Mathematics and Computation 1 Journal of the Operational Research Society 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 COMPEL 1 Annals of Operations Research 1 IMRN. International Mathematics Research Notices 1 International Journal of Robust and Nonlinear Control 1 Journal of Geodesy 1 Mathematical Problems in Engineering 1 European Journal of Control 1 Communications in Nonlinear Science and Numerical Simulation 1 Journal of Harbin Engineering University 1 Computational Biology and Chemistry 1 Journal of Shanghai Jiaotong University (Science) 1 Logical Methods in Computer Science 1 International Journal of Systems Science. Principles and Applications of Systems and Integration all top 5 Fields 15 Computer science (68-XX) 7 Systems theory; control (93-XX) 5 Statistics (62-XX) 4 Algebraic geometry (14-XX) 4 Ordinary differential equations (34-XX) 3 Mathematical logic and foundations (03-XX) 3 Numerical analysis (65-XX) 2 Mechanics of deformable solids (74-XX) 2 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Group theory and generalizations (20-XX) 1 Manifolds and cell complexes (57-XX) 1 Mechanics of particles and systems (70-XX) 1 Optics, electromagnetic theory (78-XX) 1 Quantum theory (81-XX) 1 Geophysics (86-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 25 Publications have been cited 144 times in 140 Documents Cited by ▼ Year ▼ Dynamical models of happiness with fractional order. Zbl 1221.93234 Song, Lei; Xu, Shiyun; Yang, Jianying 49 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 An improved approach to robust stability analysis and controller synthesis for LPV systems. Zbl 1227.93091 Song, Lei; Yang, Jianying 7 2011 Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1264.03087 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming 7 2013 Robust estimator for correlated observations based on bifactor equivalent weights. Zbl 1158.86340 Yang, Y.; Song, L.; Xu, T. 4 2002 Smooth switching output tracking control for LPV systems. Zbl 1303.93088 Song, Lei; Yang, Jianying 4 2012 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 Bisimulations and logical characterizations on continuous-time Markov decision processes. Zbl 1428.68191 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr. 3 2014 Probabilistic mobility models for mobile and wireless networks. Zbl 1202.68270 Song, Lei; Godskesen, Jens Chr. 3 2010 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 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 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 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 Dynamic mixed-item inventory control with limited capital and short-term financing. Zbl 1429.90004 Bi, Gongbing; Song, Lei; Fei, Yalei 1 2020 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 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 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 49 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 cited Publications top 5 cited Publications all top 5 Cited by 342 Authors 6 Bernardo, Marco 4 De Nicola, Rocco 4 Loreti, Michele 4 Wu, Cong 3 Aghababa, Mohammad Pourmahmood 3 Almeida, Ricardo 3 Chen, Diyi 3 Chen, Yiming 3 Gu, Zhendong 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 242 more Authors all top 5 Cited in 64 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 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 all top 5 Cited in 25 Fields 69 Ordinary differential equations (34-XX) 46 Systems theory; control (93-XX) 29 Computer science (68-XX) 26 Numerical analysis (65-XX) 21 Real functions (26-XX) 13 Partial differential equations (35-XX) 9 Integral equations (45-XX) 9 Biology and other natural sciences (92-XX) 8 Mathematical logic and foundations (03-XX) 6 Information and communication theory, circuits (94-XX) 5 Dynamical systems and ergodic theory (37-XX) 5 Mechanics of deformable solids (74-XX) 4 Calculus of variations and optimal control; optimization (49-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Special functions (33-XX) 3 Operator theory (47-XX) 3 Mechanics of particles and systems (70-XX) 3 Operations research, mathematical programming (90-XX) 2 Integral transforms, operational calculus (44-XX) 2 Probability theory and stochastic processes (60-XX) 1 Combinatorics (05-XX) 1 Topological groups, Lie groups (22-XX) 1 Approximations and expansions (41-XX) 1 Statistics (62-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year