×

zbMATH — the first resource for mathematics

Zhang, Xingyuan

Compute Distance To:
Author ID: zhang.xingyuan Recent zbMATH articles by "Zhang, Xingyuan"
Published as: Zhang, X.; Zhang, Xingyuan; Zhang, X. Y.; Zhang, X.-Y.; Zhang, X
Documents Indexed: 105 Publications since 1989, including 1 Book
all top 5

Co-Authors

2 single-authored
8 Urban, Christian
5 Wu, Chunhan
5 Yi, Xuexi
3 Edirisinghe, N. Chanaka P.
2 Benko, C.
2 Bishof, M.
2 Hu, Pengfei
2 Rey, Ana Maria
2 Swallows, M. D.
2 Tafti, Danesh K.
2 Webster, Michael F.
2 Ye, Jun
1 Allegri, G.
1 Almey, N.
1 Alshal, H.
1 Anandampillai, S.
1 Anderoglu, O.
1 Astley, O.
1 Baral, Purna C.
1 Basaran, Osman A.
1 Bathe, Klaus-Jürgen
1 Benguigui, I.
1 Beranger, Boris
1 Boelen, S.
1 Boyadzhiyska, Simona
1 Bressloff, Neil W.
1 Brouard, J.
1 Chabanov, A. A.
1 Chan, Mansun
1 Chen, Kangshen
1 Chen, Xianze
1 Chen, Xudong
1 Coenen, Wilfried
1 Curtright, Thomas L.
1 Dai, Xingjian
1 Demers, Jean-Guy
1 Dong, Decun
1 Doyon, M.
1 Elishakoff, Isaac
1 Farooq, K.
1 Fitzpatrick, M. E.
1 Franchek, Matthew A.
1 Gao, Hongyan
1 Geffrin, Jean-Michel
1 Genack, Azriel Z.
1 Greenish, Simon
1 Gregorio, P.
1 Grzegorczyk, Tomasz M.
1 Guo, Yan-Qing
1 Hahn, Hubert
1 Hall, F. R.
1 Harman, Mark
1 Hayward, Vincent
1 He, Jin
1 Hirth, John P.
1 Hoagland, R. G.
1 Hou, Suchung
1 Hu, Lin
1 Irving, P. E.
1 Jiang, Hui
1 Jin, N. Q.
1 Kibble, K.
1 Kong, Jin Au
1 Kozumi, Hideo
1 Kraus, Christina V.
1 Lange, Karen
1 Larin, K. V.
1 Leimbach, K.-D.
1 Lemke, N. D.
1 Li, Tao
1 Li, Yansong
1 Liljedahl, C. D. M.
1 Lin, Dong
1 Litman, Amélie C. S.
1 Long, Guilu
1 Lu, Peng
1 Ludlow, A. D.
1 Lynch, Gillian C.
1 Makuc, B.
1 Mihsein, M.
1 Molin, Bernard
1 Munro, Malcolm
1 Padgett, R. S.
1 Pan, Hongliang
1 Pang, Su-Seng
1 Pattenden, R. J.
1 Qiao, Z. X.
1 Quadrio, Maurizio
1 Ran, Lixin
1 Rayasam, M.
1 Rémy, Frédérique
1 Rona, Aldo
1 Sánchez, Antonio L.
1 Scanlon, R.
1 Shimokohbe, A.
1 Shinshi, T.
1 Sisson, Scott A.
1 Sommer, H. J. III
1 Subbarayan, Ganesh
1 Tachikawa, Hiroyuki
...and 26 more Co-Authors
all top 5

Serials

4 Computer Methods in Applied Mechanics and Engineering
4 Journal of Fluid Mechanics
3 International Journal of Heat and Mass Transfer
3 Physics Letters. A
3 Ukrainian Mathematical Journal
3 Journal of Automated Reasoning
3 Computational Mechanics
3 European Journal of Operational Research
2 Computers and Structures
2 International Journal of Solids and Structures
2 International Journal of Systems Science
2 International Journal of Theoretical Physics
2 Journal of Sound and Vibration
2 Biometrika
2 Journal of the Operational Research Society
2 Annals of Physics
2 IEEE Transactions on Antennas and Propagation
2 International Journal of Fatigue
2 International Journal of Quantum Information
2 Journal of Physics A: Mathematical and Theoretical
2 International Journal of Systems Science. Principles and Applications of Systems and Integration
1 Modern Physics Letters A
1 International Journal of Modern Physics B
1 Acta Mechanica
1 Astrophysics and Space Science
1 Computers & Mathematics with Applications
1 European Journal of Physics
1 International Journal of Control
1 International Journal of Mechanical Sciences
1 International Journal of Multiphase Flow
1 International Journal for Numerical Methods in Fluids
1 International Journal of Plasticity
1 Inverse Problems
1 Journal of Engineering Mathematics
1 Journal of the Mechanics and Physics of Solids
1 Scandinavian Journal of Statistics
1 Molecular Simulation
1 Algebra and Logic
1 International Journal for Numerical Methods in Engineering
1 Journal of Optimization Theory and Applications
1 Kybernetika
1 Acta Mathematica Hungarica
1 Optimization
1 Journal of Computer Science and Technology
1 Mathematical and Computer Modelling
1 International Journal of Adaptive Control and Signal Processing
1 Computational Statistics
1 Communications in Statistics. Theory and Methods
1 Journal of Statistical Computation and Simulation
1 East-West Journal of Numerical Mathematics
1 Journal of Functional Programming
1 Methods and Applications of Analysis
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 CMES. Computer Modeling in Engineering & Sciences
1 Journal of Numerical Mathematics
1 Journal of Tongji University. Natural Science
1 Lecture Notes in Computer Science
1 Journal of Biological Dynamics
1 Science
1 International Journal of Mathematics in Operational Research
1 Journal of Yunnan Minzu University. Natural Sciences Edition

Publications by Year

Citations contained in zbMATH Open

47 Publications have been cited 236 times in 17 Documents Cited by Year
Inclusions and inhomogeneities in strain gradient elasticity with couple stresses and related problems. Zbl 1119.74334
Zhang, X.; Sharma, P.
31
2005
Nonlinear deformation and breakup of stretching liquid bridges. Zbl 0899.76133
Zhang, X.; Padgett, R. S.; Basaran, O. A.
24
1996
Global stabilization of a class of time-delay nonlinear systems. Zbl 1121.93065
Zhang, X.; Cheng, Z.
17
2005
A simulated annealing and hill-climbing algorithm for the traveling tournament problem. Zbl 1103.90042
Lim, A.; Rodrigues, B.; Zhang, X.
17
2006
An atomistic and non-classical continuum field theoretic perspective of elastic interactions between defects (force dipoles) of various symmetries and application to graphene. Zbl 1120.74315
Zhang, X.; Jiao, K.; Sharma, P.; Yakobson, B. I.
17
2006
Global asymptotic stabilization of feedforward nonlinear systems with a delay in the input. Zbl 1120.93048
Zhang, X.; Gao, Hongyan; Zhang, C.
14
2006
Meshless Galerkin least-squares method. Zbl 1143.74390
Pan, X. F.; Zhang, X.; Lu, M. W.
10
2005
A meshless, compositional approach to shape optimal design. Zbl 1173.74371
Zhang, X.; Rayasam, M.; Subbarayan, G.
10
2007
Experimental NMR realization of a generalized quantum search algorithm. Zbl 0969.81513
Long, G. L.; Yan, H. Y.; Li, Y. S.; Tu, C. C.; Tao, J. X.; Chen, H. M.; Liu, M. L.; Zhang, X.; Luo, J.; Xiao, L.; Zeng, X. Z.
7
2001
A formalisation of the Myhill-Nerode theorem based on regular expressions. Zbl 1314.68179
Wu, Chunhan; Zhang, Xingyuan; Urban, Christian
6
2014
A formalisation of the Myhill-Nerode theorem based on regular expressions (proof pearl). Zbl 1342.68306
Wu, Chunhan; Zhang, Xingyuan; Urban, Christian
6
2011
Bound-preserving high-order schemes. Zbl 1368.65149
Xu, Z.; Zhang, X.
5
2017
Portfolio selection under DEA-based relative financial strength indicators: Case of US industries. Zbl 1153.90454
Edirisinghe, N. C. P.; Zhang, X.
5
2008
Scheduling sports competitions at multiple venues – revisited. Zbl 1137.90504
Lim, A.; Rodrigues, B.; Zhang, X.
5
2006
Quantum Otto heat engine with a non-Markovian reservoir. Zbl 1305.81117
Zhang, X. Y.; Huang, X. L.; Yi, X. X.
4
2014
Coarse grain parallel finite element simulations for incompressible flows. Zbl 0923.76113
Grant, P. W.; Webster, M. F.; Zhang, X.
4
1998
Unsteady simulations of the flow around a short surface-mounted cylinder. Zbl 1235.76085
Pattenden, R. J.; Bressloff, N. W.; Turnock, S. R.; Zhang, X.
4
2007
Some advances in the analysis of fluid flows. Zbl 0918.76035
Bathe, K. J.; Zhang, H.; Zhang, X.
3
1997
An algorithm for solving the minimum-norm point problem over the intersection of a polytope and an affine set. Zbl 0986.90028
Fujishige, S.; Liu, Xiaojun; Zhang, X.
3
2000
3-D numerical analysis of natural convective liquid cooling of a \(3\times 3\) heater array in rectangular enclosures. Zbl 0973.76610
Tou, S. K. W.; Tso, C. P.; Zhang, X.
3
1999
Mechanising Turing machines and computability theory in Isabelle/HOL. Zbl 1317.68237
Xu, Jian; Zhang, Xingyuan; Urban, Christian
3
2013
A mesh-grading material point method and its parallelization for problems with localized extreme deformation. Zbl 1423.74901
Lian, Y. P.; Yang, P. F.; Zhang, X.; Zhang, F.; Liu, Y.; Huang, P.
3
2015
Improved coupling of finite element method with material point method based on a particle-to-surface contact algorithm. Zbl 1423.74870
Chen, Z. P.; Qiu, X. M.; Zhang, X.; Lian, Y. P.
3
2015
A coupled finite difference material point method and its application in explosion simulation. Zbl 1356.80062
Cui, X. X.; Zhang, X.; Zhou, X.; Liu, Y.; Zhang, F.
2
2014
Quasi-finite-time control for high-order nonlinear systems with mismatched disturbances via mapping filtered forwarding technique. Zbl 1358.93142
Zhang, X.; Huang, X. L.; Lu, H. Q.
2
2017
Classification and effects of thermal wakes on heat transfer in multilouvered fins. Zbl 0983.76500
Zhang, X.; Tafti, D. K.
2
2001
Geometry effects on flow transition in multilouvered fins – onset, propagation, and characteristic frequencies. Zbl 1091.76508
Tafti, D. K.; Zhang, X.
2
2001
Weakest precondition for general recursive programs formalized in Coq. Zbl 1013.68202
Zhang, Xingyuan; Munro, Malcolm; Harman, Mark; Hu, Lin
2
2002
Input/output selection in DEA under expert information, with application to financial markets. Zbl 1206.91019
Edirisinghe, N. C. P.; Zhang, X.
2
2010
Time accurate numerical study of turbulent supersonic jets. Zbl 1236.76048
Rona, A.; Zhang, X.
2
2004
On natural modes in moonpools and gaps in finite depth. Zbl 1419.76346
Molin, Bernard; Zhang, X.; Huang, H.; Remy, F.
2
2018
Quantum dot-DNA interaction: Computational issues and preliminary insights on use of quantum dots as biosensors. Zbl 1162.92007
Anandampillai, S.; Zhang, X.; Sharma, P.; Lynch, Gillian C.; Franchek, M. A.; Larin, K. V.
1
2008
Dynamical Casimir-polder force in a cavity comprising a dielectric with output coupling. Zbl 1295.81123
Yang, H.; Zheng, T. Y.; Shao, X. Q.; Zhang, X.; Pan, S. M.
1
2013
An appraisal of different stochastic linearization techniques. Zbl 0925.70298
Elishakoff, I.; Zhang, X.
1
1992
Nonlinear control of a planar multiaxis servohydraulic test facility using exact linearization techniques. Zbl 0829.70019
Hahn, H.; Zhang, X.; Leimbach, K.-D.; Sommer, H.-J.
1
1994
An exact method for penny-shaped cracked homogeneous and composite cylinders. Zbl 1005.74056
Xie, Y. J.; Zhang, X.; Wang, X. H.
1
2001
The solution of stress intensity factor for mode II cracking in orthotropic cracked plate by complex variable-variational method. Zbl 0731.73063
Cui, D.; Zhang, X.
1
1991
Impact of weak localization on wave dynamics: crossover from quasi-1D to slab geometry. Zbl 1092.81028
Zhang, Z. Q.; Cheung, S. K.; Zhang, X.; Chabanov, A. A.; Genack, A. Z.
1
2004
Bayesian and non-Bayesian analysis of gamma stochastic frontier models by Markov chain Monte Carlo methods. Zbl 1091.62013
Kozumi, Hideo; Zhang, Xingyuan
1
2005
Improved modification direction methods. Zbl 1198.94029
Kim, H. J.; Kim, C.; Choi, Y.; Wang, S.; Zhang, X.
1
2010
Mixed spherical harmonic-generalized Laguerre spectral method for the Navier-Stokes equations. Zbl 1426.76516
Zhang, X.-Y.
1
2013
A push/relabel framework for submodular flows and its refinement for \(0-1\) submodular flows. Zbl 0868.90094
Fujishige, S.; Zhang, X.
1
1996
Equipment scheduling problem under disruptions in mail processing and distribution centres. Zbl 1171.90413
Zhang, X.; Chakravarthy, A.; Gu, Q.
1
2009
Liveness reasoning with Isabelle/HOL. Zbl 1252.68198
Wang, Jinshuang; Yang, Huabing; Zhang, Xingyuan
1
2009
A delay-range-partition approach to analyse stability of linear systems with time-varying delays. Zbl 1346.93305
Xue, Y.; Zhang, X.; Han, Y. Y.; Shi, M.
1
2016
Priority inheritance protocol proved correct. Zbl 1360.68772
Zhang, Xingyuan; Urban, Christian; Wu, Chunhan
1
2012
Constructing likelihood functions for interval-valued random variables. Zbl 1444.62139
Zhang, X.; Beranger, B.; Sisson, S. A.
1
2020
Constructing likelihood functions for interval-valued random variables. Zbl 1444.62139
Zhang, X.; Beranger, B.; Sisson, S. A.
1
2020
On natural modes in moonpools and gaps in finite depth. Zbl 1419.76346
Molin, Bernard; Zhang, X.; Huang, H.; Remy, F.
2
2018
Bound-preserving high-order schemes. Zbl 1368.65149
Xu, Z.; Zhang, X.
5
2017
Quasi-finite-time control for high-order nonlinear systems with mismatched disturbances via mapping filtered forwarding technique. Zbl 1358.93142
Zhang, X.; Huang, X. L.; Lu, H. Q.
2
2017
A delay-range-partition approach to analyse stability of linear systems with time-varying delays. Zbl 1346.93305
Xue, Y.; Zhang, X.; Han, Y. Y.; Shi, M.
1
2016
A mesh-grading material point method and its parallelization for problems with localized extreme deformation. Zbl 1423.74901
Lian, Y. P.; Yang, P. F.; Zhang, X.; Zhang, F.; Liu, Y.; Huang, P.
3
2015
Improved coupling of finite element method with material point method based on a particle-to-surface contact algorithm. Zbl 1423.74870
Chen, Z. P.; Qiu, X. M.; Zhang, X.; Lian, Y. P.
3
2015
A formalisation of the Myhill-Nerode theorem based on regular expressions. Zbl 1314.68179
Wu, Chunhan; Zhang, Xingyuan; Urban, Christian
6
2014
Quantum Otto heat engine with a non-Markovian reservoir. Zbl 1305.81117
Zhang, X. Y.; Huang, X. L.; Yi, X. X.
4
2014
A coupled finite difference material point method and its application in explosion simulation. Zbl 1356.80062
Cui, X. X.; Zhang, X.; Zhou, X.; Liu, Y.; Zhang, F.
2
2014
Mechanising Turing machines and computability theory in Isabelle/HOL. Zbl 1317.68237
Xu, Jian; Zhang, Xingyuan; Urban, Christian
3
2013
Dynamical Casimir-polder force in a cavity comprising a dielectric with output coupling. Zbl 1295.81123
Yang, H.; Zheng, T. Y.; Shao, X. Q.; Zhang, X.; Pan, S. M.
1
2013
Mixed spherical harmonic-generalized Laguerre spectral method for the Navier-Stokes equations. Zbl 1426.76516
Zhang, X.-Y.
1
2013
Priority inheritance protocol proved correct. Zbl 1360.68772
Zhang, Xingyuan; Urban, Christian; Wu, Chunhan
1
2012
A formalisation of the Myhill-Nerode theorem based on regular expressions (proof pearl). Zbl 1342.68306
Wu, Chunhan; Zhang, Xingyuan; Urban, Christian
6
2011
Input/output selection in DEA under expert information, with application to financial markets. Zbl 1206.91019
Edirisinghe, N. C. P.; Zhang, X.
2
2010
Improved modification direction methods. Zbl 1198.94029
Kim, H. J.; Kim, C.; Choi, Y.; Wang, S.; Zhang, X.
1
2010
Equipment scheduling problem under disruptions in mail processing and distribution centres. Zbl 1171.90413
Zhang, X.; Chakravarthy, A.; Gu, Q.
1
2009
Liveness reasoning with Isabelle/HOL. Zbl 1252.68198
Wang, Jinshuang; Yang, Huabing; Zhang, Xingyuan
1
2009
Portfolio selection under DEA-based relative financial strength indicators: Case of US industries. Zbl 1153.90454
Edirisinghe, N. C. P.; Zhang, X.
5
2008
Quantum dot-DNA interaction: Computational issues and preliminary insights on use of quantum dots as biosensors. Zbl 1162.92007
Anandampillai, S.; Zhang, X.; Sharma, P.; Lynch, Gillian C.; Franchek, M. A.; Larin, K. V.
1
2008
A meshless, compositional approach to shape optimal design. Zbl 1173.74371
Zhang, X.; Rayasam, M.; Subbarayan, G.
10
2007
Unsteady simulations of the flow around a short surface-mounted cylinder. Zbl 1235.76085
Pattenden, R. J.; Bressloff, N. W.; Turnock, S. R.; Zhang, X.
4
2007
A simulated annealing and hill-climbing algorithm for the traveling tournament problem. Zbl 1103.90042
Lim, A.; Rodrigues, B.; Zhang, X.
17
2006
An atomistic and non-classical continuum field theoretic perspective of elastic interactions between defects (force dipoles) of various symmetries and application to graphene. Zbl 1120.74315
Zhang, X.; Jiao, K.; Sharma, P.; Yakobson, B. I.
17
2006
Global asymptotic stabilization of feedforward nonlinear systems with a delay in the input. Zbl 1120.93048
Zhang, X.; Gao, Hongyan; Zhang, C.
14
2006
Scheduling sports competitions at multiple venues – revisited. Zbl 1137.90504
Lim, A.; Rodrigues, B.; Zhang, X.
5
2006
Inclusions and inhomogeneities in strain gradient elasticity with couple stresses and related problems. Zbl 1119.74334
Zhang, X.; Sharma, P.
31
2005
Global stabilization of a class of time-delay nonlinear systems. Zbl 1121.93065
Zhang, X.; Cheng, Z.
17
2005
Meshless Galerkin least-squares method. Zbl 1143.74390
Pan, X. F.; Zhang, X.; Lu, M. W.
10
2005
Bayesian and non-Bayesian analysis of gamma stochastic frontier models by Markov chain Monte Carlo methods. Zbl 1091.62013
Kozumi, Hideo; Zhang, Xingyuan
1
2005
Time accurate numerical study of turbulent supersonic jets. Zbl 1236.76048
Rona, A.; Zhang, X.
2
2004
Impact of weak localization on wave dynamics: crossover from quasi-1D to slab geometry. Zbl 1092.81028
Zhang, Z. Q.; Cheung, S. K.; Zhang, X.; Chabanov, A. A.; Genack, A. Z.
1
2004
Weakest precondition for general recursive programs formalized in Coq. Zbl 1013.68202
Zhang, Xingyuan; Munro, Malcolm; Harman, Mark; Hu, Lin
2
2002
Experimental NMR realization of a generalized quantum search algorithm. Zbl 0969.81513
Long, G. L.; Yan, H. Y.; Li, Y. S.; Tu, C. C.; Tao, J. X.; Chen, H. M.; Liu, M. L.; Zhang, X.; Luo, J.; Xiao, L.; Zeng, X. Z.
7
2001
Classification and effects of thermal wakes on heat transfer in multilouvered fins. Zbl 0983.76500
Zhang, X.; Tafti, D. K.
2
2001
Geometry effects on flow transition in multilouvered fins – onset, propagation, and characteristic frequencies. Zbl 1091.76508
Tafti, D. K.; Zhang, X.
2
2001
An exact method for penny-shaped cracked homogeneous and composite cylinders. Zbl 1005.74056
Xie, Y. J.; Zhang, X.; Wang, X. H.
1
2001
An algorithm for solving the minimum-norm point problem over the intersection of a polytope and an affine set. Zbl 0986.90028
Fujishige, S.; Liu, Xiaojun; Zhang, X.
3
2000
3-D numerical analysis of natural convective liquid cooling of a \(3\times 3\) heater array in rectangular enclosures. Zbl 0973.76610
Tou, S. K. W.; Tso, C. P.; Zhang, X.
3
1999
Coarse grain parallel finite element simulations for incompressible flows. Zbl 0923.76113
Grant, P. W.; Webster, M. F.; Zhang, X.
4
1998
Some advances in the analysis of fluid flows. Zbl 0918.76035
Bathe, K. J.; Zhang, H.; Zhang, X.
3
1997
Nonlinear deformation and breakup of stretching liquid bridges. Zbl 0899.76133
Zhang, X.; Padgett, R. S.; Basaran, O. A.
24
1996
A push/relabel framework for submodular flows and its refinement for \(0-1\) submodular flows. Zbl 0868.90094
Fujishige, S.; Zhang, X.
1
1996
Nonlinear control of a planar multiaxis servohydraulic test facility using exact linearization techniques. Zbl 0829.70019
Hahn, H.; Zhang, X.; Leimbach, K.-D.; Sommer, H.-J.
1
1994
An appraisal of different stochastic linearization techniques. Zbl 0925.70298
Elishakoff, I.; Zhang, X.
1
1992
The solution of stress intensity factor for mode II cracking in orthotropic cracked plate by complex variable-variational method. Zbl 0731.73063
Cui, D.; Zhang, X.
1
1991

Citations by Year