Efficient and Flexible Matching of Recursive Types. - Jens Palsberg; Tian Zhao 002 (Inf. Comput., 2001)

Efficient Type Matching. - Somesh Jha; Jens Palsberg; Tian Zhao 002 (FoSSaCS, 2002)

Efficient Type Inference for Record Concatenation and Subtyping. - Jens Palsberg; Tian Zhao 002 (LICS, 2002)

Type matching and type inference for object-oriented systems - Tian Zhao 002 (2002)

Lightweight confinement for featherweight Java. - Tian Zhao 002; Jens Palsberg; Jan Vitek (OOPSLA, 2003)

Scoped Types for Real-Time Java. - Tian Zhao 002; James Noble 001; Jan Vitek (RTSS, 2004)

Stack size analysis for interrupt-driven programs. - Krishnendu Chatterjee; Di Ma; Rupak Majumdar; Tian Zhao 002; Thomas A. Henzinger; Jens Palsberg (Inf. Comput., 2004)

Type inference for record concatenation and subtyping. - Jens Palsberg; Tian Zhao 002 (Inf. Comput., 2004)

Automatic discovery of covariant read-only fields. - Jens Palsberg; Tian Zhao 002; Trevor Jim (ACM Trans. Program. Lang. Syst., 2005)

Scoped Types and Aspects for Real-Time Java. - Chris Andreae; Yvonne Coady; Celina Gibbs; James Noble 001; Jan Vitek; Tian Zhao 002 (ECOOP, 2006)

Type-based confinement. - Tian Zhao 002; Jens Palsberg; Jan Vitek (J. Funct. Program., 2006)

Scoped types and aspects for real-time Java memory management. - Chris Andreae; Yvonne Coady; Celina Gibbs; James Noble 001; Jan Vitek; Tian Zhao 002 (Real Time Syst., 2007)

Ontology-Based Geospatial Data Query and Integration. - Tian Zhao 002; Chuanrong Zhang; Mingzhen Wei; Zhong-Ren Peng (GIScience, 2008)

Implicit ownership types for memory management. - Tian Zhao 002; Jason Baker; James Hunt; James Noble 001; Jan Vitek (Sci. Comput. Program., 2008)

Using Ontology Reasoning for Reverse Engineering Design Patterns. - Awny Alnusair; Tian Zhao 002 (MoDELS (Workshops), 2009)

Towards a Model-driven Approach for Reverse Engineering Design Patterns. - Awny Alnusair; Tian Zhao 002 (TWOMDE@MoDELS, 2009)

ScalaQL: Language-Integrated Database Queries for Scala. - Daniel Spiewak; Tian Zhao 002 (SLE, 2009)

Method Proxy-Based AOP in Scala. - Daniel Spiewak; Tian Zhao 002 (J. Object Technol., 2009)

Component search and reuse: An ontology-based approach. - Awny Alnusair; Tian Zhao 002 (IRI, 2010)

Effective API navigation and reuse. - Awny Alnusair; Tian Zhao 002; Eric Bodden (IRI, 2010)

Using Semantic Inference for Software Understanding and Design Recovery. - Awny Alnusair; Tian Zhao 002 (ITNG, 2010)

Automatic search of geospatial features for disaster and emergency management. - Chuanrong Zhang; Tian Zhao 002; Weidong Li 003 (Int. J. Appl. Earth Obs. Geoinformation, 2010)

The framework of a geospatial semantic web-based spatial decision support system for Digital Earth. - Chuanrong Zhang; Tian Zhao 002; Weidong Li 003 (Int. J. Digit. Earth, 2010)

Towards logic-based geospatial feature discovery and integration using web feature service and geospatial semantic web. - Chuanrong Zhang; Tian Zhao 002; Weidong Li 003; Jeffrey P. Osleeb (Int. J. Geogr. Inf. Sci., 2010)

Polymorphic type inference for scripting languages with object extensions. - Tian Zhao 002 (DLS, 2011)

Automatic recognition of design motifs using semantic conditions. - Awny Alnusair; Tian Zhao 002; Gongjun Yan (SAC, 2013)

Towards Improving Query Performance of Web Feature Services (WFS) for Disaster Response. - Chuanrong Zhang; Tian Zhao 002; Weidong Li 003 (ISPRS Int. J. Geo Inf., 2013)

Rule-based detection of design patterns in program code. - Awny Alnusair; Tian Zhao 002; Gongjun Yan (Int. J. Softw. Tools Technol. Transf., 2014)

A parallel approach for improving Geo-SPARQL query performance. - Tian Zhao 002; Chuanrong Zhang; Luc Anselin; Weidong Li 003; Ke Chen 011 (Int. J. Digit. Earth, 2015)

A Map-Reduce based parallel approach for improving query performance in a geospatial semantic web for disaster response. - Chuanrong Zhang; Tian Zhao 002; Luc Anselin; Weidong Li 003; Ke Chen 011 (Earth Sci. Informatics, 2015)

Arrows in Commercial Web Applications. - Eric Fritz; Jose Antony; Tian Zhao 002 (HotWeb, 2016)

Adaptive and Optimized RDF Query Interface for Distributed WFS Data. - Tian Zhao 002; Chuanrong Zhang; Weidong Li 003 (ISPRS Int. J. Geo Inf., 2017)

Typing and semantics of asynchronous arrows in JavaScript. - Eric Fritz; Tian Zhao 002 (Sci. Comput. Program., 2017)

Scalable Spatial Join for WFS Clients (Short Paper). - Tian Zhao 002; Chuanrong Zhang; Zhijie Zhang 002 (GIScience, 2018)

Concurrency control of JavaScript with arrows. - Tian Zhao 002; Adam Berger; Yonglun Li (REBLS@SPLASH, 2019)

Parallel computing solutions for Markov chain spatial sequential simulation of categorical fields. - Weixing Zhang; Weidong Li 003; Chuanrong Zhang; Tian Zhao 002 (Int. J. Digit. Earth, 2019)

Semantic Segmentation of Urban Buildings from VHR Remote Sensing Imagery Using a Deep Convolutional Neural Network. - Yaning Yi; Zhijie Zhang 002; Wanchang Zhang 001; Chuanrong Zhang; Weidong Li 003; Tian Zhao 002 (Remote. Sens., 2019)

Asynchronous monad for reactive IoT programming. - Tian Zhao 002; Adam Berger; Yonglun Li (REBLS@SPLASH, 2020)

Improving geospatial query performance of an interoperable geographic situation-awareness system for disaster response. - Chuanrong Zhang; Tian Zhao 002; E. Lynn Usery; Dalia Varanka; Wei Li (Trans. GIS, 2020)

A concurrency model for JavaScript with cooperative cancellation. - Tian Zhao 002; Yonglun Li (SLE, 2021)

Semantics of RxJS. - Tian Zhao 002; Yonglun Li (REBLS@SPLASH, 2022)