×

zbMATH — the first resource for mathematics

Lin, Herng

Compute Distance To:
Author ID: lin.herng Recent zbMATH articles by "Lin, Herng"
Published as: Lin, H.; Lin, Herng
Documents Indexed: 22 Publications since 1991, including 2 Books

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 131 times in 116 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
Characteristic-based flux limiters of an essentially third-order flux- splitting method for hyperbolic conservation laws. Zbl 0739.76041
Lin, Herng; Chieng, Ching-Chang
11
1991
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
Implicit preconditioned WENO scheme for steady viscous flow computation. Zbl 1409.76088
Huang, Juan-Chen; Lin, Herng; Yang, Jaw-Yen
5
2009
Variants of biconjugate gradient method for compressible Navier-Stokes solver. Zbl 0853.76062
Lin, Herng; Yang, D. Y.; Chieng, Ching-Chang
4
1995
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
Parallel preconditioned WENO scheme for three-dimensional flow simulation of NREL phase VI rotor. Zbl 1430.76014
Huang, Juan-Chen; Lin, Herng; Hsieh, Tsang-Jen; Hsieh, Tse-Yang
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
Comparisons of TVD schemes for turbulent transonic projectile aerodynamics computations with a two-equation model of turbulence. Zbl 0767.76052
Lin, Herng; Chieng, Ching-Chang
1
1993
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
Parallel preconditioned WENO scheme for three-dimensional flow simulation of NREL phase VI rotor. Zbl 1430.76014
Huang, Juan-Chen; Lin, Herng; Hsieh, Tsang-Jen; Hsieh, Tse-Yang
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
Implicit preconditioned WENO scheme for steady viscous flow computation. Zbl 1409.76088
Huang, Juan-Chen; Lin, Herng; Yang, Jaw-Yen
5
2009
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
Variants of biconjugate gradient method for compressible Navier-Stokes solver. Zbl 0853.76062
Lin, Herng; Yang, D. Y.; Chieng, Ching-Chang
4
1995
Neural-network based fault diagnosis of hydraulic forging presses in China. Zbl 0913.90136
Lin, H.; Yih, Y.; Salvendy, G.
1
1995
Comparisons of TVD schemes for turbulent transonic projectile aerodynamics computations with a two-equation model of turbulence. Zbl 0767.76052
Lin, Herng; Chieng, Ching-Chang
1
1993
Characteristic-based flux limiters of an essentially third-order flux- splitting method for hyperbolic conservation laws. Zbl 0739.76041
Lin, Herng; Chieng, Ching-Chang
11
1991
all top 5

Cited by 209 Authors

11 Fu, Yuxi
5 Gan, Chunbiao
4 Hennessy, Matthew C. B.
4 Lin, Huimin
3 Drikakis, Dimitris
3 Montanari, Ugo G.
3 Sun, Zhongkui
3 Xu, Wei
3 Yang, Xiaoli
2 Bandopadhyay, Aditya
2 Barakos, George N.
2 Bergstra, Jan A.
2 Bonchi, Filippo
2 Boreale, Michele
2 Chakraborty, Suman
2 Deng, Yuxin
2 Fahrenthold, Eric P.
2 Fang, Tong
2 Ferreira, Valdemir G.
2 Gao, Wei
2 Gorrieri, Roberto
2 Han, Changwook
2 Ingólfsdóttir, Anna
2 Koo, J. C.
2 Lei, Hua
2 Lei, Youming
2 Li, Hong
2 Lima, G. A. B.
2 Liu, Yang
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 Amano, Ryo S.
1 Antoniadis, Antonis F.
1 Asnafi, Alireza
1 Azevedo, João Luiz F.
1 Baeten, Jos C. M.
1 Baldan, Paolo
1 Bentaib, A.
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 Candezano, Miguel A. C.
1 Cao, Yongzhi
1 Cao, Zongyan
1 Castelo, A. F.
1 Cattani, Gian Luca
1 Chen, Huowang
1 Chen, Zhen
1 Cheng, Hua
1 Chieng, Ching-Chang
1 Cirilo, Eliandro Rodrigues
1 Cocco Mariani, Viviana
1 Corradini, Flavio
1 Cuenca, R. G.
1 Dam, Mads
1 Darwish, M. S.
1 de Queiroz, Rafael A. B.
1 Deng, Hongzhu
1 Dimovski, Aleksandar S.
1 Djavareshkian, M. H.
1 Donatiello, Lorenzo
1 Dos Santos Coelho, Leandro
1 Dovier, Agostino
1 Du, Huilian
1 Durán, Francisco
1 Elder, Robin
1 Feng, Longlong
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 Han, Soowhan
1 He, Shimin
1 He, Zhiwei
1 Henrio, Ludovic
1 Higashino, Teruo
1 Hou, Zechen
1 Hsieh, Tsang-Jen
1 Hsieh, Tse-Yang
1 Hu, Wei-Fan
1 Huang, Juan-Chen
...and 109 more Authors
all top 5

Cited in 43 Serials

20 Theoretical Computer Science
9 Information and Computation
7 Computers and Fluids
6 Chaos, Solitons and Fractals
5 Journal of Computational Physics
5 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
3 Acta Mechanica
3 Computer Methods in Applied Mechanics and Engineering
3 Journal of Fluid Mechanics
3 The Journal of Logic and Algebraic Programming
2 International Journal of Theoretical Physics
2 Mathematics and Computers in Simulation
2 Applied Mathematics and Mechanics. (English Edition)
2 Annals of Pure and Applied Logic
2 Journal of Computer Science and Technology
2 Formal Aspects of Computing
2 Science in China. Series E
2 Nonlinear Dynamics
2 Acta Mechanica Sinica
2 Journal of Logical and Algebraic Methods in Programming
1 Acta Informatica
1 International Journal for Numerical Methods in Fluids
1 International Journal of Systems Science
1 Information Processing Letters
1 Mathematical Methods in the Applied Sciences
1 Applied Mathematics and Computation
1 Science of Computer Programming
1 RAIRO. Modélisation Mathématique et Analyse Numérique
1 Computers & Operations Research
1 Journal of Automated Reasoning
1 Numerical Methods for Partial Differential Equations
1 Mathematical and Computer Modelling
1 MSCS. Mathematical Structures in Computer Science
1 International Journal of Foundations of Computer Science
1 Numerical Algorithms
1 SIAM Journal on Applied Mathematics
1 Formal Methods in System Design
1 Journal of Vibration and Control
1 International Journal of Computational Fluid Dynamics
1 Chaos
1 ACM Transactions on Computational Logic
1 International Journal for Computational Methods in Engineering Science and Mechanics
1 Science China. Information Sciences

Citations by Year