ISTA Research Explorer

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 |

Spies, S., Gäher, L., Sammler, M. J., & Dreyer, D. (2024). Quiver: Guided abductive inference of separation logic specifications in coq. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3656413

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17517 |

Saade, M. L., Brightman, M., Stern, D., Connor, T., Djorgovski, S. G., D’Orazio, D. J., … Walton, D. J. (2024). NuSTAR observations of candidate subparsec binary supermassive black holes. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ad372e

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17531 |

Tagawa, H., Kimura, S. S., Haiman, Z., Perna, R., & Bartos, I. (2024). Shock cooling and breakout emission for optical flares associated with gravitational-wave events. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ad2e0b

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17535 |

Scoggins, M. T., & Haiman, Z. (2024). 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. https://doi.org/10.1093/mnras/stae1449

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17545 |

Krauth, L. M., Davelaar, J., Haiman, Z., Westernacher-Schneider, J. R., Zrake, J., & MacFadyen, A. (2024). Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations. Physical Review D. American Physical Society (APS). https://doi.org/10.1103/physrevd.109.103014

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2024 | Published | Journal Article | IST-REx-ID: 17546 |

Westernacher-Schneider, J. R., Zrake, J., MacFadyen, A., & Haiman, Z. (2024). Eccentric minidisks in accreting binaries. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ad1a17

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Journal Article | IST-REx-ID: 17590 |

Xin, C., Haiman, Z., Perna, R., Wang, Y., & Ryu, T. (2024). “Tidal Peeling Events”: Low-eccentricity tidal disruption of a star by a stellar-mass black hole. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ad11d3

[Published Version] View | DOI | Download Published Version (ext.)

2024 | Published | Conference Paper | IST-REx-ID: 17634 |

Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2024). QuAK: Quantitative Automata Kit. In 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Vol. 15222, pp. 3–20). Crete, Greece: Springer Nature. 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 |

Dymond, M., & Kaluza, V. (2024). Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata. Springer Nature. https://doi.org/10.1007/s10711-023-00862-3

2024 | Draft | Preprint | IST-REx-ID: 20071 |

Dvorak, M., & Kolmogorov, V. (n.d.). Duality theory in linear optimization and its extensions -- formally verified. arXiv. 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 |

Porley Esteves, D. (2024). Structural characterization of spumavirus capsid assemblies. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18101

[Published Version] View | Files available | DOI

2024 | Published | Thesis | PhD | IST-REx-ID: 18477 |

Kaczmarek, B. M. (2024). Biochemical and structural insights into ADAR1 RNA editing. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18477

[Published Version] View | Files available | DOI

2024 | Published | Thesis | PhD | IST-REx-ID: 18129 |

Janik, M. (2024). Strong charge-photon coupling in Germanium enabled by granular aluminium superinductors. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18129

[Published Version] View | Files available | DOI

2024 | Published | Thesis | PhD | IST-REx-ID: 17881 |

Mukhopadhyay, S. (2024). Thermal effects in one dimensional Josephson chains. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17881

[Published Version] View | Files available | DOI

2024 | Published | Thesis | PhD | IST-REx-ID: 18471 |

Agudelo Duenas, N. (2024). Visualizing the neuronal transcriptional landscape with tissue context. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18471

[Published Version] View | Files available | DOI

2024 | Draft | Preprint | IST-REx-ID: 18144 |

Janik, M., Roux, K. E. R., Borja Espinosa, C. N., Sagi, O., Baghdadi, A., Adletzberger, T., … Katsaros, G. (n.d.). Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors. arXiv. 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 |

Puglia, D. (2024). Everyday electromechanics: Capacitive strong coupling to mechanical motion. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18104

[Published Version] View | Files available | DOI

2024 | Draft | Preprint | IST-REx-ID: 18143 |

Puglia, D., Odessey, R. H., Burns, P. S., Luhmann, N., Schmid, S., & Higginbotham, A. P. (n.d.). Room temperature, cavity-free capacitive strong coupling to mechanical motion. arXiv. https://doi.org/10.48550/arXiv.2407.15314

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2024 | Draft | Preprint | IST-REx-ID: 18057 |

Mukhopadhyay, S., Lancheros Naranjo, D. A., Senior, J. L., & Higginbotham, A. P. (n.d.). Dual relaxation oscillations in a Josephson junction array. arXiv. 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 |

Gupta, D. (2024). Visual adaptations to natural statistics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18574

[Published Version] View | Files available | DOI

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

11357 Publications

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

11357 Publications

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options