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.
7296 Publications
2014 | Published | Journal Article | IST-REx-ID: 17703 | 
J. Liu, Z. Haiman, L. Hui, J. M. Kratochvil, and M. May, “Impact of magnification and size bias on the weak lensing power spectrum and peak statistics,” Physical Review D, vol. 89, no. 2. American Physical Society, 2014.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 248 |
T. D. Browning, L. Matthiesen, and A. Skorobogatov, “Rational points on pencils of conics and quadrics with many degenerate fibres,” Annals of Mathematics, vol. 180, no. 1. John Hopkins University Press, pp. 381–402, 2014.
View
| DOI
| Download (ext.)
2014 | Published | Journal Article | IST-REx-ID: 451 |
P. Pilarczyk and P. Real, “Computation of cubical homology, cohomology, and (co)homological operations via chain contraction,” Advances in Computational Mathematics, vol. 41, no. 1. Kluwer, pp. 253–275, 2014.
View
| DOI
| Download (ext.)
2014 | Published | Technical Report | IST-REx-ID: 5417 |
T. A. Henzinger and J. Otop, From model checking to model measuring. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Published | Technical Report | IST-REx-ID: 5419 |
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Published | Technical Report | IST-REx-ID: 5420 |
K. Chatterjee and R. Ibsen-Jensen, The value 1 problem for concurrent mean-payoff games. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Published | Technical Report | IST-REx-ID: 5421 |
K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, The complexity of evolution on graphs. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Report | IST-REx-ID: 5422 |
J. Porsche, Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none, 2014.
View
| Files available
2014 | Published | Technical Report | IST-REx-ID: 5427 |
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 5813 |
J. Dereziński and M. M. Napiórkowski, “Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit,” Annales Henri Poincaré, vol. 15, no. 12. Springer Nature, pp. 2409–2439, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 589 |
J. Lee, G. Vrijsen, I. Teper, O. Hosten, and M. Kasevich, “Many-atom-cavity QED system with homogeneous atom-cavity coupling,” Optics Letters, vol. 39, no. 13. OSA, pp. 4005–4008, 2014.
View
| DOI
| Download (ext.)
2014 | Published | Journal Article | IST-REx-ID: 6122 |
G. A. Linneweber et al., “Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching,” Cell, vol. 156, no. 1–2. Elsevier, pp. 69–83, 2014.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 6124 |
C. Chen, E. Itakura, K. P. Weber, R. S. Hegde, and M. de Bono, “An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism,” PLoS Genetics, vol. 10, no. 3. Public Library of Science (PLoS), 2014.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 6126 |
E. Gross, Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, and M. de Bono, “GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings,” Journal of Neuroscience, vol. 34, no. 50. Society for Neuroscience, pp. 16726–16738, 2014.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 12632 |
J. Gabbi, M. Carenzo, F. Pellicciotti, A. Bauder, and M. Funk, “A comparison of empirical and physically based glacier surface melt models for long-term simulations of glacier response,” Journal of Glaciology, vol. 60, no. 224. International Glaciological Society, pp. 1140–1154, 2014.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 12637 |
W. W. Immerzeel, L. Petersen, S. Ragettli, and F. Pellicciotti, “The importance of observed gradients of air temperature and precipitation for modeling runoff from a glacierized watershed in the Nepalese Himalayas,” Water Resources Research, vol. 50, no. 3. American Geophysical Union, pp. 2212–2226, 2014.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 1516 |
G. Bräunlich, C. Hainzl, and R. Seiringer, “On the BCS gap equation for superfluid fermionic gases,” in Proceedings of the QMath12 Conference, Berlin, Germany, 2014, pp. 127–137.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 15161 |
W. Guan, A. K. Michael, M. L. McIntosh, L. Koren-Selfridge, J. P. Scott, and T. B. Clark, “Stereoselective formation of trisubstituted vinyl boronate esters by the acid-mediated elimination of α-hydroxyboronate esters,” The Journal of Organic Chemistry, vol. 79, no. 15. American Chemical Society, pp. 7199–7204, 2014.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 7598 |
S. Tan and H.-W. Xue, “Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5,” Cell Reports, vol. 9, no. 5. Elsevier, pp. 1692–1702, 2014.
[Published Version]
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 772 |
D.-A. Alistarh, K. Censor Hillel, and N. Shavit, “Are lock-free concurrent algorithms practically wait-free?,” presented at the STOC: Symposium on Theory of Computing, 2014, pp. 714–723.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv