Tian Zhao

43 papers A* 2A 3B 4C 1Misc 3Journal 20Unranked 9
YearRankTypeTitle / Venue / Authors
2022 — conf
Semantics of RxJS.
REBLS@SPLASH
Tian Zhao, Yonglun Li
2021 B conf
A concurrency model for JavaScript with cooperative cancellation.
SLE
Tian Zhao, Yonglun Li
2020 — conf
Asynchronous monad for reactive IoT programming.
REBLS@SPLASH
Tian Zhao, Adam Berger, Yonglun Li
2020 J jnl
Improving geospatial query performance of an interoperable geographic situation-awareness system for disaster response.
Trans. GIS
Chuanrong Zhang, Tian Zhao, E. Lynn Usery, Dalia Varanka, Wei Li
2019 — conf
Concurrency control of JavaScript with arrows.
REBLS@SPLASH
Tian Zhao, Adam Berger, Yonglun Li
2019 J jnl
Parallel computing solutions for Markov chain spatial sequential simulation of categorical fields.
Int. J. Digit. Earth
Weixing Zhang, Weidong Li, Chuanrong Zhang, Tian Zhao
2019 J jnl
Semantic Segmentation of Urban Buildings from VHR Remote Sensing Imagery Using a Deep Convolutional Neural Network.
Remote. Sens.
Yaning Yi, Zhijie Zhang, Wanchang Zhang, Chuanrong Zhang, Weidong Li, Tian Zhao
2018 — conf
Scalable Spatial Join for WFS Clients (Short Paper).
GIScience
Tian Zhao, Chuanrong Zhang, Zhijie Zhang
2017 J jnl
Adaptive and Optimized RDF Query Interface for Distributed WFS Data.
ISPRS Int. J. Geo Inf.
Tian Zhao, Chuanrong Zhang, Weidong Li
2017 J jnl
Typing and semantics of asynchronous arrows in JavaScript.
Sci. Comput. Program.
Eric Fritz, Tian Zhao
2016 — conf
Arrows in Commercial Web Applications.
HotWeb
Eric Fritz, Jose Antony, Tian Zhao
2015 J jnl
A Map-Reduce based parallel approach for improving query performance in a geospatial semantic web for disaster response.
Earth Sci. Informatics
Chuanrong Zhang, Tian Zhao, Luc Anselin, Weidong Li, Ke Chen
2015 J jnl
A parallel approach for improving Geo-SPARQL query performance.
Int. J. Digit. Earth
Tian Zhao, Chuanrong Zhang, Luc Anselin, Weidong Li, Ke Chen
2014 J jnl
Rule-based detection of design patterns in program code.
Int. J. Softw. Tools Technol. Transf.
Awny Alnusair, Tian Zhao, Gongjun Yan
2013 Misc conf
Automatic recognition of design motifs using semantic conditions.
SAC
Awny Alnusair, Tian Zhao, Gongjun Yan
2013 J jnl
Towards Improving Query Performance of Web Feature Services (WFS) for Disaster Response.
ISPRS Int. J. Geo Inf.
Chuanrong Zhang, Tian Zhao, Weidong Li
2011 C conf
Polymorphic type inference for scripting languages with object extensions.
DLS
Tian Zhao
2010 J jnl
Automatic search of geospatial features for disaster and emergency management.
Int. J. Appl. Earth Obs. Geoinformation
Chuanrong Zhang, Tian Zhao, Weidong Li
2010 Misc conf
Component search and reuse: An ontology-based approach.
IRI
Awny Alnusair, Tian Zhao
2010 Misc conf
Effective API navigation and reuse.
IRI
Awny Alnusair, Tian Zhao, Eric Bodden
2010 J jnl
The framework of a geospatial semantic web-based spatial decision support system for Digital Earth.
Int. J. Digit. Earth
Chuanrong Zhang, Tian Zhao, Weidong Li
2010 J jnl
Towards logic-based geospatial feature discovery and integration using web feature service and geospatial semantic web.
Int. J. Geogr. Inf. Sci.
Chuanrong Zhang, Tian Zhao, Weidong Li, Jeffrey P. Osleeb
2010 — conf
Using Semantic Inference for Software Understanding and Design Recovery.
ITNG
Awny Alnusair, Tian Zhao
2009 J jnl
Method Proxy-Based AOP in Scala.
J. Object Technol.
Daniel Spiewak, Tian Zhao
2009 B conf
ScalaQL: Language-Integrated Database Queries for Scala.
SLE
Daniel Spiewak, Tian Zhao
2009 — conf
Towards a Model-driven Approach for Reverse Engineering Design Patterns.
TWOMDE@MoDELS
Awny Alnusair, Tian Zhao
2009 — conf
Using Ontology Reasoning for Reverse Engineering Design Patterns.
MoDELS (Workshops)
Awny Alnusair, Tian Zhao
2008 J jnl
Implicit ownership types for memory management.
Sci. Comput. Program.
Tian Zhao, Jason Baker, James Hunt, James Noble, Jan Vitek
2008 — conf
Ontology-Based Geospatial Data Query and Integration.
GIScience
Tian Zhao, Chuanrong Zhang, Mingzhen Wei, Zhong-Ren Peng
2007 J jnl
Scoped types and aspects for real-time Java memory management.
Real Time Syst.
Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao
2006 A conf
Scoped Types and Aspects for Real-Time Java.
ECOOP
Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao
2006 J jnl
Type-based confinement.
J. Funct. Program.
Tian Zhao, Jens Palsberg, Jan Vitek
2005 J jnl
Automatic discovery of covariant read-only fields.
ACM Trans. Program. Lang. Syst.
Jens Palsberg, Tian Zhao, Trevor Jim
2004 A conf
Scoped Types for Real-Time Java.
RTSS
Tian Zhao, James Noble, Jan Vitek
2004 J jnl
Stack size analysis for interrupt-driven programs.
Inf. Comput.
Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
2004 J jnl
Type inference for record concatenation and subtyping.
Inf. Comput.
Jens Palsberg, Tian Zhao
2003 A conf
Lightweight confinement for featherweight Java.
OOPSLA
Tian Zhao, Jens Palsberg, Jan Vitek
2003 B conf
Stack Size Analysis for Interrupt-Driven Programs.
SAS
Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
2002 A* conf
Efficient Type Inference for Record Concatenation and Subtyping.
LICS
Jens Palsberg, Tian Zhao
2002 B conf
Efficient Type Matching.
FoSSaCS
Somesh Jha, Jens Palsberg, Tian Zhao
2002 — —
Type matching and type inference for object-oriented systems
Tian Zhao
2001 J jnl
Efficient and Flexible Matching of Recursive Types.
Inf. Comput.
Jens Palsberg, Tian Zhao
2000 A* conf
Efficient and Flexible Matching of Recursive Types.
LICS
Jens Palsberg, Tian Zhao