Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
3 Publications
2023 |
Published |
Journal Article |
IST-REx-ID: 22534
Satellite‐based evidence highlights a considerable increase of urban tree cooling benefits from 2000 to 2015
J. Zhao, X. Zhao, D. Wu, N. Meili, S. Fatichi, Global Change Biology 29 (2023) 3085–3097.
View
| DOI
| PubMed | Europe PMC
J. Zhao, X. Zhao, D. Wu, N. Meili, S. Fatichi, Global Change Biology 29 (2023) 3085–3097.
2021 |
Published |
Journal Article |
IST-REx-ID: 9827 |
Concurrent linearizable nearest neighbour search in LockFree-kD-tree
B. Chatterjee, I. Walulya, P. Tsigas, Theoretical Computer Science 886 (2021) 27–48.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
B. Chatterjee, I. Walulya, P. Tsigas, Theoretical Computer Science 886 (2021) 27–48.
2015 |
Research Data |
IST-REx-ID: 5549 |
Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
A. Fellner, (2015).
[Published Version]
View
| Files available
| DOI
A. Fellner, (2015).