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.
542 Publications
2020 | Conference Paper | IST-REx-ID: 9040 | 
Alamdari PA, Avni G, Henzinger TA, Lukina A. 2020. Formal methods with a touch of magic. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, 138–147.
[Published Version]
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 9059
Hueckel T, Hocky GM, Palacci JA, Sacanna S. 2020. Ionic solids from common colloids. Nature. 580(7804), 487–490.
View
| DOI
| PubMed | Europe PMC
2020 | Conference Paper | IST-REx-ID: 9299 |
Pach J, Tardos G, Tóth G. 2020. Crossings between non-homotopic edges. 28th International Symposium on Graph Drawing and Network Visualization. GD: Graph Drawing and Network VisualizationLNCS vol. 12590, 359–371.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 9573 |
He X, Kwan MA. 2020. Universality of random permutations. Bulletin of the London Mathematical Society. 52(3), 515–529.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 9582 |
Kwan MA, Letzter S, Sudakov B, Tran T. 2020. Dense induced bipartite subgraphs in triangle-free graphs. Combinatorica. 40(2), 283–305.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 12593
Herreid S, Pellicciotti F. 2020. The state of rock debris covering Earth’s glaciers. Nature Geoscience. 13(9), 621–627.
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8536 |
Mondelli M, Hashemi SA, Cioffi J, Goldsmith A. 2020. Simplified successive cancellation decoding of polar codes has sublinear latency. IEEE International Symposium on Information Theory - Proceedings. ISIT: Internation Symposium on Information Theory vol. 2020–June, 401–406.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 7509 |
Zhang H. 2020. From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture. Advances in Mathematics. 365, 107053.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 7618 |
Pitrik J, Virosztek D. 2020. Quantum Hellinger distances revisited. Letters in Mathematical Physics. 110(8), 2039–2052.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 7792
Taboada-Gutiérrez J, Álvarez-Pérez G, Duan J, Ma W, Crowley K, Prieto Gonzalez I, Bylinkin A, Autore M, Volkova H, Kimura K, Kimura T, Berger MH, Li S, Bao Q, Gao XPA, Errea I, Nikitin AY, Hillenbrand R, Martín-Sánchez J, Alonso-González P. 2020. Broad spectral tuning of ultra-low-loss polaritons in a van der Waals crystal by intercalation. Nature Materials. 19, 964–968.
View
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 7942 |
Hartstein M, Hsu YT, Modic KA, Porras J, Loew T, Tacon ML, Zuo H, Wang J, Zhu Z, Chan MK, Mcdonald RD, Lonzarich GG, Keimer B, Sebastian SE, Harrison N. 2020. Hard antinodal gap revealed by quantum oscillations in the pseudogap regime of underdoped high-Tc superconductors. Nature Physics. 16, 841–847.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 7960 |
Kalai G, Patakova Z. 2020. Intersection patterns of planar sets. Discrete and Computational Geometry. 64, 304–323.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 13460 |
Götberg YLL, Korol V, Lamberts A, Kupfer T, Breivik K, Ludwig B, Drout MR. 2020. Stars stripped in binaries: The living gravitational-wave sources. The Astrophysical Journal. 904(1), 56.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2020 | Journal Article | IST-REx-ID: 8042 |
Boccato C, Brennecke C, Cenatiempo S, Schlein B. 2020. The excitation spectrum of Bose gases interacting through singular potentials. Journal of the European Mathematical Society. 22(7), 2331–2403.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 8091 |
Seiringer R, Yngvason J. 2020. Emergence of Haldane pseudo-potentials in systems with short-range interactions. Journal of Statistical Physics. 181, 448–464.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 8318 |
Gutierrez-Fernandez J, Kaszuba K, Minhas GS, Baradaran R, Tambalo M, Gallagher DT, Sazanov LA. 2020. Key role of quinone in the mechanism of respiratory complex I. Nature Communications. 11(1), 4135.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8336 |
Kubiasova K, Montesinos López JC, Šamajová O, Nisler J, Mik V, Semerádová H, Plíhalová L, Novák O, Marhavý P, Cavallari N, Zalabák D, Berka K, Doležal K, Galuszka P, Šamaj J, Strnad M, Benková E, Plíhal O, Spíchal L. 2020. Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum. Nature Communications. 11, 4285.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2020 | Journal Article | IST-REx-ID: 8643 |
Deichler A, Carrasco D, Lopez-Jury L, Vega Zuniga TA, Marquez N, Mpodozis J, Marin G. 2020. A specialized reciprocal connectivity suggests a link between the mechanisms by which the superior colliculus and parabigeminal nucleus produce defensive behaviors in rodents. Scientific Reports. 10, 16220.
[Published Version]
View
| Files available
| DOI
| WoS