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.
252 Publications
2021 | Conference Paper | IST-REx-ID: 10688 | 
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: 11463 |
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: 11512 |
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: 11663 |
Bernstein, Aaron, Sebastian Forster, and Monika H Henzinger. “A Deamortization Approach for Dynamic Spanner and Dynamic Maximal Matching.” ACM Transactions on Algorithms. Association for Computing Machinery, 2021. https://doi.org/10.1145/3469833.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Book Chapter | IST-REx-ID: 9245
Xia, Peng, and Carl-Philipp J Heisenberg. “Quantifying Tissue Tension in the Granulosa Layer after Laser Surgery.” In Germline Development in the Zebrafish, edited by Roland Dosch, 2218:117–28. Humana, 2021. https://doi.org/10.1007/978-1-0716-0970-5_10.
View
| DOI
| PubMed | Europe PMC
2021 | Book Chapter | IST-REx-ID: 9403 |
Schmid, Laura, and Christian Hilbe. “The Evolution of Strategic Ignorance in Strategic Interaction.” In Deliberate Ignorance: Choosing Not To Know, edited by Ralph Hertwig and Christoph Engel, 29:139–52. Strüngmann Forum Reports. MIT Press, 2021.
[Published Version]
View
| Download Published Version (ext.)
2021 | Journal Article | IST-REx-ID: 9572 |
Fox, Jacob, Matthew Alan Kwan, and Benny Sudakov. “Acyclic Subgraphs of Tournaments with High Chromatic Number.” Bulletin of the London Mathematical Society. Wiley, 2021. https://doi.org/10.1112/blms.12446.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 12308 |
Verzobio, Matteo. “Primitive Divisors of Sequences Associated to Elliptic Curves with Complex Multiplication.” Research in Number Theory. Springer Nature, 2021. https://doi.org/10.1007/s40993-021-00267-9.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2021 | Journal Article | IST-REx-ID: 13357 |
Bian, Tong, Andrea Gardin, Julius Gemen, Lothar Houben, Claudio Perego, Byeongdu Lee, Nadav Elad, Zonglin Chu, Giovanni M. Pavan, and Rafal Klajn. “Electrostatic Co-Assembly of Nanoparticles with Oppositely Charged Small Molecules into Static and Dynamic Superstructures.” Nature Chemistry. Springer Nature, 2021. https://doi.org/10.1038/s41557-021-00752-9.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 9246 |
Leopold, Nikolai K, David Johannes Mitrouskas, and Robert Seiringer. “Derivation of the Landau–Pekar Equations in a Many-Body Mean-Field Limit.” Archive for Rational Mechanics and Analysis. Springer Nature, 2021. https://doi.org/10.1007/s00205-021-01616-9.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv