×

zbMATH — the first resource for mathematics

Zhang, Lijun

Compute Distance To:
Author ID: zhang.lijun Recent zbMATH articles by "Zhang, Lijun"
Published as: Zhang, Lijun; Zhang, L.; Zhang, Li-Jun; Zhang, Li-jun; Zhang, L. J.; Zhang, L.-J.
External Links: ORCID · dblp
Documents Indexed: 225 Publications since 1982, including 7 Books
all top 5

Co-Authors

5 single-authored
19 Hermanns, Holger
14 Khalique, Chaudry Masood
10 Jansen, David N.
10 Zhang, Kuize
8 Hahn, Ernst Moritz
8 Schewe, Sven
8 Turrini, Andrea
8 Zhao, Jiemei
7 Eisentraut, Christian
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 Yang, Tianbao
4 Chen, Jufang
4 Feng, Yuan
4 He, Jifeng
4 Huo, Hai-Feng
4 Vardi, Moshe Y.
4 Wachter, Björn
4 Yang, Pengfei
4 Zhan, Naijun
4 Zhang, Mingji
4 Zhou, Zhihua
4 Zhu, Shenghuo
3 Bu, Jiajun
3 Chen, Chun
3 Guo, Mingle
3 Han, Maoan
3 Li, Chunwen
3 Nielson, Flemming
3 Qi, Xue
3 Xie, Lihua
2 Bai, Yuzhen
2 Cai, Deng
2 Chen, Yu-Fang
2 Eisenbrand, Friedrich
2 Fearnley, John
2 Finkbeiner, Bernd
2 Gao, Yang
2 Huang, Chengchao
2 Hwang, Keum Cheol
2 Katoen, Joost-Pieter
2 Li, Jibin
2 Li, Renjue
2 Li, Zhanhuai
2 Liu, Hanze
2 Michaleris, Panagiotis
2 Pang, Jun
2 Rabe, Markus N.
2 Reutzel, E. W.
2 Schuster, Johann Christoph
2 Tu, Dongsheng
2 Vojnar, Tomáš
2 Wang, Bow-Yaw
2 Wang, Can
2 Wang, Shuling
2 Xiang, Yu
2 Xu, Ming
2 Zhang, Jianming
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 Bhatti, Muhammad Mubashir
1 Bilgen, D.
1 Cai, Dan
1 Cai, Qingdong
1 Cai, Shaowei
1 Cao, Zhijie
1 Chang, Haixia
1 Chang, Lina
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 Du, Yong
1 Duan, Kaiqiang
1 Ernst, Leo J.
1 Feng, Fenjun
1 Fränzle, Martin
1 Fu, Jingli
1 Gao, Jintao
1 Gao, Shujing
1 Gao, Xiaowei
...and 142 more Co-Authors
all top 5

Serials

4 Information and Computation
4 Machine Learning
4 Mathematical Problems in Engineering
4 Lecture Notes in Computer Science
4 Discrete and Continuous Dynamical Systems. Series S
4 Journal of Applied Analysis and Computation
3 Computer Methods in Applied Mechanics and Engineering
3 International Journal of Control
3 International Journal of Mechanical Sciences
3 International Journal of Solids and Structures
3 Chaos, Solitons and Fractals
3 Journal of Systems Science and Mathematical Sciences
3 Formal Aspects of Computing
3 Abstract and Applied Analysis
3 Control and Decision
3 Logical Methods in Computer Science
2 Modern Physics Letters B
2 Acta Informatica
2 Acta Mechanica
2 Computer Physics Communications
2 Computers and Structures
2 Information Processing Letters
2 Journal of Applied Mechanics
2 Journal of the Mechanics and Physics of Solids
2 Physics Letters. 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 Nonlinear Dynamics
2 Journal of Shaanxi Normal University. Natural Science Edition
2 IEEE Transactions on Image Processing
2 Journal of Machine Learning Research (JMLR)
2 Advances in Difference Equations
2 Journal of Control Theory and Applications
2 Asian Journal of Control
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 Physica A
1 Rocky Mountain Journal of Mathematics
1 ZAMP. Zeitschrift für angewandte Mathematik und Physik
1 Automatica
1 Biometrics
1 BIT
1 IEEE Transactions on Automatic Control
1 International Journal for Numerical Methods in Engineering
1 Journal of the Operational Research Society
1 Journal of Optimization Theory and Applications
1 Kybernetika
1 Siberian Mathematical Journal
1 Theoretical Computer Science
1 Optimal Control Applications & Methods
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 Acta Mathematica Hungarica
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 Applied Mathematics Letters
1 Journal of Logic and Computation
1 Journal of Natural Science of Heilongjiang University
1 Computational Statistics
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 Functional Differential Equations
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 Discrete and Continuous Dynamical Systems. Series B
1 Journal of Systems Science and Complexity
1 Journal of Jilin University. Science Edition
1 Journal of Shandong University. Natural Science
...and 18 more Serials
all top 5

Fields

