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.

5770 Publications


2016 | Journal Article | IST-REx-ID: 12625 | OA
Kraaijenbrink P, Meijer SW, Shea JM, Pellicciotti F, De Jong SM, Immerzeel WW. 2016. Seasonal surface velocities of a Himalayan glacier derived by automated correlation of unmanned aerial vehicle imagery. Annals of Glaciology. 57(71), 103–113.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 12619 | OA
BRUN F, BURI P, MILES ES, WAGNON P, STEINER J, BERTHIER E, RAGETTLI S, KRAAIJENBRINK P, IMMERZEEL WW, Pellicciotti F. 2016. Quantifying volume loss from ice cliffs on debris-covered glaciers using high-resolution terrestrial and aerial photogrammetry. Journal of Glaciology. 62(234), 684–695.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 12622 | OA
Heynen M, Miles E, Ragettli S, Buri P, Immerzeel WW, Pellicciotti F. 2016. Air temperature variability in a high-elevation Himalayan catchment. Annals of Glaciology. 57(71), 212–222.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 12624 | OA
Miles ES, Pellicciotti F, Willis IC, Steiner JF, Buri P, Arnold NS. 2016. Refined energy-balance modelling of a supraglacial pond, Langtang Khola, Nepal. Annals of Glaciology. 57(71), 29–40.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 12623 | OA
Buri P, Pellicciotti F, Steiner JF, Miles ES, Immerzeel WW. 2016. A grid-based model of backwasting of supraglacial ice cliffs on debris-covered glaciers. Annals of Glaciology. 57(71), 199–211.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 12621 | OA
SHAW TE, BROCK BW, FYFFE CL, Pellicciotti F, RUTTER N, DIOTRI F. 2016. Air temperature distribution and energy-balance modelling of a debris-covered glacier. Journal of Glaciology. 62(231), 185–198.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 12613 | OA
Buri P, Miles ES, Steiner JF, Immerzeel WW, Wagnon P, Pellicciotti F. 2016. A physically based 3‐D model of ice cliff evolution over debris‐covered glaciers. Journal of Geophysical Research: Earth Surface. 121(12), 2471–2493.
[Published Version] View | DOI | Download Published Version (ext.)
 

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

2016 | Journal Article | IST-REx-ID: 9477 | OA
Park K, Kim MY, Vickers M, Park J-S, Hyun Y, Okamoto T, Zilberman D, Fischer RL, Feng X, Choi Y, Scholten S. 2016. DNA demethylation is initiated in the central cells of Arabidopsis and rice. Proceedings of the National Academy of Sciences. 113(52), 15138–15143.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 9473 | OA
Hsieh P-H, He S, Buttress T, Gao H, Couchman M, Fischer RL, Zilberman D, Feng X. 2016. Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation than somatic tissues. Proceedings of the National Academy of Sciences. 113(52), 15132–15137.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Conference Abstract | IST-REx-ID: 12903 | OA
Schlögl A, Stadlbauer S. 2016. High performance computing at IST Austria: Modelling the human hippocampus. AHPC16 - Austrian HPC Meeting 2016. AHPC: Austrian HPC Meeting, 37.
[Published Version] View | Files available | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 13385 | OA
Kundu PK, Das S, Ahrens J, Klajn R. 2016. Controlling the lifetimes of dynamic nanoparticle aggregates by spiropyran functionalization. Nanoscale. 8(46), 19280–19286.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Other Publication | IST-REx-ID: 13388 | OA
Udayabhaskararao T, Kundu PK, Ahrens J, Klajn R. 2016. Inside cover: Reversible photoisomerization of spiropyran on the surfaces of Au25 nanoclusters (ChemPhysChem 12/2016), Wiley,p.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 13478 | OA
Götberg YLL, Davies MB, Mustill AJ, Johansen A, Church RP. 2016. Long-term stability of the HR 8799 planetary system without resonant lock. Astronomy & Astrophysics. 592, A147.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1341 | OA
Avni G, Henzinger TA, Kupferman O. 2016. Dynamic resource allocation games. SAGT: Symposium on Algorithmic Game Theory, LNCS, vol. 9928, 153–166.
[Preprint] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 14010 | OA
Huppert M, Jordan I, Baykusheva DR, von Conta A, Wörner HJ. 2016. Attosecond delays in molecular photoionization. Physical Review Letters. 117(9), 093001.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2016 | Journal Article | IST-REx-ID: 14012 | OA
Rajeev R, Hellwagner J, Schumacher A, Jordan I, Huppert M, Tehlar A, Niraghatam BR, Baykusheva DR, Lin N, von Conta A, Wörner HJ. 2016. In situ frequency gating and beam splitting of vacuum- and extreme-ultraviolet pulses. Light: Science & Applications. 5(11), e16170–e16170.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 5749 | OA
Wielgoss S, Bergmiller T, Bischofberger AM, Hall AR. 2016. Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria. Molecular Biology and Evolution. 33(3), 770–782.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2016 | Thesis | IST-REx-ID: 1121 | OA
Acar H. 2016. Selective barriers to horizontal gene transfer. Institute of Science and Technology Austria.
[Published Version] View | Files available
 

