Edit Profile (opens in new tab) Liu, Zhiming Co-Author Distance Author ID: liu.zhiming Published as: Liu, Zhiming; Liu, Zhi-Ming; Liu, Zhi-ming more...less Documents Indexed: 67 Publications since 1992, including 1 Additional arXiv Preprint 13 Contributions as Editor Co-Authors: 86 Co-Authors with 79 Joint Publications 2,976 Co-Co-Authors all top 5 Co-Authors 0 single-authored 11 Yang, Zhijian 10 Li, Xiaoshan 9 Woodcock, James C. P. 7 He, Jifeng 6 Huang, Jianhua 5 Zhan, Naijun 4 Chen, Zhenbang 4 Ravn, Anders P. 4 Stolz, Volker 4 Zeng, Xia 4 Zhang, Jiangwei 4 Zhang, Miaomiao 4 Zhao, Hengjun 4 Zheng, Shenzhou 3 Chen, Taolue 3 Chen, Xin 3 Joseph, Mathai 3 Ke, Wei 3 Li, Xuandong 3 Morisset, Charles 3 Wang, Shuling 3 Zhao, Liang 3 Zhu, Huibiao 2 Jifeng, He 2 Jones, Cliff B. 2 Li, Qiang 2 Lin, Wang 2 Liu, Chengjun 2 Long, Quan 2 Qiu, Zongyan 2 Sun, Bang-Cheng 2 Wang, Chao 2 Wang, Ji 2 Yang, Zhengfeng 1 Araki, Keijiro 1 Bie, Ye Hui 1 Bowen, Jonathan P. 1 Breuer, Peter T. 1 Chen, Xiaoping 1 Chen, Yifeng 1 Cui, Xiangyang 1 Dai, Liyun 1 Ding, Pengyan 1 Dong, Ruzhen 1 Du, Bowen 1 Faber, Johannes 1 Feng, Na 1 Feng, Xinyu 1 George, Chris W. 1 Guo, Yuanyuan 1 Huang, Chao 1 Hung, Dang Van 1 Janowski, Tomasz 1 Kang, Eun-Young 1 Kong, Xiangkun 1 Lei, Bin 1 Li, Cen 1 Li, Rong 1 Li, Xi-Qiao 1 Li, Yu-meng 1 Liu, Shaobin 1 Liu, Wanwei 1 Liu, Xiaojian 1 Long, Teng 1 Lv, Yi 1 Mencl, Vladimir 1 Niu, Panpan 1 Palomar, Esther 1 Păsăreanu, Corina S. 1 Petri, Gustavo 1 Qin, Shengchao 1 Seidl, Helmut 1 Shao, Lingshuang 1 Sun, Quan 1 Tang, Xiaochao 1 Tang, Xiaochen 1 Wang, Ji 1 Wang, Ming 1 Wu, Shang 1 Yang, Hong 1 Yang, Jian 1 Yang, Jing 1 Yang, Lu 1 Yang, Zhenhang 1 Yi, Wang 1 Zeng, Zhenbing 1 Zhang, Wei 1 Zhang, Yidan 1 Zhang, Yuanrui all top 5 Serials 10 Lecture Notes in Computer Science 7 Formal Aspects of Computing 3 Theoretical Computer Science 3 Applied Mathematics Letters 2 Journal of Mathematical Analysis and Applications 2 Journal of Mathematical Physics 2 Science of Computer Programming 2 Discrete and Continuous Dynamical Systems 2 Journal of Inequalities and Applications 2 Frontiers of Computer Science 1 Applicable Analysis 1 Computer Methods in Applied Mechanics and Engineering 1 Nonlinearity 1 Physics Letters. A 1 Journal of Differential Equations 1 Mathematische Nachrichten 1 Pattern Recognition 1 Communications in Contemporary Mathematics 1 IEEE Transactions on Image Processing 1 Dynamical Systems 1 Discrete and Continuous Dynamical Systems. Series B 1 Stochastics and Dynamics 1 Journal of Software 1 Boundary Value Problems 1 Journal of Mathematical Inequalities 1 Journal of Logical and Algebraic Methods in Programming 1 Series on Component-Based Software Development all top 5 Fields 57 Computer science (68-XX) 16 Partial differential equations (35-XX) 12 General and overarching topics; collections (00-XX) 9 Dynamical systems and ergodic theory (37-XX) 6 Systems theory; control (93-XX) 4 Mathematical logic and foundations (03-XX) 3 Real functions (26-XX) 3 Special functions (33-XX) 2 Mechanics of deformable solids (74-XX) 1 Number theory (11-XX) 1 Probability theory and stochastic processes (60-XX) 1 Optics, electromagnetic theory (78-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 47 Publications have been cited 187 times in 119 Documents Cited by ▼ Year ▼ rCOS: a refinement calculus of object systems. Zbl 1118.68049 He, Jifeng; Li, Xiaoshan; Liu, Zhiming 21 2006 Exponential attractor for the wave equation with structural damping and supercritical exponent. Zbl 1370.35060 Yang, Zhijian; Liu, Zhiming; Niu, Panpan 20 2016 Longtime behavior of the semilinear wave equation with gentle dissipation. Zbl 1362.35191 Feng, Na; Liu, Zhiming; Yang, Zhijian 14 2016 Global attractor for the Kirchhoff type equations with strong nonlinear damping and supercritical nonlinearity. Zbl 1326.35047 Yang, Zhijian; Ding, Pengyan; Liu, Zhiming 14 2014 Upper semicontinuity of global attractors for a family of semilinear wave equations with gentle dissipation. Zbl 1378.35041 Yang, Zhijian; Liu, Zhiming 8 2017 Synthesizing barrier certificates using neural networks. Zbl 07300866 Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming 8 2020 Stability of exponential attractors for a family of semilinear wave equations with gentle dissipation. Zbl 1400.35036 Yang, Zhijian; Liu, Zhiming 7 2018 Longtime dynamics of the quasi-linear wave equations with structural damping and supercritical nonlinearities. Zbl 1373.35056 Yang, Zhijian; Liu, Zhiming 7 2017 Transformation of programs for fault-tolerance. Zbl 0754.68084 Liu, Zhiming; Joseph, Mathai 6 1992 Global attractor for a strongly damped wave equation with fully supercritical nonlinearities. Zbl 1373.35055 Yang, Zhijian; Liu, Zhiming 6 2017 Exponential attractor for the Kirchhoff equations with strong nonlinear damping and supercritical nonlinearity. Zbl 1326.35048 Yang, Zhijian; Liu, Zhiming 5 2015 A model of component-based programming. Zbl 1141.68363 Chen, Xin; He, Jifeng; Liu, Zhiming; Zhan, Naijun 5 2007 Component publications and compositions. Zbl 1286.68098 Zhan, Naijun; Kang, Eun Young; Liu, Zhiming 5 2010 Refinement and verification in component-based model-driven design. Zbl 1178.68158 Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun 5 2009 A linear programming relaxation based approach for generating barrier certificates of hybrid systems. Zbl 1427.68176 Yang, Zhengfeng; Huang, Chao; Chen, Xin; Lin, Wang; Liu, Zhiming 4 2016 Abaqus implementation of dual peridynamics for brittle fracture. Zbl 1506.74032 Bie, Y. H.; Liu, Z. M.; Yang, H.; Cui, X. Y. 4 2020 Component-based software engineering. Zbl 1169.68366 He, Jifeng; Li, Xiaoshan; Liu, Zhiming 4 2005 Global attractor of multi-valued operators with applications to a strongly damped nonlinear wave equation without uniqueness. Zbl 1427.37059 Liu, Zhiming; Yang, Zhijian 3 2020 Global attractor of the quasi-linear wave equation with strong damping. Zbl 1387.35063 Yang, Zhijian; Liu, Zhiming 3 2018 Graph transformations for object-oriented refinement. Zbl 1165.68025 Zhao, Liang; Liu, Xiaojian; Liu, Zhiming; Qiu, Zongyan 3 2009 Learning safe neural network controllers with barrier certificates. Zbl 1521.93054 Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming; Woodcock, Jim 3 2021 RCOS: a formal model-driven engineering method for component-based software. Zbl 1251.68078 Ke, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker 3 2012 Learning safe neural network controllers with barrier certificates. Zbl 1503.93022 Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming; Woodcock, Jim 3 2020 Verification of schedulability for real-time programs. Zbl 0838.68078 Liu, Zhiming; Joseph, Mathai; Janowski, Tomasz 2 1995 Contract oriented development of component software. Zbl 1094.68542 Liu, Zhiming; He, Jifeng; Li, Xiaoshan 2 2004 Upper semicontinuity of optimal attractors for viscoelastic equations lacking strong damping. Zbl 1523.35065 Zhang, Jiangwei; Liu, Zhiming; Huang, Jianhua 2 2023 The monotonicity and convexity of a function involving psi function with applications. Zbl 1338.33012 Sun, Bang-Cheng; Liu, Zhi-Ming; Li, Qiang; Zheng, Shen-Zhou 2 2016 Harnessing rCOS for tool support – the CoCoME experience. Zbl 1151.68380 Chen, Zhenbang; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker; Yang, Lu 2 2007 Verification of linear duration invariants by model checking CTL properties. Zbl 1161.68595 Zhang, Miaomiao; Hung, Dang Van; Liu, Zhiming 2 2008 A relational model for object-oriented designs. Zbl 1116.68373 Jifeng, He; Liu, Zhiming; Li, Xiaoshan; Qin, Shengchao 1 2004 Overview of formal methods. Zbl 1438.68030 Wang, Ji; Zhan, Naijun; Feng, Xinyu; Liu, Zhiming 1 2019 A predicative semantic model for integrating UML models. Zbl 1108.68434 Yang, Jing; Long, Quan; Liu, Zhiming; Li, Xiaoshan 1 2005 \(L^{p}\)-estimates for quasilinear subelliptic equations with VMO coefficients under the controllable growth. Zbl 1347.35108 Sun, Bang-Cheng; Liu, Zhi-Ming; Li, Qiang; Zheng, Shen-Zhou 1 2016 Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Zbl 1320.68021 1 2013 Graph-based object-oriented Hoare logic. Zbl 1390.68192 Zhao, Liang; Wang, Shuling; Liu, Zhiming 1 2013 Theoretical aspects of computing – ICTAC 2013. 10th international colloquium, Shanghai, China, September 4–6, 2013. Proceedings. Zbl 1271.68048 1 2013 Model checking linear duration invariants of networks of automata. Zbl 1274.68207 Zhang, Miaomiao; Liu, Zhiming; Zhan, Naijun 1 2010 Separation of concerns and consistent integration in requirements modelling. Zbl 1131.68414 Chen, Xin; Liu, Zhiming; Mencl, Vladimir 1 2007 Fusion of color, local spatial and global frequency information for face recognition. Zbl 1213.68540 Liu, Zhiming; Liu, Chengjun 1 2010 An extended cCSP with stable failures semantics. Zbl 1286.68312 Chen, Zhenbang; Liu, Zhiming 1 2010 Verification, refinement and scheduling of real-time programs. Zbl 0954.68099 Liu, Zhiming; Joseph, Mathai 1 2001 Planar metamaterial analogue of electromagnetically induced transparency for a miniature refractive index sensor. Zbl 1500.81073 Li, Rong; Kong, Xiang-kun; Liu, Shao-bin; Liu, Zhi-ming; Li, Yu-meng 1 2019 rCOS: Refinement of component and object systems. Zbl 1143.68366 Liu, Zhiming; Jifeng, He; Li, Xiaoshan 1 2005 Design and verification of fault-tolerant components. Zbl 1234.68040 Zhang, Miaomiao; Liu, Zhiming; Morisset, Charles; Ravn, Anders P. 1 2009 Integrating temporal logics. Zbl 1196.03028 Chen, Yifeng; Liu, Zhiming 1 2004 An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation. Zbl 1493.68224 Yang, Zhengfeng; Zhang, Yidan; Lin, Wang; Zeng, Xia; Tang, Xiaochao; Zeng, Zhenbing; Liu, Zhiming 1 2021 On new sharp bounds for the Toader-Qi mean involved in the modified Bessel functions of the first kind. Zbl 1505.26052 Li, Cen; Liu, Zhi-Ming; Zheng, Shen-Zhou 1 2022 Upper semicontinuity of optimal attractors for viscoelastic equations lacking strong damping. Zbl 1523.35065 Zhang, Jiangwei; Liu, Zhiming; Huang, Jianhua 2 2023 On new sharp bounds for the Toader-Qi mean involved in the modified Bessel functions of the first kind. Zbl 1505.26052 Li, Cen; Liu, Zhi-Ming; Zheng, Shen-Zhou 1 2022 Learning safe neural network controllers with barrier certificates. Zbl 1521.93054 Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming; Woodcock, Jim 3 2021 An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation. Zbl 1493.68224 Yang, Zhengfeng; Zhang, Yidan; Lin, Wang; Zeng, Xia; Tang, Xiaochao; Zeng, Zhenbing; Liu, Zhiming 1 2021 Synthesizing barrier certificates using neural networks. Zbl 07300866 Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming 8 2020 Abaqus implementation of dual peridynamics for brittle fracture. Zbl 1506.74032 Bie, Y. H.; Liu, Z. M.; Yang, H.; Cui, X. Y. 4 2020 Global attractor of multi-valued operators with applications to a strongly damped nonlinear wave equation without uniqueness. Zbl 1427.37059 Liu, Zhiming; Yang, Zhijian 3 2020 Learning safe neural network controllers with barrier certificates. Zbl 1503.93022 Zhao, Hengjun; Zeng, Xia; Chen, Taolue; Liu, Zhiming; Woodcock, Jim 3 2020 Overview of formal methods. Zbl 1438.68030 Wang, Ji; Zhan, Naijun; Feng, Xinyu; Liu, Zhiming 1 2019 Planar metamaterial analogue of electromagnetically induced transparency for a miniature refractive index sensor. Zbl 1500.81073 Li, Rong; Kong, Xiang-kun; Liu, Shao-bin; Liu, Zhi-ming; Li, Yu-meng 1 2019 Stability of exponential attractors for a family of semilinear wave equations with gentle dissipation. Zbl 1400.35036 Yang, Zhijian; Liu, Zhiming 7 2018 Global attractor of the quasi-linear wave equation with strong damping. Zbl 1387.35063 Yang, Zhijian; Liu, Zhiming 3 2018 Upper semicontinuity of global attractors for a family of semilinear wave equations with gentle dissipation. Zbl 1378.35041 Yang, Zhijian; Liu, Zhiming 8 2017 Longtime dynamics of the quasi-linear wave equations with structural damping and supercritical nonlinearities. Zbl 1373.35056 Yang, Zhijian; Liu, Zhiming 7 2017 Global attractor for a strongly damped wave equation with fully supercritical nonlinearities. Zbl 1373.35055 Yang, Zhijian; Liu, Zhiming 6 2017 Exponential attractor for the wave equation with structural damping and supercritical exponent. Zbl 1370.35060 Yang, Zhijian; Liu, Zhiming; Niu, Panpan 20 2016 Longtime behavior of the semilinear wave equation with gentle dissipation. Zbl 1362.35191 Feng, Na; Liu, Zhiming; Yang, Zhijian 14 2016 A linear programming relaxation based approach for generating barrier certificates of hybrid systems. Zbl 1427.68176 Yang, Zhengfeng; Huang, Chao; Chen, Xin; Lin, Wang; Liu, Zhiming 4 2016 The monotonicity and convexity of a function involving psi function with applications. Zbl 1338.33012 Sun, Bang-Cheng; Liu, Zhi-Ming; Li, Qiang; Zheng, Shen-Zhou 2 2016 \(L^{p}\)-estimates for quasilinear subelliptic equations with VMO coefficients under the controllable growth. Zbl 1347.35108 Sun, Bang-Cheng; Liu, Zhi-Ming; Li, Qiang; Zheng, Shen-Zhou 1 2016 Exponential attractor for the Kirchhoff equations with strong nonlinear damping and supercritical nonlinearity. Zbl 1326.35048 Yang, Zhijian; Liu, Zhiming 5 2015 Global attractor for the Kirchhoff type equations with strong nonlinear damping and supercritical nonlinearity. Zbl 1326.35047 Yang, Zhijian; Ding, Pengyan; Liu, Zhiming 14 2014 Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26–30, 2013. Advanced lectures. Zbl 1320.68021 1 2013 Graph-based object-oriented Hoare logic. Zbl 1390.68192 Zhao, Liang; Wang, Shuling; Liu, Zhiming 1 2013 Theoretical aspects of computing – ICTAC 2013. 10th international colloquium, Shanghai, China, September 4–6, 2013. Proceedings. Zbl 1271.68048 1 2013 RCOS: a formal model-driven engineering method for component-based software. Zbl 1251.68078 Ke, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker 3 2012 Component publications and compositions. Zbl 1286.68098 Zhan, Naijun; Kang, Eun Young; Liu, Zhiming 5 2010 Model checking linear duration invariants of networks of automata. Zbl 1274.68207 Zhang, Miaomiao; Liu, Zhiming; Zhan, Naijun 1 2010 Fusion of color, local spatial and global frequency information for face recognition. Zbl 1213.68540 Liu, Zhiming; Liu, Chengjun 1 2010 An extended cCSP with stable failures semantics. Zbl 1286.68312 Chen, Zhenbang; Liu, Zhiming 1 2010 Refinement and verification in component-based model-driven design. Zbl 1178.68158 Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun 5 2009 Graph transformations for object-oriented refinement. Zbl 1165.68025 Zhao, Liang; Liu, Xiaojian; Liu, Zhiming; Qiu, Zongyan 3 2009 Design and verification of fault-tolerant components. Zbl 1234.68040 Zhang, Miaomiao; Liu, Zhiming; Morisset, Charles; Ravn, Anders P. 1 2009 Verification of linear duration invariants by model checking CTL properties. Zbl 1161.68595 Zhang, Miaomiao; Hung, Dang Van; Liu, Zhiming 2 2008 A model of component-based programming. Zbl 1141.68363 Chen, Xin; He, Jifeng; Liu, Zhiming; Zhan, Naijun 5 2007 Harnessing rCOS for tool support – the CoCoME experience. Zbl 1151.68380 Chen, Zhenbang; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker; Yang, Lu 2 2007 Separation of concerns and consistent integration in requirements modelling. Zbl 1131.68414 Chen, Xin; Liu, Zhiming; Mencl, Vladimir 1 2007 rCOS: a refinement calculus of object systems. Zbl 1118.68049 He, Jifeng; Li, Xiaoshan; Liu, Zhiming 21 2006 Component-based software engineering. Zbl 1169.68366 He, Jifeng; Li, Xiaoshan; Liu, Zhiming 4 2005 A predicative semantic model for integrating UML models. Zbl 1108.68434 Yang, Jing; Long, Quan; Liu, Zhiming; Li, Xiaoshan 1 2005 rCOS: Refinement of component and object systems. Zbl 1143.68366 Liu, Zhiming; Jifeng, He; Li, Xiaoshan 1 2005 Contract oriented development of component software. Zbl 1094.68542 Liu, Zhiming; He, Jifeng; Li, Xiaoshan 2 2004 A relational model for object-oriented designs. Zbl 1116.68373 Jifeng, He; Liu, Zhiming; Li, Xiaoshan; Qin, Shengchao 1 2004 Integrating temporal logics. Zbl 1196.03028 Chen, Yifeng; Liu, Zhiming 1 2004 Verification, refinement and scheduling of real-time programs. Zbl 0954.68099 Liu, Zhiming; Joseph, Mathai 1 2001 Verification of schedulability for real-time programs. Zbl 0838.68078 Liu, Zhiming; Joseph, Mathai; Janowski, Tomasz 2 1995 Transformation of programs for fault-tolerance. Zbl 0754.68084 Liu, Zhiming; Joseph, Mathai 6 1992 all cited Publications top 5 cited Publications all top 5 Cited by 241 Authors 22 Liu, Zhiming 20 Yang, Zhijian 6 Ding, Pengyan 5 Zhong, Chengkui 4 Sampaio, Augusto C. A. 4 Woodcock, James C. P. 4 Zhang, Hongwei 3 Cavalcanti, Ana 3 Chen, Zhenbang 3 Foster, Simon 3 He, Jifeng 3 Hu, Qingying 3 Li, Donghao 3 Li, Xuandong 3 Ma, Honglv 3 Wang, Shuling 3 Zhan, Naijun 3 Zhao, Chunxiang 3 Zhao, Liang 3 Zhu, Huibiao 2 Abate, Alessandro 2 Ahmed, Daniele 2 Bowen, Jonathan P. 2 Chen, Biyue 2 Chen, Mingshuai 2 Chen, Xin 2 Da, Fang 2 Ding, Hang 2 Feng, Na 2 Joseph, Mathai 2 Katoen, Joost-Pieter 2 Ke, Wei 2 Li, Yanan 2 Lin, Guoguang 2 Lin, Wang 2 Liu, Jun 2 Liu, Shuo 2 Lv, Penghui 2 Meng, Yiming 2 Morisset, Charles 2 Naumann, David A. 2 Peruffo, Andrea 2 Platzer, André 2 Qiu, Zongyan 2 Ramos, Rodrigo A. 2 Roscoe, Andrew William 2 Sogokon, Andrew 2 Stolz, Volker 2 Tan, Yong Kiam 2 Tang, Enyi 2 Wang, Ji 2 Wang, Qiuye 2 Xie, Jun 2 Xie, Yongqin 2 Xue, Bai 2 Yang, Zhengfeng 2 Zeng, Xia 2 Zeyda, Frank 2 Zhang, Jiangwei 2 Zhang, Jianwen 2 Zhao, Chunyan 2 Zhao, Qingye 2 Zhou, Jun 1 Achouri, Talha 1 Adam, Marcin 1 Agarwal, Ravi P. 1 Ahmed, Md Salik 1 Ahn, Univan 1 Aichernig, Bernhard K. 1 Almeida Júnior, Dilberto da Silva 1 Aluf-Medina, Michelle 1 Anand, Mahathi 1 Antonino, Pedro 1 Arbab, Farhad 1 Archer, Myla M. 1 Aştefănoaei, Lăcrămioara 1 Bai, Lihong 1 Bilgin, Bilgesu Arif 1 Bjørner, Dines 1 Boute, Raymond T. 1 Bozzano, Marco 1 Brekling, Aske Wiid 1 Bronshtein, Eliya 1 Brooke, Phillip J. 1 Canham, Samuel 1 Chai, Shugen 1 Chang, Qingquan 1 Chen, Qiguang 1 Chen, Taolue 1 Chen, Yifeng 1 Choe, Changil 1 Cimatti, Alessandro 1 Cordwell, Katherine 1 Dang Van, Hung 1 Davies, Jim 1 de Boer, Frank S. 1 Ding, Zuohua 1 Dong, Han-Qing 1 Dong, Ruzhen 1 Dong, Wei ...and 141 more Authors all top 5 Cited in 53 Serials 8 Theoretical Computer Science 8 Formal Aspects of Computing 6 Journal of Mathematical Analysis and Applications 5 Discrete and Continuous Dynamical Systems. Series B 4 Journal of Mathematical Physics 4 Science of Computer Programming 3 Applied Mathematics Letters 3 Formal Methods in System Design 3 Evolution Equations and Control Theory 2 Applied Mathematics and Optimization 2 Journal of Differential Equations 2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 2 Advances in Differential Equations 2 Communications on Pure and Applied Analysis 2 Nonlinear Analysis. Hybrid Systems 1 Acta Informatica 1 Applicable Analysis 1 Computers & Mathematics with Applications 1 Mathematical Methods in the Applied Sciences 1 Nonlinearity 1 ZAMP. Zeitschrift für angewandte Mathematik und Physik 1 Chaos, Solitons and Fractals 1 Annales Polonici Mathematici 1 Automatica 1 Quaestiones Mathematicae 1 Studies in Applied Mathematics 1 Bulletin of the Iranian Mathematical Society 1 Physica D 1 Information and Computation 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 International Journal of Computer Mathematics 1 Pattern Recognition 1 Journal of Partial Differential Equations 1 Calculus of Variations and Partial Differential Equations 1 Opuscula Mathematica 1 Annals of Mathematics and Artificial Intelligence 1 Discrete and Continuous Dynamical Systems 1 Mathematical Problems in Engineering 1 Journal of Inequalities and Applications 1 Journal of Dynamical and Control Systems 1 Communications in Contemporary Mathematics 1 Journal of Evolution Equations 1 Dynamical Systems 1 Journal of Applied Mathematics 1 Boundary Value Problems 1 Discrete and Continuous Dynamical Systems. Series S 1 Advances in Mathematical Physics 1 Annalen der Physik 1 Frontiers of Computer Science 1 Journal of Logical and Algebraic Methods in Programming 1 Open Mathematics 1 Journal of Applied Mathematics and Computational Mechanics 1 Results in Applied Mathematics all top 5 Cited in 19 Fields 56 Computer science (68-XX) 55 Partial differential equations (35-XX) 23 Dynamical systems and ergodic theory (37-XX) 11 Systems theory; control (93-XX) 9 Mechanics of deformable solids (74-XX) 4 Mathematical logic and foundations (03-XX) 3 Special functions (33-XX) 2 Real functions (26-XX) 2 Probability theory and stochastic processes (60-XX) 1 History and biography (01-XX) 1 Ordinary differential equations (34-XX) 1 Difference and functional equations (39-XX) 1 Integral transforms, operational calculus (44-XX) 1 Integral equations (45-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Numerical analysis (65-XX) 1 Fluid mechanics (76-XX) 1 Quantum theory (81-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year