×

zbMATH — the first resource for mathematics

Lin, Haizhi

Compute Distance To:
Author ID: lin.haizhi Recent zbMATH articles by "Lin, Haizhi"
Published as: Lin, H.; Lin, Haizhi
Documents Indexed: 17 Publications since 1995, including 2 Books

Co-Authors

0 single-authored
1 Guo, Xin
1 Jarrow, Robert Alan

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 112 times in 97 Documents Cited by Year
Symbolic bisimulations. Zbl 0874.68187
Hennessy, M.; Lin, H.
54
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.
12
1996
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.
5
2013
Distressed debt prices and recovery rate estimation. Zbl 1165.91370
Guo, Xin; Jarrow, Robert A.; Lin, Haizhi
3
2008
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
Blind equalization using parallel Bayesian decision feedback equalizer. Zbl 0978.94019
Lin, H.; Yamashita, K.
2
2001
Unified analysis of complex nonlinear motions via densities. Zbl 1045.76551
Yim, S. C. S.; Lin, H.
2
1996
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
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
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.
5
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
Distressed debt prices and recovery rate estimation. Zbl 1165.91370
Guo, Xin; Jarrow, Robert A.; Lin, Haizhi
3
2008
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
Blind equalization using parallel Bayesian decision feedback equalizer. Zbl 0978.94019
Lin, H.; Yamashita, K.
2
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
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.
12
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.
54
1995
Neural-network based fault diagnosis of hydraulic forging presses in China. Zbl 0913.90136
Lin, H.; Yih, Y.; Salvendy, G.
1
1995
all top 5

Cited by 163 Authors

11 Fu, Yuxi
5 Gan, Chunbiao
4 Hennessy, Matthew C. B.
4 Lin, Huimin
3 Montanari, Ugo G.
3 Sun, Zhongkui
3 Xu, Wei
3 Yang, Xiaoli
2 Bandopadhyay, Aditya
2 Bergstra, Jan A.
2 Bonchi, Filippo
2 Boreale, Michele
2 Chakraborty, Suman
2 Deng, Yuxin
2 Fang, Tong
2 Gorrieri, Roberto
2 Han, Changwook
2 Ingólfsdóttir, Anna
2 Lei, Hua
2 Lei, Youming
2 Madelaine, Eric
2 Mandal, Shubhadeep
2 Martí-Oliet, Narciso
2 Quaglia, Paola
2 Rensink, Arend
2 Riely, James
2 Verdejo, Alberto
2 Yang, Shi-Xi
2 Yang, Zhenrong
2 Zheng, Fan
1 Aceto, Luca
1 Amraoui, Salah
1 Asnafi, Alireza
1 Baeten, Jos C. M.
1 Baldan, Paolo
1 Bernardo, Marco
1 Bliudze, Simon
1 Borgström, Johannes
1 Bracciali, Andrea
1 Briais, Sébastien
1 Brodo, Linda
1 Bruni, Roberto
1 Bundy, Alan
1 Cai, Yinlin
1 Campi, Luciano
1 Cao, Yongzhi
1 Cattani, Gian Luca
1 Çetin, Umut
1 Chen, Huowang
1 Chen, Zhen
1 Cheng, Hua
1 Cocco Mariani, Viviana
1 Corradini, Flavio
1 Cousot, Laurent
1 Dam, Mads
1 Danilova, Albina
1 Deng, Hongzhu
1 Dimovski, Aleksandar S.
1 Donatiello, Lorenzo
1 Dos Santos Coelho, Leandro
1 Dovier, Agostino
1 Du, Huilian
1 Durán, Francisco
1 Feng, Yuan
1 Ferrari, Gian Luigi
1 Garavel, Hubert
1 Gardner, Philippa Anne
1 Gawande, Neha
1 Ghosh, Uddipta
1 Goriac, Eugen-Ioan
1 Green, Ian
1 Guo, Xin
1 Han, Soowhan
1 He, Shimin
1 Henrio, Ludovic
1 Higashino, Teruo
1 Hitier, Sebastien
1 Hou, Zechen
1 Hu, Wei-Fan
1 Huang, Shuqin
1 Huang, Zu-Lan
1 Hüttel, Hans
1 Jarrow, Robert Alan
1 Johansson, Magnus M.
1 Lai, Mingchih
1 Lai, Vincent S.
1 Lam, Jolie
1 Laurent, Jean Paul
1 Li, He
1 Li, Wei
1 Li, Zhoujun
1 Lin, Haizhi
1 Lin, Hexiang
1 Lin, Hongyan
1 Lin, Huijia
1 Liqin, Liu
1 Liu, Di
1 Liu, Jia
1 Liu, Weiting
1 Liu, Xianbin
...and 63 more Authors

Citations by Year