2016 | Journal Article | IST-REx-ID: 1662 | OA
Edelsbrunner H, Pausinger F. 2016. Approximation and convergence of the intrinsic volume. Advances in Mathematics. 287, 674–703.
[Published Version] View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1128 | OA
Rieckh G. 2016. Studying the complexities of transcriptional regulation. Institute of Science and Technology Austria.
[Published Version] View | Files available
 

2016 | Thesis | IST-REx-ID: 1124 | OA
Morri M. 2016. Optical functionalization of human class A orphan G-protein coupled receptors. Institute of Science and Technology Austria.
[Published Version] View | Files available
 

2016 | Thesis | IST-REx-ID: 1129 | OA
Schwarz J. 2016. Quantitative analysis of haptotactic cell migration. Institute of Science and Technology Austria.
[Published Version] View | Files available
 

2016 | Thesis | IST-REx-ID: 1126 | OA
Pentina A. 2016. Theoretical foundations of multi-task lifelong learning. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1123 | OA
Mabillard I. 2016. Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. Institute of Science and Technology Austria.
[Published Version] View | Files available
 

2016 | Journal Article | IST-REx-ID: 1432 | OA
Mishra RK, Kim S, Guzmán J, Jonas PM. 2016. Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks. Nature Communications. 7, 11552.
[Published Version] View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1396 | OA
Mishra RK. 2016. Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. Institute of Science and Technology Austria.
[Published Version] View | Files available
 

2016 | Thesis | IST-REx-ID: 1125 | OA
Novak S. 2016. Evolutionary proccesses in variable emvironments. Institute of Science and Technology Austria.
[Published Version] View | Files available
 

