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.
661 Publications
2021 |Published| Conference Paper | IST-REx-ID: 10688 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kragl B, Qadeer S. 2021. The Civl verifier. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, Conference Series, vol. 2, 143–152.
[Published Version]
View
| Files available
| DOI
2021 | Conference Paper | IST-REx-ID: 10692 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Polshyn H, Zhu J, Kumar M, Zhang Y, Yang F, Tschirhart C, Serlin M, Watanabe K, Tanaguchi T, MacDonald A, Young A. 2021. Orbital Chern insulator states in twisted monolayer-bilayer graphene and electrical switching of topological and magnetic order. APS March Meeting 2021. APS: American Physical Society, Bulletin of the American Physical Society, vol. 66, E42.00010.
[Published Version]
View
| Download Published Version (ext.)
2021 |Published| Conference Paper | IST-REx-ID: 10694 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Avni G, Jecker IR, Zikelic D. 2021. Infinite-duration all-pay bidding games. Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 617–636.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10847 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tomášek P, Horák K, Aradhye A, Bošanský B, Chatterjee K. 2021. Solving partially observable stochastic shortest-path games. 30th International Joint Conference on Artificial Intelligence. IJCAI: International Joint Conferences on Artificial Intelligence Organization, 4182–4189.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 |Published| Conference Paper | IST-REx-ID: 10853 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fedorov A, Koval N, Alistarh D-A. 2021. A scalable concurrent algorithm for dynamic connectivity. Proceedings of the 33rd ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 208–220.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 10912 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lombardi F, Pepic S, Shriki O, Tkačik G, De Martino D. Quantifying the coexistence of neuronal oscillations and avalanches. 10.48550/ARXIV.2108.06686.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 11053 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Shadel GS, Adams PD, Berggren WT, Diedrich JK, Diffenderfer KE, Gage FH, Hah N, Hansen M, Hetzer M, Molina AJA, Manor U, Marek K, O’Keefe DD, Pinto AFM, Sacco A, Sharpee TO, Shokriev MN, Zambetti S. 2021. The San Diego Nathan Shock Center: Tackling the heterogeneity of aging. GeroScience. 43(5), 2139–2148.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 11052
Krishna S, Arrojo e Drigo R, Capitanio JS, Ramachandra R, Ellisman M, Hetzer M. 2021. Identification of long-lived proteins in the mitochondria reveals increased stability of the electron transport chain. Developmental Cell. 56(21), P2952–2965.e9.
View
| DOI
| PubMed | Europe PMC
2021 |Published| Conference Paper | IST-REx-ID: 11436 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kungurtsev V, Egan M, Chatterjee B, Alistarh D-A. 2021. Asynchronous optimization methods for efficient training of deep neural networks with guarantees. 35th AAAI Conference on Artificial Intelligence, AAAI 2021. AAAI: Conference on Artificial Intelligence vol. 35, 8209–8216.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 11453 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Braun L, Vogels TP. 2021. Online learning of neural computations from sparse temporal feedback. Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems vol. 20, 16437–16450.
[Published Version]
View
| Download Published Version (ext.)
2021 |Published| Conference Paper | IST-REx-ID: 11452 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alimisis F, Davies P, Vandereycken B, Alistarh D-A. 2021. Distributed principal component analysis with limited communication. Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems vol. 4, 2823–2834.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 11463 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Frantar E, Kurtic E, Alistarh D-A. 2021. M-FAC: Efficient matrix-free approximations of second-order information. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems vol. 34, 14873–14886.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 11464 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alistarh D-A, Korhonen J. 2021. Towards tight communication lower bounds for distributed optimisation. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems vol. 34, 7254–7266.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 11498 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schmidt KB, Kerutt J, Wisotzki L, Urrutia T, Feltre A, Maseda MV, Nanayakkara T, Bacon R, Boogaard LA, Conseil S, Contini T, Herenz EC, Kollatschny W, Krumpe M, Leclercq F, Mahler G, Matthee JJ, Mauerhofer V, Richard J, Schaye J. 2021. Recovery and analysis of rest-frame UV emission lines in 2052 galaxies observed with MUSE at 1.5 < z < 6.4. Astronomy & Astrophysics. 654, A80.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 11500 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bacon R, Mary D, Garel T, Blaizot J, Maseda M, Schaye J, Wisotzki L, Conseil S, Brinchmann J, Leclercq F, Abril-Melgarejo V, Boogaard L, Bouché NF, Contini T, Feltre A, Guiderdoni B, Herenz C, Kollatschny W, Kusakabe H, Matthee JJ, Michel-Dansac L, Nanayakkara T, Richard J, Roth M, Schmidt KB, Steinmetz M, Tresse L, Urrutia T, Verhamme A, Weilbacher PM, Zabl J, Zoutendijk SL. 2021. The MUSE Extremely Deep Field: The cosmic web in emission at high redshift. Astronomy & Astrophysics. 647, A107.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 11512 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Boogaard LA, Bouwens RJ, Riechers D, van der Werf P, Bacon R, Matthee JJ, Stefanon M, Feltre A, Maseda M, Inami H, Aravena M, Brinchmann J, Carilli C, Contini T, Decarli R, González-López J, Nanayakkara T, Walter F. 2021. Measuring the average molecular gas content of star-forming galaxies at z = 3–4. The Astrophysical Journal. 916(1), 12.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 11523 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Matthee JJ, Sobral D, Hayes M, Pezzulli G, Gronke M, Schaerer D, Naidu RP, Röttgering H, Calhau J, Paulino-Afonso A, Santos S, Amorín R. 2021. The X-SHOOTER Lyman α survey at z = 2 (XLS-z2) I: What makes a galaxy a Lyman α emitter? Monthly Notices of the Royal Astronomical Society. 505(1), 1382–1412.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 11525 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gallego SG, Cantalupo S, Sarpas S, Duboeuf B, Lilly S, Pezzulli G, Marino RA, Matthee JJ, Wisotzki L, Schaye J, Richard J, Kusakabe H, Mauerhofer V. 2021. Constraining the cosmic UV background at z > 3 with MUSE Lyman-α emission observations. Monthly Notices of the Royal Astronomical Society. 504(1), 16–32.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 11522 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gronke M, Ocvirk P, Mason C, Matthee JJ, Bosman SEI, Sorce JG, Lewis J, Ahn K, Aubert D, Dawoodbhoy T, Iliev IT, Shapiro PR, Yepes G. 2021. Lyman-α transmission properties of the intergalactic medium in the CoDaII simulation. Monthly Notices of the Royal Astronomical Society. 508(3), 3697–3709.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 11526 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mackenzie R, Pezzulli G, Cantalupo S, Marino RA, Lilly S, Muzahid S, Matthee JJ, Schaye J, Wisotzki L. 2021. Revealing the impact of quasar luminosity on giant Lyα nebulae. Monthly Notices of the Royal Astronomical Society. 502(1), 494–509.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv