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.
253 Publications
2015 |Published| Journal Article | IST-REx-ID: 12630
Ragettli, S., Pellicciotti, F., Immerzeel, W. W., Miles, E. S., Petersen, L., Heynen, M., … Shrestha, A. (2015). Unraveling the hydrology of a Himalayan catchment through integration of high resolution in situ data and remote sensing with an advanced simulation model. Advances in Water Resources. Elsevier. https://doi.org/10.1016/j.advwatres.2015.01.013
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 12626 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Steiner, J. F., Pellicciotti, F., Buri, P., Miles, E. S., Immerzeel, W. W., & Reid, T. D. (2015). Modelling ice-cliff backwasting on a debris-covered glacier in the Nepalese Himalaya. Journal of Glaciology. International Glaciological Society. https://doi.org/10.3189/2015jog14j194
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 |Published| Journal Article | IST-REx-ID: 1604
Chatterjee, K., Pavlogiannis, A., & Velner, Y. (2015). Quantitative interprocedural analysis. Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT . Mumbai, India: ACM. https://doi.org/10.1145/2676726.2676968
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 11583 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Matthee, J. J., Sobral, D., Swinbank, A. M., Smail, I., Best, P. N., Kim, J.-W., … Fynbo, J. (2014). A 10 deg2 Lyman α survey at z=8.8 with spectroscopic follow-up: Strong constraints on the luminosity function and implications for other surveys. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stu392
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |Published| Conference Paper | IST-REx-ID: 11876 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2014). A subquadratic-time algorithm for decremental single-source shortest paths. In 25th Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 1053–1072). Portland, OR, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973402.79
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 1934
Marhavý, P., Duclercq, J., Weller, B., Feraru, E., Bielach, A., Offringa, R., … Benková, E. (2014). Cytokinin controls polarity of PIN1-dependent Auxin transport during lateral root organogenesis. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2014.04.002
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1979
Sazanov, L. A. (2014). The mechanism of coupling between electron transfer and proton translocation in respiratory complex I. Journal of Bioenergetics and Biomembranes. Springer. https://doi.org/10.1007/s10863-014-9554-z
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 2022 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gao, P., Postiglione, M. P., Krieger, T., Hernandez, L., Wang, C., Han, Z., … Shi, S. (2014). Deterministic progenitor behavior and unitary production of neurons in the neocortex. Cell. Cell Press. https://doi.org/10.1016/j.cell.2014.10.027
[Published Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 2153 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bauer, U., & Lesnick, M. (2014). Induced matchings of barcodes and the algebraic stability of persistence. In Proceedings of the Annual Symposium on Computational Geometry (pp. 355–364). Kyoto, Japan: ACM. https://doi.org/10.1145/2582112.2582168
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Book | IST-REx-ID: 6853
Edelsbrunner, H. (2014). A Short Course in Computational Geometry and Topology (1st ed.). Cham: Springer Nature. https://doi.org/10.1007/978-3-319-05957-0
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 7302
Dunst, A., Epp, V., Hanzu, I., Freunberger, S. A., & Wilkening, M. (2014). Short-range Li diffusion vs. long-range ionic conduction in nanocrystalline lithium peroxide Li2O2—the discharge product in lithium-air batteries. Energy & Environmental Science. RSC. https://doi.org/10.1039/c4ee00496e
[Published Version]
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 10814
Seiringer, R. (2014). The excitation spectrum for Bose fluids with weak interactions. Jahresbericht Der Deutschen Mathematiker-Vereinigung. Springer Nature. https://doi.org/10.1365/s13291-014-0083-9
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 2281 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Guo, Y., & Seiringer, R. (2014). On the mass concentration for Bose-Einstein condensates with attractive interactions. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-013-0667-9
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Book Chapter | IST-REx-ID: 10899
Barton, N. H. (2013). Differentiation. In Encyclopedia of Biodiversity (2nd ed., pp. 508–515). Elsevier. https://doi.org/10.1016/b978-0-12-384719-5.00031-9
View
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 11793 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2013). Sublinear-time maintenance of breadth-first spanning tree in partially dynamic networks. In 40th International Colloquium on Automata, Languages, and Programming (Vol. 7966, pp. 607–619). Riga, Latvia: Springer Nature. https://doi.org/10.1007/978-3-642-39212-2_53
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 |Published| Journal Article | IST-REx-ID: 1978
Baradaran, R., Berrisford, J., Minhas, G., & Sazanov, L. A. (2013). Crystal structure of the entire respiratory complex i. Nature. Nature Publishing Group. https://doi.org/10.1038/nature11871
View
| DOI
2013 |Published| Conference (Editor) | IST-REx-ID: 2288
Gupta, A., & Henzinger, T. A. (Eds.). (2013). Computational Methods in Systems Biology (Vol. 8130). Presented at the CMSB: Computational Methods in Systems Biology, Klosterneuburg, Austria: Springer. https://doi.org/10.1007/978-3-642-40708-6
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2299 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Godhal, Y., Chatterjee, K., & Henzinger, T. A. (2013). Synthesis of AMBA AHB from formal specification: A case study. International Journal on Software Tools for Technology Transfer. Springer. https://doi.org/10.1007/s10009-011-0207-9
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Book | IST-REx-ID: 2306 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Danowski, P., & Pohl, A. (2013). (Open) Linked Data in Bibliotheken (Vol. 50). De Gruyter. https://doi.org/10.1515/9783110278736
[Published Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 246
Browning, T. D., & Munshi, R. (2013). Rational points on singular intersections of quadrics. Compositio Mathematica. Cambridge University Press. https://doi.org/10.1112/S0010437X13007185
View
| DOI