Edit Profile Zhao, Tian Compute Distance To: Compute Author ID: zhao.tian Published as: Zhao, T.; Zhao, Tian Documents Indexed: 22 Publications since 1995 all top 5 Co-Authors 1 single-authored 6 Palsberg, Jens 3 Vitek, Jan 3 Zhang, Fengqin 2 Chatterjee, Krishnendu 2 Henzinger, Thomas A. 2 Liu, Hanwu 2 Ma, Di 2 Majumdar, Rupak 2 Noble, James S. 1 Andreae, Chris 1 Baker, Jason 1 Chen, Yuming 1 Coady, Yvonne 1 Gibbs, Celina 1 Hunt, James W. 1 Jha, Somesh 1 Li, Jianquan 1 Tian, Wei 1 Yang, Zhichun all top 5 Serials 3 Information and Computation 1 Science of Computer Programming 1 Mathematics in Practice and Theory 1 Applied Mathematics Letters 1 Real-Time Systems 1 Journal of Functional Programming 1 Mathematical Problems in Engineering 1 Quantitative Finance 1 Chinese Journal of Engineering Mathematics Fields 8 Computer science (68-XX) 3 Ordinary differential equations (34-XX) 3 Biology and other natural sciences (92-XX) 1 Mechanics of deformable solids (74-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 9 Publications have been cited 19 times in 16 Documents Cited by ▼ Year ▼ A numerical solution of laminar forced convection in a heated pipe subjected to a reciprocating flow. Zbl 0923.76301Zhao, T.; Cheng, P. 5 1995 Efficient and flexible matching of recursive types. Zbl 1005.68043Palsberg, Jens; Zhao, Tian 4 2001 Scoped types and aspects for real-time Java memory management. Zbl 1127.68015Andreae, Chris; Coady, Yvonne; Gibbs, Celina; Noble, James; Vitek, Jan; Zhao, Tian 3 2007 Stack size analysis for interrupt-driven programs. Zbl 1090.68024Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens 2 2004 Backward bifurcation in a stage-structured epidemic model. Zbl 1407.92135Zhang, Fengqin; Zhao, Tian; Liu, Hanwu; Chen, Yuming 1 2019 Firm size, information acquisition and price efficiency. Zbl 1279.91197Zhao, Tian 1 2012 Type-based confinement. Zbl 1091.68021Zhao, Tian; Palsberg, Jens; Vitek, Jan 1 2006 Stack size analysis for interrupt-driven programs. Zbl 1067.68539Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens 1 2003 Efficient type matching. Zbl 1077.68608Jha, Somesh; Palsberg, Jens; Zhao, Tian 1 2002 Backward bifurcation in a stage-structured epidemic model. Zbl 1407.92135Zhang, Fengqin; Zhao, Tian; Liu, Hanwu; Chen, Yuming 1 2019 Firm size, information acquisition and price efficiency. Zbl 1279.91197Zhao, Tian 1 2012 Scoped types and aspects for real-time Java memory management. Zbl 1127.68015Andreae, Chris; Coady, Yvonne; Gibbs, Celina; Noble, James; Vitek, Jan; Zhao, Tian 3 2007 Type-based confinement. Zbl 1091.68021Zhao, Tian; Palsberg, Jens; Vitek, Jan 1 2006 Stack size analysis for interrupt-driven programs. Zbl 1090.68024Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens 2 2004 Stack size analysis for interrupt-driven programs. Zbl 1067.68539Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens 1 2003 Efficient type matching. Zbl 1077.68608Jha, Somesh; Palsberg, Jens; Zhao, Tian 1 2002 Efficient and flexible matching of recursive types. Zbl 1005.68043Palsberg, Jens; Zhao, Tian 4 2001 A numerical solution of laminar forced convection in a heated pipe subjected to a reciprocating flow. Zbl 0923.76301Zhao, T.; Cheng, P. 5 1995 all cited Publications top 5 cited Publications all top 5 Cited by 42 Authors 3 Bonelli, Eduardo 3 Viso, Andrés 2 Abdulhameed, M. 2 Ayala-Rincón, Mauricio 2 Edi, Juan 2 Roslan, Rozaini 2 Shafie, Sharidan 2 Vieru, Dumitru 1 Ahern, Alexander 1 Akdag, Unal 1 Alur, Rajeev 1 Andreae, Chris 1 Ashwin, T. R. 1 Bouajjani, Ahmed 1 Bozzelli, Laura 1 Coady, Yvonne 1 Cunningham, Dave 1 Dietl, Werner 1 Drossopoulou, Sophia Chloe 1 Esparza, Javier 1 Francalanza, Adrian 1 Gibbs, Celina 1 He, Yanling 1 Jacob, Subhash 1 Jiao, Jianjun 1 Kontonikas, Alexandros 1 Li, Limei 1 Liu, Zuozhi 1 Müller, Peter 1 Narasimham, G. S. V. L. 1 Nie, Xingyi 1 Noble, James S. 1 Özgüç, A. Feridun 1 Schubert, Aleksy 1 Summers, Alexander J. 1 Tang, Guanhua 1 Tao, Wen-Qing 1 Vitek, Jan 1 Wang, Yalan 1 Yoshida, Nobuko 1 Zekaite, Zivile 1 Zhao, Tian all top 5 Cited in 9 Serials 2 International Journal of Heat and Mass Transfer 2 Theoretical Computer Science 1 Meccanica 1 Applied Mathematics Letters 1 Computational Mathematics and Modeling 1 Real-Time Systems 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Modern Physics C 1 Quantitative Finance all top 5 Cited in 9 Fields 9 Computer science (68-XX) 5 Fluid mechanics (76-XX) 3 Mathematical logic and foundations (03-XX) 3 Classical thermodynamics, heat transfer (80-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Biology and other natural sciences (92-XX) Citations by Year