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.
49 Publications
2020 | Journal Article | IST-REx-ID: 12595 | 
Yang W, Zhao C, Westoby M, et al. Seasonal dynamics of a temperate Tibetan glacier revealed by high-resolution UAV photogrammetry and in situ measurements. Remote Sensing. 2020;12(15). doi:10.3390/rs12152389
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 | Conference Paper | IST-REx-ID: 10877 |
Frehse G, Abate A, Adzkiya D, et al. ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics. In: Frehse G, Althoff M, eds. ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. Vol 61. EasyChair; 2019:1-13. doi:10.29007/rjwn
[Published Version]
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 7576 |
Immler F, Althoff M, Benet L, et al. ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. In: EPiC Series in Computing. Vol 61. EasyChair Publications; 2019:41-61. doi:10.29007/m75b
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9805 |
Barton NH. Data from: The consequences of an introgression event. 2019. doi:10.5061/dryad.2kb6fh4
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Thesis | IST-REx-ID: 6435 |
Casillas Perez BE. Collective defenses of garden ants against a fungal pathogen. 2019. doi:10.15479/AT:ISTA:6435
[Published Version]
View
| Files available
| DOI