MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Tian Zhao" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 10 documents found, showing 1 through 10.
ATOM RSS
  • Scoped types for real-time Java  
  • by Tian Zhao — 2004 — In Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS04
  • …Scoped Types for Real-time Java Tian Zhao University of Wisconsin – Milwaukee Abstract— A memory…
  • Cited by 19 (8 self) – Add To MetaCart
  • Lightweight Confinement for Featherweight Java  
  • by Tian Zhao, Jens Palsberg, Jan Vitek — 2003 — In Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA’03
  • …Lightweight Confinement for Featherweight Java Tian Zhao Jens Palsberg † Jan Vitek † University…
  • Cited by 27 (1 self) – Add To MetaCart
  • Efficient Type Matching  
  • by Somesh Jha, Jens Palsberg, Tian Zhao — 2001
  • …## Tian Zhao Purdue University## September 21, 2001 Abstract Palsberg and Zhao [14] presented an O(n2…
  • Cited by 3 (0 self) – Add To MetaCart
  • Scoped types and aspects for real-time Java  
  • by Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao — 2006 — In Proceedings of the European Conference on Object-Oriented Programming (ECOOP 2006
  • … , James Noble 3 , Jan Vitek 4 , Tian Zhao 2 (1) University of Victoria, CA. (2) University of Wisconsin…
  • Cited by 12 (3 self) – Add To MetaCart
  • Stack size analysis for interrupt-driven programs  
  • by Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg — 2003 — In Proceedings of the 10th International Symposium on Static Analysis, volume LNCS 2694
  • … Majumdar 1 , Tian Zhao 3 , Thomas A. Henzinger 1 , and Jens Palsberg 2 1 University of California, Berkeley…
  • Cited by 14 (0 self) – Add To MetaCart
  • Stack Size Analysis  
  • by For Interrupt-Driven Programs, Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg — 2003 — In Proceedings of the 10th International Symposium on Static Analysis, volume LNCS 2694
  • … Majumdar 1 , Tian Zhao 3 , Thomas A. Henzinger 1 , and Jens Palsberg 2 1 University of California, Berkeley…
  • Add To MetaCart
Help! Showing 1 through 10.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB