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., Francesca Pellicciotti, W.W. Immerzeel, E.S. Miles, L. Petersen, M. Heynen, J.M. Shea, D. Stumm, S. Joshi, and A. Shrestha. “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, 2015. https://doi.org/10.1016/j.advwatres.2015.01.013.
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 12626 | 
Steiner, Jakob F., Francesca Pellicciotti, Pascal Buri, Evan S. Miles, Walter W. Immerzeel, and Tim D. Reid. “Modelling Ice-Cliff Backwasting on a Debris-Covered Glacier in the Nepalese Himalaya.” Journal of Glaciology. International Glaciological Society, 2015. https://doi.org/10.3189/2015jog14j194.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 |Published| Journal Article | IST-REx-ID: 1604
Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. “Quantitative Interprocedural Analysis.” Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT . ACM, 2015. https://doi.org/10.1145/2676726.2676968.
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 11583 |
Matthee, Jorryt J, David Sobral, A. M. Swinbank, Ian Smail, P. N. Best, Jae-Woo Kim, Marijn Franx, Bo Milvang-Jensen, and Johan Fynbo. “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, 2014. https://doi.org/10.1093/mnras/stu392.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |Published| Conference Paper | IST-REx-ID: 11876 |
Henzinger, Monika H, Sebastian Krinninger, and Danupon Nanongkai. “A Subquadratic-Time Algorithm for Decremental Single-Source Shortest Paths.” In 25th Annual ACM-SIAM Symposium on Discrete Algorithms, 1053–72. Society for Industrial and Applied Mathematics, 2014. 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ý, Peter, Jérôme Duclercq, Benjamin Weller, Elena Feraru, Agnieszka Bielach, Remko Offringa, Jiří Friml, Claus Schwechheimer, Angus Murphy, and Eva Benková. “Cytokinin Controls Polarity of PIN1-Dependent Auxin Transport during Lateral Root Organogenesis.” Current Biology. Cell Press, 2014. https://doi.org/10.1016/j.cub.2014.04.002.
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1979
Sazanov, Leonid A. “The Mechanism of Coupling between Electron Transfer and Proton Translocation in Respiratory Complex I.” Journal of Bioenergetics and Biomembranes. Springer, 2014. https://doi.org/10.1007/s10863-014-9554-z.
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 2022 |
Gao, Peng, Maria P Postiglione, Teresa Krieger, Luisirene Hernandez, Chao Wang, Zhi Han, Carmen Streicher, et al. “Deterministic Progenitor Behavior and Unitary Production of Neurons in the Neocortex.” Cell. Cell Press, 2014. https://doi.org/10.1016/j.cell.2014.10.027.
[Published Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 2153 |
Bauer, Ulrich, and Michael Lesnick. “Induced Matchings of Barcodes and the Algebraic Stability of Persistence.” In Proceedings of the Annual Symposium on Computational Geometry, 355–64. ACM, 2014. https://doi.org/10.1145/2582112.2582168.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Book | IST-REx-ID: 6853
Edelsbrunner, Herbert. A Short Course in Computational Geometry and Topology. 1st ed. SpringerBriefs in Applied Sciences and Technology. Cham: Springer Nature, 2014. https://doi.org/10.1007/978-3-319-05957-0.
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 7302
Dunst, A., V. Epp, I. Hanzu, Stefan Alexander Freunberger, and M. Wilkening. “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, 2014. https://doi.org/10.1039/c4ee00496e.
[Published Version]
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 10814
Seiringer, Robert. “The Excitation Spectrum for Bose Fluids with Weak Interactions.” Jahresbericht Der Deutschen Mathematiker-Vereinigung. Springer Nature, 2014. https://doi.org/10.1365/s13291-014-0083-9.
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 2281 |
Guo, Yujin, and Robert Seiringer. “On the Mass Concentration for Bose-Einstein Condensates with Attractive Interactions.” Letters in Mathematical Physics. Springer, 2014. 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, Nicholas H. “Differentiation.” In Encyclopedia of Biodiversity, 2nd ed., 508–15. Elsevier, 2013. https://doi.org/10.1016/b978-0-12-384719-5.00031-9.
View
| DOI
2013 |Published| Conference Paper | IST-REx-ID: 11793 |
Henzinger, Monika H, Sebastian Krinninger, and Danupon Nanongkai. “Sublinear-Time Maintenance of Breadth-First Spanning Tree in Partially Dynamic Networks.” In 40th International Colloquium on Automata, Languages, and Programming, 7966:607–619. Springer Nature, 2013. 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, Rozbeh, John Berrisford, Gurdeep Minhas, and Leonid A Sazanov. “Crystal Structure of the Entire Respiratory Complex I.” Nature. Nature Publishing Group, 2013. https://doi.org/10.1038/nature11871.
View
| DOI
2013 |Published| Conference (Editor) | IST-REx-ID: 2288
Gupta, Ashutosh, and Thomas A Henzinger, eds. Computational Methods in Systems Biology. Vol. 8130. Springer, 2013. https://doi.org/10.1007/978-3-642-40708-6.
View
| DOI
2013 |Published| Journal Article | IST-REx-ID: 2299 |
Godhal, Yashdeep, Krishnendu Chatterjee, and Thomas A Henzinger. “Synthesis of AMBA AHB from Formal Specification: A Case Study.” International Journal on Software Tools for Technology Transfer. Springer, 2013. https://doi.org/10.1007/s10009-011-0207-9.
[Submitted Version]
View
| Files available
| DOI
2013 |Published| Book | IST-REx-ID: 2306 |
Danowski, Patrick, and Adrian Pohl. (Open) Linked Data in Bibliotheken. Vol. 50. De Gruyter, 2013. https://doi.org/10.1515/9783110278736.
[Published Version]
View
| Files available
| DOI
2013 |Published| Journal Article | IST-REx-ID: 246
Browning, Timothy D, and Ritabrata Munshi. “Rational Points on Singular Intersections of Quadrics.” Compositio Mathematica. Cambridge University Press, 2013. https://doi.org/10.1112/S0010437X13007185.
View
| DOI