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, 2 Anonymous, 3 Anonymous, and 4 Anonymous. 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, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-305-v2-1.
[Published Version]
View
| Files available
| DOI
2014 | Published | Technical Report | IST-REx-ID: 5427 |
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014. https://doi.org/10.15479/AT:IST-2014-314-v1-1.
[Published Version]
View
| Files available
| DOI
2014 | Published | Technical Report | IST-REx-ID: 5428 |
Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Yaron Velner. Quantitative Fair Simulation Games. IST Austria, 2014. https://doi.org/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.” Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2014. https://doi.org/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é. Springer Nature, 2014. https://doi.org/10.1007/s00023-013-0302-4.
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 589 |
Lee, Jongmin, Geert Vrijsen, Igor Teper, Onur Hosten, and Mark Kasevich. “Many-Atom-Cavity QED System with Homogeneous Atom-Cavity Coupling.” Optics Letters. OSA, 2014. https://doi.org/10.1364/OL.39.004005.
View
| DOI
| Download (ext.)
2014 | Published | Journal Article | IST-REx-ID: 6122 |
Linneweber, Gerit A., Jake Jacobson, Karl Emanuel Busch, Bruno Hudry, Christo P. Christov, Dirk Dormann, Michaela Yuan, et al. “Neuronal Control of Metabolism through Nutrient-Dependent Modulation of Tracheal Branching.” Cell. Elsevier, 2014. 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, Changchun, Eisuke Itakura, Katherine P. Weber, Ramanujan S. Hegde, and Mario 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. Public Library of Science (PLoS), 2014. 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., Z. Soltesz, S. Oda, V. Zelmanovich, Z. Abergel, and Mario 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. Society for Neuroscience, 2014. https://doi.org/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, Martin Behrndt, Pedro Campinho, Verena Ruprecht, and Carl-Philipp J Heisenberg. “UV Laser Ablation to Measure Cell and Tissue-Generated Forces in the Zebrafish Embryo in Vivo and Ex Vivo.” In Tissue Morphogenesis, edited by Celeste Nelson, 1189:219–35. Methods in Molecular Biology. New York, NY: Springer, 2014. https://doi.org/10.1007/978-1-4939-1164-6_15.
View
| DOI
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 12632 |
Gabbi, Jeannette, Marco Carenzo, Francesca Pellicciotti, Andreas Bauder, and Martin Funk. “A Comparison of Empirical and Physically Based Glacier Surface Melt Models for Long-Term Simulations of Glacier Response.” Journal of Glaciology. International Glaciological Society, 2014. https://doi.org/10.3189/2014jog14j011.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 12634
Pellicciotti, Francesca, S. Ragettli, M. Carenzo, and J. McPhee. “Changes of Glaciers in the Andes of Chile and Priorities for Future Work.” Science of The Total Environment. Elsevier, 2014. https://doi.org/10.1016/j.scitotenv.2013.10.055.
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 12635
Pellicciotti, Francesca, M. Carenzo, R. Bordoy, and M. Stoffel. “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. Elsevier, 2014. https://doi.org/10.1016/j.scitotenv.2014.04.022.
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 12636
Immerzeel, W.W., P.D.A. Kraaijenbrink, J.M. Shea, A.B. Shrestha, Francesca Pellicciotti, M.F.P. Bierkens, and S.M. de Jong. “High-Resolution Monitoring of Himalayan Glacier Dynamics Using Unmanned Aerial Vehicles.” Remote Sensing of Environment. Elsevier, 2014. https://doi.org/10.1016/j.rse.2014.04.025.
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 12637 |
Immerzeel, W. W., L. Petersen, S. Ragettli, and Francesca 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. American Geophysical Union, 2014. https://doi.org/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. Birkhäuser, 2014. https://doi.org/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. Springer, 2014. https://doi.org/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.” In Proceedings of the International Congress of Mathematicians, 3:214–36. International Congress of Mathematicians, 2014.
[Submitted Version]
View
| Download Submitted Version (ext.)
2014 | Published | Conference Paper | IST-REx-ID: 1516 |
Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “On the BCS Gap Equation for Superfluid Fermionic Gases.” In Proceedings of the QMath12 Conference, 127–37. World Scientific Publishing, 2014. https://doi.org/10.1142/9789814618144_0007.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv