|
Search the dblp DataBase
Tian Zhao:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tian Zhao, John Tang Boyland
Type Annotations to Improve Stack-Based Access Control. [Citation Graph (0, 0)][DBLP] CSFW, 2005, pp:197-210 [Conf]
- 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]
- Somesh Jha, Jens Palsberg, Tian Zhao
Efficient Type Matching. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2002, pp:187-204 [Conf]
- Jens Palsberg, Tian Zhao
Efficient and Flexible Matching of Recursive Types. [Citation Graph (0, 0)][DBLP] LICS, 2000, pp:388-398 [Conf]
- Jens Palsberg, Tian Zhao
Efficient Type Inference for Record Concatenation and Subtyping. [Citation Graph (0, 0)][DBLP] LICS, 2002, pp:125-136 [Conf]
- Tian Zhao, Jens Palsberg, Jan Vitek
Lightweight confinement for featherweight Java. [Citation Graph (0, 0)][DBLP] OOPSLA, 2003, pp:135-148 [Conf]
- Tian Zhao, James Noble, Jan Vitek
Scoped Types for Real-Time Java. [Citation Graph (0, 0)][DBLP] RTSS, 2004, pp:241-251 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
Improve pointcut definitions with program views. [Citation Graph (, )][DBLP]
Ontology-Based Geospatial Data Query and Integration. [Citation Graph (, )][DBLP]
Using Semantic Inference for Software Understanding and Design Recovery. [Citation Graph (, )][DBLP]
Using Ontology Reasoning for Reverse Engineering Design Patterns. [Citation Graph (, )][DBLP]
ScalaQL: Language-Integrated Database Queries for Scala. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|