×
Author ID: lin.haiping Recent zbMATH articles by "Lin, Haiping"
Published as: Lin, Haiping; Lin, Hai-Ping

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 11 times in 11 Documents Cited by Year
Symbolic bisimulations. Zbl 0874.68187
Hennessy, M.; Lin, H.
75
1995
Analysis of a nonlinear system exhibiting chaotic, noisy chaotic, and random behaviors. Zbl 0875.70115
Lin, H.; Yim, S. C. S.
18
1996
Proof systems for message-passing process algebras. Zbl 0857.68040
Hennessy, M.; Lin, H.
15
1996
Forced responses of cracked cantilever beams subjected to a concentrated moving load. Zbl 1192.74182
Lin, Hai-Ping; Chang, Shun-Chang
9
2006
Complete proof systems for observation congruences in finite-control \(\pi\)-calculus. Zbl 0910.03020
Lin, H.
8
1998
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
Chaos attitude motion and chaos control in an automotive wiper system. Zbl 1119.70322
Chang, Shun-Chang; Lin, Hai-Ping
2
2004
Neural-network based fault diagnosis of hydraulic forging presses in China. Zbl 0913.90136
Lin, H.; Yih, Y.; Salvendy, G.
1
1995
Unified analysis of complex nonlinear motions via densities. Zbl 1003.70018
Yim, S. C. S.; Lin, H.
1
2001
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
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
Forced responses of cracked cantilever beams subjected to a concentrated moving load. Zbl 1192.74182
Lin, Hai-Ping; Chang, Shun-Chang
9
2006
Chaos attitude motion and chaos control in an automotive wiper system. Zbl 1119.70322
Chang, Shun-Chang; Lin, Hai-Ping
2
2004
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.
8
1998
Analysis of a nonlinear system exhibiting chaotic, noisy chaotic, and random behaviors. Zbl 0875.70115
Lin, H.; Yim, S. C. S.
18
1996
Proof systems for message-passing process algebras. Zbl 0857.68040
Hennessy, M.; Lin, H.
15
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.
75
1995
Neural-network based fault diagnosis of hydraulic forging presses in China. Zbl 0913.90136
Lin, H.; Yih, Y.; Salvendy, G.
1
1995

Citations by Year