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


2021 | Preprint | IST-REx-ID: 14097 | OA
Science with the ultraviolet explorer (UVEX)
Kulkarni SR, Harrison FA, Grefenstette BW, Earnshaw HP, Andreoni I, Berg DA, Bloom JS, Cenko SB, Chornock R, Christiansen JL, Coughlin MW, Criswell AW, Darvish B, Das KK, De K, Dessart L, Dixon D, Dorsman B, Kareem El-Badry KE-B, Evans C, Ford KES, Fremling C, Gansicke BT, Gezari S, Götberg YLL, Green GM, Graham MJ, Heida M, Ho AYQ, Jaodand AD, Christopher M. Johns-Krull CMJ-K, Kasliwal MM, Lazzarini M, Lu W, Margutti R, Martin DC, Masters DC, McKernan B, Naze Y, Nissanke SM, Parazin B, Perley DA, Phinney ES, Piro AL, Raaijmakers G, Rauw G, Rodriguez AC, Sana H, Senchyna P, Singer LP, Spake JJ, Stassun KG, Stern D, Teplitz HI, Weisz DR, Yao Y. Science with the ultraviolet explorer (UVEX). arXiv, 2111.15608.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Report | IST-REx-ID: 8151
Core Project Proceedings
M. Maslov, F. Kondrashov, C. Artner, M. Hennessey-Wesen, B. Kavcic, N.N. Machnik, R.K. Satapathy, I. Tomanek, Core Project Proceedings, IST Austria, 2020.
View | Files available
 

2020 | Conference Paper | IST-REx-ID: 8571 | OA
ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics
L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 12596 | OA
Glacier runoff variations since 1955 in the Maipo River basin, in the semiarid Andes of central Chile
Á. Ayala, D. Farías-Barahona, M. Huss, F. Pellicciotti, J. McPhee, D. Farinotti, The Cryosphere 14 (2020) 2005–2027.
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 12597 | OA
Modelling spatial patterns of near-surface air temperature over a decade of melt seasons on McCall Glacier, Alaska
P. Troxler, Á. Ayala, T.E. Shaw, M. Nolan, B.W. Brock, F. Pellicciotti, Journal of Glaciology 66 (2020) 386–400.
[Published Version] View | DOI | Download Published Version (ext.)
 

2020 | Journal Article | IST-REx-ID: 12595 | OA
Seasonal dynamics of a temperate Tibetan glacier revealed by high-resolution UAV photogrammetry and in situ measurements
W. Yang, C. Zhao, M. Westoby, T. Yao, Y. Wang, F. Pellicciotti, J. Zhou, Z. He, E. Miles, Remote Sensing 12 (2020).
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Conference Paper | IST-REx-ID: 10877 | OA
ARCH-COMP19 Category Report: Hybrid systems with piecewise constant dynamics
G. Frehse, A. Abate, D. Adzkiya, A. Becchi, L. Bu, A. Cimatti, M. Giacobbe, A. Griggio, S. Mover, M.S. Mufid, I. Riouak, S. Tonetta, E. Zaffanella, in:, G. Frehse, M. Althoff (Eds.), ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, EasyChair, 2019, pp. 1–13.
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7576 | OA
ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics
F. Immler, M. Althoff, L. Benet, A. Chapoutot, X. Chen, M. Forets, L. Geretti, N. Kochdumper, D.P. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair Publications, 2019, pp. 41–61.
[Published Version] View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9805 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Thesis | IST-REx-ID: 6435 | OA
Collective defenses of garden ants against a fungal pathogen
B.E. Casillas Perez, Collective Defenses of Garden Ants against a Fungal Pathogen, Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

year%3D2015

Search

Filter Publications