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 | 
Liu, J., Haiman, Z., Hui, L., Kratochvil, J. M., & May, M. (2014). Impact of magnification and size bias on the weak lensing power spectrum and peak statistics. Physical Review D. American Physical Society. https://doi.org/10.1103/physrevd.89.023515
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 248 |
Browning, T. D., Matthiesen, L., & Skorobogatov, A. (2014). Rational points on pencils of conics and quadrics with many degenerate fibres. Annals of Mathematics. John Hopkins University Press. https://doi.org/10.4007/annals.2014.180.1.8
View
| DOI
| Download (ext.)
2014 | Published | Journal Article | IST-REx-ID: 451 |
Pilarczyk, P., & Real, P. (2014). Computation of cubical homology, cohomology, and (co)homological operations via chain contraction. Advances in Computational Mathematics. Kluwer. https://doi.org/10.1007/s10444-014-9356-1
View
| DOI
| Download (ext.)
2014 | Published | Technical Report | IST-REx-ID: 5417 |
Henzinger, T. A., & Otop, J. (2014). From model checking to model measuring. IST Austria. https://doi.org/10.15479/AT:IST-2014-172-v1-1
[Published Version]
View
| Files available
| DOI
2014 | Published | Technical Report | IST-REx-ID: 5419 |
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2014). Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-187-v1-1
[Published Version]
View
| Files available
| DOI
2014 | Published | Technical Report | IST-REx-ID: 5420 |
Chatterjee, K., & Ibsen-Jensen, R. (2014). The value 1 problem for concurrent mean-payoff games. IST Austria. https://doi.org/10.15479/AT:IST-2014-191-v1-1
[Published Version]
View
| Files available
| DOI
2014 | Published | Technical Report | IST-REx-ID: 5421 |
Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2014). The complexity of evolution on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-190-v2-2
[Published Version]
View
| Files available
| DOI
2014 | Report | IST-REx-ID: 5422 |
Porsche, J. (2014). Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none.
View
| Files available
2014 | Published | Technical Report | IST-REx-ID: 5427 |
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2014). Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-314-v1-1
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 5813 |
Dereziński, J., & Napiórkowski, M. M. (2014). Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincaré. Springer Nature. https://doi.org/10.1007/s00023-013-0302-4
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 589 |
Lee, J., Vrijsen, G., Teper, I., Hosten, O., & Kasevich, M. (2014). Many-atom-cavity QED system with homogeneous atom-cavity coupling. Optics Letters. OSA. https://doi.org/10.1364/OL.39.004005
View
| DOI
| Download (ext.)
2014 | Published | Journal Article | IST-REx-ID: 6122 |
Linneweber, G. A., Jacobson, J., Busch, K. E., Hudry, B., Christov, C. P., Dormann, D., … Miguel-Aliaga, I. (2014). Neuronal control of metabolism through nutrient-dependent modulation of tracheal branching. Cell. Elsevier. https://doi.org/10.1016/j.cell.2013.12.008
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 6124 |
Chen, C., Itakura, E., Weber, K. P., Hegde, R. S., & de Bono, M. (2014). An ER complex of ODR-4 and ODR-8/Ufm1 specific protease 2 promotes GPCR maturation by a Ufm1-independent mechanism. PLoS Genetics. Public Library of Science (PLoS). https://doi.org/10.1371/journal.pgen.1004082
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 6126 |
Gross, E., Soltesz, Z., Oda, S., Zelmanovich, V., Abergel, Z., & de Bono, M. (2014). GLOBIN-5-dependent O2 responses are regulated by PDL-1/PrBP that targets prenylated soluble guanylate cyclases to dendritic endings. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/jneurosci.5368-13.2014
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 12632 |
Gabbi, J., Carenzo, M., Pellicciotti, F., Bauder, A., & Funk, M. (2014). A comparison of empirical and physically based glacier surface melt models for long-term simulations of glacier response. Journal of Glaciology. International Glaciological Society. https://doi.org/10.3189/2014jog14j011
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 12637 |
Immerzeel, W. W., Petersen, L., Ragettli, S., & Pellicciotti, F. (2014). The importance of observed gradients of air temperature and precipitation for modeling runoff from a glacierized watershed in the Nepalese Himalayas. Water Resources Research. American Geophysical Union. https://doi.org/10.1002/2013wr014506
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 1516 |
Bräunlich, G., Hainzl, C., & Seiringer, R. (2014). On the BCS gap equation for superfluid fermionic gases. In Proceedings of the QMath12 Conference (pp. 127–137). Berlin, Germany: World Scientific Publishing. https://doi.org/10.1142/9789814618144_0007
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 15161 |
Guan, W., Michael, A. K., McIntosh, M. L., Koren-Selfridge, L., Scott, J. P., & Clark, T. B. (2014). Stereoselective formation of trisubstituted vinyl boronate esters by the acid-mediated elimination of α-hydroxyboronate esters. The Journal of Organic Chemistry. American Chemical Society. https://doi.org/10.1021/jo500773t
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 7598 |
Tan, S., & Xue, H.-W. (2014). Casein kinase 1 regulates ethylene synthesis by phosphorylating and promoting the turnover of ACS5. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2014.10.047
[Published Version]
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 772 |
Alistarh, D.-A., Censor Hillel, K., & Shavit, N. (2014). Are lock-free concurrent algorithms practically wait-free? (pp. 714–723). Presented at the STOC: Symposium on Theory of Computing, ACM. https://doi.org/10.1145/2591796.2591836
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv