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 | OA
Yang, Wei, Chuanxi Zhao, Matthew Westoby, Tandong Yao, Yongjie Wang, Francesca Pellicciotti, Jianmin Zhou, Zhen He, and Evan Miles. “Seasonal Dynamics of a Temperate Tibetan Glacier Revealed by High-Resolution UAV Photogrammetry and in Situ Measurements.” Remote Sensing. MDPI, 2020. https://doi.org/10.3390/rs12152389.
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 10877 | OA
Frehse, Goran, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, et al. “ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics.” In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, edited by Goran Frehse and Matthias Althoff, 61:1–13. EasyChair, 2019. https://doi.org/10.29007/rjwn.
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7576 | OA
Immler, Fabian, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders, and Christian Schilling. “ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In EPiC Series in Computing, 61:41–61. EasyChair Publications, 2019. https://doi.org/10.29007/m75b.
[Published Version] View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9805 | OA
Barton, Nicholas H. “Data from: The Consequences of an Introgression Event.” Dryad, 2019. https://doi.org/10.5061/dryad.2kb6fh4.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Thesis | IST-REx-ID: 6435 | OA
Casillas Perez, Barbara E. “Collective Defenses of Garden Ants against a Fungal Pathogen.” Institute of Science and Technology Austria, 2019. https://doi.org/10.15479/AT:ISTA:6435.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

year%3D2003

Search

Filter Publications