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.
9626 Publications
2022 |Published| Conference Abstract | IST-REx-ID: 17062 | 
Ibáñez, Maria, Yu Liu, and Mariano Calcabrini. “The Importance of Surface Adsorbates in Solution-Processed Thermoelectric Materials.” In Proceedings of the NanoGe Spring Meeting 2022. Fundació Scito, 2022. https://doi.org/10.29363/nanoge.nsm.2022.159.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 17060 |
Tiwari, Samarth, Michelle X Yeo, Zeta Avarikioti, Iosif Salem, Krzysztof Z Pietrzak, and Stefan Schmid. “Wiser: Increasing Throughput in Payment Channel Networks with Transaction Aggregation.” In Proceedings of the 4th ACM Conference on Advances in Financial Technologies, 217–31. Association for Computing Machinery, 2022. https://doi.org/10.1145/3558535.3559775.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 17059 |
Frantar, Elias, and Dan-Adrian Alistarh. “SPDY: Accurate Pruning with Speedup Guarantees.” In 39th International Conference on Machine Learning, 162:6726–43. ML Research Press, 2022.
[Published Version]
View
| Files available
| WoS
2022 |Published| Journal Article | IST-REx-ID: 11448 |
Gonzalez Somermeyer, Louisa, Aubin Fleiss, Alexander S Mishin, Nina G Bozhanova, Anna A Igolkina, Jens Meiler, Maria-Elisenda Alaball Pujol, Ekaterina V Putintseva, Karen S Sarkisyan, and Fyodor Kondrashov. “Heterogeneity of the GFP Fitness Landscape and Data-Driven Protein Design.” ELife. eLife Sciences Publications, 2022. https://doi.org/10.7554/elife.75842.
[Published Version]
View
| Files available
| DOI
| WoS
2022 |Submitted| Preprint | IST-REx-ID: 14597 |
Fischer, Julian L, and Alice Marveggio. “Quantitative Convergence of the Vectorial Allen-Cahn Equation towards Multiphase Mean Curvature Flow.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2203.17143.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 17502 |
Sammler, Michael Joachim, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell. “Islaris: Verification of Machine Code against Authoritative ISA Semantics.” In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 825–40. Association for Computing Machinery, 2022. https://doi.org/10.1145/3519939.3523434.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17504 |
Gäher, Lennard, Michael Joachim Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, and Derek Dreyer. “Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2022. https://doi.org/10.1145/3498689.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17501 |
Zhu, Fengmin, Michael Joachim Sammler, Rodolphe Lepigre, Derek Dreyer, and Deepak Garg. “BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2022. https://doi.org/10.1145/3563345.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17503 |
Lepigre, Rodolphe, Michael Joachim Sammler, Kayvan Memarian, Robbert Krebbers, Derek Dreyer, and Peter Sewell. “VIP: Verifying Real-World C Idioms with Integer-Pointer Casts.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2022. https://doi.org/10.1145/3498681.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17526 |
Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: General-Relativistic Ray Tracing of Black Hole Binaries.” Physical Review D. American Physical Society (APS), 2022. https://doi.org/10.1103/physrevd.105.103010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Conference Paper | IST-REx-ID: 10752
Lampert, Jasmin, and Christoph Lampert. “Overcoming Rare-Language Discrimination in Multi-Lingual Sentiment Analysis.” In 2021 IEEE International Conference on Big Data, 5185–92. IEEE, 2022. https://doi.org/10.1109/bigdata52589.2021.9672003.
View
| DOI
| WoS
2022 |Published| Journal Article | IST-REx-ID: 17536 |
Samsing, J., I. Bartos, D. J. D’Orazio, Zoltán Haiman, B. Kocsis, N. W. C. Leigh, B. Liu, M. E. Pessah, and H. Tagawa. “AGN as Potential Factories for Eccentric Black Hole Mergers.” Nature. Springer Science and Business Media LLC, 2022. https://doi.org/10.1038/s41586-021-04333-1.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 11420 |
Shevchenko, Aleksandr, Vyacheslav Kungurtsev, and Marco Mondelli. “Mean-Field Analysis of Piecewise Linear Solutions for Wide ReLU Networks.” Journal of Machine Learning Research. Journal of Machine Learning Research, 2022.
[Published Version]
View
| Files available
| arXiv
2022 |Published| Conference Paper | IST-REx-ID: 12780 |
Markov, Ilia, Hamidreza Ramezanikebrya, and Dan-Adrian Alistarh. “CGX: Adaptive System Support for Communication-Efficient Deep Learning.” In Proceedings of the 23rd ACM/IFIP International Middleware Conference, 241–54. Association for Computing Machinery, 2022. https://doi.org/10.1145/3528535.3565248.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 17547 |
Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: Observing Black Hole Shadows via Light Curve Tomography.” Physical Review Letters. American Physical Society, 2022. https://doi.org/10.1103/physrevlett.128.191101.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |Published| Journal Article | IST-REx-ID: 17553 |
Tiede, Christopher, Jonathan Zrake, Andrew MacFadyen, and Zoltán Haiman. “How Binaries Accrete: Hydrodynamic Simulations with Passive Tracer Particles.” The Astrophysical Journal. American Astronomical Society, 2022. https://doi.org/10.3847/1538-4357/ac6c2b.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17563 |
Sabyr, Alina, Zoltán Haiman, José Manuel Zorrilla Matilla, and Tianhuan Lu. “Cosmological Constraints from Weak Lensing Peaks: Can Halo Models Accurately Predict Peak Counts?” Physical Review D. American Physical Society, 2022. https://doi.org/10.1103/physrevd.105.023505.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17560 |
Hu, Haojie, Kohei Inayoshi, Zoltán Haiman, Wenxiu Li, Eliot Quataert, and Rolf Kuiper. “Supercritical Growth Pathway to Overmassive Black Holes at Cosmic Dawn: Coevolution with Massive Quasar Hosts.” The Astrophysical Journal. American Astronomical Society, 2022. https://doi.org/10.3847/1538-4357/ac7daa.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17562 |
Lu, Tianhuan, Zoltán Haiman, and José Manuel Zorrilla Matilla. “Simultaneously Constraining Cosmology and Baryonic Physics via Deep Learning from Weak Lensing.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2022. https://doi.org/10.1093/mnras/stac161.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 |Published| Journal Article | IST-REx-ID: 17561 |
Yang, Y., I. Bartos, G. Fragione, Zoltán Haiman, M. Kowalski, S. Márka, R. Perna, and H. Tagawa. “Tidal Disruption on Stellar-Mass Black Holes in Active Galactic Nuclei.” The Astrophysical Journal Letters. American Astronomical Society, 2022. https://doi.org/10.3847/2041-8213/ac7c0b.
[Published Version]
View
| DOI
| Download Published Version (ext.)