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.

48 Publications


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
 

2018 | Journal Article | IST-REx-ID: 398
Immediate flow disruption as a prognostic factor after flow diverter treatment long term experience with the pipeline embolization device
P. Dodier, J. Frischer, W. Wang, T. Auzinger, A. Mallouhi, W. Serles, A. Gruber, E. Knosp, G. Bavinzski, World Neurosurgery 13 (2018) e568–e578.
View | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 443 | OA
Mitochondrial mutations and metabolic adaptation in pancreatic cancer
R. Hardie, E. Van Dam, M. Cowley, T. Han, S. Balaban, M. Pajic, M. Pinese, M. Iconomou, R. Shearer, J. Mckenna, D. Miller, N. Waddell, J. Pearson, S. Grimmond, L.A. Sazanov, A. Biankin, S. Villas Boas, A. Hoy, N. Turner, D. Saunders, Cancer & Metabolism 5 (2017).
[Published Version] View | Files available | DOI
 

2017 | Report | IST-REx-ID: 5450 | OA
Implementing the institutional data repository IST DataRep
B. Petritsch, Implementing the Institutional Data Repository IST DataRep, IST Austria, 2017.
View | Files available | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 807 | OA
Der Springer Compact-Deal – Ein erster Einblick in die Evaluierung einer Offsetting-Vereinbarung
M. Andrae, M. Villányi, Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen Und Bibliothekare 70 (2017) 274–280.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 8240 | OA [Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1086 | OA
Development of a human vasopressin V1a-receptor antagonist from an evolutionary-related insect neuropeptide
M. Di Giglio, M. Muttenthaler, K. Harpsøe, Z. Liutkeviciute, P. Keov, T. Eder, T. Rattei, S. Arrowsmith, S. Wray, A. Marek, T. Elbert, P. Alewood, D. Gloriam, C. Gruber, Scientific Reports 7 (2017) 41002.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 951 | OA
Local introduction and heterogeneous spatial spread of dengue-suppressing Wolbachia through an urban population of Aedes Aegypti
T. Schmidt, N.H. Barton, G. Rasic, A. Turley, B. Montgomery, I. Iturbe Ormaetxe, P. Cook, P. Ryan, S. Ritchie, A. Hoffmann, S. O’Neill, M. Turelli, PLoS Biology 15 (2017).
[Published Version] View | Files available | DOI | WoS
 

2016 | Journal Article | IST-REx-ID: 853
Metagenomic analyses of the late Pleistocene permafrost - Additional tools for reconstruction of environmental conditions
E. Rivkina, L. Petrovskaya, T. Vishnivetskaya, K. Krivushin, L. Shmakova, M. Tutukina, A. Meyers, F. Kondrashov, Biogeosciences 13 (2016) 2207–2219.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 12615
Modelling the hydrological response of debris-free and debris-covered glaciers to present climatic conditions in the semiarid Andes of central Chile
A. Ayala, F. Pellicciotti, S. MacDonell, J. McPhee, S. Vivero, C. Campos, P. Egli, Hydrological Processes 30 (2016) 4036–4058.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 12616
Estimating runoff from a glacierized catchment using natural tracers in the semi-arid Andes cordillera
M. Rodriguez, N. Ohlanders, F. Pellicciotti, M.W. Williams, J. McPhee, Hydrological Processes 30 (2016) 3609–3626.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 12617 | OA
Heterogeneous glacier thinning patterns over the last 40 years in Langtang Himal, Nepal
S. Ragettli, T. Bolch, F. Pellicciotti, The Cryosphere 10 (2016) 2075–2097.
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 11773 | OA
Ad exchange: Envy-free auctions with mediators
O. Ben-Zwi, M.H. Henzinger, V. Loitzenbauer, in:, 11th International Conference on Web and Internet Economics, Springer Nature, 2015, pp. 104–117.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 12630
Unraveling the hydrology of a Himalayan catchment through integration of high resolution in situ data and remote sensing with an advanced simulation model
S. Ragettli, F. Pellicciotti, W.W. Immerzeel, E.S. Miles, L. Petersen, M. Heynen, J.M. Shea, D. Stumm, S. Joshi, A. Shrestha, Advances in Water Resources 78 (2015) 94–111.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 12627 | OA
Satellite observations show no net change in the percentage of supraglacial debris-covered area in northern Pakistan from 1977 to 2014
S. Herreid, F. Pellicciotti, A. Ayala, A. Chesnokova, C. Kienholz, J. Shea, A. Shrestha, Journal of Glaciology 61 (2015) 524–536.
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Journal Article | IST-REx-ID: 12637 | OA
The importance of observed gradients of air temperature and precipitation for modeling runoff from a glacierized watershed in the Nepalese Himalayas
W.W. Immerzeel, L. Petersen, S. Ragettli, F. Pellicciotti, Water Resources Research 50 (2014) 2212–2226.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 1055
Bulla in the lung
B. Erne, M. Graff, W. Klemm, J.G. Danzl, G. Leschber, The Lancet 380 (2012).
View | DOI
 

Filters and Search Terms

year%3D2012

Search

Filter Publications