The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tian Zhao: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tian Zhao, John Tang Boyland
    Type Annotations to Improve Stack-Based Access Control. [Citation Graph (0, 0)][DBLP]
    CSFW, 2005, pp:197-210 [Conf]
  2. Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao
    Scoped Types and Aspects for Real-Time Java. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2006, pp:124-147 [Conf]
  3. Somesh Jha, Jens Palsberg, Tian Zhao
    Efficient Type Matching. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:187-204 [Conf]
  4. Jens Palsberg, Tian Zhao
    Efficient and Flexible Matching of Recursive Types. [Citation Graph (0, 0)][DBLP]
    LICS, 2000, pp:388-398 [Conf]
  5. Jens Palsberg, Tian Zhao
    Efficient Type Inference for Record Concatenation and Subtyping. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:125-136 [Conf]
  6. Tian Zhao, Jens Palsberg, Jan Vitek
    Lightweight confinement for featherweight Java. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2003, pp:135-148 [Conf]
  7. Tian Zhao, James Noble, Jan Vitek
    Scoped Types for Real-Time Java. [Citation Graph (0, 0)][DBLP]
    RTSS, 2004, pp:241-251 [Conf]
  8. Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
    Stack Size Analysis for Interrupt-Driven Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:109-126 [Conf]
  9. Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
    Stack size analysis for interrupt-driven programs. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:194, n:2, pp:144-174 [Journal]
  10. Jens Palsberg, Tian Zhao
    Efficient and Flexible Matching of Recursive Types. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2001, v:171, n:2, pp:364-387 [Journal]
  11. Jens Palsberg, Tian Zhao
    Type inference for record concatenation and subtyping. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:189, n:1, pp:54-86 [Journal]
  12. Tian Zhao, Jens Palsberg, Jan Vitek
    Type-based confinement. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:1, pp:83-128 [Journal]
  13. Jens Palsberg, Tian Zhao, Trevor Jim
    Automatic discovery of covariant read-only fields. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:1, pp:126-162 [Journal]
  14. Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao
    Scoped types and aspects for real-time Java memory management. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2007, v:37, n:1, pp:1-44 [Journal]

  15. Improve pointcut definitions with program views. [Citation Graph (, )][DBLP]


  16. Ontology-Based Geospatial Data Query and Integration. [Citation Graph (, )][DBLP]


  17. Using Semantic Inference for Software Understanding and Design Recovery. [Citation Graph (, )][DBLP]


  18. Using Ontology Reasoning for Reverse Engineering Design Patterns. [Citation Graph (, )][DBLP]


  19. ScalaQL: Language-Integrated Database Queries for Scala. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002