default search action
Tian Zhao 0002
Person information
- affiliation: University of Wisconsin, Milwaukee, WI, USA
Other persons with the same name
- Tian Zhao (aka: Zhao Tian) — disambiguation page
- Tian Zhao 0001 — Stanford University, CA, USA
- Tian Zhao 0003 — Dartmouth College, Hanover, NH, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c22]Tian Zhao, Yonglun Li:
Semantics of RxJS. REBLS@SPLASH 2022: 37-49 - 2021
- [c21]Tian Zhao, Yonglun Li:
A concurrency model for JavaScript with cooperative cancellation. SLE 2021: 55-67 - 2020
- [j20]Chuanrong Zhang
, Tian Zhao, E. Lynn Usery, Dalia Varanka, Wei Li:
Improving geospatial query performance of an interoperable geographic situation-awareness system for disaster response. Trans. GIS 24(2): 508-525 (2020) - [c20]Tian Zhao, Adam Berger, Yonglun Li:
Asynchronous monad for reactive IoT programming. REBLS@SPLASH 2020: 25-37
2010 – 2019
- 2019
- [j19]Weixing Zhang
Parallel computing solutions for Markov chain spatial sequential simulation of categorical fields. Int. J. Digit. Earth 12(5): 566-582 (2019) - [j18]Yaning Yi
Semantic Segmentation of Urban Buildings from VHR Remote Sensing Imagery Using a Deep Convolutional Neural Network. Remote. Sens. 11(15): 1774 (2019) - [c19]Tian Zhao, Adam Berger, Yonglun Li:
Concurrency control of JavaScript with arrows. REBLS@SPLASH 2019: 1-10 - 2018
- [c18]Tian Zhao, Chuanrong Zhang, Zhijie Zhang:
Scalable Spatial Join for WFS Clients (Short Paper). GIScience 2018: 72:1-72:6 - 2017
- [j17]Tian Zhao, Chuanrong Zhang
Adaptive and Optimized RDF Query Interface for Distributed WFS Data. ISPRS Int. J. Geo Inf. 6(4): 108 (2017) - [j16]Eric Fritz, Tian Zhao:
Typing and semantics of asynchronous arrows in JavaScript. Sci. Comput. Program. 141-142: 1-39 (2017) - 2016
- [c17]Eric Fritz, Jose Antony, Tian Zhao:
Arrows in Commercial Web Applications. HotWeb 2016: 60-65 - 2015
- [j15]Tian Zhao, Chuanrong Zhang, Luc Anselin, Weidong Li, Ke Chen
A parallel approach for improving Geo-SPARQL query performance. Int. J. Digit. Earth 8(5): 383-402 (2015) - [j14]Chuanrong Zhang, Tian Zhao, Luc Anselin, Weidong Li, Ke Chen
A Map-Reduce based parallel approach for improving query performance in a geospatial semantic web for disaster response. Earth Sci. Informatics 8(3): 499-509 (2015) - 2014
- [j13]Awny Alnusair, Tian Zhao, Gongjun Yan:
Rule-based detection of design patterns in program code. Int. J. Softw. Tools Technol. Transf. 16(3): 315-334 (2014) - 2013
- [j12]Chuanrong Zhang
Towards Improving Query Performance of Web Feature Services (WFS) for Disaster Response. ISPRS Int. J. Geo Inf. 2(1): 67-81 (2013) - [c16]Awny Alnusair, Tian Zhao, Gongjun Yan:
Automatic recognition of design motifs using semantic conditions. SAC 2013: 1062-1067 - 2011
- [c15]Tian Zhao:
Polymorphic type inference for scripting languages with object extensions. DLS 2011: 37-50 - 2010
- [j11]Chuanrong Zhang, Tian Zhao, Weidong Li
Automatic search of geospatial features for disaster and emergency management. Int. J. Appl. Earth Obs. Geoinformation 12(6): 409-418 (2010) - [j10]Chuanrong Zhang, Tian Zhao, Weidong Li
The framework of a geospatial semantic web-based spatial decision support system for Digital Earth. Int. J. Digit. Earth 3(2): 111-134 (2010) - [j9]Chuanrong Zhang, Tian Zhao, Weidong Li
Towards logic-based geospatial feature discovery and integration using web feature service and geospatial semantic web. Int. J. Geogr. Inf. Sci. 24(6): 903-923 (2010) - [c14]Awny Alnusair, Tian Zhao, Eric Bodden
Effective API navigation and reuse. IRI 2010: 7-12 - [c13]Awny Alnusair, Tian Zhao:
Component search and reuse: An ontology-based approach. IRI 2010: 258-261 - [c12]Awny Alnusair, Tian Zhao:
Using Semantic Inference for Software Understanding and Design Recovery. ITNG 2010: 980-985
2000 – 2009
- 2009
- [j8]Daniel Spiewak, Tian Zhao:
Method Proxy-Based AOP in Scala. J. Object Technol. 8(7): 149-169 (2009) - [c11]Awny Alnusair, Tian Zhao:
Using Ontology Reasoning for Reverse Engineering Design Patterns. MoDELS (Workshops) 2009: 344-358 - [c10]Awny Alnusair, Tian Zhao:
Towards a Model-driven Approach for Reverse Engineering Design Patterns. TWOMDE@MoDELS 2009 - [c9]Daniel Spiewak, Tian Zhao:
ScalaQL: Language-Integrated Database Queries for Scala. SLE 2009: 154-163 - 2008
- [j7]Tian Zhao, Jason Baker, James Hunt, James Noble
Implicit ownership types for memory management. Sci. Comput. Program. 71(3): 213-241 (2008) - [c8]Tian Zhao, Chuanrong Zhang, Mingzhen Wei, Zhong-Ren Peng:
Ontology-Based Geospatial Data Query and Integration. GIScience 2008: 370-392 - 2007
- [j6]Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble
Scoped types and aspects for real-time Java memory management. Real Time Syst. 37(1): 1-44 (2007) - 2006
- [j5]Tian Zhao, Jens Palsberg, Jan Vitek:
Type-based confinement. J. Funct. Program. 16(1): 83-128 (2006) - [c7]Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble
Scoped Types and Aspects for Real-Time Java. ECOOP 2006: 124-147 - 2005
- [j4]Jens Palsberg, Tian Zhao, Trevor Jim:
Automatic discovery of covariant read-only fields. ACM Trans. Program. Lang. Syst. 27(1): 126-162 (2005) - 2004
- [j3]Jens Palsberg, Tian Zhao:
Type inference for record concatenation and subtyping. Inf. Comput. 189(1): 54-86 (2004) - [j2]Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg:
Stack size analysis for interrupt-driven programs. Inf. Comput. 194(2): 144-174 (2004) - [c6]Tian Zhao, James Noble
Scoped Types for Real-Time Java. RTSS 2004: 241-251 - 2003
- [c5]Tian Zhao, Jens Palsberg, Jan Vitek:
Lightweight confinement for featherweight Java. OOPSLA 2003: 135-148 - [c4]Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg:
Stack Size Analysis for Interrupt-Driven Programs. SAS 2003: 109-126 - 2002
- [b1]Tian Zhao:
Type matching and type inference for object-oriented systems. Purdue University, USA, 2002 - [c3]Somesh Jha, Jens Palsberg, Tian Zhao:
Efficient Type Matching. FoSSaCS 2002: 187-204 - [c2]Jens Palsberg, Tian Zhao:
Efficient Type Inference for Record Concatenation and Subtyping. LICS 2002: 125-136 - 2001
- [j1]Jens Palsberg, Tian Zhao:
Efficient and Flexible Matching of Recursive Types. Inf. Comput. 171(2): 364-387 (2001) - 2000
- [c1]Jens Palsberg, Tian Zhao:
Efficient and Flexible Matching of Recursive Types. LICS 2000: 388-398
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-06 21:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: