×

zbMATH — the first resource for mathematics

Lin, Huimin

Compute Distance To:
Author ID: lin.huimin Recent zbMATH articles by "Lin, Huimin"
Published as: Lin, Huimin; Lin, H.; Lin, Hui-Min
Documents Indexed: 40 Publications since 1990, including 1 Book

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 142 times in 25 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
A symbolic approach to value-passing processes. Zbl 1027.68092
Ingólfsdóttir, Anna; Lin, Huimin
7
2001
Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus. Zbl 1045.68098
Lin, Huimin
7
2003
Proof system for applied pi calculus. Zbl 1198.68178
Liu, Jia; Lin, Huimin
7
2010
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 complete symbolic bisimulation for full applied pi-calculus. Zbl 1274.68242
Liu, Jia; Lin, Huimin
4
2010
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
Image approximations to electrostatic potentials in layered electrolytes/dielectrics and an ion-channel model. Zbl 1282.78034
Lin, Huimin; Xu, Zhenli; Tang, Huazhong; Cai, Wei
3
2012
Unified analysis of complex nonlinear motions via densities. Zbl 1045.76551
Yim, S. C. S.; Lin, H.
2
1996
Blind equalization using parallel Bayesian decision feedback equalizer. Zbl 0978.94019
Lin, H.; Yamashita, K.
2
2001
A complete symbolic bisimulation for full applied pi calculus. Zbl 1277.68196
Liu, Jia; Lin, Huimin
2
2012
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
Neural-network based fault diagnosis of hydraulic forging presses in China. Zbl 0913.90136
Lin, H.; Yih, Y.; Salvendy, G.
1
1995
Computing bisimulations for finite-control \(\pi\)-calculus. Zbl 0954.68040
Lin, Huimin
1
2000
A proof system for timed automata. Zbl 0961.68071
Lin, Huimin; Yi, Wang
1
2000
Unified analysis of complex nonlinear motions via densities. Zbl 1003.70018
Yim, S. C. S.; Lin, H.
1
2001
Correct and logical inference on efficacy in subgroups and their mixture for binary outcomes. Zbl 1412.62165
Lin, Hui-Min; Xu, Haiyan; Ding, Ying; Hsu, Jason C.
1
2019
Correct and logical inference on efficacy in subgroups and their mixture for binary outcomes. Zbl 1412.62165
Lin, Hui-Min; Xu, Haiyan; Ding, Ying; Hsu, Jason C.
1
2019
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
Image approximations to electrostatic potentials in layered electrolytes/dielectrics and an ion-channel model. Zbl 1282.78034
Lin, Huimin; Xu, Zhenli; Tang, Huazhong; Cai, Wei
3
2012
A complete symbolic bisimulation for full applied pi calculus. Zbl 1277.68196
Liu, Jia; Lin, Huimin
2
2012
A general analysis for the electrohydrodynamic instability of stratified immiscible fluids. Zbl 1241.76231
Zhang, J.; Zahn, J. D.; Lin, H.
1
2011
Proof system for applied pi calculus. Zbl 1198.68178
Liu, Jia; Lin, Huimin
7
2010
A complete symbolic bisimulation for full applied pi-calculus. Zbl 1274.68242
Liu, Jia; Lin, Huimin
4
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
Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus. Zbl 1045.68098
Lin, Huimin
7
2003
Hybrid simplex genetic algorithm for blind equalization using RBF networks. Zbl 1012.68159
Lin, H.; Yamashita, K.
3
2002
A symbolic approach to value-passing processes. Zbl 1027.68092
Ingólfsdóttir, Anna; Lin, Huimin
7
2001
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
Computing bisimulations for finite-control \(\pi\)-calculus. Zbl 0954.68040
Lin, Huimin
1
2000
A proof system for timed automata. Zbl 0961.68071
Lin, Huimin; Yi, Wang
1
2000
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

Citations by Year