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, 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 | Conference Paper | IST-REx-ID: 17634 | OA
Chalupa, Marek, et al. “QuAK: Quantitative Automata Kit.” 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, vol. 15222, Springer Nature, 2024, pp. 3–20, doi: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, 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 | Thesis | PhD | IST-REx-ID: 18101 | OA
Porley Esteves, Darío. Structural Characterization of Spumavirus Capsid Assemblies. Institute of Science and Technology Austria, 2024, doi: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, doi: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, doi: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, doi: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, doi:10.15479/at:ista:18471.
[Published Version] View | Files available | DOI
 

2024 | Draft | Preprint | IST-REx-ID: 18144 | OA
Janik, Marian, et al. “Strong Charge-Photon Coupling in Planar Germanium Enabled by Granular  Aluminium Superinductors.” ArXiv, 2407.03079, doi: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, doi:10.15479/at:ista:18104.
[Published Version] View | Files available | DOI
 

2024 | Draft | Preprint | IST-REx-ID: 18143 | OA
Puglia, Denise, et al. “Room Temperature, Cavity-Free Capacitive Strong Coupling to Mechanical  Motion.” ArXiv, 2407.15314, doi:10.48550/arXiv.2407.15314.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2024 | Draft | Preprint | IST-REx-ID: 18057 | OA
Mukhopadhyay, Soham, et al. “Dual Relaxation Oscillations in a Josephson Junction Array.” ArXiv, 2408.07829, doi: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, doi:10.15479/at:ista:18574.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed