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.

11626 Publications


2024 | Published | Journal Article | IST-REx-ID: 17497 | OA
Spies, Simon, et al. “Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq.” Proceedings of the ACM on Programming Languages, vol. 8, no. PLDI, Association for Computing Machinery, 2024, pp. 889–913, doi:10.1145/3656413.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17517 | OA
Saade, M. Lynne, et al. “NuSTAR Observations of Candidate Subparsec Binary Supermassive Black Holes.” The Astrophysical Journal, vol. 966, no. 1, 104, American Astronomical Society, 2024, doi:10.3847/1538-4357/ad372e.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17531 | OA
Tagawa, Hiromichi, et al. “Shock Cooling and Breakout Emission for Optical Flares Associated with Gravitational-Wave Events.” The Astrophysical Journal, vol. 966, no. 1, 21, American Astronomical Society, 2024, doi:10.3847/1538-4357/ad2e0b.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17535 | OA
Scoggins, Matthew T., and Zoltán Haiman. “Diagnosing the Massive-Seed Pathway to High-Redshift Black Holes: Statistics of the Evolving Black Hole to Host Galaxy Mass Ratio.” Monthly Notices of the Royal Astronomical Society, vol. 531, no. 4, Oxford University Press, 2024, pp. 4584–97, doi:10.1093/mnras/stae1449.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17545 | OA
Krauth, Luke Major, et al. “Self-Lensing Flares from Black Hole Binaries: General-Relativistic Ray Tracing of Circumbinary Accretion Simulations.” Physical Review D, vol. 109, no. 10, 103014, American Physical Society (APS), 2024, doi:10.1103/physrevd.109.103014.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17546 | OA
Westernacher-Schneider, John Ryan, et al. “Eccentric Minidisks in Accreting Binaries.” The Astrophysical Journal, vol. 962, no. 1, 76, American Astronomical Society, 2024, doi:10.3847/1538-4357/ad1a17.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17590 | OA
Xin, Chengcheng, et al. “‘Tidal Peeling Events’: Low-Eccentricity Tidal Disruption of a Star by a Stellar-Mass Black Hole.” The Astrophysical Journal, vol. 961, no. 2, 149, American Astronomical Society, 2024, doi:10.3847/1538-4357/ad11d3.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 9651 | OA
Dymond, Michael, and Vojtech Kaluza. “Divergence of Separated Nets with Respect to Displacement Equivalence.” Geometriae Dedicata, vol. 218, 15, Springer Nature, 2024, doi:10.1007/s10711-023-00862-3.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2024 | Draft | Preprint | IST-REx-ID: 20071 | OA
Dvorak, Martin, and Vladimir Kolmogorov. “Duality Theory in Linear Optimization and Its Extensions -- Formally  Verified.” ArXiv, 2409.08119, doi:10.48550/arXiv.2409.08119.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 17411 | OA
Scott, Jonathan A., et al. “PEFLL: Personalized Federated Learning by Learning to Learn.” 12th International Conference on Learning Representations, OpenReview, 2024.
[Published Version] View | Files available | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18120 | OA
Scott, Jonathan A., and Áine Cahill. “Improved Modelling of Federated Datasets Using Mixtures-of-Dirichlet-Multinomials.” Proceedings of the 41st International Conference on Machine Learning, vol. 235, ML Research Press, 2024, pp. 44012–37.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2024 | Draft | Preprint | IST-REx-ID: 18981 | OA
Brown, Adam, and Ondrej Draganov. “Discrete Microlocal Morse Theory.” ArXiv, doi:10.48550/arXiv.2209.14993.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 14826 | OA
Kuhn, Andre, et al. “RAF-like Protein Kinases Mediate a Deeply Conserved, Rapid Auxin Response.” Cell, vol. 187, no. 1, Elsevier, 2024, p. 130–148.e17, doi:10.1016/j.cell.2023.11.021.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 15004 | OA
Karle, Volker, and Mikhail Lemeshko. “Modeling Laser Pulses as δ Kicks: Reevaluating the Impulsive Limit in Molecular Rotational Dynamics.” Physical Review A, vol. 109, no. 2, 023101, American Physical Society, 2024, doi:10.1103/PhysRevA.109.023101.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 14851 | OA
Karle, Volker, and Mikhail Lemeshko. “Die faszinierende Topologie rotierender Quanten.” Physik in unserer Zeit, vol. 55, no. 1, Wiley, 2024, pp. 28–33, doi:10.1002/piuz.202301690.
[Published Version] View | Files available | DOI
 

2024 | Draft | Preprint | IST-REx-ID: 19425 | OA
Karle, Volker, et al. “Anomalous Multi-Gap Topological Phases in Periodically Driven Quantum  Rotors.” ArXiv, 2408.16848, doi:10.48550/arXiv.2408.16848.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18063 | OA
Peng, Yakun, et al. “Polarly Localized Bro1 Domain Proteins Regulate PIN-FORMED Abundance and Root Gravitropic Growth in Arabidopsis.” Communications Biology, vol. 7, 1085, Springer Nature, 2024, doi:10.1038/s42003-024-06747-9.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2024 | Published | Journal Article | IST-REx-ID: 15297 | OA
Svoboda, Jakub, et al. “Amplifiers of Selection for the Moran Process with Both Birth-Death and Death-Birth Updating.” PLoS Computational Biology, vol. 20, no. 3, e1012008, Public Library of Science, 2024, doi:10.1371/journal.pcbi.1012008.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18703 | OA
Svoboda, Jakub, and Krishnendu Chatterjee. “Density Amplifiers of Cooperation for Spatial Games.” Proceedings of the National Academy of Sciences of the United States of America, vol. 121, no. 50, e2405605121, National Academy of Sciences, 2024, doi:10.1073/pnas.2405605121.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2024 | Published | Conference Paper | IST-REx-ID: 17426 | OA
Prach, Bernd, et al. “1-Lipschitz Layers Compared: Memory, Speed, and Certifiable Robustness.” Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Computer Vision Foundation, 2024, pp. 24574–83, doi:10.1109/CVPR52733.2024.02320.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed