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.

10502 Publications


2014 | Published | Technical Report | IST-REx-ID: 5424 | OA
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria, 2014.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5425 | OA
1 Anonymous, 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 | OA
K. Chatterjee, M. Chmelik, R. Gupta, and A. Kanodia, Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. IST Austria, 2014.
[Published Version] View | Files available | DOI
 

2014 | Published | Technical Report | IST-REx-ID: 5427 | OA
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 | Technical Report | IST-REx-ID: 5428 | OA
K. Chatterjee, T. A. Henzinger, J. Otop, and Y. Velner, Quantitative fair simulation games. IST Austria, 2014.
[Published Version] View | Files available | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 5810
R. Biswas and P. Bhowmick, “On Finding Spherical Geodesic Paths and Circles in ℤ3,” vol. 8668. Springer, Berlin, Heidelberg, pp. 396–409, 2014.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 5813 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | Book Chapter | IST-REx-ID: 6178
M. Smutny, M. Behrndt, P. Campinho, V. Ruprecht, and C.-P. J. Heisenberg, “UV laser ablation to measure cell and tissue-generated forces in the zebrafish embryo in vivo and ex vivo,” in Tissue Morphogenesis, vol. 1189, C. Nelson, Ed. New York, NY: Springer, 2014, pp. 219–235.
View | DOI | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 12632 | OA
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: 12634
F. Pellicciotti, 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, vol. 493. Elsevier, pp. 1197–1210, 2014.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 12635
F. Pellicciotti, 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, vol. 493. Elsevier, pp. 1152–1170, 2014.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 12636
W. W. Immerzeel et al., “High-resolution monitoring of Himalayan glacier dynamics using unmanned aerial vehicles,” Remote Sensing of Environment, vol. 150, no. 7. Elsevier, pp. 93–103, 2014.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 12637 | OA
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 | Journal Article | IST-REx-ID: 1309
J. L. Fischer, “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, pp. 27–50, 2014.
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 1312
J. L. Fischer, “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, pp. 771–818, 2014.
View | DOI
 

2014 | Published | Conference Paper | IST-REx-ID: 1507 | OA
L. Erdös, “Random matrices, log-gases and Hölder regularity,” in Proceedings of the International Congress of Mathematicians, Seoul, Korea, 2014, vol. 3, pp. 214–236.
[Submitted Version] View | Download Submitted Version (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed