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.

5767 Publications


2013 | Journal Article | IST-REx-ID: 905 | OA
Arkhipov V, Noah T, Koschkar S, Kondrashov F. 2013. Birds of Mys Shmidta, north Chukotka, Russia. Forktail. (29), 25–30.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 9153 | OA
Melet A, Nikurashin M, Muller CJ, Falahat S, Nycander J, Timko PG, Arbic BK, Goff JA. 2013. Internal tide generation by abyssal hills using analytical theory. Journal of Geophysical Research: Oceans. 118(11), 6303–6318.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 9154 | OA
Muller CJ. 2013. Impact of convective organization on the response of tropical precipitation extremes to warming. Journal of Climate. 26(14), 5028–5043.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 9167 | OA
Palacci JA, Sacanna S, Vatchinsky A, Chaikin PM, Pine DJ. 2013. Photoactivated colloidal dockers for cargo transportation. Journal of the American Chemical Society. 135(43), 15978–15981.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2013 | Journal Article | IST-REx-ID: 9459 | OA
Zemach A, Kim MY, Hsieh P-H, Coleman-Derr D, Eshed-Williams L, Thao K, Harmer SL, Zilberman D. 2013. The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin. Cell. 153(1), 193–205.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 9481 | OA
Rodrigues JA, Ruan R, Nishimura T, Sharma MK, Sharma R, Ronald PC, Fischer RL, Zilberman D. 2013. Imprinted expression of genes and small RNA is associated with localized hypomethylation of the maternal genome in rice endosperm. Proceedings of the National Academy of Sciences. 110(19), 7934–7939.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 9663 | OA
Cheng B, Ngan AHW. 2013. Thermally induced solid-solid structural transition of copper nanoparticles through direct geometrical conversion. The Journal of Chemical Physics. 138(16), 164314.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 970 | OA
Serbyn M, Abanin D. 2013. New Dirac points and multiple Landau level crossings in biased trilayer graphene. Physical Review B - Condensed Matter and Materials Physics. 87(11).
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 973 | OA
Serbyn M, Papić Z, Abanin D. 2013. Local conservation laws and the structure of the many body localized states. Physical Review Letters. 111(12).
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 974 | OA
Serbyn M, Senthil T, Lee P. 2013. Overscreened Kondo fixed point in S=1 spin liquid. Physical Review B - Condensed Matter and Materials Physics. 88(2).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2284 | OA
Tragust S, Ugelvig LV, Chapuisat M, Heinze J, Cremer S. 2013. Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. BMC Evolutionary Biology. 13(1), 225.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2277 | OA
Simmons K, Prentice J, Tkačik G, Homann J, Yee H, Palmer S, Nelson P, Balasubramanian V. 2013. Transformation of stimulus correlations by the retina. PLoS Computational Biology. 9(12), e1003344.
[Published Version] View | Files available | DOI
 

2013 | Research Data Reference | IST-REx-ID: 9754 | OA
Hearn J, Stone G, Barton NH, Lohse K, Bunnefeld L. 2013. Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies, Dryad, 10.5061/dryad.r3r60.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 976 | OA
Serbyn M, Lee P. 2013. Spinon-phonon interaction in algebraic spin liquids. Physical Review B - Condensed Matter and Materials Physics. 87(17).
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 12638 | OA
Lutz AF, Immerzeel WW, Gobiet A, Pellicciotti F, Bierkens MFP. 2013. Comparison of climate change signals in CMIP3 and CMIP5 multi-model ensembles and implications for Central Asian glaciers. Hydrology and Earth System Sciences. 17(9), 3661–3677.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 12639 | OA
Ragettli S, Pellicciotti F, Bordoy R, Immerzeel WW. 2013. Sources of uncertainty in modeling the glaciohydrological response of a Karakoram watershed to climate change. Water Resources Research. 49(9), 6048–6066.
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 9520 | OA
Feng X, Zilberman D, Dickinson H. 2013. A conversation across generations: Soma-germ cell crosstalk in plants. Developmental Cell. 24(3), 215–225.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2914 | OA
Stephens G, Mora T, Tkačik G, Bialek W. 2013. Statistical thermodynamics of natural images. Physical Review Letters. 110(1), 018701.
[Published Version] View | Files available | DOI | arXiv
 

