×

zbMATH — the first resource for mathematics

Liu, Zhiming

Compute Distance To:
Author ID: liu.zhiming Recent zbMATH articles by "Liu, Zhiming"
Published as: Liu, Z.; Liu, Zhi-Ming; Liu, Zhiming
Documents Indexed: 77 Publications since 1988, including 11 Books

Publications by Year

Citations contained in zbMATH

41 Publications have been cited 149 times in 110 Documents Cited by Year
Large-scale modes of turbulent channel flow: transport and structure. Zbl 1102.76314
Liu, Z.; Adrian, R. J.; Hanratty, T. J.
20
2001
rCOS: a refinement calculus of object systems. Zbl 1118.68049
He, Jifeng; Li, Xiaoshan; Liu, Zhiming
17
2006
Exponential attractor for the wave equation with structural damping and supercritical exponent. Zbl 1370.35060
Yang, Zhijian; Liu, Zhiming; Niu, Panpan
12
2016
Longtime behavior of the semilinear wave equation with gentle dissipation. Zbl 1362.35191
Feng, Na; Liu, Zhiming; Yang, Zhijian
8
2016
High order finite difference and multigrid methods for spatially evolving instability in a planar channel. Zbl 0769.76038
Liu, C.; Liu, Z.
8
1993
Global attractor for the Kirchhoff type equations with strong nonlinear damping and supercritical nonlinearity. Zbl 1326.35047
Yang, Zhijian; Ding, Pengyan; Liu, Zhiming
7
2014
An analysis of the distortion and breakup mechanisms of high speed liquid drops. Zbl 1135.76481
Liu, Z.; Reitz, R. D.
7
1997
Longtime dynamics of the quasi-linear wave equations with structural damping and supercritical nonlinearities. Zbl 1373.35056
Yang, Zhijian; Liu, Zhiming
5
2017
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 model of component-based programming. Zbl 1141.68363
Chen, Xin; He, Jifeng; Liu, Zhiming; Zhan, Naijun
5
2007
Transformation of programs for fault-tolerance. Zbl 0754.68084
Liu, Zhiming; Joseph, Mathai
5
1992
Global attractor for a strongly damped wave equation with fully supercritical nonlinearities. Zbl 1373.35055
Yang, Zhijian; Liu, Zhiming
3
2017
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
3
2010
Graph transformations for object-oriented refinement. Zbl 1165.68025
Zhao, Liang; Liu, Xiaojian; Liu, Zhiming; Qiu, Zongyan
3
2009
Enriched machining feature-based reasoning for generic machining process sequencing. Zbl 1128.90468
Wang, L.; Cai, N.; Feng, H.-Y.; Liu, Z.
3
2006
Component-based software engineering. Zbl 1169.68366
He, Jifeng; Li, Xiaoshan; Liu, Zhiming
3
2005
High Reynolds number oscillating contact lines. Zbl 1163.74420
Perlin, M.; Schultz, W. W.; Liu, Z.
3
2004
Contract oriented development of component software. Zbl 1094.68542
Liu, Zhiming; He, Jifeng; Li, Xiaoshan
3
2004
Harnessing rCOS for tool support – the CoCoME experience. Zbl 1151.68380
Chen, Zhenbang; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker; Yang, Lu
2
2007
Image fusion by using steerable pyramid. Zbl 1029.68626
Liu, Z.; Tsukada, K.; Hanasaki, K.; Ho, Y. K.; Dai, Y. P.
2
2001
Verification of schedulability for real-time programs. Zbl 0838.68078
Liu, Zhiming; Joseph, Mathai; Janowski, Tomasz
2
1995
A new method for large amplitude sloshing problems. Zbl 0945.76545
Liu, Z.; Huang, Y.
2
1994
Finite amplitude steady-state wave groups with multiple near resonances in deep water. Zbl 1421.76026
Liu, Z.; Xu, D. L.; Liao, S. J.
1
2018
Stability of exponential attractors for a family of semilinear wave equations with gentle dissipation. Zbl 1400.35036
Yang, Zhijian; Liu, Zhiming
1
2018
Upper semicontinuity of global attractors for a family of semilinear wave equations with gentle dissipation. Zbl 1378.35041
Yang, Zhijian; Liu, Zhiming
1
2017
\(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
Liu, Zhiming (ed.); Woodcock, Jim (ed.); Zhu, Huibiao (ed.)
1
2013
Graph-based object-oriented Hoare logic. Zbl 1390.68192
Zhao, Liang; Wang, Shuling; Liu, Zhiming
1
2013
An extended cCSP with stable failures semantics. Zbl 1286.68312
Chen, Zhenbang; Liu, Zhiming
1
2010
Fusion of color, local spatial and global frequency information for face recognition. Zbl 1213.68540
Liu, Zhiming; Liu, Chengjun
1
2010
Model checking linear duration invariants of networks of automata. Zbl 1274.68207
Zhang, Miaomiao; Liu, Zhiming; Zhan, Naijun
1
2010
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
1
2008
Separation of concerns and consistent integration in requirements modelling. Zbl 1131.68414
Chen, Xin; Liu, Zhiming; Mencl, Vladimir
1
2007
Modelling chemo-hydro-mechanical behaviour of unsaturated clays: a feasibility study. Zbl 1105.74304
Liu, Z.; Boukpeti, Nathalie; Li, X.; Collin, F.; Radu, J.-P.; Hueckel, T.; Charlier, R.
1
2005
rCOS: Refinement of component and object systems. Zbl 1143.68366
Liu, Zhiming; Jifeng, He; Li, Xiaoshan
1
2005
A predicative semantic model for integrating UML models. Zbl 1108.68434
Yang, Jing; Long, Quan; Liu, Zhiming; Li, Xiaoshan
1
2005
Integrating temporal logics. Zbl 1196.03028
Chen, Yifeng; Liu, Zhiming
1
2004
A relational model for object-oriented designs. Zbl 1116.68373
Jifeng, He; Liu, Zhiming; Li, Xiaoshan; Qin, Shengchao
1
2004
Verification, refinement and scheduling of real-time programs. Zbl 0954.68099
Liu, Zhiming; Joseph, Mathai
1
2001
Finite amplitude steady-state wave groups with multiple near resonances in deep water. Zbl 1421.76026
Liu, Z.; Xu, D. L.; Liao, S. J.
1
2018
Stability of exponential attractors for a family of semilinear wave equations with gentle dissipation. Zbl 1400.35036
Yang, Zhijian; Liu, Zhiming
1
2018
Longtime dynamics of the quasi-linear wave equations with structural damping and supercritical nonlinearities. Zbl 1373.35056
Yang, Zhijian; Liu, Zhiming
5
2017
Global attractor for a strongly damped wave equation with fully supercritical nonlinearities. Zbl 1373.35055
Yang, Zhijian; Liu, Zhiming
3
2017
Upper semicontinuity of global attractors for a family of semilinear wave equations with gentle dissipation. Zbl 1378.35041
Yang, Zhijian; Liu, Zhiming
1
2017
Exponential attractor for the wave equation with structural damping and supercritical exponent. Zbl 1370.35060
Yang, Zhijian; Liu, Zhiming; Niu, Panpan
12
2016
Longtime behavior of the semilinear wave equation with gentle dissipation. Zbl 1362.35191
Feng, Na; Liu, Zhiming; Yang, Zhijian
8
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
Global attractor for the Kirchhoff type equations with strong nonlinear damping and supercritical nonlinearity. Zbl 1326.35047
Yang, Zhijian; Ding, Pengyan; Liu, Zhiming
7
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
Liu, Zhiming (ed.); Woodcock, Jim (ed.); Zhu, Huibiao (ed.)
1
2013
Graph-based object-oriented Hoare logic. Zbl 1390.68192
Zhao, Liang; Wang, Shuling; Liu, Zhiming
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
3
2010
An extended cCSP with stable failures semantics. Zbl 1286.68312
Chen, Zhenbang; Liu, Zhiming
1
2010
Fusion of color, local spatial and global frequency information for face recognition. Zbl 1213.68540
Liu, Zhiming; Liu, Chengjun
1
2010
Model checking linear duration invariants of networks of automata. Zbl 1274.68207
Zhang, Miaomiao; Liu, Zhiming; Zhan, Naijun
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
1
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
17
2006
Enriched machining feature-based reasoning for generic machining process sequencing. Zbl 1128.90468
Wang, L.; Cai, N.; Feng, H.-Y.; Liu, Z.
3
2006
Component-based software engineering. Zbl 1169.68366
He, Jifeng; Li, Xiaoshan; Liu, Zhiming
3
2005
Modelling chemo-hydro-mechanical behaviour of unsaturated clays: a feasibility study. Zbl 1105.74304
Liu, Z.; Boukpeti, Nathalie; Li, X.; Collin, F.; Radu, J.-P.; Hueckel, T.; Charlier, R.
1
2005
rCOS: Refinement of component and object systems. Zbl 1143.68366
Liu, Zhiming; Jifeng, He; Li, Xiaoshan
1
2005
A predicative semantic model for integrating UML models. Zbl 1108.68434
Yang, Jing; Long, Quan; Liu, Zhiming; Li, Xiaoshan
1
2005
High Reynolds number oscillating contact lines. Zbl 1163.74420
Perlin, M.; Schultz, W. W.; Liu, Z.
3
2004
Contract oriented development of component software. Zbl 1094.68542
Liu, Zhiming; He, Jifeng; Li, Xiaoshan
3
2004
Integrating temporal logics. Zbl 1196.03028
Chen, Yifeng; Liu, Zhiming
1
2004
A relational model for object-oriented designs. Zbl 1116.68373
Jifeng, He; Liu, Zhiming; Li, Xiaoshan; Qin, Shengchao
1
2004
Large-scale modes of turbulent channel flow: transport and structure. Zbl 1102.76314
Liu, Z.; Adrian, R. J.; Hanratty, T. J.
20
2001
Image fusion by using steerable pyramid. Zbl 1029.68626
Liu, Z.; Tsukada, K.; Hanasaki, K.; Ho, Y. K.; Dai, Y. P.
2
2001
Verification, refinement and scheduling of real-time programs. Zbl 0954.68099
Liu, Zhiming; Joseph, Mathai
1
2001
An analysis of the distortion and breakup mechanisms of high speed liquid drops. Zbl 1135.76481
Liu, Z.; Reitz, R. D.
7
1997
Verification of schedulability for real-time programs. Zbl 0838.68078
Liu, Zhiming; Joseph, Mathai; Janowski, Tomasz
2
1995
A new method for large amplitude sloshing problems. Zbl 0945.76545
Liu, Z.; Huang, Y.
2
1994
High order finite difference and multigrid methods for spatially evolving instability in a planar channel. Zbl 0769.76038
Liu, C.; Liu, Z.
8
1993
Transformation of programs for fault-tolerance. Zbl 0754.68084
Liu, Zhiming; Joseph, Mathai
5
1992
all top 5

Cited by 246 Authors

18 Liu, Zhiming
15 Yang, Zhijian
4 Ding, Pengyan
3 Adrian, Ronald J.
3 Chen, Zhenbang
3 Feng, Hsi-Yung
3 He, Jifeng
3 Sampaio, Augusto C. A.
3 Sung, Hyung Jin
3 Wang, Lihui
3 Wang, Shuling
2 Bauer, Frédéric
2 Cai, Ningxu
2 Cavalcanti, Ana
2 Christensen, Kenneth T.
2 Colonius, Tim
2 Feng, Na
2 Foster, Simon
2 Hwang, Jinyul
2 Joseph, Mathai
2 Katz, Joseph L.
2 Ke, Wei
2 Ma, Honglv
2 Morisset, Charles
2 Qiu, Zongyan
2 Ramos, Rodrigo A.
2 Roscoe, Andrew William
2 Stolz, Volker
2 Tardu, Sedat F.
2 Woodcock, James C. P.
2 Zeyda, Frank
2 Zhong, Chengkui
2 Zhu, Huibiao
1 Abraham, John P.
1 Ahmed, Md Salik
1 Ahn, Univan
1 Aichernig, Bernhard K.
1 Ali, Muhammad Arfan
1 Amin, Rohul
1 Antonino, Pedro
1 Anwar, Sajid
1 Araya, Guillermo
1 Arbab, Farhad
1 Archer, Myla M.
1 Aştefănoaei, Lăcrămioara
1 Bai, Lihong
1 Bai, Xue-Song
1 Baltzer, Jon R.
1 Beck, J. Christopher
1 Biasiori-Poulanges, Luc
1 Bilgin, Bilgesu A.
1 Bjørner, Dines
1 Blake, William K.
1 Boute, Raymond T.
1 Bowen, Jonathan P.
1 Bozzano, Marco
1 Brekling, Aske Wiid
1 Brooke, Phillip J.
1 Canham, Samuel
1 Cao, Xiankui
1 Carpenter, Peter W.
1 Castillo, Luciano
1 Chang, Jiang-ren
1 Chen, Biyue
1 Chen, Wenqin
1 Chen, Yang
1 Chen, Yifeng
1 Chen, Yung-Wei
1 Choe, Changil
1 Cimatti, Alessandro
1 Cosmas, John
1 Da, Fang
1 Dang Van, Hung
1 Davies, Christopher J.
1 Davies, Jim
1 de Boer, Frank S.
1 Deng, Sichao
1 Dey, Jyotirmoy
1 Dharmarathne, Suranga
1 Dianat, Mehriar
1 Dias, Frédéric
1 Ding, Zuohua
1 Dong, Ruzhen
1 Dorschner, Benedikt
1 Dragoni, Federica
1 El-Rabii, Hazem
1 Elsinga, Gerrit E.
1 Eng, How-Lung
1 Erturk, Ercan
1 Faber, Johannes
1 Faitelson, David
1 Feleqi, Ermal
1 Fersman, Elena
1 Finnigan, John J.
1 Fix, Limor
1 Foss, John F.
1 Freiling, Felix C.
1 Fröhlich, Jochen
1 Fuchs, László
1 Greco, Davide
...and 146 more Authors
all top 5

Cited in 44 Serials

14 Journal of Fluid Mechanics
8 Theoretical Computer Science
7 Formal Aspects of Computing
7 Physics of Fluids
5 Journal of Mathematical Analysis and Applications
4 Computers and Fluids
4 Journal of Computational Physics
4 Science of Computer Programming
3 International Journal of Production Research
3 Applied Mathematics Letters
2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
2 Formal Methods in System Design
2 Engineering Analysis with Boundary Elements
2 European Journal of Mechanics. B. Fluids
2 Flow, Turbulence and Combustion
2 Communications on Pure and Applied Analysis
1 Acta Informatica
1 Acta Mechanica
1 International Journal for Numerical and Analytical Methods in Geomechanics
1 International Journal for Numerical Methods in Fluids
1 Journal of Mathematical Physics
1 Nonlinearity
1 Wave Motion
1 Annales Polonici Mathematici
1 Journal of Differential Equations
1 Physica D
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Pattern Recognition
1 Calculus of Variations and Partial Differential Equations
1 International Journal of Numerical Methods for Heat & Fluid Flow
1 Opuscula Mathematica
1 Annals of Mathematics and Artificial Intelligence
1 Discrete and Continuous Dynamical Systems
1 Mathematical Problems in Engineering
1 International Journal of Computational Fluid Dynamics
1 Abstract and Applied Analysis
1 Communications in Contemporary Mathematics
1 Dynamical Systems
1 Discrete and Continuous Dynamical Systems. Series B
1 Journal of Applied Mathematics
1 Acta Mechanica Sinica
1 Signal, Image and Video Processing
1 Frontiers of Computer Science
1 Evolution Equations and Control Theory

Citations by Year