×

zbMATH — the first resource for mathematics

Lin, HaiXiang

Compute Distance To:
Author ID: lin.haixiang Recent zbMATH articles by "Lin, HaiXiang"
Published as: Lin, H.; Lin, H. X.; Lin, Hai Xiang; Lin, Hai-Xiang; Lin, HaiXiang
Documents Indexed: 39 Publications since 1994, including 4 Books

Publications by Year

Citations contained in zbMATH Open

22 Publications have been cited 123 times in 107 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
Probability density estimation in stochastic environmental models using reverse representations. Zbl 1096.62027
van den Berg, E.; Heemink, A. W.; Lin, H. X.; Schoenmakers, J. G. M.
4
2006
A fast pessimistic diagnosis algorithm for hypercube-like networks under the comparison model. Zbl 1360.68254
Ye, Liang-Cheng; Liang, Jia-rong; Lin, Hai-Xiang
3
2016
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
Non-intrusive subdomain POD-TPWL for reservoir history matching. Zbl 1419.86025
Xiao, Cong; Leeuwenburgh, Olwijn; Lin, Hai Xiang; Heemink, Arnold
1
2019
An inexact splitting method for the subspace segmentation from incomplete and noisy observations. Zbl 1411.65083
Liang, Renli; Bai, Yanqin; Lin, Hai Xiang
1
2019
A general analysis for the electrohydrodynamic instability of stratified immiscible fluids. Zbl 1241.76231
Zhang, J.; Zahn, J. D.; Lin, H.
1
2011
Generating approximate inverse preconditioners for sparse matrices using CUDA and GPGPU. Zbl 1229.65059
Xu, Shiming; Xue, Wei; Wang, Ke; Lin, Hai Xiang
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
Adaptive stochastic numerical scheme in parallel random walk models for transport problems in shallow water. Zbl 1185.76453
Charles, W. M.; Van Den Berg, E.; Lin, H. X.; Heemink, A. W.
1
2009
An efficient 3D particle transport model for use in stratified flow. Zbl 1276.76061
Stijnen, J. W.; Heemink, A. W.; Lin, H. X.
1
2006
A unifying graph model for designing parallel algorithms for tridiagonal systems. Zbl 0971.68212
Lin, H. X.
1
2001
Unified analysis of complex nonlinear motions via densities. Zbl 1003.70018
Yim, S. C. S.; Lin, H.
1
2001
A comparison of scalability of different parallel iterative methods for shallow water equations. Zbl 0922.76248
Veenstra, Arnt H.; Lin, Hai Xiang; Vollebregt, Edwin A. H.
1
1998
Neural-network based fault diagnosis of hydraulic forging presses in China. Zbl 0913.90136
Lin, H.; Yih, Y.; Salvendy, G.
1
1995
Non-intrusive subdomain POD-TPWL for reservoir history matching. Zbl 1419.86025
Xiao, Cong; Leeuwenburgh, Olwijn; Lin, Hai Xiang; Heemink, Arnold
1
2019
An inexact splitting method for the subspace segmentation from incomplete and noisy observations. Zbl 1411.65083
Liang, Renli; Bai, Yanqin; Lin, Hai Xiang
1
2019
A fast pessimistic diagnosis algorithm for hypercube-like networks under the comparison model. Zbl 1360.68254
Ye, Liang-Cheng; Liang, Jia-rong; Lin, Hai-Xiang
3
2016
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
Generating approximate inverse preconditioners for sparse matrices using CUDA and GPGPU. Zbl 1229.65059
Xu, Shiming; Xue, Wei; Wang, Ke; Lin, Hai Xiang
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
Adaptive stochastic numerical scheme in parallel random walk models for transport problems in shallow water. Zbl 1185.76453
Charles, W. M.; Van Den Berg, E.; Lin, H. X.; Heemink, A. W.
1
2009
Probability density estimation in stochastic environmental models using reverse representations. Zbl 1096.62027
van den Berg, E.; Heemink, A. W.; Lin, H. X.; Schoenmakers, J. G. M.
4
2006
An efficient 3D particle transport model for use in stratified flow. Zbl 1276.76061
Stijnen, J. W.; Heemink, A. W.; Lin, H. X.
1
2006
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
A unifying graph model for designing parallel algorithms for tridiagonal systems. Zbl 0971.68212
Lin, H. X.
1
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 comparison of scalability of different parallel iterative methods for shallow water equations. Zbl 0922.76248
Veenstra, Arnt H.; Lin, Hai Xiang; Vollebregt, Edwin A. H.
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.
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 182 Authors

11 Fu, Yuxi
5 Gan, Chunbiao
4 Hennessy, Matthew C. B.
4 Lin, Huimin
3 Liang, Jiarong
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 Heemink, Arnold Willem
2 Ingólfsdóttir, Anna
2 Lei, Hua
2 Lei, Youming
2 Lin, HaiXiang
2 Madelaine, Eric
2 Mandal, Shubhadeep
2 Martí-Oliet, Narciso
2 Quaglia, Paola
2 Rensink, Arend
2 Riely, James
2 Schoenmakers, John G. M.
2 Verdejo, Alberto
2 Yang, Shi-Xi
2 Yang, Zhenrong
2 Zhang, Qian
2 Zheng, Fan
1 Aceto, Luca
1 Asnafi, Alireza
1 Baeten, Jos C. M.
1 Bai, Yanqin
1 Baldan, Paolo
1 Bernardo, Marco
1 Bertaccini, Daniele
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 Cao, Yongzhi
1 Cattani, Gian Luca
1 Charles, W. M.
1 Chen, Huowang
1 Chen, Zhen
1 Cheng, Hua
1 Cocco Mariani, Viviana
1 Corradini, Flavio
1 Dam, Mads
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 Durlofsky, Louis J.
1 Feng, Yuan
1 Ferrari, Gian Luigi
1 Filippone, Salvatore
1 Garavel, Hubert
1 Gardner, Philippa Anne
1 Gawande, Neha
1 Ghosh, Uddipta
1 Goriac, Eugen-Ioan
1 Green, Ian
1 Haario, Heikki
1 Han, Soowhan
1 He, Shimin
1 Henrio, Ludovic
1 Higashino, Teruo
1 Hou, Zechen
1 Hu, Wei-Fan
1 Huang, Shuqin
1 Huang, Zu-Lan
1 Hüttel, Hans
1 Johansson, Magnus M.
1 Katti, C. P.
1 Kawachi, Toshihiko
1 Kumari, Rama
1 Lai, Mingchih
1 Lai, Vincent S.
1 Lam, Jolie
1 Li, Changzhen
1 Li, He
1 Li, Wei
1 Li, Zhoujun
1 Liang, Renli
1 Lin, Hexiang
1 Lin, Hongyan
...and 82 more Authors
all top 5

Cited in 42 Serials

20 Theoretical Computer Science
9 Information and Computation
6 Chaos, Solitons and Fractals
5 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
3 Journal of Computational Physics
3 Journal of Fluid Mechanics
3 The Journal of Logic and Algebraic Programming
2 Acta Mechanica
2 Computers & Mathematics with Applications
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 Mathematical and Computer Modelling
2 Formal Aspects of Computing
2 Complexity
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 of Systems Science
1 Information Processing Letters
1 Applied Mathematics and Computation
1 Science of Computer Programming
1 Optimization
1 Computers & Operations Research
1 Journal of Automated Reasoning
1 MSCS. Mathematical Structures in Computer Science
1 International Journal of Foundations of Computer Science
1 Computational Statistics
1 Applied Mathematical Modelling
1 SIAM Journal on Applied Mathematics
1 Stochastic Processes and their Applications
1 Formal Methods in System Design
1 Journal of Vibration and Control
1 Chaos
1 Discrete Dynamics in Nature and Society
1 Stochastic Environmental Research and Risk Assessment
1 ACM Transactions on Computational Logic
1 Science China. Information Sciences

Citations by Year