Edit Profile (opens in new tab) Zhang, Lijun Compute Distance To: Compute Author ID: zhang.lijun Published as: Zhang, Lijun; Zhang, Li-Jun; Zhang, Li-jun more...less External Links: ORCID · dblp Documents Indexed: 223 Publications since 1982, including 1 Book 7 Contributions as Editor Co-Authors: 225 Co-Authors with 183 Joint Publications 7,915 Co-Co-Authors all top 5 Co-Authors 3 single-authored 19 Hermanns, Holger 14 Khalique, Chaudry Masood 12 Jansen, David N. 11 Zhang, Kuize 9 Turrini, Andrea 8 Hahn, Ernst Moritz 8 Schewe, Sven 8 Zhao, Jiemei 7 Eisentraut, Christian 7 Li, Yong 7 Pu, Geguang 6 Jin, Rong 6 Song, Lei 5 Chen, Liqun 5 Cheng, Daizhan 5 Godskesen, Jens Chr. 5 Huo, Xuwen 5 Li, Jianwen 5 Vardi, Moshe Ya’akov 5 Yang, Tianbao 5 Zhan, Naijun 4 Chen, Jufang 4 Feng, Yuan 4 Han, Maoan 4 He, Jifeng 4 Huo, Hai-Feng 4 Liu, Depeng 4 Wachter, Björn 4 Wang, Bow-Yaw 4 Yang, Pengfei 4 Zhang, Mingji 4 Zhou, Zhihua 4 Zhu, Shenghuo 3 Bu, Jiajun 3 Chen, Chun 3 Chen, Yu-Fang 3 Guo, Mingle 3 Huang, Chengchao 3 Li, Chunwen 3 Liu, Hanze 3 Nielson, Flemming 3 Qi, Xue 3 Xie, Lihua 3 Xu, Ming 3 Zhang, Jianming 2 Bai, Yuzhen 2 Bhatti, Muhammad Mubashir 2 Cai, Deng 2 Chang, Lina 2 Eisenbrand, Friedrich 2 Fearnley, John 2 Finkbeiner, Bernd 2 Fu, Chen 2 Gao, Yang 2 Katoen, Joost-Pieter 2 Li, Jibin 2 Li, Renjue 2 Li, Zhanhuai 2 Michaleris, Panagiotis 2 Pang, Jun 2 Rabe, Markus N. 2 Reutzel, E. W. 2 Schuster, Johann Christoph 2 Shi, Yixia 2 Tu, Dongsheng 2 Vojnar, Tomáš 2 Wang, Can 2 Wang, Jundong 2 Wang, Ming 2 Wang, Shuling 2 Wang, Yue 2 Xiang, Yu 2 Xue, Yuan 2 Yuen, Manwai 2 Zhang, Xian 2 Zhu, Shufang 1 Adey, Robert A. 1 Aitbayev, Rakhim 1 Arain, M. B. 1 Bai, Chenglin 1 Bates, Peter W. 1 Cai, Dan 1 Cai, Qingdong 1 Cai, Shaowei 1 Cao, Zhijie 1 Chang, Haixia 1 Chen, Chao-Wen 1 Chen, Chixiang 1 Chen, Jianing 1 Chen, Liqian 1 Cheng, Leelung 1 Chu, Bing 1 Clarke, David W. 1 Crouzen, Pepijn 1 Dai, Yu 1 Dang, Lanfen 1 de Lorenzis, Laura 1 Deng, Lih-Yuan 1 Deng, Yuxin 1 Du, Yong ...and 151 more Co-Authors all top 5 Serials 5 Information and Computation 5 Machine Learning 5 Journal of Applied Analysis and Computation 4 Lecture Notes in Computer Science 4 Discrete and Continuous Dynamical Systems. Series S 3 Computer Methods in Applied Mechanics and Engineering 3 International Journal of Mechanical Sciences 3 International Journal of Solids and Structures 3 Information Processing Letters 3 Chaos, Solitons and Fractals 3 Theoretical Computer Science 3 Journal of Systems Science and Mathematical Sciences 3 Formal Aspects of Computing 3 Mathematical Problems in Engineering 3 Abstract and Applied Analysis 3 Control and Decision 3 Logical Methods in Computer Science 2 Acta Informatica 2 Acta Mechanica 2 Computer Physics Communications 2 Computers and Structures 2 International Journal of Control 2 Journal of the Mechanics and Physics of Solids 2 Physica A 2 Journal of Computational and Applied Mathematics 2 Journal of Computer and System Sciences 2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 2 SIAM Journal on Control and Optimization 2 Acta Mathematicae Applicatae Sinica. English Series 2 Computational Mechanics 2 Applied Mathematics Letters 2 Nonlinear Dynamics 2 Journal of Shaanxi Normal University. Natural Science Edition 2 IEEE Transactions on Image Processing 2 Discrete and Continuous Dynamical Systems. Series B 2 Journal of Systems Science and Complexity 2 Journal of Machine Learning Research (JMLR) 2 Advances in Difference Equations 2 Journal of Control Theory and Applications 2 Science China. Information Sciences 2 Asian Journal of Control 1 Modern Physics Letters B 1 International Journal of Modern Physics B 1 IEEE Transactions on Information Theory 1 International Journal of Heat and Mass Transfer 1 International Journal of Systems Science 1 Journal of Mathematical Analysis and Applications 1 Mathematical Notes 1 Nonlinearity 1 Nuclear Physics. B 1 Physics Letters. A 1 Rocky Mountain Journal of Mathematics 1 Wave Motion 1 ZAMP. Zeitschrift für angewandte Mathematik und Physik 1 Automatica 1 Biometrics 1 IEEE Transactions on Automatic Control 1 International Journal for Numerical Methods in Engineering 1 Journal of Differential Equations 1 Journal of the Operational Research Society 1 Kybernetika 1 Mathematica Numerica Sinica 1 Journal of Xi’an Jiaotong University 1 Journal of Mathematics. Wuhan University 1 Applied Mathematics and Mechanics. (English Edition) 1 Mathematics in Practice and Theory 1 Journal of East China Normal University. Natural Science Edition 1 International Journal of Production Research 1 Journal of Beijing Normal University. Natural Science 1 Chinese Journal of Applied Probability and Statistics 1 Algorithmica 1 Journal of Biomathematics 1 Journal of Qufu Normal University. Natural Science 1 Journal of Logic and Computation 1 Journal of Natural Science of Heilongjiang University 1 Computational Statistics 1 Communications in Statistics. Simulation and Computation 1 Pattern Recognition 1 IEE Proceedings. Part D. Control Theory and Applications 1 Statistische Hefte 1 Distributed Computing 1 Journal of Dynamics and Differential Equations 1 International Journal of Robust and Nonlinear Control 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Formal Methods in System Design 1 European Journal of Control 1 Differential Equations and Dynamical Systems 1 Journal of Applied Mechanics and Technical Physics 1 Journal of Mathematical Fluid Mechanics 1 European Journal of Mechanics. A. Solids 1 European Journal of Mechanics. B. Fluids 1 Fundamenta Informaticae 1 Qualitative Theory of Dynamical Systems 1 CMES. Computer Modeling in Engineering & Sciences 1 Nonlinear Analysis. Real World Applications 1 Dynamics of Continuous, Discrete & Impulsive Systems. Series B. Applications & Algorithms 1 Journal of Jilin University. Science Edition 1 Journal of Shandong University. Natural Science 1 ACM Transactions on Computational Logic 1 Journal of PLA University of Science and Technology. Natural Science Edition ...and 15 more Serials all top 5 Fields 91 Computer science (68-XX) 35 Partial differential equations (35-XX) 34 Systems theory; control (93-XX) 26 Ordinary differential equations (34-XX) 23 Mechanics of deformable solids (74-XX) 20 Biology and other natural sciences (92-XX) 14 Statistics (62-XX) 12 Dynamical systems and ergodic theory (37-XX) 10 Mathematical logic and foundations (03-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 9 Operations research, mathematical programming (90-XX) 8 Probability theory and stochastic processes (60-XX) 8 Numerical analysis (65-XX) 7 General and overarching topics; collections (00-XX) 7 Fluid mechanics (76-XX) 7 Information and communication theory, circuits (94-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Combinatorics (05-XX) 4 Optics, electromagnetic theory (78-XX) 3 Integral equations (45-XX) 3 Mechanics of particles and systems (70-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 Classical thermodynamics, heat transfer (80-XX) 1 Algebraic geometry (14-XX) 1 Nonassociative rings and algebras (17-XX) 1 Measure and integration (28-XX) 1 Difference and functional equations (39-XX) 1 Approximations and expansions (41-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Integral transforms, operational calculus (44-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Differential geometry (53-XX) 1 Quantum theory (81-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 139 Publications have been cited 564 times in 435 Documents Cited by ▼ Year ▼ Bifurcations of traveling wave solutions in generalized Pochhammer-Chree equation. Zbl 0997.35096Li, Jibin; Zhang, Lijun 40 2002 Observability of Boolean control networks: a unified approach based on finite automata. Zbl 1359.93074Zhang, Kuize; Zhang, Lijun 36 2016 Mixed mode near-tip fields for cracks in materials with strain-gradient effects. Zbl 1049.74521Huang, Y.; Zhang, L.; Guo, T. F.; Hwang, K.-C. 29 1997 Probabilistic logical characterization. Zbl 1210.68072Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun 21 2011 Invertibility and nonsingularity of Boolean control networks. Zbl 1331.93106Zhang, Kuize; Zhang, Lijun; Xie, Lihua 18 2015 Finite automata approach to observability of switched Boolean control networks. Zbl 1343.93021Zhang, Kuize; Zhang, Lijun; Xie, Lihua 17 2016 Graph regularized sparse coding for image representation. Zbl 1372.94314Zheng, Miao; Bu, Jiajun; Chen, Chun; Wang, Can; Zhang, Lijun; Qiu, Guang; Cai, Deng 17 2011 The effects of the singular lines on the traveling wave solutions of modified dispersive water wave equations. Zbl 1409.35051Han, Maoan; Zhang, Lijun; Wang, Yue; Khalique, Chaudry Masood 16 2019 A weighted pair graph representation for reconstructibility of Boolean control networks. Zbl 1350.93048Zhang, Kuize; Zhang, Lijun; Su, Rong 16 2016 The effects of horizontal singular straight line in a generalized nonlinear Klein-Gordon model equation. Zbl 1284.35359Zhang, Lijun; Chen, Li-Qun; Huo, Xuwen 15 2013 Probabilistic CEGAR. Zbl 1155.68438Hermanns, Holger; Wachter, Björn; Zhang, Lijun 15 2008 Measurability and safety verification for stochastic hybrid systems. Zbl 1362.68170Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun 14 2011 Concurrency and composition in a stochastic world. Zbl 1287.68132Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun 12 2010 Flow faster: efficient decision algorithms for probabilistic simulations. Zbl 1161.68473Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N. 11 2008 Bifurcations of smooth and nonsmooth traveling wave solutions in a generalized Degasperis-Procesi equation. Zbl 1129.34032Zhang, Lijun; Chen, Li-Qun; Huo, Xuwen 11 2007 A semantics for every GSPN. Zbl 1381.68199Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun 10 2013 Peakons and periodic cusp wave solutions in a generalized Camassa-Holm equation. Zbl 1142.35591Zhang, Lijun; Chen, Li-Qun; Huo, Xuwen 10 2006 Bifurcations of traveling wave solutions in a coupled nonlinear wave equation. Zbl 1030.35142Zhang, Lijun; Li, Jibin 9 2003 On stability of switched homogeneous nonlinear systems. Zbl 1127.93046Zhang, Lijun; Liu, Sheng; Lan, Hai 9 2007 Envelope compacton and solitary pattern solutions of a generalized nonlinear Schrödinger equation. Zbl 1159.35430Zhang, Lijun; Chen, Li-Qun 8 2009 Local adaptive differential quadrature for free vibration analysis of cylindrical shells with various boundary conditions. Zbl 1192.74154Zhang, L.; Xiang, Y.; Wei, G. W. 8 2006 Mathematical studies of Poisson-Nernst-Planck model for membrane channels: finite ion size effects without electroneutrality boundary conditions. Zbl 1420.34072Aitbayev, Rakhim; Bates, Peter W.; Lu, Hong; Zhang, Lijun; Zhang, Mingji 8 2019 Lazy probabilistic model checking without determinisation. Zbl 1374.68290Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 8 2015 Classification and bifurcation of a class of second-order ODEs and its application to nonlinear PDEs. Zbl 1444.34005Zhang, Lijun; Khalique, Chaudry Masood 8 2018 The quest for minimal quotients for probabilistic automata. Zbl 1381.68115Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun 7 2013 Model checking interactive Markov chains. Zbl 1284.68420Zhang, Lijun; Neuhäußer, Martin R. 7 2010 Impact of bounded noise and shortcuts on the spatiotemporal dynamics of neuronal networks. Zbl 1395.34061Yang, X. L.; Jia, Y. B.; Zhang, L. 7 2014 A nodal integration and post-processing technique based on Voronoi diagram for Galerkin meshless methods. Zbl 1054.74746Zhou, J. X.; Wen, J. B.; Zhang, H. Y.; Zhang, L. 7 2003 Vibration of open circular cylindrical shells with intermediate ring supports. Zbl 1121.74383Zhang, L.; Xiang, Y. 7 2006 Dynamics of classical Poisson-Nernst-Planck systems with multiple cations and boundary layers. Zbl 1489.34076Wen, Zhenshu; Zhang, Lijun; Zhang, Mingji 7 2021 Explicit 3-D RKPM shape functions in terms of kernel function moments for accelerated computation. Zbl 1137.74453Zhou, J. X.; Wang, X. M.; Zhang, Z. Q.; Zhang, L. 6 2005 A general framework for probabilistic characterizing formulae. Zbl 1326.68176Sack, Joshua; Zhang, Lijun 6 2012 Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1264.03087Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming 6 2013 Discrete-time and discrete-space dynamical systems. Zbl 1430.93007Zhang, Kuize; Zhang, Lijun; Xie, Lihua 6 2020 A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1453.68098Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng 6 2017 On some enrichments of reproducing kernel particle method. Zbl 1179.74184Zhou, J. X.; Wang, X. M.; Zhang, Z. Q.; Zhang, L. 6 2004 Improved bounds for on-line load balancing. Zbl 0916.68013Andrews, M.; Goemans, M. X.; Zhang, L. 6 1999 Safety verification for probabilistic hybrid systems. Zbl 1291.93294Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz 6 2012 Stabilizing role of nonlocal interaction on spatio-temporal pattern formation. Zbl 1387.35046Banerjee, M.; Zhang, L. 6 2016 On stabilization in Herman’s algorithm. Zbl 1333.68038Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun 6 2011 Shape optimization using reproducing kernel particle method and an enriched genetic algorithm. Zbl 1151.74401Zhang, Z. Q.; Zhou, J. X.; Zhou, N.; Wang, X. M.; Zhang, L. 6 2005 On semi-tensor product of matrices and its applications. Zbl 1059.15033Cheng, Daizhan; Zhang, Lijun 5 2003 Efficient CSL model checking using stratification. Zbl 1348.68152Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger 5 2012 Adaptive control of linear Markov jump systems. Zbl 1103.93046Cheng, Daizhan; Zhang, Lijun 5 2006 Extremal solutions for nonlinear first-order impulsive integro-differential dynamic equations. Zbl 1428.45011Zhang, L.; Xing, Y. F. 5 2019 A necessary and sufficient condition for stabilization of switched descriptor time-delay systems under arbitrary switching. Zbl 1338.93309Zhao, Jiemei; Zhang, Lijun; Qi, Xue 5 2016 Random projections for classification: a recovery approach. Zbl 1360.94105Zhang, Lijun; Mahdavi, Mehrdad; Jin, Rong; Yang, Tianbao; Zhu, Shenghuo 5 2014 Effects of magnetic Reynolds number on swimming of gyrotactic microorganisms between rotating circular plates filled with nanofluids. Zbl 1457.76215Zhang, Lijun; Arain, M. B.; Bhatti, M. M.; Zeeshan, A.; Hal-Sulami, H. 5 2020 A space-efficient probabilistic simulation algorithm. Zbl 1160.68432Zhang, Lijun 4 2008 Best probabilistic transformers. Zbl 1273.68244Wachter, Björn; Zhang, Lijun 4 2010 Time-bounded model checking of infinite-state continuous-time Markov chains. Zbl 1214.68213Hahn, E. Moritz; Hermanns, Holger; Wachter, Björn; Zhang, Lijun 4 2009 Analysis of 2-D bimodular materials and wrinkled membranes based on the parametric variational principle and co-rotational approach. Zbl 1352.74460Zhang, L.; Gao, Q.; Zhang, H. W. 4 2014 Long-range predictive control using weighting-sequence models. Zbl 0629.93038Clarke, D. W.; Zhang, L. 4 1987 Symmetry reductions, dynamical behavior and exact explicit solutions to a class of nonlinear shallow water wave equation. Zbl 1437.37101Chang, Lina; Liu, Hanze; Zhang, Lijun 4 2020 Asymptotic behavior of the nonautonomous Schoner competing system with feedback controls. Zbl 1057.93505Zhang, Lijun; Huo, Haifeng; Chen, Jufang 4 2001 Generalized normal form and stabilization of nonlinear systems. Zbl 1074.93011Cheng, Daizhan; Zhang, Lijun 4 2003 Investigations on reproducing kernel particle method enriched by partition of unity and visibility criterion. Zbl 1158.74542Zhang, Z. Q.; Zhou, J. X.; Wang, X. M.; Zhang, Y. F.; Zhang, L. 4 2004 \(L_{2}\) stability, \(H_{\infty }\) control of switched homogeneous nonlinear systems and their semi-tensor product of matrices representation. Zbl 1273.93070Zhang, Lijun; Zhang, Kuize 4 2013 Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems. Zbl 1346.68133He, Fei; Gao, Xiaowei; Wang, Bow-Yaw; Zhang, Lijun 4 2015 Deciding simulations on probabilistic automata. Zbl 1141.68443Zhang, Lijun; Hermanns, Holger 4 2007 Flow faster: Efficient decision algorithms for probabilistic simulations. Zbl 1186.68326Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N. 4 2007 Interfacial stresses in curved members bonded with a thin plate. Zbl 1120.74613De Lorenzis, L.; Teng, J. G.; Zhang, L. 4 2006 Mathematical analysis of Poisson-Nernst-Planck models with permanent charges and boundary layers: studies on individual fluxes. Zbl 1471.34086Chen, Jianing; Wang, Yiwei; Zhang, Lijun; Zhang, Mingji 4 2021 On the estimation of skewness of a statistic using the jackknife and the bootstrap. Zbl 0743.62031Tu, D.; Zhang, L. 3 1992 High-order \(S\)-lemma with application to stability of a class of switched nonlinear systems. Zbl 1292.93110Zhang, Kuize; Zhang, Lijun; Sun, Fuchun 3 2014 The physical origin of severe low-frequency pressure fluctuations in giant Francis turbines. Zbl 1137.76392Zhang, R.-K.; Cai, Q.-D.; Wu, J.-Z.; Wu, Y.-L.; Liu, S.-H.; Zhang, L. 3 2005 Deciding bisimilarities on distributions. Zbl 1398.68364Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun 3 2013 Model checking conditional CSL for continuous-time Markov chains. Zbl 1259.68125Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun 3 2013 Exact solitary wave and quasi-periodic wave solutions of the KdV-Sawada-Kotera-Ramani equation. Zbl 1422.35147Zhang, Lijun; Khalique, Chaudry Masood 3 2015 Efficient approximation of optimal control for continuous-time Markov games. Zbl 1337.91015Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun 3 2016 Double Wronskian solutions to the \((2+1)\)-dimensional Broer-Kaup-Kupershmidt equation. Zbl 1439.35432Tang, Yaning; Yuen, Manwai; Zhang, Lijun 3 2020 Higher-order asymptotic crack-tip fields in a power-law creeping material. Zbl 1015.74015Chao, Y. J.; Zhu, X. K.; Zhang, L. 3 2001 Distribution-based bisimulation for labelled Markov processes. Zbl 1494.68184Yang, Pengfei; Jansen, David N.; Zhang, Lijun 3 2017 Quasi-periodic wave solutions and two-wave solutions of the KdV-Sawada-Kotera-Ramani equation. Zbl 1384.34078Zhang, Lijun; Khalique, Chaudry Masood 3 2017 Automata-based CSL model checking. Zbl 1334.68135Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger 3 2011 On the Exp-function method for constructing travelling wave solutions of nonlinear equations. Zbl 1216.35109Zhang, Lijun; Huo, Xuwen 3 2010 Peakon and cuspon solutions of a generalized Camassa-Holm-Novikov equation. Zbl 1472.34075Zhang, Lijun; Wang, Yue; Khalique, Chaudry Masood; Bai, Yuzhen 3 2018 Existence and nonexistence of solutions on opposing mixed convection problems in boundary layer theory. Zbl 1297.76062Yang, G. C.; Zhang, L.; Dang, L. F. 2 2014 The stochastic Newmark algorithm for random analysis of multi-degree-of-freedom nonlinear systems. Zbl 0965.70006Zhang, L.; Zu, J. W.; Zheng, Z. 2 1999 On the minimisation of acyclic models. Zbl 1160.68462Crouzen, Pepijn; Hermanns, Holger; Zhang, Lijun 2 2008 Logic and model checking for hidden Markov models. Zbl 1169.68524Zhang, Lijun; Hermanns, Holger; Jansen, David N. 2 2005 Wind energy management with battery storage. Zbl 1196.90057Zhang, L.; Wirth, A. 2 2010 Constructions of QC LDPC codes based on integer sequences. Zbl 1357.94096Zhang, Lijun; Li, Bing; Cheng, Leelung 2 2014 Delay-dependent exponential stability for discrete-time singular switched systems with time-varying delay. Zbl 1327.93332Zhang, Lijun; Zhao, Jiemei 2 2013 Multiphase until formulas over Markov reward models: an algebraic approach. Zbl 1332.68143Xu, Ming; Zhang, Lijun; Jansen, David N.; Zhu, Huibiao; Yang, Zongyuan 2 2016 Bisimulations and logical characterizations on continuous-time Markov decision processes. Zbl 1428.68191Song, Lei; Zhang, Lijun; Godskesen, Jens Chr. 2 2014 Existence of wave front solutions of an integral differential equation in nonlinear nonlocal neuronal network. Zbl 1474.45071Zhang, Lijun; Zhang, Linghai; Yuan, Jie; Khalique, C. M. 2 2014 Exact solitary wave and periodic wave solutions of a class of higher-order nonlinear wave equations. Zbl 1394.35457Zhang, Lijun; Khalique, Chaudry Masood 2 2015 Probabilistic bisimulation for realistic schedulers. Zbl 1398.68374Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr. 2 2018 An analytical analysis of receding contact between a compressible elastic thin film and a rigid substrate due to spherical indentation. Zbl 1425.74066Wu, G. T.; Wu, J.; Zhang, L. 2 2019 A novel Lie group classification method for generalized cylindrical KdV type of equation: exact solutions and conservation laws. Zbl 1428.37068Liu, Hanze; Bai, Cheng-Lin; Xin, Xiangpeng; Zhang, Lijun 2 2019 Exact solitary wave and periodic wave solutions of the Kaup-Kuperschmidt equation. Zbl 1463.35434Zhang, Lijun; Khalique, Chaudry Masood 2 2015 A new type of solitary wave solution of the mKdV equation under singular perturbations. Zbl 1451.35178Zhang, Lijun; Han, Maoan; Zhang, Mingji; Khalique, Chaudry Masood 2 2020 Finite element modeling discretization requirements for the laser forming process. Zbl 1179.74158Zhang, L.; Reutzel, E. W.; Michaleris, P. 2 2004 A simple algorithm for solving qualitative probabilistic parity games. Zbl 1411.68068Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 2 2016 Stochastic modeling of carcinogenesis: state space models and estimation of parameters. Zbl 1160.92335Tan, W. Y.; Zhang, L.-J.; Chen, C. W. 2 2004 A compositional modelling and verification framework for stochastic hybrid systems. Zbl 1370.68220Wang, Shuling; Zhan, Naijun; Zhang, Lijun 2 2017 \(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng 2 2014 Existence and uniqueness of wave fronts in neuronal network with nonlocal post-synaptic axonal and delayed nonlocal feedback connections. Zbl 1375.35590Zhang, Lijun 2 2013 Counterexample-guided polynomial loop invariant generation by Lagrange interpolation. Zbl 1381.68049Chen, Yu-Fang; Hong, Chih-Duo; Wang, Bow-Yaw; Zhang, Lijun 2 2015 Persistence of solitary wave solutions to a singularly perturbed generalized mKdV equation. Zbl 1479.35214Wang, Jundong; Yuen, Manwai; Zhang, Lijun 1 2022 Verifying Pufferfish privacy in hidden Markov models. Zbl 1498.68104Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun 1 2022 Dynamics of classical Poisson-Nernst-Planck systems with multiple cations and boundary layers. Zbl 1489.34076Wen, Zhenshu; Zhang, Lijun; Zhang, Mingji 7 2021 Mathematical analysis of Poisson-Nernst-Planck models with permanent charges and boundary layers: studies on individual fluxes. Zbl 1471.34086Chen, Jianing; Wang, Yiwei; Zhang, Lijun; Zhang, Mingji 4 2021 Improving neural network verification through spurious region guided refinement. Zbl 1467.68096Yang, Pengfei; Li, Renjue; Li, Jianlin; Huang, Cheng-Chao; Wang, Jingyi; Sun, Jun; Xue, Bai; Zhang, Lijun 2 2021 Homoclinic bifurcation of limit cycles in near-Hamiltonian systems on the cylinder. Zbl 07412655Shi, Yixia; Han, Maoan; Zhang, Lijun 1 2021 Discrete-time and discrete-space dynamical systems. Zbl 1430.93007Zhang, Kuize; Zhang, Lijun; Xie, Lihua 6 2020 Effects of magnetic Reynolds number on swimming of gyrotactic microorganisms between rotating circular plates filled with nanofluids. Zbl 1457.76215Zhang, Lijun; Arain, M. B.; Bhatti, M. M.; Zeeshan, A.; Hal-Sulami, H. 5 2020 Symmetry reductions, dynamical behavior and exact explicit solutions to a class of nonlinear shallow water wave equation. Zbl 1437.37101Chang, Lina; Liu, Hanze; Zhang, Lijun 4 2020 Double Wronskian solutions to the \((2+1)\)-dimensional Broer-Kaup-Kupershmidt equation. Zbl 1439.35432Tang, Yaning; Yuen, Manwai; Zhang, Lijun 3 2020 A new type of solitary wave solution of the mKdV equation under singular perturbations. Zbl 1451.35178Zhang, Lijun; Han, Maoan; Zhang, Mingji; Khalique, Chaudry Masood 2 2020 Equivalent transformations, bifurcations and exact solutions to a class of variable-coefficient PDE. Zbl 1475.35121Liu, Hanze; Zhang, Lijun; Li, Xuexia; Chang, Lina 1 2020 Magnetized peristaltic particle-fluid propulsion with Hall and ion slip effects through a permeable channel. Zbl 07526331Zeeshan, A.; Bhatti, M. M.; Muhammad, Taseer; Zhang, Lijun 1 2020 The effects of the singular lines on the traveling wave solutions of modified dispersive water wave equations. Zbl 1409.35051Han, Maoan; Zhang, Lijun; Wang, Yue; Khalique, Chaudry Masood 16 2019 Mathematical studies of Poisson-Nernst-Planck model for membrane channels: finite ion size effects without electroneutrality boundary conditions. Zbl 1420.34072Aitbayev, Rakhim; Bates, Peter W.; Lu, Hong; Zhang, Lijun; Zhang, Mingji 8 2019 Extremal solutions for nonlinear first-order impulsive integro-differential dynamic equations. Zbl 1428.45011Zhang, L.; Xing, Y. F. 5 2019 An analytical analysis of receding contact between a compressible elastic thin film and a rigid substrate due to spherical indentation. Zbl 1425.74066Wu, G. T.; Wu, J.; Zhang, L. 2 2019 A novel Lie group classification method for generalized cylindrical KdV type of equation: exact solutions and conservation laws. Zbl 1428.37068Liu, Hanze; Bai, Cheng-Lin; Xin, Xiangpeng; Zhang, Lijun 2 2019 Empirical-likelihood-based criteria for model selection on marginal analysis of longitudinal data with dropout missingness. Zbl 1436.62522Chen, Chixiang; Shen, Biyi; Zhang, Lijun; Xue, Yuan; Wang, Ming 1 2019 Classification and bifurcation of a class of second-order ODEs and its application to nonlinear PDEs. Zbl 1444.34005Zhang, Lijun; Khalique, Chaudry Masood 8 2018 Peakon and cuspon solutions of a generalized Camassa-Holm-Novikov equation. Zbl 1472.34075Zhang, Lijun; Wang, Yue; Khalique, Chaudry Masood; Bai, Yuzhen 3 2018 Probabilistic bisimulation for realistic schedulers. Zbl 1398.68374Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr. 2 2018 An automatic proving approach to parameterized verification. Zbl 1407.68295Li, Yongjian; Duan, Kaiqiang; Jansen, David N.; Pang, Jun; Zhang, Lijun; Lv, Yi; Cai, Shaowei 1 2018 Reconstructibility of Boolean control networks with time delays in states. Zbl 1463.93122Sun, Ping; Zhang, Lijun; Zhang, Kuize 1 2018 Accelerating LTL satisfiability checking by SAT solvers. Zbl 1410.68235Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng 1 2018 A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1453.68098Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng 6 2017 Distribution-based bisimulation for labelled Markov processes. Zbl 1494.68184Yang, Pengfei; Jansen, David N.; Zhang, Lijun 3 2017 Quasi-periodic wave solutions and two-wave solutions of the KdV-Sawada-Kotera-Ramani equation. Zbl 1384.34078Zhang, Lijun; Khalique, Chaudry Masood 3 2017 A compositional modelling and verification framework for stochastic hybrid systems. Zbl 1370.68220Wang, Shuling; Zhan, Naijun; Zhang, Lijun 2 2017 Non-redundant multiple clustering by nonnegative matrix factorization. Zbl 1454.62205Yang, Sen; Zhang, Lijun 1 2017 Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games. Zbl 1484.68141Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 1 2017 Observability of Boolean control networks: a unified approach based on finite automata. Zbl 1359.93074Zhang, Kuize; Zhang, Lijun 36 2016 Finite automata approach to observability of switched Boolean control networks. Zbl 1343.93021Zhang, Kuize; Zhang, Lijun; Xie, Lihua 17 2016 A weighted pair graph representation for reconstructibility of Boolean control networks. Zbl 1350.93048Zhang, Kuize; Zhang, Lijun; Su, Rong 16 2016 Stabilizing role of nonlocal interaction on spatio-temporal pattern formation. Zbl 1387.35046Banerjee, M.; Zhang, L. 6 2016 A necessary and sufficient condition for stabilization of switched descriptor time-delay systems under arbitrary switching. Zbl 1338.93309Zhao, Jiemei; Zhang, Lijun; Qi, Xue 5 2016 Efficient approximation of optimal control for continuous-time Markov games. Zbl 1337.91015Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun 3 2016 Multiphase until formulas over Markov reward models: an algebraic approach. Zbl 1332.68143Xu, Ming; Zhang, Lijun; Jansen, David N.; Zhu, Huibiao; Yang, Zongyuan 2 2016 A simple algorithm for solving qualitative probabilistic parity games. Zbl 1411.68068Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 2 2016 A space-efficient simulation algorithm on probabilistic automata. Zbl 1345.68219Zhang, Lijun; Jansen, David N. 1 2016 An efficient synthesis algorithm for parametric Markov chains against linear time properties. Zbl 1393.68107Li, Yong; Liu, Wanwei; Turrini, Andrea; Hahn, Ernst Moritz; Zhang, Lijun 1 2016 Classifying bilinear differential equations by linear superposition principle. Zbl 1357.35081Zhang, Lijun; Khalique, Chaudry Masood; Ma, Wen-Xiu 1 2016 Invertibility and nonsingularity of Boolean control networks. Zbl 1331.93106Zhang, Kuize; Zhang, Lijun; Xie, Lihua 18 2015 Lazy probabilistic model checking without determinisation. Zbl 1374.68290Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun 8 2015 Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems. Zbl 1346.68133He, Fei; Gao, Xiaowei; Wang, Bow-Yaw; Zhang, Lijun 4 2015 Exact solitary wave and quasi-periodic wave solutions of the KdV-Sawada-Kotera-Ramani equation. Zbl 1422.35147Zhang, Lijun; Khalique, Chaudry Masood 3 2015 Exact solitary wave and periodic wave solutions of a class of higher-order nonlinear wave equations. Zbl 1394.35457Zhang, Lijun; Khalique, Chaudry Masood 2 2015 Exact solitary wave and periodic wave solutions of the Kaup-Kuperschmidt equation. Zbl 1463.35434Zhang, Lijun; Khalique, Chaudry Masood 2 2015 Counterexample-guided polynomial loop invariant generation by Lagrange interpolation. Zbl 1381.68049Chen, Yu-Fang; Hong, Chih-Duo; Wang, Bow-Yaw; Zhang, Lijun 2 2015 Efficient distance metric learning by adaptive sampling and mini-batch stochastic gradient descent (SGD). Zbl 1338.68237Qian, Qi; Jin, Rong; Yi, Jinfeng; Zhang, Lijun; Zhu, Shenghuo 1 2015 Generalized reversibility of topological dynamical systems and cellular automata. Zbl 1339.37020Zhang, Kuize; Zhang, Lijun 1 2015 Extending hybrid CSP with probability and stochasticity. Zbl 1369.68264Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun 1 2015 Probabilistic bisimulation for realistic schedulers. Zbl 1427.68193Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun 1 2015 Impact of bounded noise and shortcuts on the spatiotemporal dynamics of neuronal networks. Zbl 1395.34061Yang, X. L.; Jia, Y. B.; Zhang, L. 7 2014 Random projections for classification: a recovery approach. Zbl 1360.94105Zhang, Lijun; Mahdavi, Mehrdad; Jin, Rong; Yang, Tianbao; Zhu, Shenghuo 5 2014 Analysis of 2-D bimodular materials and wrinkled membranes based on the parametric variational principle and co-rotational approach. Zbl 1352.74460Zhang, L.; Gao, Q.; Zhang, H. W. 4 2014 High-order \(S\)-lemma with application to stability of a class of switched nonlinear systems. Zbl 1292.93110Zhang, Kuize; Zhang, Lijun; Sun, Fuchun 3 2014 Existence and nonexistence of solutions on opposing mixed convection problems in boundary layer theory. Zbl 1297.76062Yang, G. C.; Zhang, L.; Dang, L. F. 2 2014 Constructions of QC LDPC codes based on integer sequences. Zbl 1357.94096Zhang, Lijun; Li, Bing; Cheng, Leelung 2 2014 Bisimulations and logical characterizations on continuous-time Markov decision processes. Zbl 1428.68191Song, Lei; Zhang, Lijun; Godskesen, Jens Chr. 2 2014 Existence of wave front solutions of an integral differential equation in nonlinear nonlocal neuronal network. Zbl 1474.45071Zhang, Lijun; Zhang, Linghai; Yuan, Jie; Khalique, C. M. 2 2014 \(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng 2 2014 A nearly optimal upper bound for the self-stabilization time in Herman’s algorithm. Zbl 1417.68296Feng, Yuan; Zhang, Lijun 1 2014 Stability and Hopf bifurcation analysis on a Bazykin model with delay. Zbl 1406.92538Zhang, Jianming; Zhang, Lijun; Khalique, Chaudry Masood 1 2014 Traveling wave solutions and infinite-dimensional linear spaces of multiwave solutions to Jimbo-Miwa equation. Zbl 1474.35580Zhang, Lijun; Khalique, C. M. 1 2014 Probably safe or live. Zbl 1394.68231Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun 1 2014 The effects of horizontal singular straight line in a generalized nonlinear Klein-Gordon model equation. Zbl 1284.35359Zhang, Lijun; Chen, Li-Qun; Huo, Xuwen 15 2013 A semantics for every GSPN. Zbl 1381.68199Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun 10 2013 The quest for minimal quotients for probabilistic automata. Zbl 1381.68115Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun 7 2013 Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1264.03087Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming 6 2013 \(L_{2}\) stability, \(H_{\infty }\) control of switched homogeneous nonlinear systems and their semi-tensor product of matrices representation. Zbl 1273.93070Zhang, Lijun; Zhang, Kuize 4 2013 Deciding bisimilarities on distributions. Zbl 1398.68364Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun 3 2013 Model checking conditional CSL for continuous-time Markov chains. Zbl 1259.68125Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun 3 2013 Delay-dependent exponential stability for discrete-time singular switched systems with time-varying delay. Zbl 1327.93332Zhang, Lijun; Zhao, Jiemei 2 2013 Existence and uniqueness of wave fronts in neuronal network with nonlocal post-synaptic axonal and delayed nonlocal feedback connections. Zbl 1375.35590Zhang, Lijun 2 2013 A tighter bound for the self-stabilization time in Herman’s algorithm. Zbl 1291.68428Feng, Yuan; Zhang, Lijun 1 2013 First-passage problem of strongly nonlinear stochastic oscillators with external and internal resonances. Zbl 1348.34110Wu, Y. J.; Gao, Y. Y.; Zhang, L. 1 2013 On the relationship between LTL normal forms and Büchi automata. Zbl 1390.68435Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim 1 2013 A general framework for probabilistic characterizing formulae. Zbl 1326.68176Sack, Joshua; Zhang, Lijun 6 2012 Safety verification for probabilistic hybrid systems. Zbl 1291.93294Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz 6 2012 Efficient CSL model checking using stratification. Zbl 1348.68152Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger 5 2012 Locally discriminative topic modeling. Zbl 1225.68221Wu, Hao; Bu, Jiajun; Chen, Chun; Zhu, Jianke; Zhang, Lijun; Liu, Haifeng; Wang, Can; Cai, Deng 1 2012 Estimation of response of plate structure subject to low veloctiy impact by a solid object. Zbl 1359.74282Yang, Y.; Lam, N. T. K.; Zhang, L. 1 2012 Probabilistic logical characterization. Zbl 1210.68072Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun 21 2011 Graph regularized sparse coding for image representation. Zbl 1372.94314Zheng, Miao; Bu, Jiajun; Chen, Chun; Wang, Can; Zhang, Lijun; Qiu, Guang; Cai, Deng 17 2011 Measurability and safety verification for stochastic hybrid systems. Zbl 1362.68170Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun 14 2011 On stabilization in Herman’s algorithm. Zbl 1333.68038Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun 6 2011 Automata-based CSL model checking. Zbl 1334.68135Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger 3 2011 Another elliptic curve model for faster pairing computation. Zbl 1305.94085Zhang, Lijun; Wang, Kunpeng; Wang, Hong; Ye, Dingfeng 2 2011 Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1344.68170Song, Lei; Zhang, Lijun; Godskesen, Jens Chr. 2 2011 Efficient approximation of optimal control for continuous-time Markov games. Zbl 1246.68165Fearnley, John; Rabe, Markus; Schewe, Sven; Zhang, Lijun 1 2011 Concurrency and composition in a stochastic world. Zbl 1287.68132Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun 12 2010 Model checking interactive Markov chains. Zbl 1284.68420Zhang, Lijun; Neuhäußer, Martin R. 7 2010 Best probabilistic transformers. Zbl 1273.68244Wachter, Björn; Zhang, Lijun 4 2010 On the Exp-function method for constructing travelling wave solutions of nonlinear equations. Zbl 1216.35109Zhang, Lijun; Huo, Xuwen 3 2010 Wind energy management with battery storage. Zbl 1196.90057Zhang, L.; Wirth, A. 2 2010 Integral self-affine tiles of Bandt’s model. Zbl 1192.37023Rao, Hui; Zhang, Li-Jun 1 2010 Envelope compacton and solitary pattern solutions of a generalized nonlinear Schrödinger equation. Zbl 1159.35430Zhang, Lijun; Chen, Li-Qun 8 2009 Time-bounded model checking of infinite-state continuous-time Markov chains. Zbl 1214.68213Hahn, E. Moritz; Hermanns, Holger; Wachter, Björn; Zhang, Lijun 4 2009 Probabilistic CEGAR. Zbl 1155.68438Hermanns, Holger; Wachter, Björn; Zhang, Lijun 15 2008 ...and 39 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 781 Authors 50 Zhang, Lijun 16 Li, Haitao 13 Feng, Jun’e 12 Katoen, Joost-Pieter 12 Khalique, Chaudry Masood 11 Hermanns, Holger 9 Cheng, Daizhan 9 Wang, Biao 8 Zhang, Kuize 7 Baier, Christel 7 Guo, Yuqian 7 Liu, Yang 7 Zhang, Mingji 6 Chen, Zengqiang 6 Deng, Yuxin 6 Li, Yalu 5 Bernardo, Marco 5 Chen, Liqun 5 Chu, Tianguang 5 Feng, Yuan 5 Gui, Weihua 5 Hahn, Ernst Moritz 5 Han, Maoan 5 Jansen, David N. 5 Kwiatkowska, Marta Z. 5 Li, Jibin 5 Li, Rui 5 Liu, Hanze 5 Meng, Min 5 Tang, Yaning 5 Turrini, Andrea 5 Wang, Shuling 5 Wen, Zhenshu 5 Zhang, Weiguo 4 Bi, Qinsheng 4 Crafa, Silvia 4 Gebler, Daniel E. 4 Han, Xiaoguang 4 Huo, Xuwen 4 Loreti, Michele 4 Lou, Jungang 4 Qi, Hongsheng 4 Ranzato, Francesco 4 Schewe, Sven 4 Silva, Alexandra 4 Sokolova, Ana 4 Tini, Simone 4 Xin, Xiangpeng 4 Yu, Yongyuan 4 Zhang, Qi 4 Zhao, Guodong 3 Becker, Bernd 3 Bonchi, Filippo 3 Castiglioni, Valentina 3 Chang, Lina 3 Chen, Aiyong 3 Chen, Jianing 3 Cheng, Huidong 3 D’Argenio, Pedro Rubén 3 de la Sen, Manuel 3 De Nicola, Rocco 3 Ding, Xueying 3 Gao, Liang 3 Kiefer, Stefan 3 Klüppelholz, Sascha 3 Li, Chunhai 3 Li, Xinyue 3 Li, Yong 3 Liu, Depeng 3 Liu, Rui 3 Liu, Zhongxin 3 Lochbihler, Andreas 3 Song, Ming 3 Stoelinga, Mariëlle 3 Tian, Lixin 3 Vardi, Moshe Ya’akov 3 Wang, Yuanhua 3 Wang, Yuzhen 3 Wimmer, Ralf D. 3 Worrell, James B. 3 Xu, Ming 3 Xu, Wei 3 Yang, Hongwei 3 Zhan, Naijun 3 Zhang, Lina 3 Zhang, Zhengdi 3 Zhang, Zhipeng 3 Zhao, Jiemei 2 Ábrahám, Erika 2 Alsaadi, Fuad Eid S. 2 Bai, Chenglin 2 Bartocci, Ezio 2 Bates, Peter W. 2 Bhullar, Jaskarn Singh 2 Bi, Ping 2 Bruni, Roberto 2 Buchholz, Peter 2 Chen, Cheng 2 Chen, Guanrong 2 Chen, Taolue ...and 681 more Authors all top 5 Cited in 125 Serials 18 Applied Mathematics and Computation 16 Journal of the Franklin Institute 16 Theoretical Computer Science 15 Automatica 14 Information and Computation 12 Mathematical Problems in Engineering 10 Chaos, Solitons and Fractals 10 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 9 Systems & Control Letters 9 Formal Aspects of Computing 9 Nonlinear Dynamics 9 Journal of Applied Analysis and Computation 8 Formal Methods in System Design 8 Nonlinear Analysis. Hybrid Systems 7 Information Sciences 7 SIAM Journal on Control and Optimization 7 Discrete and Continuous Dynamical Systems. Series S 6 Abstract and Applied Analysis 6 Journal of Logical and Algebraic Methods in Programming 5 Acta Informatica 5 Complexity 5 Communications in Nonlinear Science and Numerical Simulation 5 Qualitative Theory of Dynamical Systems 5 Asian Journal of Control 4 International Journal of Systems Science 4 Neural Networks 4 Discrete and Continuous Dynamical Systems. Series B 4 Mathematical Biosciences and Engineering 4 Logical Methods in Computer Science 4 Advances in Mathematical Physics 3 Applicable Analysis 3 Computers & Mathematics with Applications 3 International Journal of Control 3 Nuclear Physics. B 3 Monatshefte für Mathematik 3 Machine Learning 3 Journal of Nonlinear Science 3 European Journal of Control 3 Journal of Systems Science and Complexity 3 International Journal of Systems Science. Principles and Applications of Systems and Integration 3 AMM. Applied Mathematics and Mechanics. (English Edition) 2 Journal of Mathematical Analysis and Applications 2 Nonlinearity 2 Wave Motion 2 Fuzzy Sets and Systems 2 Journal of Computer and System Sciences 2 Journal of Differential Equations 2 Mathematics and Computers in Simulation 2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 2 Quarterly of Applied Mathematics 2 Applied Mathematics and Mechanics. (English Edition) 2 Acta Mathematicae Applicatae Sinica. English Series 2 Applied Mathematics Letters 2 Discrete Event Dynamic Systems 2 International Journal of Robust and Nonlinear Control 2 Journal of Control Theory and Applications 2 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Waves in Random and Complex Media 2 SIAM Journal on Imaging Sciences 2 Journal of Control Science and Engineering 1 International Journal of Modern Physics B 1 Information Processing Letters 1 Journal of Mathematical Physics 1 ZAMP. Zeitschrift für angewandte Mathematik und Physik 1 Computing 1 Journal of Computational and Applied Mathematics 1 Journal of Optimization Theory and Applications 1 Ricerche di Matematica 1 Studies in Applied Mathematics 1 Acta Applicandae Mathematicae 1 Optimization 1 Computers & Operations Research 1 Journal of Automated Reasoning 1 International Journal of Approximate Reasoning 1 Mathematical and Computer Modelling 1 Journal of Cryptology 1 MSCS. Mathematical Structures in Computer Science 1 Designs, Codes and Cryptography 1 Numerical Algorithms 1 Applied Mathematical Modelling 1 Distributed Computing 1 Archives of Control Sciences 1 Applied Mathematics. Series B (English Edition) 1 Applied and Computational Harmonic Analysis 1 International Journal of Computer Vision 1 Filomat 1 Statistica Sinica 1 Computer Science Journal of Moldova 1 Arab Journal of Mathematical Sciences 1 Differential Equations and Dynamical Systems 1 Discrete Dynamics in Nature and Society 1 Journal of Mathematical Fluid Mechanics 1 Journal of Dynamical and Control Systems 1 Fundamenta Informaticae 1 International Journal of Nonlinear Sciences and Numerical Simulation 1 Nonlinear Analysis. Real World Applications 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Mathematics 1 Proceedings of Institute of Mathematics and Mechanics. National Academy of Sciences of Azerbaijan 1 Journal of Applied Mathematics and Computing ...and 25 more Serials all top 5 Cited in 32 Fields 162 Computer science (68-XX) 121 Partial differential equations (35-XX) 102 Systems theory; control (93-XX) 52 Ordinary differential equations (34-XX) 37 Dynamical systems and ergodic theory (37-XX) 26 Information and communication theory, circuits (94-XX) 25 Probability theory and stochastic processes (60-XX) 24 Mathematical logic and foundations (03-XX) 24 Biology and other natural sciences (92-XX) 21 Fluid mechanics (76-XX) 17 Operations research, mathematical programming (90-XX) 16 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 15 Statistics (62-XX) 12 Numerical analysis (65-XX) 9 Optics, electromagnetic theory (78-XX) 6 Linear and multilinear algebra; matrix theory (15-XX) 5 Combinatorics (05-XX) 5 Mechanics of particles and systems (70-XX) 5 Mechanics of deformable solids (74-XX) 4 Calculus of variations and optimal control; optimization (49-XX) 3 Category theory; homological algebra (18-XX) 3 Integral equations (45-XX) 3 Classical thermodynamics, heat transfer (80-XX) 3 Statistical mechanics, structure of matter (82-XX) 3 Geophysics (86-XX) 2 Algebraic geometry (14-XX) 2 Group theory and generalizations (20-XX) 2 Difference and functional equations (39-XX) 2 Quantum theory (81-XX) 1 Number theory (11-XX) 1 Convex and discrete geometry (52-XX) 1 Manifolds and cell complexes (57-XX) Citations by Year