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.
5772 Publications
2016 | Conference Paper | IST-REx-ID: 1379 | 
Burton B, de Mesmay AN, Wagner U. 2016. Finding non-orientable surfaces in 3-manifolds. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 24.1-24.15.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1477 |
Chatterjee K, Chmelik M, Tracol M. 2016. What is decidable about partially observable Markov decision processes with ω-regular objectives. Journal of Computer and System Sciences. 82(5), 878–911.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1529 |
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2016. Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. 234, 26–48.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Technical Report | IST-REx-ID: 5445 |
Chatterjee K, Pavlogiannis A, Velner Y. 2016. Quantitative interprocedural analysis, IST Austria, 33p.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5449 |
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Amplification on undirected population structures: Comets beat stars, IST Austria, 22p.
[Updated Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5446 |
Anonymous 1, Anonymous 2, Anonymous 3. 2016. Termination and worst-case analysis of recursive programs, IST Austria, 26p.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5447 |
Anonymous 1, Anonymous 2, Anonymous 3. 2016. Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds, IST Austria, 20p.
[Published Version]
View
| Files available
2016 | Technical Report | IST-REx-ID: 5453 |
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong amplifiers of natural selection, IST Austria, 34p.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5451 |
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Strong amplifiers of natural selection, IST Austria, 34p.
[Published Version]
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5448 |
Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. 2016. Data-centric dynamic partial order reduction, IST Austria, 20p.
[Published Version]
View
| Files available
| arXiv
2016 | Journal Article | IST-REx-ID: 5771 |
Mattei S, Schur FK, Briggs JA. 2016. Retrovirus maturation—an extraordinary structural transformation. Current Opinion in Virology. 18(6), 27–35.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 587 |
Hosten O, Krishnakumar R, Engelsen N, Kasevich M. 2016. Quantum phase magnification. Science. 352(6293), 1552–1555.
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 6732 |
Mondelli M, Hassani SH, Urbanke RL. 2016. Unified scaling of polar codes: Error exponent, scaling exponent, moderate deviations, and error floors. IEEE Transactions on Information Theory. 62(12), 6698–6712.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Conference Paper | IST-REx-ID: 6733 |
Kudekar S, Kumar S, Mondelli M, Pfister HD, Urbankez R. 2016. Comparing the bit-MAP and block-MAP decoding thresholds of Reed-Muller codes on BMS channels. 2016 IEEE International Symposium on Information Theory . ISIT: International Symposium on Information Theory, 1755–1759.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 7068 |
Moll PJW, Potter AC, Nair NL, Ramshaw BJ, Modic KA, Riggs S, Zeng B, Ghimire NJ, Bauer ED, Kealhofer R, Ronning F, Analytis JG. 2016. Magnetic torque anomaly in the quantum limit of Weyl semimetals. Nature Communications. 7, 12492.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7279 |
Mourad E, Coustan L, Lannelongue P, Zigah D, Mehdi A, Vioux A, Freunberger SA, Favier F, Fontaine O. 2016. Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors. Nature Materials. 16(4), 446–453.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 7297 |
Freunberger SA. 2016. Batteries: Charging ahead rationally. Nature Energy. 1(6), 16074.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7599 |
Tang Y, Zhao C-Y, Tan S, Xue H-W. 2016. Arabidopsis type II phosphatidylinositol 4-kinase PI4Kγ5 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor ANAC078. PLOS Genetics. 12(8), e1006252.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7737 |
Zhu Z, Zhang F, Hu H, Bakshi A, Robinson MR, Powell JE, Montgomery GW, Goddard ME, Wray NR, Visscher PM, Yang J. 2016. Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets. Nature Genetics. 48(5), 481–487.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 786 |
Alistarh D-A, Censor Hillel K, Shavit N. 2016. Are lock free concurrent algorithms practically wait free . Journal of the ACM. 63(4).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 8020 |
Barron HC, Vogels TP, Emir UE, Makin TR, O’Shea J, Clare S, Jbabdi S, Dolan RJ, Behrens TEJ. 2016. Unmasking latent inhibitory connections in human cortex to reveal dormant cortical memories. Neuron. 90(1), 191–203.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Conference Paper | IST-REx-ID: 8094 |
Martius GS, Hostettler R, Knoll A, Der R. 2016. Self-organized control of an tendon driven arm by differential extrinsic plasticity. Proceedings of the Artificial Life Conference 2016. ALIFE 2016: 15th International Conference on the Synthesis and Simulation of Living Systems vol. 28, 142–143.
[Published Version]
View
| Files available
| DOI
2016 | Preprint | IST-REx-ID: 8128 |
Clopath C, Vogels TP, Froemke RC, Sprekeler H. 2016. Receptive field formation by interacting excitatory and inhibitory synaptic plasticity. bioRxiv, .
[Preprint]
View
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 8241 |
Singer J, Manzano-Szalai K, Singer J, Thell K, Bentley-Lukschal A, Stremnitzer C, Roth-Walter F, Weghofer M, Ritter M, Pino Tossi K, Hörer M, Michaelis U, Jensen-Jarolim E. 2016. Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform. OncoImmunology. 5(7), e1171446.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 8302 |
Kokoris Kogias E, Jovanovic P, Gailly N, Khoffi I, Gasser L, Ford B. 2016. Enhancing bitcoin security and performance with strong consistency via collective signing. Proceedings of the 25th USENIX Conference on Security Symposium. SEC: Security Symposium, 279–296.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 9140 |
Drobinski P, Alonzo B, Bastin S, Silva ND, Muller CJ. 2016. Scaling of precipitation extremes with temperature in the French Mediterranean region: What explains the hook shape? Journal of Geophysical Research: Atmospheres. 121(7), 3100–3119.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 9591 |
Krivelevich M, Kwan MA, Sudakov B. 2016. Cycles and matchings in randomly perturbed digraphs and hypergraphs. Combinatorics, Probability and Computing. 25(6), 909–927.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1197 |
Prentice J, Marre O, Ioffe M, Loback A, Tkačik G, Berry M. 2016. Error-robust modes of the retinal population code. PLoS Computational Biology. 12(11), e1005855.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9720 |
Mcmahon D, Fürst M, Caspar J, Theodorou P, Brown M, Paxton R. 2016. Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees, Dryad, 10.5061/dryad.4b565.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 983 |
Potter A, Serbyn M, Vishwanath A. 2016. Thermoelectric transport signatures of Dirac composite fermions in the half-filled Landau level. Physical Review X. 6(3).
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 985 |
Campos L, Taychatanapat T, Serbyn M, Surakitbovorn K, Watanabe K, Taniguchi T, Abanin D, Jarillo Herrero P. 2016. Landau Level Splittings, Phase Transitions, and Nonuniform Charge Distribution in Trilayer Graphene. Physical Review Letters. 117(6).
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 1158 |
Roux C, Fraisse C, Romiguier J, Anciaux Y, Galtier N, Bierne N. 2016. Shedding light on the grey zone of speciation along a continuum of genomic divergence. PLoS Biology. 14(12), e2000234.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1167 |
Zagórski MP, Burda Z, Wacław B. 2016. Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks. PLoS Computational Biology. 12(12), e1005218.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 9019 |
Bakail MM, Ochsenbein F. 2016. Targeting protein–protein interactions, a wide open field for drug design. Comptes Rendus Chimie. 19(1–2), 19–27.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 9051 |
Davies Wykes MS, Palacci JA, Adachi T, Ristroph L, Zhong X, Ward MD, Zhang J, Shelley MJ. 2016. Dynamic self-assembly of microscale rotors and swimmers. Soft Matter. 12(20), 4584–4589.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2016 | Journal Article | IST-REx-ID: 9052 |
Moyses H, Palacci JA, Sacanna S, Grier DG. 2016. Trochoidal trajectories of self-propelled Janus particles in a diverging laser beam. Soft Matter. 12(30), 6357–6364.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2016 | Journal Article | IST-REx-ID: 9456 |
Huff JT, Zilberman D, Roy SW. 2016. Mechanism for DNA transposons to generate introns on genomic scales. Nature. 538(7626), 533–536.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 1262 |
Mcmahon D, Natsopoulou M, Doublet V, Fürst M, Weging S, Brown M, Gogol Döring A, Paxton R. 2016. Elevated virulence of an emerging viral genotype as a driver of honeybee loss. Proceedings of the Royal Society of London Series B Biological Sciences. 283(1833), 20160811.
[Published Version]
View
| Files available
| DOI
2016 | Research Data Reference | IST-REx-ID: 9704 |
Mcmahon D, Natsopoulou M, Doublet V, Fürst M, Weging S, Brown M, Gogol Döring A, Paxton R. 2016. Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss, Dryad, 10.5061/dryad.cq7t1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 984 |
Serbyn M, Michailidis A, Abanin D, Papić Z. 2016. Power-law entanglement spectrum in many-body localized phases. Physical Review Letters. 117(16).
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 986 |
Serbyn M, Moore J. 2016. Spectral statistics across the many-body localization transition. Physical Review B - Condensed Matter and Materials Physics. 93(4).
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 1322 |
Hilbe C, Hagel K, Milinski M. 2016. Asymmetric power boosts extortion in an economic experiment. PLoS One. 11(10), e0163867.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1270 |
Hillenbrand P, Gerland U, Tkačik G. 2016. Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information. PLoS One. 11(9), e0163628.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1250 |
Boehm A, Arnoldini M, Bergmiller T, Röösli T, Bigosch C, Ackermann M. 2016. Genetic manipulation of glycogen allocation affects replicative lifespan in E coli. PLoS Genetics. 12(4), e1005974.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 987 |
Dumitrescu P, Serbyn M, Scalettar R, Vishwanath A. 2016. Superconductivity and nematic fluctuations in a model of doped FeSe monolayers: Determinant quantum Monte Carlo study. Physical Review B - Condensed Matter and Materials Physics. 94(15).
View
| DOI
| Download (ext.)
2016 | Journal Article | IST-REx-ID: 12620 |
Carenzo M, Pellicciotti F, Mabillard J, Reid T, Brock BW. 2016. An enhanced temperature index model for debris-covered glaciers accounting for thickness effect. Advances in Water Resources. 94, 457–469.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 12618 |
Ragettli S, Immerzeel WW, Pellicciotti F. 2016. Contrasting climate change impact on river flows from high-altitude catchments in the Himalayan and Andes Mountains. PNAS. 113(33), 9222–9227.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 12625 |
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 |
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 |
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.)