DOI,IST REx ID,Title of publication
10.1111/gcb.16667,22534,"Satellite‐based evidence highlights a considerable increase of urban tree cooling benefits from 2000 to 2015"
10.1016/j.tcs.2021.06.041,9827,Concurrent linearizable nearest neighbour search in LockFree-kD-tree
10.15479/AT:ISTA:28,5549,Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes