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.

11357 Publications


2024 | Published | Journal Article | IST-REx-ID: 17497 | OA
Spies, Simon, Lennard Gäher, Michael Joachim Sammler, and Derek Dreyer. “Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2024. https://doi.org/10.1145/3656413.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17517 | OA
Saade, M. Lynne, Murray Brightman, Daniel Stern, Thomas Connor, S. G. Djorgovski, Daniel J. D’Orazio, K. E. S. Ford, et al. “NuSTAR Observations of Candidate Subparsec Binary Supermassive Black Holes.” The Astrophysical Journal. American Astronomical Society, 2024. https://doi.org/10.3847/1538-4357/ad372e.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17531 | OA
Tagawa, Hiromichi, Shigeo S Kimura, Zoltán Haiman, Rosalba Perna, and Imre Bartos. “Shock Cooling and Breakout Emission for Optical Flares Associated with Gravitational-Wave Events.” The Astrophysical Journal. American Astronomical Society, 2024. https://doi.org/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. Oxford University Press, 2024. https://doi.org/10.1093/mnras/stae1449.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17545 | OA
Krauth, Luke Major, Jordy Davelaar, Zoltán Haiman, John Ryan Westernacher-Schneider, Jonathan Zrake, and Andrew MacFadyen. “Self-Lensing Flares from Black Hole Binaries: General-Relativistic Ray Tracing of Circumbinary Accretion Simulations.” Physical Review D. American Physical Society (APS), 2024. https://doi.org/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, Jonathan Zrake, Andrew MacFadyen, and Zoltán Haiman. “Eccentric Minidisks in Accreting Binaries.” The Astrophysical Journal. American Astronomical Society, 2024. https://doi.org/10.3847/1538-4357/ad1a17.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Journal Article | IST-REx-ID: 17590 | OA
Xin, Chengcheng, Zoltán Haiman, Rosalba Perna, Yihan Wang, and Taeho Ryu. “‘Tidal Peeling Events’: Low-Eccentricity Tidal Disruption of a Star by a Stellar-Mass Black Hole.” The Astrophysical Journal. American Astronomical Society, 2024. https://doi.org/10.3847/1538-4357/ad11d3.
[Published Version] View | DOI | Download Published Version (ext.)
 

2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
Chalupa, Marek, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “QuAK: Quantitative Automata Kit.” In 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 15222:3–20. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-75387-9_1.
[Published Version] View | Files available | DOI | WoS | arXiv
 

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. Springer Nature, 2024. https://doi.org/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, n.d. https://doi.org/10.48550/arXiv.2409.08119.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18101 | OA
Porley Esteves, Darío. “Structural Characterization of Spumavirus Capsid Assemblies.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18101.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18477 | OA
Kaczmarek, Beata M. “Biochemical and Structural Insights into ADAR1 RNA Editing.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18477.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18129 | OA
Janik, Marian. “Strong Charge-Photon Coupling in Germanium Enabled by Granular Aluminium Superinductors.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18129.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 17881 | OA
Mukhopadhyay, Soham. “Thermal Effects in One Dimensional Josephson Chains.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:17881.
[Published Version] View | Files available | DOI
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18471 | OA
Agudelo Duenas, Nathalie. “Visualizing the Neuronal Transcriptional Landscape with Tissue Context.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18471.
[Published Version] View | Files available | DOI
 

2024 | Draft | Preprint | IST-REx-ID: 18144 | OA
Janik, Marian, Kevin Etienne Robert Roux, Carla N Borja Espinosa, Oliver Sagi, Abdulhamid Baghdadi, Thomas Adletzberger, Stefano Calcaterra, et al. “Strong Charge-Photon Coupling in Planar Germanium Enabled by Granular  Aluminium Superinductors.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2407.03079.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18104 | OA
Puglia, Denise. “Everyday Electromechanics: Capacitive Strong Coupling to Mechanical Motion.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18104.
[Published Version] View | Files available | DOI
 

2024 | Draft | Preprint | IST-REx-ID: 18143 | OA
Puglia, Denise, Rachel H Odessey, Peter S. Burns, Niklas Luhmann, Silvan Schmid, and Andrew P Higginbotham. “Room Temperature, Cavity-Free Capacitive Strong Coupling to Mechanical  Motion.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2407.15314.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Draft | Preprint | IST-REx-ID: 18057 | OA
Mukhopadhyay, Soham, Diego A Lancheros Naranjo, Jorden L Senior, and Andrew P Higginbotham. “Dual Relaxation Oscillations in a Josephson Junction Array.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2408.07829.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Thesis | PhD | IST-REx-ID: 18574 | OA
Gupta, Divyansh. “Visual Adaptations to Natural Statistics.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18574.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed