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
2122019
Ontology-based geospatial data query and integration
T Zhao, C Zhang, M Wei, ZR Peng
Geographic Information Science: 5th International Conference, GIScience 2008 …, 2008
852008
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
642003
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
602010
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
592010
Geospatial data sharing based on geospatial semantic web technologies
C Zhang, W Li, T Zhao
Journal of Spatial Science 52 (2), 35-49, 2007
532007
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
502010
Rule-based detection of design patterns in program code
A Alnusair, T Zhao, G Yan
International Journal on Software Tools for Technology Transfer 16, 315-334, 2014
492014
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
Component search and reuse: An ontology-based approach
A Alnusair, T Zhao
2010 IEEE International Conference on Information Reuse & Integration, 258-261, 2010
412010
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-44, 2007
412007
Scoped types and aspects for real-time Java
C Andreae, Y Coady, C Gibbs, J Noble, J Vitek, T Zhao
ECOOP 2006–Object-Oriented Programming: 20th European Conference, Nantes …, 2006
412006
A review of application of machine learning in design, synthesis, and characterization of metal matrix composites: current status and emerging applications
A Kordijazi, T Zhao, J Zhang, K Alrfou, P Rohatgi
Jom 73 (7), 2060-2074, 2021
402021
Type-based confinement
T Zhao, J Palsberg, J Vitek
Journal of Functional Programming 16 (1), 83-128, 2006
382006
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
332010
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
322008
Geospatial semantic web
C Zhang, T Zhao, W Li
Springer, 2015
312015
Efficient type matching
S Jha, J Palsberg, T Zhao
International Conference on Foundations of Software Science and Computation …, 2002
282002
The system can't perform the operation now. Try again later.
Articles 1–20