The following pages link to Tian Zhao (Q703847):
Displayed 12 items.
- Stack size analysis for interrupt-driven programs (Q703848) (← links)
- Scoped types and aspects for real-time Java memory management (Q995820) (← links)
- Backward bifurcation in a stage-structured epidemic model (Q1726567) (← links)
- Efficient and flexible matching of recursive types (Q1854490) (← links)
- Type inference for record concatenation and subtyping (Q1887147) (← links)
- Analysis of nonlinear vibrations and dynamic responses in a trapezoidal cantilever plate using the Rayleigh-Ritz approach combined with the affine transformation (Q2298975) (← links)
- (Q3175910) (← links)
- (Q4738226) (← links)
- (Q4813395) (← links)
- (Q5198339) (← links)
- Type-based confinement (Q5717309) (← links)
- Firm size, information acquisition and price efficiency (Q5745632) (← links)