84 Computer science (68-XX)
36 Systems theory; control (93-XX)
31 Partial differential equations (35-XX)
27 Mechanics of deformable solids (74-XX)
24 Ordinary differential equations (34-XX)
20 Biology and other natural sciences (92-XX)
12 Dynamical systems and ergodic theory (37-XX)
12 Statistics (62-XX)
10 Mathematical logic and foundations (03-XX)
8 General and overarching topics; collections (00-XX)
8 Probability theory and stochastic processes (60-XX)
8 Numerical analysis (65-XX)
7 Linear and multilinear algebra; matrix theory (15-XX)
7 Fluid mechanics (76-XX)
7 Operations research, mathematical programming (90-XX)
6 Information and communication theory, circuits (94-XX)
4 Combinatorics (05-XX)
4 Optics, electromagnetic theory (78-XX)
4 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
3 Integral equations (45-XX)
3 Mechanics of particles and systems (70-XX)
3 Statistical mechanics, structure of matter (82-XX)
2 Group theory and generalizations (20-XX)
2 Classical thermodynamics, heat transfer (80-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Algebraic geometry (14-XX)
1 Nonassociative rings and algebras (17-XX)
1 Category theory; homological algebra (18-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 General topology (54-XX)
1 Quantum theory (81-XX)

Publications by Year

Citations contained in zbMATH Open

129 Publications have been cited 583 times in 322 Documents Cited by Year
Bifurcations of traveling wave solutions in generalized Pochhammer-Chree equation. Zbl 0997.35096
Li, Jibin; Zhang, Lijun
36
2002
Mixed mode near-tip fields for cracks in materials with strain-gradient effects. Zbl 1049.74521
Huang, Y.; Zhang, L.; Guo, T. F.; Hwang, K.-C.
29
1997
Probabilistic logical characterization. Zbl 1210.68072
Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun
18
2011
Observability of Boolean control networks: a unified approach based on finite automata. Zbl 1359.93074
Zhang, Kuize; Zhang, Lijun
17
2016
Invertibility and nonsingularity of Boolean control networks. Zbl 1331.93106
Zhang, Kuize; Zhang, Lijun; Xie, Lihua
17
2015
Low rank approximation of a Hankel matrix by structured total least norm. Zbl 0944.65043
Park, H.; Zhang, L.; Rosen, J. B.
15
1999
Probabilistic CEGAR. Zbl 1155.68438
Hermanns, Holger; Wachter, Björn; Zhang, Lijun
14
2008
Graph regularized sparse coding for image representation. Zbl 1372.94314
Zheng, Miao; Bu, Jiajun; Chen, Chun; Wang, Can; Zhang, Lijun; Qiu, Guang; Cai, Deng
13
2011
The effects of the singular lines on the traveling wave solutions of modified dispersive water wave equations. Zbl 1409.35051
Han, Maoan; Zhang, Lijun; Wang, Yue; Khalique, Chaudry Masood
13
2019
Finite automata approach to observability of switched Boolean control networks. Zbl 1343.93021
Zhang, Kuize; Zhang, Lijun; Xie, Lihua
12
2016
Exact local controllability of a one-control reaction-diffusion system. Zbl 1136.93007
Wang, G.; Zhang, L.
11
2006
Flow faster: efficient decision algorithms for probabilistic simulations. Zbl 1161.68473
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N.
11
2008
The effects of horizontal singular straight line in a generalized nonlinear Klein-Gordon model equation. Zbl 1284.35359
Zhang, Lijun; Chen, Li-Qun; Huo, Xuwen
11
2013
A weighted pair graph representation for reconstructibility of Boolean control networks. Zbl 1350.93048
Zhang, Kuize; Zhang, Lijun; Su, Rong
10
2016
Measurability and safety verification for stochastic hybrid systems. Zbl 1362.68170
Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun
10
2011
Peakons and periodic cusp wave solutions in a generalized Camassa-Holm equation. Zbl 1142.35591
Zhang, Lijun; Chen, Li-Qun; Huo, Xuwen
10
2006
Concurrency and composition in a stochastic world. Zbl 1287.68132
Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun
10
2010
Theory and applications of problem solving. Zbl 0864.68093
Zhang, B.; Zhang, L.
9
1992
On stability of switched homogeneous nonlinear systems. Zbl 1127.93046
Zhang, Lijun; Liu, Sheng; Lan, Hai
9
2007
Bifurcations of smooth and nonsmooth traveling wave solutions in a generalized Degasperis-Procesi equation. Zbl 1129.34032
Zhang, Lijun; Chen, Li-Qun; Huo, Xuwen
9
2007
Bifurcations of traveling wave solutions in a coupled nonlinear wave equation. Zbl 1030.35142
Zhang, Lijun; Li, Jibin
8
2003
Local adaptive differential quadrature for free vibration analysis of cylindrical shells with various boundary conditions. Zbl 1192.74154
Zhang, L.; Xiang, Y.; Wei, G. W.
8
2006
A semantics for every GSPN. Zbl 1381.68199
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun
7
2013
The quest for minimal quotients for probabilistic automata. Zbl 1381.68115
Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun
7
2013
Classification and bifurcation of a class of second-order ODEs and its application to nonlinear PDEs. Zbl 1444.34005
Zhang, Lijun; Khalique, Chaudry Masood
7
2018
Model checking interactive Markov chains. Zbl 1284.68420
Zhang, Lijun; Neuhäußer, Martin R.
7
2010
On some enrichments of reproducing kernel particle method. Zbl 1179.74184
Zhou, J. X.; Wang, X. M.; Zhang, Z. Q.; Zhang, L.
6
2004
A nodal integration and post-processing technique based on Voronoi diagram for Galerkin meshless methods. Zbl 1054.74746
Zhou, J. X.; Wen, J. B.; Zhang, H. Y.; Zhang, L.
6
2003
On stabilization in Herman’s algorithm. Zbl 1333.68038
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun
6
2011
Explicit 3-D RKPM shape functions in terms of kernel function moments for accelerated computation. Zbl 1137.74453
Zhou, J. X.; Wang, X. M.; Zhang, Z. Q.; Zhang, L.
6
2005
Vibration of open circular cylindrical shells with intermediate ring supports. Zbl 1121.74383
Zhang, L.; Xiang, Y.
6
2006
Improved bounds for on-line load balancing. Zbl 0916.68013
Andrews, M.; Goemans, M. X.; Zhang, L.
5
1999
Efficient CSL model checking using stratification. Zbl 1348.68152
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger
5
2012
Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1264.03087
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming
5
2013
Shape optimization using reproducing kernel particle method and an enriched genetic algorithm. Zbl 1151.74401
Zhang, Z. Q.; Zhou, J. X.; Zhou, N.; Wang, X. M.; Zhang, L.
5
2005
Adaptive control of linear Markov jump systems. Zbl 1103.93046
Cheng, Daizhan; Zhang, Lijun
5
2006
A necessary and sufficient condition for stabilization of switched descriptor time-delay systems under arbitrary switching. Zbl 1338.93309
Zhao, Jiemei; Zhang, Lijun; Qi, Xue
5
2016
A general framework for probabilistic characterizing formulae. Zbl 1326.68176
Sack, Joshua; Zhang, Lijun
5
2012
Analysis of 2-D bimodular materials and wrinkled membranes based on the parametric variational principle and co-rotational approach. Zbl 1352.74460
Zhang, L.; Gao, Q.; Zhang, H. W.
4
2014
Investigations on reproducing kernel particle method enriched by partition of unity and visibility criterion. Zbl 1158.74542
Zhang, Z. Q.; Zhou, J. X.; Wang, X. M.; Zhang, Y. F.; Zhang, L.
4
2004
Generalized normal form and stabilization of nonlinear systems. Zbl 1074.93011
Cheng, Daizhan; Zhang, Lijun
4
2003
Asymptotic behavior of the nonautonomous Schoner competing system with feedback controls. Zbl 1057.93505
Zhang, Lijun; Huo, Haifeng; Chen, Jufang
4
2001
Long-range predictive control using weighting-sequence models. Zbl 0629.93038
Clarke, D. W.; Zhang, L.
4
1987
Safety verification for probabilistic hybrid systems. Zbl 1291.93294
Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz
4
2012
Time-bounded model checking of infinite-state continuous-time Markov chains. Zbl 1214.68213
Hahn, E. Moritz; Hermanns, Holger; Wachter, Björn; Zhang, Lijun
4
2009
Flow faster: Efficient decision algorithms for probabilistic simulations. Zbl 1186.68326
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N.
4
2007
A space-efficient probabilistic simulation algorithm. Zbl 1160.68432
Zhang, Lijun
4
2008
Envelope compacton and solitary pattern solutions of a generalized nonlinear Schrödinger equation. Zbl 1159.35430
Zhang, Lijun; Chen, Li-Qun
4
2009
Interfacial stresses in curved members bonded with a thin plate. Zbl 1120.74613
De Lorenzis, L.; Teng, J. G.; Zhang, L.
4
2006
Impact of bounded noise and shortcuts on the spatiotemporal dynamics of neuronal networks. Zbl 1395.34061
Yang, X. L.; Jia, Y. B.; Zhang, L.
4
2014
Stabilizing role of nonlocal interaction on spatio-temporal pattern formation. Zbl 1387.35046
Banerjee, M.; Zhang, L.
4
2016
\(L_{2}\) stability, \(H_{\infty }\) control of switched homogeneous nonlinear systems and their semi-tensor product of matrices representation. Zbl 1273.93070
Zhang, Lijun; Zhang, Kuize
4
2013
Mathematical studies of Poisson-Nernst-Planck model for membrane channels: finite ion size effects without electroneutrality boundary conditions. Zbl 1420.34072
Aitbayev, Rakhim; Bates, Peter W.; Lu, Hong; Zhang, Lijun; Zhang, Mingji
4
2019
On the estimation of skewness of a statistic using the jackknife and the bootstrap. Zbl 0743.62031
Tu, D.; Zhang, L.
3
1992
Higher-order asymptotic crack-tip fields in a power-law creeping material. Zbl 1015.74015
Chao, Y. J.; Zhu, X. K.; Zhang, L.
3
2001
On semi-tensor product of matrices and its applications. Zbl 1059.15033
Cheng, Daizhan; Zhang, Lijun
3
2003
On the Exp-function method for constructing travelling wave solutions of nonlinear equations. Zbl 1216.35109
Zhang, Lijun; Huo, Xuwen
3
2010
Efficient approximation of optimal control for continuous-time Markov games. Zbl 1337.91015
Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun
3
2016
Best probabilistic transformers. Zbl 1273.68244
Wachter, Björn; Zhang, Lijun
3
2010
Lazy probabilistic model checking without determinisation. Zbl 1374.68290
Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
3
2015
A stabilized complementarity formulation for nonlinear analysis of 3D bimodular materials. Zbl 1348.74030
Zhang, L.; Zhang, H. W.; Wu, J.; Yan, B.
3
2016
Random projections for classification: a recovery approach. Zbl 1360.94105
Zhang, Lijun; Mahdavi, Mehrdad; Jin, Rong; Yang, Tianbao; Zhu, Shenghuo
3
2014
The physical origin of severe low-frequency pressure fluctuations in giant Francis turbines. Zbl 1137.76392
Zhang, R.-K.; Cai, Q.-D.; Wu, J.-Z.; Wu, Y.-L.; Liu, S.-H.; Zhang, L.
3
2005
Deciding bisimilarities on distributions. Zbl 1398.68364
Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun
3
2013
High-order \(S\)-lemma with application to stability of a class of switched nonlinear systems. Zbl 1292.93110
Zhang, Kuize; Zhang, Lijun; Sun, Fuchun
3
2014
Quasi-periodic wave solutions and two-wave solutions of the KdV-Sawada-Kotera-Ramani equation. Zbl 1384.34078
Zhang, Lijun; Khalique, Chaudry Masood
3
2017
Deciding simulations on probabilistic automata. Zbl 1141.68443
Zhang, Lijun; Hermanns, Holger
3
2007
Model checking conditional CSL for continuous-time Markov chains. Zbl 1259.68125
Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun
3
2013
Dynamics of classical Poisson-Nernst-Planck systems with multiple cations and boundary layers. Zbl 07307362
Wen, Zhenshu; Zhang, Lijun; Zhang, Mingji
3
2021
Exact solitary wave and quasi-periodic wave solutions of the KdV-Sawada-Kotera-Ramani equation. Zbl 1422.35147
Zhang, Lijun; Khalique, Chaudry Masood
3
2015
Extremal solutions for nonlinear first-order impulsive integro-differential dynamic equations. Zbl 1428.45011
Zhang, L.; Xing, Y. F.
3
2019
Exact solitary wave and periodic wave solutions of a class of higher-order nonlinear wave equations. Zbl 1394.35457
Zhang, Lijun; Khalique, Chaudry Masood
2
2015
Distribution-based bisimulation for labelled Markov processes. Zbl 06814296
Yang, Pengfei; Jansen, David N.; Zhang, Lijun
2
2017
The stochastic Newmark algorithm for random analysis of multi-degree-of-freedom nonlinear systems. Zbl 0965.70006
Zhang, L.; Zu, J. W.; Zheng, Z.
2
1999
Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1344.68170
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.
2
2011
Stochastic modeling of carcinogenesis: state space models and estimation of parameters. Zbl 1160.92335
Tan, W. Y.; Zhang, L.-J.; Chen, C. W.
2
2004
Automata-based CSL model checking. Zbl 1334.68135
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger
2
2011
A compositional modelling and verification framework for stochastic hybrid systems. Zbl 1370.68220
Wang, Shuling; Zhan, Naijun; Zhang, Lijun
2
2017
Existence and uniqueness of wave fronts in neuronal network with nonlocal post-synaptic axonal and delayed nonlocal feedback connections. Zbl 1375.35590
Zhang, Lijun
2
2013
Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems. Zbl 1346.68133
He, Fei; Gao, Xiaowei; Wang, Bow-Yaw; Zhang, Lijun
2
2015
On the minimisation of acyclic models. Zbl 1160.68462
Crouzen, Pepijn; Hermanns, Holger; Zhang, Lijun
2
2008
New exact compacton, peakon and solitary solutions of the generalized Boussinesq-like \(B(m,n)\) equations with nonlinear dispersion. Zbl 1156.34006
Zhang, Lijun; Chen, Li-Qun; Huo, Xuwen
2
2007
Constructions of QC LDPC codes based on integer sequences. Zbl 1357.94096
Zhang, Lijun; Li, Bing; Cheng, Leelung
2
2014
Delay-dependent exponential stability for discrete-time singular switched systems with time-varying delay. Zbl 1327.93332
Zhang, Lijun; Zhao, Jiemei
2
2013
Existence and nonexistence of solutions on opposing mixed convection problems in boundary layer theory. Zbl 1297.76062
Yang, G. C.; Zhang, L.; Dang, L. F.
2
2014
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
Wind energy management with battery storage. Zbl 1196.90057
Zhang, L.; Wirth, A.
2
2010
Double Wronskian solutions to the \((2+1)\)-dimensional Broer-Kaup-Kupershmidt equation. Zbl 1439.35432
Tang, Yaning; Yuen, Manwai; Zhang, Lijun
2
2020
Another elliptic curve model for faster pairing computation. Zbl 1305.94085
Zhang, Lijun; Wang, Kunpeng; Wang, Hong; Ye, Dingfeng
2
2011
A three-dimensional model for nonlinear viscoelasticity. Zbl 0870.73023
Zhang, L.; Ernst, L. J.
1
1993
Asymptotic behavior of a nonautonomous diffusive predator-prey system. Zbl 0967.92018
Huo, Haifeng; Zhang, Lijun; Chen, Jufang
1
1999
Near-tip field for steady dynamic crack growth in a compressible elastic-plastic material. Zbl 0974.74528
Zhang, L.; Zhu, X. K.; Hwang, K. C.
1
1997
Finite element modeling discretization requirements for the laser forming process. Zbl 1179.74158
Zhang, L.; Reutzel, E. W.; Michaleris, P.
1
2004
Locally discriminative topic modeling. Zbl 1225.68221
Wu, Hao; Bu, Jiajun; Chen, Chun; Zhu, Jianke; Zhang, Lijun; Liu, Haifeng; Wang, Can; Cai, Deng
1
2012
Efficient approximation of optimal control for continuous-time Markov games. Zbl 1246.68165
Fearnley, John; Rabe, Markus; Schewe, Sven; Zhang, Lijun
1
2011
On the relationship between LTL normal forms and Büchi automata. Zbl 1390.68435
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim
1
2013
\(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177
Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng
1
2014
Extending hybrid CSP with probability and stochasticity. Zbl 1369.68264
Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun
1
2015
Integral self-affine tiles of Bandt’s model. Zbl 1192.37023
Rao, Hui; Zhang, Li-Jun
1
2010
Process platform representation based on unified modelling language. Zbl 1108.90312
Zhang, L.; Jiao, J.; Helo, P. T.
1
2007
Dynamics of classical Poisson-Nernst-Planck systems with multiple cations and boundary layers. Zbl 07307362
Wen, Zhenshu; Zhang, Lijun; Zhang, Mingji
3
2021
Double Wronskian solutions to the \((2+1)\)-dimensional Broer-Kaup-Kupershmidt equation. Zbl 1439.35432
Tang, Yaning; Yuen, Manwai; Zhang, Lijun
2
2020
Symmetry reductions, dynamical behavior and exact explicit solutions to a class of nonlinear shallow water wave equation. Zbl 1437.37101
Chang, Lina; Liu, Hanze; Zhang, Lijun
1
2020
Discrete-time and discrete-space dynamical systems. Zbl 1430.93007
Zhang, Kuize; Zhang, Lijun; Xie, Lihua
1
2020
Effects of magnetic Reynolds number on swimming of gyrotactic microorganisms between rotating circular plates filled with nanofluids. Zbl 1457.76215
Zhang, Lijun; Arain, M. B.; Bhatti, M. M.; Zeeshan, A.; Hal-Sulami, H.
1
2020
The effects of the singular lines on the traveling wave solutions of modified dispersive water wave equations. Zbl 1409.35051
Han, Maoan; Zhang, Lijun; Wang, Yue; Khalique, Chaudry Masood
13
2019
Mathematical studies of Poisson-Nernst-Planck model for membrane channels: finite ion size effects without electroneutrality boundary conditions. Zbl 1420.34072
Aitbayev, Rakhim; Bates, Peter W.; Lu, Hong; Zhang, Lijun; Zhang, Mingji
4
2019
Extremal solutions for nonlinear first-order impulsive integro-differential dynamic equations. Zbl 1428.45011
Zhang, L.; Xing, Y. F.
3
2019
An analytical analysis of receding contact between a compressible elastic thin film and a rigid substrate due to spherical indentation. Zbl 1425.74066
Wu, G. T.; Wu, J.; Zhang, L.
1
2019
A novel Lie group classification method for generalized cylindrical KdV type of equation: exact solutions and conservation laws. Zbl 1428.37068
Liu, Hanze; Bai, Cheng-Lin; Xin, Xiangpeng; Zhang, Lijun
1
2019
Classification and bifurcation of a class of second-order ODEs and its application to nonlinear PDEs. Zbl 1444.34005
Zhang, Lijun; Khalique, Chaudry Masood
7
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
Peakon and cuspon solutions of a generalized Camassa-Holm-Novikov equation. Zbl 07303506
Zhang, Lijun; Wang, Yue; Khalique, Chaudry Masood; Bai, Yuzhen
1
2018
Accelerating LTL satisfiability checking by SAT solvers. Zbl 1410.68235
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng
1
2018
Quasi-periodic wave solutions and two-wave solutions of the KdV-Sawada-Kotera-Ramani equation. Zbl 1384.34078
Zhang, Lijun; Khalique, Chaudry Masood
3
2017
Distribution-based bisimulation for labelled Markov processes. Zbl 06814296
Yang, Pengfei; Jansen, David N.; Zhang, Lijun
2
2017
A compositional modelling and verification framework for stochastic hybrid systems. Zbl 1370.68220
Wang, Shuling; Zhan, Naijun; Zhang, Lijun
2
2017
Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games. Zbl 06687361
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
1
2017
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. Zbl 1453.68098
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng
1
2017
Observability of Boolean control networks: a unified approach based on finite automata. Zbl 1359.93074
Zhang, Kuize; Zhang, Lijun
17
2016
Finite automata approach to observability of switched Boolean control networks. Zbl 1343.93021
Zhang, Kuize; Zhang, Lijun; Xie, Lihua
12
2016
A weighted pair graph representation for reconstructibility of Boolean control networks. Zbl 1350.93048
Zhang, Kuize; Zhang, Lijun; Su, Rong
10
2016
A necessary and sufficient condition for stabilization of switched descriptor time-delay systems under arbitrary switching. Zbl 1338.93309
Zhao, Jiemei; Zhang, Lijun; Qi, Xue
5
2016
Stabilizing role of nonlocal interaction on spatio-temporal pattern formation. Zbl 1387.35046
Banerjee, M.; Zhang, L.
4
2016
Efficient approximation of optimal control for continuous-time Markov games. Zbl 1337.91015
Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun
3
2016
A stabilized complementarity formulation for nonlinear analysis of 3D bimodular materials. Zbl 1348.74030
Zhang, L.; Zhang, H. W.; Wu, J.; Yan, B.
3
2016
Classifying bilinear differential equations by linear superposition principle. Zbl 1357.35081
Zhang, Lijun; Khalique, Chaudry Masood; Ma, Wen-Xiu
1
2016
Multiphase until formulas over Markov reward models: an algebraic approach. Zbl 1332.68143
Xu, Ming; Zhang, Lijun; Jansen, David N.; Zhu, Huibiao; Yang, Zongyuan
1
2016
A space-efficient simulation algorithm on probabilistic automata. Zbl 1345.68219
Zhang, Lijun; Jansen, David N.
1
2016
Invertibility and nonsingularity of Boolean control networks. Zbl 1331.93106
Zhang, Kuize; Zhang, Lijun; Xie, Lihua
17
2015
Lazy probabilistic model checking without determinisation. Zbl 1374.68290
Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun
3
2015
Exact solitary wave and quasi-periodic wave solutions of the KdV-Sawada-Kotera-Ramani equation. Zbl 1422.35147
Zhang, Lijun; Khalique, Chaudry Masood
3
2015
Exact solitary wave and periodic wave solutions of a class of higher-order nonlinear wave equations. Zbl 1394.35457
Zhang, Lijun; Khalique, Chaudry Masood
2
2015
Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems. Zbl 1346.68133
He, Fei; Gao, Xiaowei; Wang, Bow-Yaw; Zhang, Lijun
2
2015
Extending hybrid CSP with probability and stochasticity. Zbl 1369.68264
Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun
1
2015
Efficient distance metric learning by adaptive sampling and mini-batch stochastic gradient descent (SGD). Zbl 1338.68237
Qian, Qi; Jin, Rong; Yi, Jinfeng; Zhang, Lijun; Zhu, Shenghuo
1
2015
Counterexample-guided polynomial loop invariant generation by Lagrange interpolation. Zbl 1381.68049
Chen, Yu-Fang; Hong, Chih-Duo; Wang, Bow-Yaw; Zhang, Lijun
1
2015
Generalized reversibility of topological dynamical systems and cellular automata. Zbl 1339.37020
Zhang, Kuize; Zhang, Lijun
1
2015
Probabilistic bisimulation for realistic schedulers. Zbl 1427.68193
Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun
1
2015
Exact solitary wave and periodic wave solutions of the Kaup-Kuperschmidt equation. Zbl 1463.35434
Zhang, Lijun; Khalique, Chaudry Masood
1
2015
Analysis of 2-D bimodular materials and wrinkled membranes based on the parametric variational principle and co-rotational approach. Zbl 1352.74460
Zhang, L.; Gao, Q.; Zhang, H. W.
4
2014
Impact of bounded noise and shortcuts on the spatiotemporal dynamics of neuronal networks. Zbl 1395.34061
Yang, X. L.; Jia, Y. B.; Zhang, L.
4
2014
Random projections for classification: a recovery approach. Zbl 1360.94105
Zhang, Lijun; Mahdavi, Mehrdad; Jin, Rong; Yang, Tianbao; Zhu, Shenghuo
3
2014
High-order \(S\)-lemma with application to stability of a class of switched nonlinear systems. Zbl 1292.93110
Zhang, Kuize; Zhang, Lijun; Sun, Fuchun
3
2014
Constructions of QC LDPC codes based on integer sequences. Zbl 1357.94096
Zhang, Lijun; Li, Bing; Cheng, Leelung
2
2014
Existence and nonexistence of solutions on opposing mixed convection problems in boundary layer theory. Zbl 1297.76062
Yang, G. C.; Zhang, L.; Dang, L. F.
2
2014
\(\mathrm{LTL}_{f}\) satisfiability checking. Zbl 1366.68177
Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng
1
2014
A nearly optimal upper bound for the self-stabilization time in Herman’s algorithm. Zbl 1417.68296
Feng, Yuan; Zhang, Lijun
1
2014
Bisimulations and logical characterizations on continuous-time Markov decision processes. Zbl 1428.68191
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.
1
2014
Probably safe or live. Zbl 1394.68231
Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun
1
2014
Stability and Hopf bifurcation analysis on a Bazykin model with delay. Zbl 1406.92538
Zhang, Jianming; Zhang, Lijun; Khalique, Chaudry Masood
1
2014
Existence of wave front solutions of an integral differential equation in nonlinear nonlocal neuronal network. Zbl 07023021
Zhang, Lijun; Zhang, Linghai; Yuan, Jie; Khalique, C. M.
1
2014
Traveling wave solutions and infinite-dimensional linear spaces of multiwave solutions to Jimbo-Miwa equation. Zbl 07023409
Zhang, Lijun; Khalique, C. M.
1
2014
The effects of horizontal singular straight line in a generalized nonlinear Klein-Gordon model equation. Zbl 1284.35359
Zhang, Lijun; Chen, Li-Qun; Huo, Xuwen
11
2013
A semantics for every GSPN. Zbl 1381.68199
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun
7
2013
The quest for minimal quotients for probabilistic automata. Zbl 1381.68115
Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun
7
2013
Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1264.03087
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming
5
2013
\(L_{2}\) stability, \(H_{\infty }\) control of switched homogeneous nonlinear systems and their semi-tensor product of matrices representation. Zbl 1273.93070
Zhang, Lijun; Zhang, Kuize
4
2013
Deciding bisimilarities on distributions. Zbl 1398.68364
Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun
3
2013
Model checking conditional CSL for continuous-time Markov chains. Zbl 1259.68125
Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun
3
2013
Existence and uniqueness of wave fronts in neuronal network with nonlocal post-synaptic axonal and delayed nonlocal feedback connections. Zbl 1375.35590
Zhang, Lijun
2
2013
Delay-dependent exponential stability for discrete-time singular switched systems with time-varying delay. Zbl 1327.93332
Zhang, Lijun; Zhao, Jiemei
2
2013
On the relationship between LTL normal forms and Büchi automata. Zbl 1390.68435
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim
1
2013
First-passage problem of strongly nonlinear stochastic oscillators with external and internal resonances. Zbl 1348.34110
Wu, Y. J.; Gao, Y. Y.; Zhang, L.
1
2013
A tighter bound for the self-stabilization time in Herman’s algorithm. Zbl 1291.68428
Feng, Yuan; Zhang, Lijun
1
2013
Efficient CSL model checking using stratification. Zbl 1348.68152
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger
5
2012
A general framework for probabilistic characterizing formulae. Zbl 1326.68176
Sack, Joshua; Zhang, Lijun
5
2012
Safety verification for probabilistic hybrid systems. Zbl 1291.93294
Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz
4
2012
Locally discriminative topic modeling. Zbl 1225.68221
Wu, 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.74282
Yang, Y.; Lam, N. T. K.; Zhang, L.
1
2012
Probabilistic logical characterization. Zbl 1210.68072
Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun
18
2011
Graph regularized sparse coding for image representation. Zbl 1372.94314
Zheng, Miao; Bu, Jiajun; Chen, Chun; Wang, Can; Zhang, Lijun; Qiu, Guang; Cai, Deng
13
2011
Measurability and safety verification for stochastic hybrid systems. Zbl 1362.68170
Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun
10
2011
On stabilization in Herman’s algorithm. Zbl 1333.68038
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun
6
2011
Bisimulations meet PCTL equivalences for probabilistic automata. Zbl 1344.68170
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.
2
2011
Automata-based CSL model checking. Zbl 1334.68135
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger
2
2011
Another elliptic curve model for faster pairing computation. Zbl 1305.94085
Zhang, Lijun; Wang, Kunpeng; Wang, Hong; Ye, Dingfeng
2
2011
Efficient approximation of optimal control for continuous-time Markov games. Zbl 1246.68165
Fearnley, John; Rabe, Markus; Schewe, Sven; Zhang, Lijun
1
2011
Concurrency and composition in a stochastic world. Zbl 1287.68132
Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun
10
2010
Model checking interactive Markov chains. Zbl 1284.68420
Zhang, Lijun; Neuhäußer, Martin R.
7
2010
On the Exp-function method for constructing travelling wave solutions of nonlinear equations. Zbl 1216.35109
Zhang, Lijun; Huo, Xuwen
3
2010
Best probabilistic transformers. Zbl 1273.68244
Wachter, Björn; Zhang, Lijun
3
2010
Wind energy management with battery storage. Zbl 1196.90057
Zhang, L.; Wirth, A.
2
2010
Integral self-affine tiles of Bandt’s model. Zbl 1192.37023
Rao, Hui; Zhang, Li-Jun
1
2010
Time-bounded model checking of infinite-state continuous-time Markov chains. Zbl 1214.68213
Hahn, E. Moritz; Hermanns, Holger; Wachter, Björn; Zhang, Lijun
4
2009
Envelope compacton and solitary pattern solutions of a generalized nonlinear Schrödinger equation. Zbl 1159.35430
Zhang, Lijun; Chen, Li-Qun
4
2009
Probabilistic CEGAR. Zbl 1155.68438
Hermanns, Holger; Wachter, Björn; Zhang, Lijun
14
2008
Flow faster: efficient decision algorithms for probabilistic simulations. Zbl 1161.68473
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N.
11
2008
A space-efficient probabilistic simulation algorithm. Zbl 1160.68432
Zhang, Lijun
4
2008
On the minimisation of acyclic models. Zbl 1160.68462
Crouzen, Pepijn; Hermanns, Holger; Zhang, Lijun
2
2008
On stability of switched homogeneous nonlinear systems. Zbl 1127.93046
Zhang, Lijun; Liu, Sheng; Lan, Hai
9
2007
Bifurcations of smooth and nonsmooth traveling wave solutions in a generalized Degasperis-Procesi equation. Zbl 1129.34032
Zhang, Lijun; Chen, Li-Qun; Huo, Xuwen
9
2007
Flow faster: Efficient decision algorithms for probabilistic simulations. Zbl 1186.68326
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N.
4
2007
Deciding simulations on probabilistic automata. Zbl 1141.68443
Zhang, Lijun; Hermanns, Holger
3
2007
New exact compacton, peakon and solitary solutions of the generalized Boussinesq-like \(B(m,n)\) equations with nonlinear dispersion. Zbl 1156.34006
Zhang, Lijun; Chen, Li-Qun; Huo, Xuwen
2
2007
Process platform representation based on unified modelling language. Zbl 1108.90312
Zhang, L.; Jiao, J.; Helo, P. T.
1
2007
Exact local controllability of a one-control reaction-diffusion system. Zbl 1136.93007
Wang, G.; Zhang, L.
11
2006
Peakons and periodic cusp wave solutions in a generalized Camassa-Holm equation. Zbl 1142.35591
Zhang, Lijun; Chen, Li-Qun; Huo, Xuwen
10
2006
Local adaptive differential quadrature for free vibration analysis of cylindrical shells with various boundary conditions. Zbl 1192.74154
Zhang, L.; Xiang, Y.; Wei, G. W.
8
2006
Vibration of open circular cylindrical shells with intermediate ring supports. Zbl 1121.74383
Zhang, L.; Xiang, Y.
6
2006
...and 29 more Documents
all top 5

Cited by 568 Authors

42 Zhang, Lijun
12 Li, Haitao
11 Hermanns, Holger
11 Khalique, Chaudry Masood
10 Katoen, Joost-Pieter
8 Cheng, Daizhan
8 Feng, Jun’e
6 Baier, Christel
6 Deng, Yuxin
5 Chen, Liqun
5 Jansen, David N.
5 Kwiatkowska, Marta Z.
5 Meng, Min
5 Turrini, Andrea
5 Wang, Shuling
5 Zhang, Kuize
5 Zhang, Weiguo
4 Bernardo, Marco
4 Bi, Qinsheng
4 Chen, Zengqiang
4 Crafa, Silvia
4 Feng, Yuan
4 Hahn, Ernst Moritz
4 Han, Maoan
4 Huo, Xuwen
4 Li, Yalu
4 Loreti, Michele
4 Qi, Hongsheng
4 Ranzato, Francesco
4 Tang, Yaning
4 Tini, Simone
4 Wang, Biao
4 Wen, Zhenshu
4 Yu, Yongyuan
4 Zhang, Mingji
3 Becker, Bernd
3 Chen, Aiyong
3 Cheng, Huidong
3 Chu, Tianguang
3 de la Sen, Manuel
3 De Nicola, Rocco
3 Gao, Liang
3 Gebler, Daniel E.
3 Guo, Yuqian
3 Kiefer, Stefan
3 Li, Jibin
3 Liu, Rui
3 Liu, Yang
3 Schewe, Sven
3 Song, Ming
3 Stoelinga, Mariëlle
3 Tian, Lixin
3 Wang, Yuanhua
3 Wang, Yuzhen
3 Wimmer, Ralf D.
3 Worrell, James B.
3 Xu, Wei
3 Yang, Hongwei
3 Zhan, Naijun
3 Zhang, Zhengdi
3 Zhao, Guodong
3 Zhao, Jiemei
2 Ábrahám, Erika
2 Bates, Peter W.
2 Bhullar, Jaskarn Singh
2 Bi, Ping
2 Bruni, Roberto
2 Buchholz, Peter
2 Castiglioni, Valentina
2 Chen, Guanrong
2 D’Argenio, Pedro Rubén
2 Dehnert, Christian
2 Deng, Shengfu
2 Ding, Xueying
2 Dou, Wenhui
2 Dubslaff, Clemens
2 Eisentraut, Christian
2 Fan, Xinghua
2 Ferrer Fioriti, Luis María
2 Forejt, Vojtěch
2 Fouotsa, Emmanuel
2 Godskesen, Jens Chr.
2 Guck, Dennis
2 Gui, Weihua
2 Guo, Boling
2 Gupta, Manish Kumar
2 Han, Xiaoguang
2 Hashemi, Vahid
2 Hatefi, Hassan
2 Hennessy, Matthew C. B.
2 Huang, Wentao
2 Jansen, Nils
2 Jin, Rong
2 Klein, Joachim
2 Klink, Daniel
2 Klüppelholz, Sascha
2 Lanotte, Ruggero
2 Li, Chunhai
2 Li, Jianwen
2 Li, Qingjian
...and 468 more Authors
all top 5

Cited in 101 Serials

16 Applied Mathematics and Computation
14 Theoretical Computer Science
13 Information and Computation
12 Journal of the Franklin Institute
12 Mathematical Problems in Engineering
9 Automatica
9 Formal Aspects of Computing
9 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
9 Nonlinear Dynamics
8 Chaos, Solitons and Fractals
8 Formal Methods in System Design
8 Journal of Applied Analysis and Computation
6 Systems & Control Letters
6 Abstract and Applied Analysis
6 Journal of Logical and Algebraic Methods in Programming
5 SIAM Journal on Control and Optimization
5 Complexity
5 Communications in Nonlinear Science and Numerical Simulation
5 Asian Journal of Control
4 Acta Informatica
4 International Journal of Systems Science
4 Neural Networks
4 Nonlinear Analysis. Hybrid Systems
4 Discrete and Continuous Dynamical Systems. Series S
3 Computers & Mathematics with Applications
3 Information Sciences
3 Journal of Nonlinear Science
3 European Journal of Control
3 Journal of Systems Science and Complexity
3 Mathematical Biosciences and Engineering
2 Applicable Analysis
2 Journal of Mathematical Analysis and Applications
2 Nonlinearity
2 Nuclear Physics. B
2 Fuzzy Sets and Systems
2 Journal of Computer and System Sciences
2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
2 Applied Mathematics and Mechanics. (English Edition)
2 Acta Mathematicae Applicatae Sinica. English Series
2 Machine Learning
2 International Journal of Robust and Nonlinear Control
2 Journal of Control Theory and Applications
2 Sibirskie Èlektronnye Matematicheskie Izvestiya
2 Logical Methods in Computer Science
2 SIAM Journal on Imaging Sciences
2 Advances in Mathematical Physics
2 Journal of Control Science and Engineering
1 International Journal of Modern Physics B
1 International Journal of Control
1 Information Processing Letters
1 Journal of Mathematical Physics
1 ZAMP. Zeitschrift für angewandte Mathematik und Physik
1 Journal of Computational and Applied Mathematics
1 Journal of Differential Equations
1 Journal of Optimization Theory and Applications
1 Mathematics and Computers in Simulation
1 Monatshefte für Mathematik
1 Quarterly of Applied Mathematics
1 Studies in Applied Mathematics
1 Acta Applicandae Mathematicae
1 Optimization
1 Computers & Operations Research
1 Applied Mathematics Letters
1 Mathematical and Computer Modelling
1 Journal of Cryptology
1 MSCS. Mathematical Structures in Computer Science
1 Discrete Event Dynamic Systems
1 Designs, Codes and Cryptography
1 Numerical Algorithms
1 Applied Mathematical Modelling
1 Distributed Computing
1 Applied and Computational Harmonic Analysis
1 International Journal of Computer Vision
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 Qualitative Theory of Dynamical Systems
1 Nonlinear Analysis. Real World Applications
1 The Journal of Logic and Algebraic Programming
1 Discrete and Continuous Dynamical Systems. Series B
1 Journal of Applied Mathematics
1 SIAM Journal on Applied Dynamical Systems
1 ACM Transactions on Computational Logic
1 Journal of Multiple-Valued Logic and Soft Computing
1 Advances in Difference Equations
1 Acta Mechanica Sinica
1 Journal of Biological Dynamics
1 Journal of Physics A: Mathematical and Theoretical
1 Groups, Complexity, Cryptology
1 Algorithms
1 International Journal of Differential Equations
1 Cryptography and Communications
1 Science China. Mathematics
1 Analysis and Mathematical Physics
1 Frontiers of Computer Science
1 EURO Journal on Computational Optimization
1 International Journal of Partial Differential Equations
1 Control Theory and Technology
1 International Journal of Systems Science. Principles and Applications of Systems and Integration
...and 1 more Serials

Citations by Year