2013 | Book Chapter | IST-REx-ID: 5747 | OA
Dragoi C, Gupta A, Henzinger TA. 2013.Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. vol. 8044, 174–190.
View | Files available | DOI
 

2013 | Thesis | IST-REx-ID: 1405 | OA
Zufferey D. 2013. Analysis of dynamic message passing programs. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2847 | OA
Bansal K, Koskinen E, Wies T, Zufferey D. 2013. Structural Counter Abstraction (eds. N. Piterman & S. Smolka). 7795, 62–77.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2247 | OA
Zagorsky B, Reiter J, Chatterjee K, Nowak M. 2013. Forgiver triumphs in alternating prisoner’s dilemma . PLoS One. 8(12), e80814.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2858 | OA
Reiter J, Božić I, Allen B, Chatterjee K, Nowak M. 2013. The effect of one additional driver mutation on tumor progression. Evolutionary Applications. 6(1), 34–45.
[Published Version] View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2816 | OA
Božić I, Reiter J, Allen B, Antal T, Chatterjee K, Shah P, Moon Y, Yaqubie A, Kelly N, Le D, Lipson E, Chapman P, Diaz L, Vogelstein B, Nowak M. 2013. Evolutionary dynamics of cancer in response to targeted combination therapy. eLife. 2, e00747.
[Published Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2000 | OA
Reiter J, Božić I, Chatterjee K, Nowak M. 2013. TTP: Tool for tumor progression. Proceedings of 25th Int. Conf. on Computer Aided Verification. CAV: Computer Aided VerificationLecture Notes in Computer Science, LNCS, vol. 8044, 101–106.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2445 | OA
Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. 2013. Efficient synthesis for concurrency by semantics-preserving transformations. CAV: Computer Aided Verification, LNCS, vol. 8044, 951–967.
[Submitted Version] View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2305 | OA
Brázdil T, Chatterjee K, Forejt V, Kučera A. 2013. Trading performance for stability in Markov decision processes. 28th Annual ACM/IEEE Symposium. LICS: Logic in Computer Science, 331–340.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2272 | OA
Takhanov R, Kolmogorov V. 2013. Inference algorithms for pattern-based CRFs on sequence data. ICML’13 Proceedings of the 30th International Conference on International. ICML: International Conference on Machine Learning, JMLR, vol. 28, 145–153.
[Submitted Version] View | Files available | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2448 | OA
Remy E, Baster P, Friml J, Duque P. 2013. ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling & Behavior. 8(10), e25688.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2853 | OA
Refardt D, Bergmiller T, Kümmerli R. 2013. Altruism can evolve when relatedness is low: Evidence from bacteria committing suicide upon phage infection. Proceedings of the Royal Society of London Series B Biological Sciences. 280(1759).
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Research Data Reference | IST-REx-ID: 9751 | OA
Refardt D, Bergmiller T, Kümmerli R. 2013. Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection, Dryad, 10.5061/dryad.b1q2n.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2013 | Report | IST-REx-ID: 2274 | OA
Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. 2013. Proofs of Space, IST Austria,p.
[Published Version] View | Files available
 

2012 | Journal Article | IST-REx-ID: 10387 | OA
Šarić A, Cacciuto A. 2012. Mechanism of membrane tube formation induced by adhesive nanocomponents. Physical Review Letters. 109(18), 188101.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Journal Article | IST-REx-ID: 10388 | OA
Šarić A, Cacciuto A. 2012. Fluid membranes can drive linear aggregation of adsorbed spherical nanoparticles. Physical Review Letters. 108(11), 118101.
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 

2012 | Journal Article | IST-REx-ID: 1056 | OA
Mark M, Haller E, Lauber K, Danzl JG, Janisch A, Büchler H, Daley A, Nägerl H. 2012. Preparation and spectroscopy of a metastable mott-insulator state with attractive interactions. Physical Review Letters. 108(21).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Conference Paper | IST-REx-ID: 10750 | OA
Polshyn H, Budakian R. 2012. Cantilever torque magnetometry study of multiply connected BSCCO arrays near Tc. APS March Meeting 2012. APS: American Physical Society, Bulletin of the American Physical Society, vol. 57, X21.00008.
[Published Version] View | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 11093 | OA
D’Angelo MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. 2012. A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. 22(2), 446–458.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 11090 | OA
Hatch EM, Hetzer M. 2012. RNP export by nuclear envelope budding. Cell. 149(4), 733–735.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Journal Article | IST-REx-ID: 114 | OA
Waitukaitis SR, Jaeger H. 2012. Solidification of a cornstarch and water suspension. Revista Cubana de Fisica. 29(1E), 1E31-1E33.
[Published Version] View | Files available
 

2012 | Conference Paper | IST-REx-ID: 11794 | OA
Dütting P, Henzinger MH, Starnberger M. 2012. Auctions with heterogeneous items and budget limits. 8th International Workshop on Internet and Network Economics. WINE: International Conference on Web and Internet Economics, LNCS, vol. 7695, 44–57.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Journal Article | IST-REx-ID: 12644 | OA
Ragettli S, Pellicciotti F. 2012. Calibration of a physically based, spatially distributed hydrological model in a glacierized basin: On the use of knowledge from glaciometeorological processes to constrain model parameters. Water Resources Research. 48(3), W03509.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 12646 | OA
Pellicciotti F, Buergi C, Immerzeel WW, Konz M, Shrestha AB. 2012. Challenges and uncertainties in hydrological modeling of remote Hindu Kush–Karakoram–Himalayan (HKH) basins: Suggestions for calibration strategies. Mountain Research and Development. 32(1), 39–50.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 12647 | OA
Immerzeel WW, Pellicciotti F, Shrestha AB. 2012. Glaciers as a proxy to quantify the spatial distribution of precipitation in the Hunza basin. Mountain Research and Development. 32(1), 30–38.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Journal Article | IST-REx-ID: 12648 | OA
Reid TD, Carenzo M, Pellicciotti F, Brock BW. 2012. Including debris cover effects in a distributed model of glacier ablation. Journal of Geophysical Research: Atmospheres. 117(D18), D18105.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Conference Paper | IST-REx-ID: 1384 | OA
Beyer D, Henzinger TA, Keremoglu M, Wendler P. 2012. Conditional model checking: A technique to pass information between verifiers. Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. FSE: Foundations of Software Engineering, 57.
[Preprint] View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 1472 | OA
De Cataldo M, Hausel T, Migliorini L. 2012. Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. 175(3), 1329–1407.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1471 | OA
Hausel T, Pauly C. 2012. Prym varieties of spectral covers. Geometry and Topology. 16(3), 1609–1638.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 171 | OA
Browning TD, Baier S. 2012. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2013(680), 1–65.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1757 | OA
Zhang J, Katsaros G, Montalenti F, Scopece D, Rezaev R, Mickel C, Rellinghaus B, Miglio L, De Franceschi S, Rastelli A, Schmidt O. 2012. Monolithic growth of ultrathin Ge nanowires on Si(001) . Physical Review Letters. 109(8).
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 1758 | OA
Lee E, Jiang X, Aguado R, Katsaros G, Lieber C, De Franceschi S. 2012. Zero-bias anomaly in a nanowire quantum dot coupled to superconductors. Physical Review Letters. 109(18).
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications