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.
435 Publications
2018 | Published | Journal Article | IST-REx-ID: 76 | 
Near-optimal self-stabilising counting and firing squads
C. Lenzen, J. Rybicki, Distributed Computing (2018).
[Published Version]
View
| Files available
| DOI
| WoS
C. Lenzen, J. Rybicki, Distributed Computing (2018).
2018 | Published | Journal Article | IST-REx-ID: 7713 |
Global genetic differentiation of complex traits shaped by natural selection in humans
J. Guo, Y. Wu, Z. Zhu, Z. Zheng, M. Trzaskowski, J. Zeng, M.R. Robinson, P.M. Visscher, J. Yang, Nature Communications 9 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Guo, Y. Wu, Z. Zhu, Z. Zheng, M. Trzaskowski, J. Zeng, M.R. Robinson, P.M. Visscher, J. Yang, Nature Communications 9 (2018).
2018 | Published | Journal Article | IST-REx-ID: 7716 |
Improving genetic prediction by leveraging genetic correlations among human diseases and traits
R.M. Maier, Z. Zhu, S.H. Lee, M. Trzaskowski, D.M. Ruderfer, E.A. Stahl, S. Ripke, N.R. Wray, J. Yang, P.M. Visscher, M.R. Robinson, Nature Communications 9 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
R.M. Maier, Z. Zhu, S.H. Lee, M. Trzaskowski, D.M. Ruderfer, E.A. Stahl, S. Ripke, N.R. Wray, J. Yang, P.M. Visscher, M.R. Robinson, Nature Communications 9 (2018).
2018 | Published | Journal Article | IST-REx-ID: 7722
Signatures of negative selection in the genetic architecture of human complex traits
J. Zeng, R. de Vlaming, Y. Wu, M.R. Robinson, L.R. Lloyd-Jones, L. Yengo, C.X. Yap, A. Xue, J. Sidorenko, A.F. McRae, J.E. Powell, G.W. Montgomery, A. Metspalu, T. Esko, G. Gibson, N.R. Wray, P.M. Visscher, J. Yang, Nature Genetics 50 (2018) 746–753.
View
| DOI
J. Zeng, R. de Vlaming, Y. Wu, M.R. Robinson, L.R. Lloyd-Jones, L. Yengo, C.X. Yap, A. Xue, J. Sidorenko, A.F. McRae, J.E. Powell, G.W. Montgomery, A. Metspalu, T. Esko, G. Gibson, N.R. Wray, P.M. Visscher, J. Yang, Nature Genetics 50 (2018) 746–753.
2018 | Published | Journal Article | IST-REx-ID: 12604 |
Surface pond energy absorption across four Himalayan Glaciers accounts for 1/8 of total catchment ice loss
E.S. Miles, I. Willis, P. Buri, J.F. Steiner, N.S. Arnold, F. Pellicciotti, Geophysical Research Letters 45 (2018) 10464–10473.
[Published Version]
View
| DOI
| Download Published Version (ext.)
E.S. Miles, I. Willis, P. Buri, J.F. Steiner, N.S. Arnold, F. Pellicciotti, Geophysical Research Letters 45 (2018) 10464–10473.
2018 | Published | Journal Article | IST-REx-ID: 127
Clicks for doughnuts
S.R. Waitukaitis, Nature Physics 14 (2018) 777–778.
View
| DOI
S.R. Waitukaitis, Nature Physics 14 (2018) 777–778.
2018 | Published | Journal Article | IST-REx-ID: 11555 |
Kiloparsec-scale gaseous clumps and star formation at z = 5–7
S. Carniani, R. Maiolino, R. Amorin, L. Pentericci, A. Pallottini, A. Ferrara, C.J. Willott, R. Smit, J.J. Matthee, D. Sobral, P. Santini, M. Castellano, S. De Barros, A. Fontana, A. Grazian, L. Guaita, Monthly Notices of the Royal Astronomical Society 478 (2018) 1170–1184.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Carniani, R. Maiolino, R. Amorin, L. Pentericci, A. Pallottini, A. Ferrara, C.J. Willott, R. Smit, J.J. Matthee, D. Sobral, P. Santini, M. Castellano, S. De Barros, A. Fontana, A. Grazian, L. Guaita, Monthly Notices of the Royal Astronomical Society 478 (2018) 1170–1184.
2018 | Published | Journal Article | IST-REx-ID: 11558 |
Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6
D. Sobral, S. Santos, J.J. Matthee, A. Paulino-Afonso, B. Ribeiro, J. Calhau, A.A. Khostovan, Monthly Notices of the Royal Astronomical Society 476 (2018) 4725–4752.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Sobral, S. Santos, J.J. Matthee, A. Paulino-Afonso, B. Ribeiro, J. Calhau, A.A. Khostovan, Monthly Notices of the Royal Astronomical Society 476 (2018) 4725–4752.
2018 | Published | Journal Article | IST-REx-ID: 14003 |
Chiral discrimination through bielliptical high-harmonic spectroscopy
D.R. Baykusheva, H.J. Wörner, Physical Review X 8 (2018).
[Published Version]
View
| DOI
| Download Published Version (ext.)
D.R. Baykusheva, H.J. Wörner, Physical Review X 8 (2018).
2018 | Published | Conference Paper | IST-REx-ID: 144
A theory of register monitors
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
View
| DOI
| WoS
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
2018 | Published | Journal Article | IST-REx-ID: 692 |
3-Webs generated by confocal conics and circles
A. Akopyan, Geometriae Dedicata 194 (2018) 55–64.
[Published Version]
View
| Files available
| DOI
| WoS
A. Akopyan, Geometriae Dedicata 194 (2018) 55–64.
2017 | Published | Journal Article | IST-REx-ID: 1073 |
Algorithmic solvability of the lifting extension problem
M. Čadek, M. Krcál, L. Vokřínek, Discrete & Computational Geometry 54 (2017) 915–965.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
M. Čadek, M. Krcál, L. Vokřínek, Discrete & Computational Geometry 54 (2017) 915–965.
2017 | Published | Journal Article | IST-REx-ID: 11572 |
Spectroscopic properties of luminous Ly α emitters at z ≈ 6–7 and comparison to the Lyman-break population
J.J. Matthee, D. Sobral, B. Darvish, S. Santos, B. Mobasher, A. Paulino-Afonso, H. Röttgering, L. Alegre, Monthly Notices of the Royal Astronomical Society 472 (2017) 772–787.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, D. Sobral, B. Darvish, S. Santos, B. Mobasher, A. Paulino-Afonso, H. Röttgering, L. Alegre, Monthly Notices of the Royal Astronomical Society 472 (2017) 772–787.
2017 | Published | Conference Paper | IST-REx-ID: 636 |
On the quantitative semantics of regular expressions over real-valued signals
A. Bakhirkin, T. Ferrere, O. Maler, D. Ulus, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 189–206.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
A. Bakhirkin, T. Ferrere, O. Maler, D. Ulus, in:, A. Abate, G. Geeraerts (Eds.), Springer, 2017, pp. 189–206.
2017 | Published | Conference Paper | IST-REx-ID: 647 |
Conic abstractions for hybrid systems
S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132.
[Submitted Version]
View
| Files available
| DOI
S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132.
2017 | Published | Book Chapter | IST-REx-ID: 424 |
Bounding helly numbers via betti numbers
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, M. Loebl, J. Nešetřil, R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, Springer, 2017, pp. 407–447.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, M. Loebl, J. Nešetřil, R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, Springer, 2017, pp. 407–447.
2017 | Published | Conference Paper | IST-REx-ID: 487
Towards unlicensed cellular networks in TV white spaces
G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, L. Qiu, in:, Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14.
View
| DOI
G. Baig, B. Radunovic, D.-A. Alistarh, M. Balkwill, T. Karagiannis, L. Qiu, in:, Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14.
2017 | Published | Journal Article | IST-REx-ID: 17696 |
What is the maximum mass of a Population III galaxy?
E. Visbal, G.L. Bryan, Z. Haiman, Monthly Notices of the Royal Astronomical Society 469 (2017) 1456–1465.
[Published Version]
View
| DOI
| Download Published Version (ext.)
E. Visbal, G.L. Bryan, Z. Haiman, Monthly Notices of the Royal Astronomical Society 469 (2017) 1456–1465.
2017 | Published | Journal Article | IST-REx-ID: 17698 |
On the orbital evolution of supermassive black hole binaries with circumbinary accretion discs
Y. Tang, A. MacFadyen, Z. Haiman, Monthly Notices of the Royal Astronomical Society 469 (2017) 4258–4267.
[Published Version]
View
| DOI
| Download Published Version (ext.)
Y. Tang, A. MacFadyen, Z. Haiman, Monthly Notices of the Royal Astronomical Society 469 (2017) 4258–4267.
2017 | Published | Journal Article | IST-REx-ID: 743
Preface of the special issue in memoriam Helmut Veith
G. Gottlob, T.A. Henzinger, G. Weißenbacher, Formal Methods in System Design 51 (2017) 267–269.
View
| DOI
| WoS
G. Gottlob, T.A. Henzinger, G. Weißenbacher, Formal Methods in System Design 51 (2017) 267–269.