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.
4171 Publications
2020 | Journal Article | IST-REx-ID: 8084 | 
Lombardi F, Gómez-Extremera M, Bernaola-Galván P, Vetrivelan R, Saper CB, Scammell TE, Ivanov PC. 2020. Critical dynamics and coupling in bursts of cortical rhythms indicate non-homeostatic mechanism for sleep-stage transitions and dual role of VLPO neurons in both sleep and wake. Journal of Neuroscience. 40(1), 171–190.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 7650 |
Deuchert A, Seiringer R. 2020. Gross-Pitaevskii limit of a homogeneous Bose gas at positive temperature. Archive for Rational Mechanics and Analysis. 236(6), 1217–1271.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 8130 |
Bossmann L. 2020. Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d Bosons. Archive for Rational Mechanics and Analysis. 238(11), 541–606.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 7235 |
Lieb EH, Seiringer R. 2020. Divergence of the effective mass of a polaron in the strong coupling limit. Journal of Statistical Physics. 180, 23–33.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 7966 |
Auerbach B, Giacon F, Kiltz E. 2020. Everybody’s a target: Scalability in public-key encryption. Advances in Cryptology – EUROCRYPT 2020. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 12107, 475–506.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2020 | Conference Paper | IST-REx-ID: 8623 |
Henzinger TA, Sarac NE. 2020. Monitorability under assumptions. Runtime Verification. RV: Runtime Verification, LNCS, vol. 12399, 3–18.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Book Chapter | IST-REx-ID: 10865 |
Chakraborty S, Prabhakaran M, Wichs D. 2020.Witness maps and applications. In: Public-Key Cryptography. vol. 12110, 220–246.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2020 | Journal Article | IST-REx-ID: 7611 |
Rademacher SAE. 2020. Central limit theorem for Bose gases interacting through singular potentials. Letters in Mathematical Physics. 110, 2143–2174.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 7236 |
Baskett C, Schroeder L, Weber MG, Schemske DW. 2020. Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair. Ecological Monographs. 90(1), e01397.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 7697 |
Zhang Y, Hartinger C, Wang X, Friml J. 2020. Directional auxin fluxes in plants by intramolecular domain‐domain co‐evolution of PIN auxin transporters. New Phytologist. 227(5), 1406–1416.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC