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.
10501 Publications
2014 | Published | Technical Report | IST-REx-ID: 5425 | 
Anonymous, 1, et al. Optimal Cost Almost-Sure Reachability in POMDPs. IST Austria, 2014.
[Published Version]
View
| Files available
2014 | Published | Technical Report | IST-REx-ID: 5426 |
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v2-1.
[Published Version]
View
| Files available
| DOI
2014 | Published | Technical Report | IST-REx-ID: 5427 |
Chatterjee, Krishnendu, et al. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-314-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Published | Technical Report | IST-REx-ID: 5428 |
Chatterjee, Krishnendu, et al. Quantitative Fair Simulation Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-315-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 5810
Biswas, Ranita, and Partha Bhowmick. On Finding Spherical Geodesic Paths and Circles in ℤ3. Vol. 8668, Springer, 2014, pp. 396–409, doi:10.1007/978-3-319-09955-2_33.
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 5813 |
Dereziński, Jan, and Marcin M. Napiórkowski. “Excitation Spectrum of Interacting Bosons in the Mean-Field Infinite-Volume Limit.” Annales Henri Poincaré, vol. 15, no. 12, Springer Nature, 2014, pp. 2409–39, doi:10.1007/s00023-013-0302-4.
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 589 |
Lee, Jongmin, et al. “Many-Atom-Cavity QED System with Homogeneous Atom-Cavity Coupling.” Optics Letters, vol. 39, no. 13, OSA, 2014, pp. 4005–08, doi:10.1364/OL.39.004005.
View
| DOI
| Download (ext.)
2014 | Published | Journal Article | IST-REx-ID: 6122 |
Linneweber, Gerit A., et al. “Neuronal Control of Metabolism through Nutrient-Dependent Modulation of Tracheal Branching.” Cell, vol. 156, no. 1–2, Elsevier, 2014, pp. 69–83, doi: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, Changchun, et al. “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, e1004082, Public Library of Science (PLoS), 2014, doi:10.1371/journal.pgen.1004082.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 6126 |
Gross, E., et al. “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, 2014, pp. 16726–38, doi:10.1523/jneurosci.5368-13.2014.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Published | Book Chapter | IST-REx-ID: 6178
Smutny, Michael, et al. “UV Laser Ablation to Measure Cell and Tissue-Generated Forces in the Zebrafish Embryo in Vivo and Ex Vivo.” Tissue Morphogenesis, edited by Celeste Nelson, vol. 1189, Springer, 2014, pp. 219–35, doi:10.1007/978-1-4939-1164-6_15.
View
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 12632 |
Gabbi, Jeannette, et al. “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, 2014, pp. 1140–54, doi:10.3189/2014jog14j011.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 12634
Pellicciotti, Francesca, et al. “Changes of Glaciers in the Andes of Chile and Priorities for Future Work.” Science of The Total Environment, vol. 493, Elsevier, 2014, pp. 1197–210, doi:10.1016/j.scitotenv.2013.10.055.
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 12635
Pellicciotti, Francesca, et al. “Changes in Glaciers in the Swiss Alps and Impact on Basin Hydrology: Current State of the Art and Future Research.” Science of The Total Environment, vol. 493, Elsevier, 2014, pp. 1152–70, doi:10.1016/j.scitotenv.2014.04.022.
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 12636
Immerzeel, W. W., et al. “High-Resolution Monitoring of Himalayan Glacier Dynamics Using Unmanned Aerial Vehicles.” Remote Sensing of Environment, vol. 150, no. 7, Elsevier, 2014, pp. 93–103, doi:10.1016/j.rse.2014.04.025.
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 12637 |
Immerzeel, W. W., et al. “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, 2014, pp. 2212–26, doi:10.1002/2013wr014506.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 1309
Fischer, Julian L. “Infinite Speed of Support Propagation for the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift-Diffusion Models.” Nonlinear Differential Equations and Applications, vol. 21, no. 1, Birkhäuser, 2014, pp. 27–50, doi:10.1007/s00030-013-0235-0.
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 1312
Fischer, Julian L. “Upper Bounds on Waiting Times for the Thin-Film Equation: The Case of Weak Slippage.” Archive for Rational Mechanics and Analysis, vol. 211, no. 3, Springer, 2014, pp. 771–818, doi:10.1007/s00205-013-0690-0.
View
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 1507 |
Erdös, László. “Random Matrices, Log-Gases and Hölder Regularity.” Proceedings of the International Congress of Mathematicians, vol. 3, International Congress of Mathematicians, 2014, pp. 214–36.
[Submitted Version]
View
| Download Submitted Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 1516 |
Bräunlich, Gerhard, et al. “On the BCS Gap Equation for Superfluid Fermionic Gases.” Proceedings of the QMath12 Conference, World Scientific Publishing, 2014, pp. 127–37, doi:10.1142/9789814618144_0007.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv