Follow
Tian Zhao
Title
Cited by
Cited by
Year
Semantic segmentation of urban buildings from VHR remote sensing imagery using a deep convolutional neural network
Y Yi, Z Zhang, W Zhang, C Zhang, W Li, T Zhao
Remote sensing 11 (15), 1774, 2019
1002019
Ontology-based geospatial data query and integration
T Zhao, C Zhang, M Wei, ZR Peng
International Conference on Geographic Information Science, 370-392, 2008
842008
Scoped types for real-time Java
T Zhao, J Noble, J Vitek
25th IEEE International Real-Time Systems Symposium, 241-251, 2004
842004
Lightweight confinement for featherweight java
T Zhao, J Palsberg, J Vitek
ACM SIGPLAN Notices 38 (11), 135-148, 2003
622003
Automatic search of geospatial features for disaster and emergency management
C Zhang, T Zhao, W Li
International Journal of Applied Earth Observation and Geoinformation 12 (6 …, 2010
552010
Towards logic-based geospatial feature discovery and integration using web feature service and geospatial semantic web
C Zhang, T Zhao, W Li, JP Osleeb
International Journal of Geographical Information Science 24 (6), 903-923, 2010
542010
Geospatial data sharing based on geospatial semantic web technologies
C Zhang, W Li, T Zhao
Journal of Spatial Science 52 (2), 35-49, 2007
512007
Stack size analysis for interrupt-driven programs
K Chatterjee, D Ma, R Majumdar, T Zhao, TA Henzinger, J Palsberg
International Static Analysis Symposium, 109-126, 2003
482003
Rule-based detection of design patterns in program code
A Alnusair, T Zhao, G Yan
International Journal on Software Tools for Technology Transfer 16 (3), 315-334, 2014
462014
The framework of a geospatial semantic web-based spatial decision support system for Digital Earth
C Zhang, T Zhao, W Li
International Journal of Digital Earth 3 (2), 111-134, 2010
442010
Scoped types and aspects for real-time Java
C Andreae, Y Coady, C Gibbs, J Noble, J Vitek, T Zhao
European Conference on Object-Oriented Programming, 124-147, 2006
422006
Scoped types and aspects for real-time Java memory management
C Andreae, Y Coady, C Gibbs, J Noble, J Vitek, T Zhao
Real-Time Systems 37 (1), 1-44, 2007
392007
Type-based confinement
T Zhao, J Palsberg, J Vitek
Journal of Functional Programming 16 (1), 83-128, 2006
372006
Component search and reuse: An ontology-based approach
A Alnusair, T Zhao
2010 IEEE International Conference on Information Reuse & Integration, 258-261, 2010
362010
Efficient and flexible matching of recursive types
J Palsberg, T Zhao
Information and Computation 171 (2), 364-387, 2001
342001
Effective API navigation and reuse
A Alnusair, T Zhao, E Bodden
2010 IEEE International Conference on Information Reuse & Integration, 7-12, 2010
282010
Implicit ownership types for memory management
T Zhao, J Baker, J Hunt, J Noble, J Vitek
Science of Computer Programming 71 (3), 213-241, 2008
282008
Efficient type matching
S Jha, J Palsberg, T Zhao
International Conference on Foundations of Software Science and Computation …, 2002
282002
Geospatial semantic web
C Zhang, T Zhao, W Li
Springer, 2015
272015
ScalaQL: Language-integrated database queries for Scala
D Spiewak, T Zhao
International Conference on Software Language Engineering, 154-163, 2009
262009
The system can't perform the operation now. Try again later.
Articles 1–20