×

zbMATH — the first resource for mathematics

Zhao, Tian

Compute Distance To:
Author ID: zhao.tian Recent zbMATH articles by "Zhao, Tian"
Published as: Zhao, T.; Zhao, Tian
Documents Indexed: 22 Publications since 1995

Publications by Year

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.76301
Zhao, T.; Cheng, P.
5
1995
Efficient and flexible matching of recursive types. Zbl 1005.68043
Palsberg, Jens; Zhao, Tian
4
2001
Scoped types and aspects for real-time Java memory management. Zbl 1127.68015
Andreae, Chris; Coady, Yvonne; Gibbs, Celina; Noble, James; Vitek, Jan; Zhao, Tian
3
2007
Stack size analysis for interrupt-driven programs. Zbl 1090.68024
Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens
2
2004
Backward bifurcation in a stage-structured epidemic model. Zbl 1407.92135
Zhang, Fengqin; Zhao, Tian; Liu, Hanwu; Chen, Yuming
1
2019
Firm size, information acquisition and price efficiency. Zbl 1279.91197
Zhao, Tian
1
2012
Type-based confinement. Zbl 1091.68021
Zhao, Tian; Palsberg, Jens; Vitek, Jan
1
2006
Stack size analysis for interrupt-driven programs. Zbl 1067.68539
Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens
1
2003
Efficient type matching. Zbl 1077.68608
Jha, Somesh; Palsberg, Jens; Zhao, Tian
1
2002
Backward bifurcation in a stage-structured epidemic model. Zbl 1407.92135
Zhang, Fengqin; Zhao, Tian; Liu, Hanwu; Chen, Yuming
1
2019
Firm size, information acquisition and price efficiency. Zbl 1279.91197
Zhao, Tian
1
2012
Scoped types and aspects for real-time Java memory management. Zbl 1127.68015
Andreae, Chris; Coady, Yvonne; Gibbs, Celina; Noble, James; Vitek, Jan; Zhao, Tian
3
2007
Type-based confinement. Zbl 1091.68021
Zhao, Tian; Palsberg, Jens; Vitek, Jan
1
2006
Stack size analysis for interrupt-driven programs. Zbl 1090.68024
Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens
2
2004
Stack size analysis for interrupt-driven programs. Zbl 1067.68539
Chatterjee, Krishnendu; Ma, Di; Majumdar, Rupak; Zhao, Tian; Henzinger, Thomas A.; Palsberg, Jens
1
2003
Efficient type matching. Zbl 1077.68608
Jha, Somesh; Palsberg, Jens; Zhao, Tian
1
2002
Efficient and flexible matching of recursive types. Zbl 1005.68043
Palsberg, Jens; Zhao, Tian
4
2001
A numerical solution of laminar forced convection in a heated pipe subjected to a reciprocating flow. Zbl 0923.76301
Zhao, T.; Cheng, P.
5
1995

Citations by Year