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.
433 Publications
2018 | Published | Journal Article | IST-REx-ID: 6
Masís J, Mankus D, Wolff S, Guitchounts G, Jösch MA, Cox D. A micro-CT-based method for characterising lesions and locating electrodes in small animal brains. Journal of visualized experiments. 2018;141. doi:10.3791/58585
View
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 6002 | 
Napiórkowski MM, Reuvers R, Solovej JP. The Bogoliubov free energy functional I: Existence of minimizers and phase diagram. Archive for Rational Mechanics and Analysis. 2018;229(3):1037-1090. doi:10.1007/s00205-018-1232-6
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 17679 |
Inayoshi K, Ostriker JP, Haiman Z, Kuiper R. Low-density, radiatively inefficient rotating-accretion flow on to a black hole. Monthly Notices of the Royal Astronomical Society. 2018;476(1):1412-1426. doi:10.1093/mnras/sty276
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 | Published | Journal Article | IST-REx-ID: 17687 |
Inayoshi K, Li M, Haiman Z. Massive black hole and Population III galaxy formation in overmassive dark-matter haloes with violent merger histories. Monthly Notices of the Royal Astronomical Society. 2018;479(3):4017-4027. doi:10.1093/mnras/sty1720
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 | Published | Journal Article | IST-REx-ID: 76 |
Lenzen C, Rybicki J. Near-optimal self-stabilising counting and firing squads. Distributed Computing. 2018. doi:10.1007/s00446-018-0342-6
[Published Version]
View
| Files available
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 7713 |
Guo J, Wu Y, Zhu Z, et al. Global genetic differentiation of complex traits shaped by natural selection in humans. Nature Communications. 2018;9. doi:10.1038/s41467-018-04191-y
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 | Published | Journal Article | IST-REx-ID: 7716 |
Maier RM, Zhu Z, Lee SH, et al. Improving genetic prediction by leveraging genetic correlations among human diseases and traits. Nature Communications. 2018;9. doi:10.1038/s41467-017-02769-6
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 | Published | Journal Article | IST-REx-ID: 7722
Zeng J, de Vlaming R, Wu Y, et al. Signatures of negative selection in the genetic architecture of human complex traits. Nature Genetics. 2018;50(5):746-753. doi:10.1038/s41588-018-0101-4
View
| DOI
2018 | Published | Journal Article | IST-REx-ID: 12604 |
Miles ES, Willis I, Buri P, Steiner JF, Arnold NS, Pellicciotti F. Surface pond energy absorption across four Himalayan Glaciers accounts for 1/8 of total catchment ice loss. Geophysical Research Letters. 2018;45(19):10464-10473. doi:10.1029/2018gl079678
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 | Published | Journal Article | IST-REx-ID: 127
Waitukaitis SR. Clicks for doughnuts. Nature Physics. 2018;14(8):777-778. doi:10.1038/s41567-018-0160-6
View
| DOI
2018 | Published | Journal Article | IST-REx-ID: 11555 |
Carniani S, Maiolino R, Amorin R, et al. Kiloparsec-scale gaseous clumps and star formation at z = 5–7. Monthly Notices of the Royal Astronomical Society. 2018;478(1):1170-1184. doi:10.1093/mnras/sty1088
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 11558 |
Sobral D, Santos S, Matthee JJ, et al. Slicing COSMOS with SC4K: The evolution of typical Ly α emitters and the Ly α escape fraction from z ∼ 2 to 6. Monthly Notices of the Royal Astronomical Society. 2018;476(4):4725-4752. doi:10.1093/mnras/sty378
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2018 | Published | Journal Article | IST-REx-ID: 14003 |
Baykusheva DR, Wörner HJ. Chiral discrimination through bielliptical high-harmonic spectroscopy. Physical Review X. 2018;8(3). doi:10.1103/physrevx.8.031060
[Published Version]
View
| DOI
| Download Published Version (ext.)
2018 | Published | Conference Paper | IST-REx-ID: 144
Ferrere T, Henzinger TA, Saraç E. A theory of register monitors. In: Vol Part F138033. IEEE; 2018:394-403. doi:10.1145/3209108.3209194
View
| DOI
| WoS
2018 | Published | Journal Article | IST-REx-ID: 692 |
Akopyan A. 3-Webs generated by confocal conics and circles. Geometriae Dedicata. 2018;194(1):55-64. doi:10.1007/s10711-017-0265-6
[Published Version]
View
| Files available
| DOI
| WoS
2017 | Published | Journal Article | IST-REx-ID: 1073 |
Čadek M, Krcál M, Vokřínek L. Algorithmic solvability of the lifting extension problem. Discrete & Computational Geometry. 2017;54(4):915-965. doi:10.1007/s00454-016-9855-6
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 | Published | Thesis | IST-REx-ID: 992 |
Rolinek M. Complexity of constraint satisfaction. 2017. doi:10.15479/AT:ISTA:th_815
[Published Version]
View
| Files available
| DOI
2017 | Published | Journal Article | IST-REx-ID: 11572 |
Matthee JJ, Sobral D, Darvish B, et al. Spectroscopic properties of luminous Ly α emitters at z ≈ 6–7 and comparison to the Lyman-break population. Monthly Notices of the Royal Astronomical Society. 2017;472(1):772-787. doi:10.1093/mnras/stx2061
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 | Published | Conference Paper | IST-REx-ID: 636 |
Bakhirkin A, Ferrere T, Maler O, Ulus D. On the quantitative semantics of regular expressions over real-valued signals. In: Abate A, Geeraerts G, eds. Vol 10419. Springer; 2017:189-206. doi:10.1007/978-3-319-65765-3_11
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 | Published | Conference Paper | IST-REx-ID: 647 |
Bogomolov S, Giacobbe M, Henzinger TA, Kong H. Conic abstractions for hybrid systems. In: Vol 10419. Springer; 2017:116-132. doi:10.1007/978-3-319-65765-3_7
[Submitted Version]
View
| Files available
| DOI