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
2023 |Published| Journal Article | IST-REx-ID: 17074 | 
Brooks, Morris, and Robert Seiringer. “Validity of Bogoliubov’s Approximation Fortranslation-Invariant Bose Gases.” Probability and Mathematical Physics. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/pmp.2022.3.939.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 14868 |
Tyagi, Swati, Juliana S. Capitanio, Jiawei Xu, Fei Chen, Rahul Sharma, Jialiang Huang, and Martin Hetzer. “High-Precision Mapping of Nuclear Pore-Chromatin Interactions Reveals New Principles of Genome Organization at the Nuclear Envelope.” ELife. eLife Sciences Publications, 2023. https://doi.org/10.7554/elife.87462.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 |Published| Book Chapter | IST-REx-ID: 17380 |
Suzuki, Seiichi, Alison Martin, Yingying Ren, Tzu-Ying Chen, Stefana Parascho, and Mark Pauly. “BamX: Rethinking Deployability in Architecture through Weaving.” In Advances in Architectural Geometry 2023, edited by Kathrin Dörfler, Jan Knippers, Achim Menges, Stefana Parascho, Helmut Pottmann, and Thomas Wortmann. De Gruyter, 2023. https://doi.org/10.1515/9783111162683-016.
[Published Version]
View
| Files available
| DOI
2023 |Published| Journal Article | IST-REx-ID: 17382
Wang, Yue, Yingying Ren, and Tian Chen. “From Kirigami to Hydrogels: A Tutorial on Designing Conformally Transformable Surfaces.” Journal of Applied Mechanics. American Society of Mechanical Engineers, 2023. https://doi.org/10.1115/1.4056350.
View
| DOI
2023 |Published| Journal Article | IST-REx-ID: 17381
Vidulis, Michele, Yingying Ren, Julian Panetta, Eitan Grinspun, and Mark Pauly. “Computational Exploration of Multistable Elastic Knots.” ACM Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3592399.
View
| DOI
2023 |Published| Journal Article | IST-REx-ID: 17379
Becker, Quentin, Seiichi Suzuki, Yingying Ren, Davide Pellis, Julian Panetta, and Mark Pauly. “C-Shells: Deployable Gridshells with Curved Beams.” ACM Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3618366.
View
| DOI
2023 |Published| Journal Article | IST-REx-ID: 13118
Hernandez, J.-A., Mandy Bethkenhagen, S. Ninet, M. French, A. Benuzzi-Mounaix, F. Datchi, M. Guarguaglini, et al. “Melting Curve of Superionic Ammonia at Planetary Interior Conditions.” Nature Physics. Springer Nature, 2023. https://doi.org/10.1038/s41567-023-02074-8.
View
| Files available
| DOI
| WoS
2023 |Published| Conference Paper | IST-REx-ID: 14922 |
Esposito, Amedeo Roberto, and Marco Mondelli. “Concentration without Independence via Information Measures.” In Proceedings of 2023 IEEE International Symposium on Information Theory, 400–405. IEEE, 2023. https://doi.org/10.1109/isit54713.2023.10206899.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Submitted| Preprint | IST-REx-ID: 17351 |
Pedrotti, Francesco. “Contractive Coupling Rates and Curvature Lower Bounds for Markov Chains.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2308.00516.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14417 |
Baier, Christel, Krishnendu Chatterjee, Tobias Meggendorfer, and Jakob Piribauer. “Entropic Risk for Turn-Based Stochastic Games.” In 48th International Symposium on Mathematical Foundations of Computer Science, Vol. 272. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.MFCS.2023.15.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 14784 |
Gallardo-Dodd CJ, Oertlin C, Record J, Galvani RG, Sommerauer C, Kuznetsov NV, Doukoumopoulos E, Ali L, Oliveira MMS, Seitz C, Percipalle M, Nikić T, Sadova AA, Shulgina SM, Shmarov VA, Kutko OV, Vlasova DD, Orlova KD, Rykova MP, Andersson J, Percipalle P, Kutter C, Ponomarev SA, Westerberg LS. 2023. Exposure of volunteers to microgravity by dry immersion bed over 21 days results in gene expression changes and adaptation of T cells. Science Advances. 9(34), adg1610.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Journal Article | IST-REx-ID: 17500 |
Sammler, Michael Joachim, Simon Spies, Youngju Song, Emanuele D’Osualdo, Robbert Krebbers, Deepak Garg, and Derek Dreyer. “DimSum: A Decentralized Approach to Multi-Language Semantics and Verification.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2023. https://doi.org/10.1145/3571220.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 17498 |
Guéneau, Armaël, Johannes Hostert, Simon Spies, Michael Joachim Sammler, Lars Birkedal, and Derek Dreyer. “Melocoton: A Program Logic for Verified Interoperability between OCaml and C.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2023. https://doi.org/10.1145/3622823.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 17499 |
Song, Youngju, Minki Cho, Dongjae Lee, Chung-Kil Hur, Michael Joachim Sammler, and Derek Dreyer. “Conditional Contextual Refinement.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2023. https://doi.org/10.1145/3571232.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 17507 |
Tagawa, Hiromichi, Shigeo S. Kimura, Zoltán Haiman, Rosalba Perna, and Imre Bartos. “Observable Signatures of Stellar-Mass Black Holes in Active Galactic Nuclei.” The Astrophysical Journal Letters. American Astronomical Society, 2023. https://doi.org/10.3847/2041-8213/acc103.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 17513 |
Gayathri, V., Daniel Wysocki, Y. Yang, Vera Delfavero, R. O’Shaughnessy, Zoltán Haiman, H. Tagawa, and I. Bartos. “Gravitational Wave Source Populations: Disentangling an AGN Component.” The Astrophysical Journal Letters. American Astronomical Society, 2023. https://doi.org/10.3847/2041-8213/acbfb8.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 17514 |
Naoz, Smadar, and Zoltán Haiman. “The Enhanced Population of Extreme Mass-Ratio Inspirals in the LISA Band from Supermassive Black Hole Binaries.” The Astrophysical Journal Letters. American Astronomical Society, 2023. https://doi.org/10.3847/2041-8213/acf8c9.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 17521 |
Krauth, Luke Major, Jordy Davelaar, John Ryan Westernacher-Schneider, Zoltán Haiman, Jonathan Zrake, and Andrew MacFadyen. “Disappearing Thermal X-Ray Emission as a Tell-Tale Signature of Merging Massive Black Hole Binaries.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2023. https://doi.org/10.1093/mnras/stad3095.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 17522 |
Su, Kung-Yi, Greg L Bryan, Zoltán Haiman, Rachel S Somerville, Christopher C Hayward, and Claude-André Faucher-Giguère. “Self-Regulation of Black Hole Accretion via Jets in Early Protogalaxies.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2023. https://doi.org/10.1093/mnras/stad252.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 |Published| Journal Article | IST-REx-ID: 17527 |
Tagawa, Hiromichi, and Zoltán Haiman. “Flares from Stars Crossing Active Galactic Nucleus Discs on Low-Inclination Orbits.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2023. https://doi.org/10.1093/mnras/stad2616.
[Published Version]
View
| DOI
| Download Published Version (ext.)