2016 | Thesis | IST-REx-ID: 1130 | OA
Tarrach T. 2016. Automatic synthesis of synchronisation primitives for concurrent programs. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1093 | OA
Daca P, Henzinger TA, Kretinsky J, Petrov T. 2016. Linear distances between Markov chains. CONCUR: Concurrency Theory, LIPIcs, vol. 59, 20.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1234 | OA
Daca P, Henzinger TA, Kretinsky J, Petrov T. 2016. Faster statistical model checking for unbounded temporal properties. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 9636, 112–129.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1230 | OA
Daca P, Gupta A, Henzinger TA. 2016. Abstraction-driven concolic testing. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 9583, 328–347.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1391 | OA
Daca P, Henzinger TA, Kupriyanov A. 2016. Array folds logic. CAV: Computer Aided Verification, LNCS, vol. 9780, 230–248.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1071 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2016. Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs. ESA: European Symposium on Algorithms, LIPIcs, vol. 57, 28.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1362 | OA
Hahn D, Wojtan C. 2016. Fast approximations for boundary element based brittle fracture simulation. ACM SIGGRAPH, ACM Transactions on Graphics, vol. 35, 104.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1229 | OA
Abusalah HM, Fuchsbauer G, Pietrzak KZ. 2016. Offline witness encryption. ACNS: Applied Cryptography and Network Security, LNCS, vol. 9696, 285–303.
[Submitted Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1236 | OA
Abusalah HM, Fuchsbauer G, Pietrzak KZ. 2016. Constrained PRFs for unbounded inputs. CT-RSA: Topics in Cryptology, LNCS, vol. 9610, 413–428.
[Submitted Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1235 | OA
Abusalah HM, Fuchsbauer G. 2016. Constrained PRFs for unbounded inputs with short keys. ACNS: Applied Cryptography and Network Security, LNCS, vol. 9696, 445–463.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1441 | OA
Gschaider-Reichhart E, Inglés Prieto Á, Tichy A-M, Mckenzie C, Janovjak HL. 2016. A phytochrome sensory domain permits receptor activation by red light. Angewandte Chemie - International Edition. 55(21), 6339–6342.
[Submitted Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1358 | OA
Friedlander T, Prizak R, Guet CC, Barton NH, Tkačik G. 2016. Intrinsic limits to gene regulation by global crosstalk. Nature Communications. 7, 12307.
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1346 | OA
Dejonghe W, Kuenen S, Mylle E, Vasileva MK, Keech O, Viotti C, Swerts J, Fendrych M, Ortiz Morea F, Mishev K, Delang S, Scholl S, Zarza X, Heilmann M, Kourelis J, Kasprowicz J, Nguyen L, Drozdzecki A, Van Houtte I, Szatmári A, Majda M, Baisa G, Bednarek S, Robert S, Audenaert D, Testerink C, Munnik T, Van Damme D, Heilmann I, Schumacher K, Winne J, Friml J, Verstreken P, Russinova E. 2016. Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification. Nature Communications. 7, 11710.
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1328 | OA
Watzinger H, Kloeffel C, Vukušić L, Rossell M, Sessi V, Kukucka J, Kirchschlager R, Lausecker E, Truhlar A, Glaser M, Rastelli A, Fuhrer A, Loss D, Katsaros G. 2016. Heavy-hole states in germanium hut wires. Nano Letters. 16(11), 6879–6885.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1205 | OA
Jiang Y, Liu H, Song H, Kong H, Gu M, Sun J, Sha L. 2016. Safety assured formal model driven design of the multifunction vehicle bus controller. FM: International Symposium on Formal Methods, LNCS, vol. 9995, 757–763.
[Submitted Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1193 | OA
Kolmogorov V. 2016. Commutativity in the algorithmic Lovasz local lemma. Proceedings - Annual IEEE Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science vol. 2016–December, 7782993.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1438 | OA
Chatterjee K, Fu H, Novotný P, Hasheminezhad R. 2016. Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. POPL: Principles of Programming Languages, POPL, vol. 20–22, 327–342.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Research Data Reference | IST-REx-ID: 9710 | OA
Barton NH. 2016. Data from: How does epistasis influence the response to selection?, Dryad, 10.5061/dryad.s5s7r.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2016 | Research Data Reference | IST-REx-ID: 9864 | OA
Fernandes Redondo RA, de Vladar H, Włodarski T, Bollback JP. 2016. Data from evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family, The Royal Society, 10.6084/m9.figshare.4315652.v1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1165 | OA
Fulek R. 2016. C-planarity of embedded cyclic c-graphs. GD: Graph Drawing and Network Visualization, LNCS, vol. 9801, 94–106.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1378 | OA
Dotterrer D, Kaufman T, Wagner U. 2016. On expansion and topological overlap. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 35.1-35.10.
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1616 | OA
Kowalski J, Gan J, Jonas PM, Pernia-Andrade A. 2016. Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats. Hippocampus. 26(5), 668–682.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications