Edit Profile Lin, Hongyan Compute Distance To: Compute Author ID: lin.hongyan Published as: Lin, H.; Lin, H. Y.; Lin, Hongyan Documents Indexed: 20 Publications since 1995, including 2 Books Co-Authors 0 single-authored 3 Liu, Bingchen 2 Li, Fengjie 1 Wang, Xiangyu Serials 1 ZAMP. Zeitschrift für angewandte Mathematik und Physik 1 Applied Mathematics Letters 1 Nonlinear Analysis. Real World Applications Fields 3 Partial differential equations (35-XX) 1 Integral equations (45-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 13 Publications have been cited 108 times in 93 Documents Cited by ▼ Year ▼ Symbolic bisimulations. Zbl 0874.68187Hennessy, M.; Lin, H. 54 1995 Analysis of a nonlinear system exhibiting chaotic, noisy chaotic, and random behaviors. Zbl 0875.70115Lin, H.; Yim, S. C. S. 17 1996 Proof systems for message-passing process algebras. Zbl 0857.68040Hennessy, M.; Lin, H. 12 1996 Complete proof systems for observation congruences in finite-control \(\pi\)-calculus. Zbl 0910.03020Lin, H. 7 1998 Equilibrium electro-deformation of a surfactant-laden viscous drop. Zbl 1320.76124Nganguia, Herve; Young, Y.-N.; Vlahovska, Petia M.; Bławzdziewicz, Jerzy; Zhang, J.; Lin, H. 4 2013 Hybrid simplex genetic algorithm for blind equalization using RBF networks. Zbl 1012.68159Lin, H.; Yamashita, K. 3 2002 Unique fixpoint induction for message-passing process calculi. Zbl 0998.68089Hennessy, M.; Lin, H.; Rathke, J. 3 2001 Blind equalization using parallel Bayesian decision feedback equalizer. Zbl 0978.94019Lin, H.; Yamashita, K. 2 2001 Unified analysis of complex nonlinear motions via densities. Zbl 1045.76551Yim, S. C. S.; Lin, H. 2 1996 A general analysis for the electrohydrodynamic instability of stratified immiscible fluids. Zbl 1241.76231Zhang, J.; Zahn, J. D.; Lin, H. 1 2011 Collective buckling of nonuniform nanobeams interacting through an elastic substrate. Zbl 1268.74024Li, Z.; Feng, K.; Yang, J. S.; Tan, L.; Lin, H. 1 2010 Unified analysis of complex nonlinear motions via densities. Zbl 1003.70018Yim, S. C. S.; Lin, H. 1 2001 Neural-network based fault diagnosis of hydraulic forging presses in China. Zbl 0913.90136Lin, H.; Yih, Y.; Salvendy, G. 1 1995 Equilibrium electro-deformation of a surfactant-laden viscous drop. Zbl 1320.76124Nganguia, Herve; Young, Y.-N.; Vlahovska, Petia M.; Bławzdziewicz, Jerzy; Zhang, J.; Lin, H. 4 2013 A general analysis for the electrohydrodynamic instability of stratified immiscible fluids. Zbl 1241.76231Zhang, J.; Zahn, J. D.; Lin, H. 1 2011 Collective buckling of nonuniform nanobeams interacting through an elastic substrate. Zbl 1268.74024Li, Z.; Feng, K.; Yang, J. S.; Tan, L.; Lin, H. 1 2010 Hybrid simplex genetic algorithm for blind equalization using RBF networks. Zbl 1012.68159Lin, H.; Yamashita, K. 3 2002 Unique fixpoint induction for message-passing process calculi. Zbl 0998.68089Hennessy, M.; Lin, H.; Rathke, J. 3 2001 Blind equalization using parallel Bayesian decision feedback equalizer. Zbl 0978.94019Lin, H.; Yamashita, K. 2 2001 Unified analysis of complex nonlinear motions via densities. Zbl 1003.70018Yim, S. C. S.; Lin, H. 1 2001 Complete proof systems for observation congruences in finite-control \(\pi\)-calculus. Zbl 0910.03020Lin, H. 7 1998 Analysis of a nonlinear system exhibiting chaotic, noisy chaotic, and random behaviors. Zbl 0875.70115Lin, H.; Yim, S. C. S. 17 1996 Proof systems for message-passing process algebras. Zbl 0857.68040Hennessy, M.; Lin, H. 12 1996 Unified analysis of complex nonlinear motions via densities. Zbl 1045.76551Yim, S. C. S.; Lin, H. 2 1996 Symbolic bisimulations. Zbl 0874.68187Hennessy, M.; Lin, H. 54 1995 Neural-network based fault diagnosis of hydraulic forging presses in China. Zbl 0913.90136Lin, H.; Yih, Y.; Salvendy, G. 1 1995 all cited Publications top 5 cited Publications all top 5 Cited by 150 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 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 Cao, Yongzhi 1 Cattani, Gian Luca 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 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 Henrio, Ludovic 1 Higashino, Teruo 1 Hou, Zechen 1 Hu, Wei-Fan 1 Huang, Shuqin 1 Huang, Zhengli 1 Hüttel, Hans 1 Johansson, Magnus M. 1 Lai, Mingchih 1 Lai, Vincent S. 1 Lam, Jolie 1 Li, He 1 Li, Wei 1 Li, Zhoujun 1 Lin, Haibo 1 Lin, Hongyan 1 Lin, Huijia 1 Liqin, Liu 1 Liu, Di 1 Liu, Jia 1 Liu, Weiting 1 Liu, Xianbin 1 Liu, Zehong 1 Liu, Zuhua 1 Lu, Hao 1 Luo, Jie 1 Luo, Xiaoshu 1 Luttik, Bas 1 Mayya, Y. S. 1 Middelburg, Cornelis A. 1 Monroy, Raúl 1 Nakata, Akio ...and 50 more Authors all top 5 Cited in 33 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 Fluid Mechanics 3 The Journal of Logic and Algebraic Programming 2 Acta Mechanica 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 of Systems Science 1 Information Processing Letters 1 Journal of Computational Physics 1 Science of Computer Programming 1 Computers & Operations Research 1 Journal of Automated Reasoning 1 Mathematical and Computer Modelling 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 SIAM Journal on Applied Mathematics 1 Formal Methods in System Design 1 Journal of Vibration and Control 1 Chaos 1 ACM Transactions on Computational Logic 1 Science China. Information Sciences all top 5 Cited in 16 Fields 65 Computer science (68-XX) 12 Mechanics of particles and systems (70-XX) 7 Ordinary differential equations (34-XX) 7 Dynamical systems and ergodic theory (37-XX) 6 Fluid mechanics (76-XX) 4 Mathematical logic and foundations (03-XX) 4 Mechanics of deformable solids (74-XX) 3 Statistics (62-XX) 3 Operations research, mathematical programming (90-XX) 3 Information and communication theory, circuits (94-XX) 2 Numerical analysis (65-XX) 2 Quantum theory (81-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) Citations by Year