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.
252 Publications
2015 | Conference Paper | IST-REx-ID: 1992 | 
Succinct representation of concurrent trace sets
A. Gupta, T.A. Henzinger, A. Radhakrishna, R. Samanta, T. Tarrach, in:, ACM, 2015, pp. 433–444.
[Submitted Version]
View
| Files available
| DOI
A. Gupta, T.A. Henzinger, A. Radhakrishna, R. Samanta, T. Tarrach, in:, ACM, 2015, pp. 433–444.
2015 | Conference Paper | IST-REx-ID: 1610 |
Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 121–133.
View
| Files available
| DOI
| Download None (ext.)
| arXiv
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, in:, 42nd International Colloquium, Springer Nature, 2015, pp. 121–133.
2015 | Journal Article | IST-REx-ID: 7742
Population genetic differentiation of height and body mass index across Europe
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
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.
2015 | Journal Article | IST-REx-ID: 8498
Arnold diffusion for smooth convex systems of two and a half degrees of freedom
V. Kaloshin, K. Zhang, Nonlinearity 28 (2015) 2699–2720.
View
| DOI
V. Kaloshin, K. Zhang, Nonlinearity 28 (2015) 2699–2720.
2015 | Journal Article | IST-REx-ID: 12630
Unraveling the hydrology of a Himalayan catchment through integration of high resolution in situ data and remote sensing with an advanced simulation model
S. Ragettli, F. Pellicciotti, W.W. Immerzeel, E.S. Miles, L. Petersen, M. Heynen, J.M. Shea, D. Stumm, S. Joshi, A. Shrestha, Advances in Water Resources 78 (2015) 94–111.
View
| DOI
S. Ragettli, F. Pellicciotti, W.W. Immerzeel, E.S. Miles, L. Petersen, M. Heynen, J.M. Shea, D. Stumm, S. Joshi, A. Shrestha, Advances in Water Resources 78 (2015) 94–111.
2015 | Journal Article | IST-REx-ID: 12626 |
Modelling ice-cliff backwasting on a debris-covered glacier in the Nepalese Himalaya
J.F. Steiner, F. Pellicciotti, P. Buri, E.S. Miles, W.W. Immerzeel, T.D. Reid, Journal of Glaciology 61 (2015) 889–907.
[Published Version]
View
| DOI
| Download Published Version (ext.)
J.F. Steiner, F. Pellicciotti, P. Buri, E.S. Miles, W.W. Immerzeel, T.D. Reid, Journal of Glaciology 61 (2015) 889–907.
2015 | Journal Article | IST-REx-ID: 1604
Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT 50 (2015) 539–551.
View
| Files available
| DOI
K. Chatterjee, A. Pavlogiannis, Y. Velner, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT 50 (2015) 539–551.
2014 | Journal Article | IST-REx-ID: 11583 |
A 10 deg2 Lyman α survey at z=8.8 with spectroscopic follow-up: Strong constraints on the luminosity function and implications for other surveys
J.J. Matthee, D. Sobral, A.M. Swinbank, I. Smail, P.N. Best, J.-W. Kim, M. Franx, B. Milvang-Jensen, J. Fynbo, Monthly Notices of the Royal Astronomical Society 440 (2014) 2375–2387.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, D. Sobral, A.M. Swinbank, I. Smail, P.N. Best, J.-W. Kim, M. Franx, B. Milvang-Jensen, J. Fynbo, Monthly Notices of the Royal Astronomical Society 440 (2014) 2375–2387.
2014 | Conference Paper | IST-REx-ID: 11876 |
A subquadratic-time algorithm for decremental single-source shortest paths
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 25th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2014, pp. 1053–1072.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 25th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2014, pp. 1053–1072.
2014 | Journal Article | IST-REx-ID: 1934
Cytokinin controls polarity of PIN1-dependent Auxin transport during lateral root organogenesis
P. Marhavý, J. Duclercq, B. Weller, E. Feraru, A. Bielach, R. Offringa, J. Friml, C. Schwechheimer, A. Murphy, E. Benková, Current Biology 24 (2014) 1031–1037.
View
| DOI
P. Marhavý, J. Duclercq, B. Weller, E. Feraru, A. Bielach, R. Offringa, J. Friml, C. Schwechheimer, A. Murphy, E. Benková, Current Biology 24 (2014) 1031–1037.
2014 | Journal Article | IST-REx-ID: 1979
The mechanism of coupling between electron transfer and proton translocation in respiratory complex I
L.A. Sazanov, Journal of Bioenergetics and Biomembranes 46 (2014) 247–253.
View
| DOI
L.A. Sazanov, Journal of Bioenergetics and Biomembranes 46 (2014) 247–253.
2014 | Journal Article | IST-REx-ID: 2022 |
Deterministic progenitor behavior and unitary production of neurons in the neocortex
P. Gao, M.P. Postiglione, T. Krieger, L. Hernandez, C. Wang, Z. Han, C. Streicher, E. Papusheva, R. Insolera, K. Chugh, O. Kodish, K. Huang, B. Simons, L. Luo, S. Hippenmeyer, S. Shi, Cell 159 (2014) 775–788.
[Published Version]
View
| Files available
| DOI
P. Gao, M.P. Postiglione, T. Krieger, L. Hernandez, C. Wang, Z. Han, C. Streicher, E. Papusheva, R. Insolera, K. Chugh, O. Kodish, K. Huang, B. Simons, L. Luo, S. Hippenmeyer, S. Shi, Cell 159 (2014) 775–788.
2014 | Conference Paper | IST-REx-ID: 2153 |
Induced matchings of barcodes and the algebraic stability of persistence
U. Bauer, M. Lesnick, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 355–364.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
U. Bauer, M. Lesnick, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 355–364.
2014 | Book | IST-REx-ID: 6853
A Short Course in Computational Geometry and Topology
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed., Springer Nature, Cham, 2014.
View
| Files available
| DOI
H. Edelsbrunner, A Short Course in Computational Geometry and Topology, 1st ed., Springer Nature, Cham, 2014.
2014 | Journal Article | IST-REx-ID: 7302
Short-range Li diffusion vs. long-range ionic conduction in nanocrystalline lithium peroxide Li2O2—the discharge product in lithium-air batteries
A. Dunst, V. Epp, I. Hanzu, S.A. Freunberger, M. Wilkening, Energy & Environmental Science 7 (2014) 2739–2752.
[Published Version]
View
| DOI
A. Dunst, V. Epp, I. Hanzu, S.A. Freunberger, M. Wilkening, Energy & Environmental Science 7 (2014) 2739–2752.
2014 | Journal Article | IST-REx-ID: 10814
The excitation spectrum for Bose fluids with weak interactions
R. Seiringer, Jahresbericht Der Deutschen Mathematiker-Vereinigung 116 (2014) 21–41.
View
| DOI
R. Seiringer, Jahresbericht Der Deutschen Mathematiker-Vereinigung 116 (2014) 21–41.
2014 | Journal Article | IST-REx-ID: 2281 |
On the mass concentration for Bose-Einstein condensates with attractive interactions
Y. Guo, R. Seiringer, Letters in Mathematical Physics 104 (2014) 141–156.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Guo, R. Seiringer, Letters in Mathematical Physics 104 (2014) 141–156.
2013 | Book Chapter | IST-REx-ID: 10899
Differentiation
N.H. Barton, in:, Encyclopedia of Biodiversity, 2nd ed., Elsevier, 2013, pp. 508–515.
View
| DOI
N.H. Barton, in:, Encyclopedia of Biodiversity, 2nd ed., Elsevier, 2013, pp. 508–515.
2013 | Conference Paper | IST-REx-ID: 11793 |
Sublinear-time maintenance of breadth-first spanning tree in partially dynamic networks
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 40th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2013, pp. 607–619.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 40th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2013, pp. 607–619.
2013 | Journal Article | IST-REx-ID: 1978
Crystal structure of the entire respiratory complex i
R. Baradaran, J. Berrisford, G. Minhas, L.A. Sazanov, Nature 494 (2013) 443–448.
View
| DOI
R. Baradaran, J. Berrisford, G. Minhas, L.A. Sazanov, Nature 494 (2013) 443–448.