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.
2020 Publications
2021 | Conference Paper | IST-REx-ID: 10629 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Quantitative Verification on Product Graphs of Small Treewidth.” In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 213. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. https://doi.org/10.4230/LIPIcs.FSTTCS.2021.42.
[Published Version]
View
| Files available
| DOI
2021 | Conference Paper | IST-REx-ID: 10651 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tschirhart, Charles, Marec Serlin, Hryhoriy Polshyn, Avi G. Shragai, Zhengchao Xia, Jiacheng Zhu, Yuxuan Zhang, et al. “Probing Orbital Chern Ferromagnet Phase in Twisted Bilayer Graphene.” In APS March Meeting 2021, Vol. 66. American Physical Society, 2021.
View
| Download None (ext.)
2021 | Other Publication | IST-REx-ID: 10645 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Simbierowicz, Slawomir, Chunyan Shi, Michele Collodo, Moritz Kirste, Farid Hassani, Johannes M Fink, Jonas Bylander, Daniel Perez Lozano, and Russell Lake. Qubit Energy-Relaxation Statistics in the Bluefors Quantum Measurement System. Helsinki, Finland: Bluefors Oy, 2021.
[Published Version]
View
| Download Published Version (ext.)
2021 | Other Publication | IST-REx-ID: 10644 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Lake, Russell, Slawomir Simbierowicz, Philip Krantz, Farid Hassani, and Johannes M Fink. The Bluefors Dilution Refrigerator as an Integrated Quantum Measurement System. Helsinki, Finland: Bluefors Oy, 2021.
[Published Version]
View
| Download Published Version (ext.)
2021 | Conference Paper | IST-REx-ID: 10669 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Grunbacher, Sophie, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A Smolka, and Radu Grosu. “On the Verification of Neural ODEs with Stochastic Guarantees.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:11525–35. AAAI Press, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10671 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hasani, Ramin, Mathias Lechner, Alexander Amini, Daniela Rus, and Radu Grosu. “Liquid Time-Constant Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:7657–66. AAAI Press, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10688 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.” In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, edited by Piskac Ruzica and Michael W. Whalen, 2:143–152. TU Wien Academic Press, 2021. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23.
[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, Hryhoriy, Jihang Zhu, Manish Kumar, Yuxuan Zhang, Fangyuan Yang, Charles Tschirhart, Marec Serlin, et al. “Orbital Chern Insulator States in Twisted Monolayer-Bilayer Graphene and Electrical Switching of Topological and Magnetic Order.” In APS March Meeting 2021, Vol. 66. American Physical Society, 2021.
[Published Version]
View
| Download Published Version (ext.)
2021 | Conference Paper | IST-REx-ID: 10694 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Infinite-Duration All-Pay Bidding Games.” In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, edited by Dániel Marx, 617–36. Society for Industrial and Applied Mathematics, 2021. https://doi.org/10.1137/1.9781611976465.38.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 10847 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tomášek, Petr, Karel Horák, Aditya Aradhye, Branislav Bošanský, and Krishnendu Chatterjee. “Solving Partially Observable Stochastic Shortest-Path Games.” In 30th International Joint Conference on Artificial Intelligence, 4182–89. International Joint Conferences on Artificial Intelligence, 2021. https://doi.org/10.24963/ijcai.2021/575.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 | Conference Paper | IST-REx-ID: 11463 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Frantar, Elias, Eldar Kurtic, and Dan-Adrian Alistarh. “M-FAC: Efficient Matrix-Free Approximations of Second-Order Information.” In 35th Conference on Neural Information Processing Systems, 34:14873–86. Curran Associates, 2021.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 11498 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schmidt, K. B., J. Kerutt, L. Wisotzki, T. Urrutia, A. Feltre, M. V. Maseda, T. Nanayakkara, et al. “Recovery and Analysis of Rest-Frame UV Emission Lines in 2052 Galaxies Observed with MUSE at 1.5 < z < 6.4.” Astronomy & Astrophysics. EDP Sciences, 2021. https://doi.org/10.1051/0004-6361/202140876.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2021 | 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 | Journal Article | IST-REx-ID: 11512 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Boogaard, Leindert A., Rychard J. Bouwens, Dominik Riechers, Paul van der Werf, Roland Bacon, Jorryt J Matthee, Mauro Stefanon, et al. “Measuring the Average Molecular Gas Content of Star-Forming Galaxies at z = 3–4.” The Astrophysical Journal. IOP Publishing, 2021. https://doi.org/10.3847/1538-4357/ac01d7.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 11522 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gronke, Max, Pierre Ocvirk, Charlotte Mason, Jorryt J Matthee, Sarah E I Bosman, Jenny G Sorce, Joseph Lewis, et al. “Lyman-α Transmission Properties of the Intergalactic Medium in the CoDaII Simulation.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2021. https://doi.org/10.1093/mnras/stab2762.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 11524 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Santos, S, D Sobral, J Butterworth, A Paulino-Afonso, B Ribeiro, E da Cunha, J Calhau, A A Khostovan, Jorryt J Matthee, and P Arrabal Haro. “The Evolution of the UV Luminosity and Stellar Mass Functions of Lyman-α Emitters from z ∼ 2 to z ∼ 6.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2021. https://doi.org/10.1093/mnras/stab1218.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 11585 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Matthee, Jorryt J. “Differences in Galaxy Colours Are Not Just about the Mass.” Nature Astronomy. Springer Nature, 2021. https://doi.org/10.1038/s41550-021-01415-y.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 11604 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Audenaert, J., J. S. Kuszlewicz, R. Handberg, A. Tkachenko, D. J. Armstrong, M. Hon, R. Kgoadi, et al. “TESS Data for Asteroseismology (T’DA) Stellar Variability Classification Pipeline: Setup and Application to the Kepler Q9 Data.” The Astronomical Journal. IOP Publishing, 2021. https://doi.org/10.3847/1538-3881/ac166a.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 11609 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Park, J., V. Prat, S. Mathis, and Lisa Annabelle Bugnet. “Horizontal Shear Instabilities in Rotating Stellar Radiation Zones: II. Effects of the Full Coriolis Acceleration.” Astronomy & Astrophysics. EDP Sciences, 2021. https://doi.org/10.1051/0004-6361/202038654.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 11605 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bugnet, Lisa Annabelle, V. Prat, S. Mathis, A. Astoul, K. Augustson, R. A. García, S. Mathur, L. Amard, and C. Neiner. “Magnetic Signatures on Mixed-Mode Frequencies: I. An Axisymmetric Fossil Field inside the Core of Red Giants.” Astronomy & Astrophysics. EDP Sciences, 2021. https://doi.org/10.1051/0004-6361/202039159.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv