×
Compute Distance To:
Author ID: lin.haitao Recent zbMATH articles by "Lin, Haitao"
Published as: Lin, Hai-Tao; Lin, Haitao

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 135 times in 11 Documents Cited by Year
Symbolic bisimulations. Zbl 0874.68187
Hennessy, M.; Lin, H.
61
1995
Analysis of a nonlinear system exhibiting chaotic, noisy chaotic, and random behaviors. Zbl 0875.70115
Lin, H.; Yim, S. C. S.
17
1996
Proof systems for message-passing process algebras. Zbl 0857.68040
Hennessy, M.; Lin, H.
13
1996
Addition-min fuzzy relation inequalities with application in BitTorrent-like peer-to-peer file sharing system. Zbl 1397.90433
Yang, Xiao-Peng; Lin, Hai-Tao; Zhou, Xue-Gang; Cao, Bing-Yuan
11
2018
Complete proof systems for observation congruences in finite-control \(\pi\)-calculus. Zbl 0910.03020
Lin, H.
7
1998
Equilibrium electro-deformation of a surfactant-laden viscous drop. Zbl 1320.76124
Nganguia, Herve; Young, Y.-N.; Vlahovska, Petia M.; Bławzdziewicz, Jerzy; Zhang, J.; Lin, H.
6
2013
Unique fixpoint induction for message-passing process calculi. Zbl 0998.68089
Hennessy, M.; Lin, H.; Rathke, J.
3
2001
Hybrid simplex genetic algorithm for blind equalization using RBF networks. Zbl 1012.68159
Lin, H.; Yamashita, K.
3
2002
Unified analysis of complex nonlinear motions via densities. Zbl 1045.76551
Yim, S. C. S.; Lin, H.
2
1996
Rigorous numerical solutions and correlations for two-dimensional laminar buoyant jets. Zbl 0825.76764
Yu, W. S.; Lin, H. T.; Shih, H. C.
2
1992
A case study in a dual resource constrained job shop. Zbl 0946.90514
Liao, C.-J.; Lin, H.-T.
2
1998
Universal formulations and comprehensive correlations for non-Darcy natural convection and mixed convection in porous media. Zbl 0729.76571
Yu, W. S.; Lin, H. T.; Lu, C. S.
2
1991
Unified analysis of complex nonlinear motions via densities. Zbl 1003.70018
Yim, S. C. S.; Lin, H.
1
2001
Neural-network based fault diagnosis of hydraulic forging presses in China. Zbl 0913.90136
Lin, H.; Yih, Y.; Salvendy, G.
1
1995
Just-in-time manufacture of home-use sewing machines using backward scheduling. Zbl 0949.90633
Liao, C.-J.; Lin, H.-T.
1
1998
Collective buckling of nonuniform nanobeams interacting through an elastic substrate. Zbl 1268.74024
Li, Z.; Feng, K.; Yang, J. S.; Tan, L.; Lin, H.
1
2010
A general analysis for the electrohydrodynamic instability of stratified immiscible fluids. Zbl 1241.76231
Zhang, J.; Zahn, J. D.; Lin, H.
1
2011
Maximin optimization problem subject to min-product fuzzy relation inequalities with application in supply and demand scheme. Zbl 1429.90097
Lin, Hai-Tao; Yang, Xiao-Bin; Guo, Hui-Mei; Zheng, Cai-Fen; Yang, Xiao-Peng
1
2019
Maximin optimization problem subject to min-product fuzzy relation inequalities with application in supply and demand scheme. Zbl 1429.90097
Lin, Hai-Tao; Yang, Xiao-Bin; Guo, Hui-Mei; Zheng, Cai-Fen; Yang, Xiao-Peng
1
2019
Addition-min fuzzy relation inequalities with application in BitTorrent-like peer-to-peer file sharing system. Zbl 1397.90433
Yang, Xiao-Peng; Lin, Hai-Tao; Zhou, Xue-Gang; Cao, Bing-Yuan
11
2018
Equilibrium electro-deformation of a surfactant-laden viscous drop. Zbl 1320.76124
Nganguia, Herve; Young, Y.-N.; Vlahovska, Petia M.; Bławzdziewicz, Jerzy; Zhang, J.; Lin, H.
6
2013
A general analysis for the electrohydrodynamic instability of stratified immiscible fluids. Zbl 1241.76231
Zhang, J.; Zahn, J. D.; Lin, H.
1
2011
Collective buckling of nonuniform nanobeams interacting through an elastic substrate. Zbl 1268.74024
Li, Z.; Feng, K.; Yang, J. S.; Tan, L.; Lin, H.
1
2010
Hybrid simplex genetic algorithm for blind equalization using RBF networks. Zbl 1012.68159
Lin, H.; Yamashita, K.
3
2002
Unique fixpoint induction for message-passing process calculi. Zbl 0998.68089
Hennessy, M.; Lin, H.; Rathke, J.
3
2001
Unified analysis of complex nonlinear motions via densities. Zbl 1003.70018
Yim, S. C. S.; Lin, H.
1
2001
Complete proof systems for observation congruences in finite-control \(\pi\)-calculus. Zbl 0910.03020
Lin, H.
7
1998
A case study in a dual resource constrained job shop. Zbl 0946.90514
Liao, C.-J.; Lin, H.-T.
2
1998
Just-in-time manufacture of home-use sewing machines using backward scheduling. Zbl 0949.90633
Liao, C.-J.; Lin, H.-T.
1
1998
Analysis of a nonlinear system exhibiting chaotic, noisy chaotic, and random behaviors. Zbl 0875.70115
Lin, H.; Yim, S. C. S.
17
1996
Proof systems for message-passing process algebras. Zbl 0857.68040
Hennessy, M.; Lin, H.
13
1996
Unified analysis of complex nonlinear motions via densities. Zbl 1045.76551
Yim, S. C. S.; Lin, H.
2
1996
Symbolic bisimulations. Zbl 0874.68187
Hennessy, M.; Lin, H.
61
1995
Neural-network based fault diagnosis of hydraulic forging presses in China. Zbl 0913.90136
Lin, H.; Yih, Y.; Salvendy, G.
1
1995
Rigorous numerical solutions and correlations for two-dimensional laminar buoyant jets. Zbl 0825.76764
Yu, W. S.; Lin, H. T.; Shih, H. C.
2
1992
Universal formulations and comprehensive correlations for non-Darcy natural convection and mixed convection in porous media. Zbl 0729.76571
Yu, W. S.; Lin, H. T.; Lu, C. S.
2
1991

Citations by Year