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
2016 |Published| Journal Article | IST-REx-ID: 8493
Guardia, M., et al. “A Second Order Expansion of the Separatrix Map for Trigonometric Perturbations of a Priori Unstable Systems.” Communications in Mathematical Physics, vol. 348, Springer Nature, 2016, pp. 321–61, doi:10.1007/s00220-016-2705-9.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1243
Pleska, Maros, et al. “Bacterial Autoimmunity Due to a Restriction-Modification System.” Current Biology, vol. 26, no. 3, Cell Press, 2016, pp. 404–09, doi:10.1016/j.cub.2015.12.041.
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1520
Bharaj, Gaurav, et al. Computational Design of Walking Automata. ACM, 2015, pp. 93–100, doi:10.1145/2786784.2786803.
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 1536
Sasse, Joëlle, et al. “Asymmetric Localizations of the ABC Transporter PaPDR1 Trace Paths of Directional Strigolactone Transport.” Current Biology, vol. 25, no. 5, Cell Press, 2015, pp. 647–55, doi:10.1016/j.cub.2015.01.015.
View
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1609 | 
Chatterjee, Krishnendu, et al. “The Complexity of Synthesis from Probabilistic Components.” 42nd International Colloquium, vol. 9135, Springer Nature, 2015, pp. 108–20, doi:10.1007/978-3-662-47666-6_9.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Journal Article | IST-REx-ID: 1730 |
Colin De Verdière, Éric, et al. “Discrete Systolic Inequalities and Decompositions of Triangulated Surfaces.” Discrete & Computational Geometry, vol. 53, no. 3, Springer, 2015, pp. 587–620, doi:10.1007/s00454-015-9679-9.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2015 |Published| Conference Paper | IST-REx-ID: 1992 |
Gupta, Ashutosh, et al. Succinct Representation of Concurrent Trace Sets. ACM, 2015, pp. 433–44, doi:10.1145/2676726.2677008.
[Submitted Version]
View
| Files available
| DOI
2015 |Published| Conference Paper | IST-REx-ID: 1610 |
Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.” 42nd International Colloquium, vol. 9135, no. Part II, Springer Nature, 2015, pp. 121–33, doi:10.1007/978-3-662-47666-6_10.
View
| Files available
| DOI
| Download None (ext.)
| arXiv
2015 |Published| Journal Article | IST-REx-ID: 7742
Robinson MR, Hemani G, Medina-Gomez C, Mezzavilla M, Esko T, Shakhbazov K, Powell JE, Vinkhuyzen A, Berndt SI, Gustafsson S, Justice AE, Kahali B, Locke AE, Pers TH, Vedantam S, Wood AR, van Rheenen W, Andreassen OA, Gasparini P, Metspalu A, Berg LH van den, Veldink JH, Rivadeneira F, Werge TM, Abecasis GR, Boomsma DI, Chasman DI, de Geus EJC, Frayling TM, Hirschhorn JN, Hottenga JJ, Ingelsson E, Loos RJF, Magnusson PKE, Martin NG, Montgomery GW, North KE, Pedersen NL, Spector TD, Speliotes EK, Goddard ME, Yang J, Visscher PM. 2015. Population genetic differentiation of height and body mass index across Europe. Nature Genetics. 47(11), 1357–1362.
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 8498
Kaloshin, Vadim, and K. Zhang. “Arnold Diffusion for Smooth Convex Systems of Two and a Half Degrees of Freedom.” Nonlinearity, vol. 28, no. 8, IOP Publishing, 2015, pp. 2699–720, doi:10.1088/0951-7715/28/8/2699.
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 12630
Ragettli, S., et al. “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, vol. 78, no. 4, Elsevier, 2015, pp. 94–111, doi:10.1016/j.advwatres.2015.01.013.
View
| DOI
2015 |Published| Journal Article | IST-REx-ID: 12626 |
Steiner, Jakob F., et al. “Modelling Ice-Cliff Backwasting on a Debris-Covered Glacier in the Nepalese Himalaya.” Journal of Glaciology, vol. 61, no. 229, International Glaciological Society, 2015, pp. 889–907, doi:10.3189/2015jog14j194.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 |Published| Journal Article | IST-REx-ID: 1604
Chatterjee, Krishnendu, et al. “Quantitative Interprocedural Analysis.” Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT , vol. 50, no. 1, ACM, 2015, pp. 539–51, doi:10.1145/2676726.2676968.
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 11583 |
Matthee, Jorryt J., et al. “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, vol. 440, no. 3, Oxford University Press, 2014, pp. 2375–87, doi:10.1093/mnras/stu392.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |Published| Conference Paper | IST-REx-ID: 11876 |
Henzinger, Monika H., et al. “A Subquadratic-Time Algorithm for Decremental Single-Source Shortest Paths.” 25th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2014, pp. 1053–72, doi:10.1137/1.9781611973402.79.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 1934
Marhavý, Peter, et al. “Cytokinin Controls Polarity of PIN1-Dependent Auxin Transport during Lateral Root Organogenesis.” Current Biology, vol. 24, no. 9, Cell Press, 2014, pp. 1031–37, doi: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, vol. 46, no. 4, Springer, 2014, pp. 247–53, doi:10.1007/s10863-014-9554-z.
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 2022 |
Gao, Peng, et al. “Deterministic Progenitor Behavior and Unitary Production of Neurons in the Neocortex.” Cell, vol. 159, no. 4, Cell Press, 2014, pp. 775–88, doi: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.” Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 355–64, doi: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., Springer Nature, 2014, doi:10.1007/978-3-319-05957-0.
View
| Files available
| DOI