ISTA Research Explorer

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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6436 Publications

2025 | Published | Conference Paper | IST-REx-ID: 19666 |

Meggendorfer, T., Weininger, M., & Wienhöft, P. (2025). Solving robust Markov decision processes: Generic, reliable, efficient. In Proceedings of the 39th AAAI Conference on Artificial Intelligence (Vol. 39, pp. 26631–26641). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i25.34865

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

2025 | Published | Conference Paper | IST-REx-ID: 19667 |

Chatterjee, K., Goharshady, E., Karrabi, M., Motwani, H. J., Seeliger, M., & Zikelic, D. (2025). Quantified linear and polynomial arithmetic satisfiability via template-based skolemization. In Proceedings of the 39th AAAI Conference on Artificial Intelligence (Vol. 39, pp. 11158–11166). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i11.33213

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

2025 | Published | Conference Paper | IST-REx-ID: 19668 |

Yu, E., Zikelic, D., & Henzinger, T. A. (2025). Neural control and certificate repair via runtime monitoring. In Proceedings of the 39th AAAI Conference on Artificial Intelligence (Vol. 39, pp. 26409–26417). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i25.34840

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

2025 | Published | Conference Paper | IST-REx-ID: 19669 |

Chatterjee, K., Luo, R., Saona Urmeneta, R. J., & Svoboda, J. (2025). Linear equations with min and max operators: Computational complexity. In Proceedings of the 39th AAAI Conference on Artificial Intelligence (Vol. 39, pp. 11150–11157). Philadelphia, PA, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i11.33212

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

2025 | Published | Journal Article | IST-REx-ID: 19670 |

Bartolucci, G., Busiello, D. M., Ciarchi, M., Corticelli, A., Di Terlizzi, I., Olmeda, F., … Schimmenti, V. M. (2025). Phase behavior of Cacio e Pepe sauce. Physics of Fluids. AIP Publishing. https://doi.org/10.1063/5.0255841

[Published Version] View | Files available | DOI | WoS | arXiv

2025 | Published | Journal Article | IST-REx-ID: 19671

Arpigiani, D., Aschero, V., Soler Schaller, R. M., & Amoroso, M. M. (2025). A life-cycle approach to understand consequences of silvopastoral use on two native tree species of Northern Patagonia. Austral Ecology. Wiley. https://doi.org/10.1111/aec.70058

View | DOI | WoS

2025 | Published | Journal Article | IST-REx-ID: 19672 |

Polesello, A., Charinti, G. A., Meroni, A. N., Muller, C. J., & Pasquero, C. (2025). Intensity oscillations of tropical cyclones: Surface versus mid and upper tropospheric processes. Journal of Advances in Modeling Earth Systems. Wiley. https://doi.org/10.1029/2024MS004613

[Published Version] View | Files available | DOI | WoS

2025 | Published | Journal Article | IST-REx-ID: 19673 |

Wang, V. (2025). Prime Hasse principles via diophantine second moments. Journal of the Association for Mathematical Research. Association for Mathematical Research. https://doi.org/10.56994/JAMR.003.001.001

[Published Version] View | Files available | DOI | arXiv

2025 | Submitted | Preprint | IST-REx-ID: 19674 |

Basile, L., Maiorca, V., Bortolussi, L., Rodolà, E., & Locatello, F. (n.d.). ResiDual transformer alignment with spectral decomposition. arXiv. https://doi.org/10.48550/arXiv.2411.00246

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

2025 | Published | Thesis | PhD | IST-REx-ID: 19684 |

Yalniz, G. (2025). Transition to turbulence : Data-, solution-, and pattern-driven approaches. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19684

[Published Version] View | Files available | DOI

2025 | Research Data | IST-REx-ID: 19696 |

Tatman, B. (2025). Dataset for “Bumps on the Road: The Way to Clean Relaxation Dispersion in the Solid State.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19696

View | Files available | DOI

2025 | Published | Journal Article | IST-REx-ID: 19699 |

Tiede, C., Zrake, J., Macfadyen, A., & Haiman, Z. (2025). Suppressed accretion onto massive black hole binaries surrounded by thin disks. The Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/adc727

[Published Version] View | Files available | DOI | WoS | arXiv

2025 | Published | Journal Article | IST-REx-ID: 19700 |

Wang B, De Graaff A, Davies RL, Greene JE, Leja J, Brammer GB, Goulding AD, Miller TB, Suess KA, Weibel A, Williams CC, Bezanson R, Boogaard LA, Cleri NJ, Hirschmann M, Katz H, Labbé I, Maseda MV, Matthee JJ, Mcconachie I, Naidu RP, Oesch PA, Rix HW, Setton DJ, Whitaker KE. 2025. RUBIES: JWST/NIRSpec confirmation of an infrared-luminous, broad-line Little Red Dot with an ionized outflow. The Astrophysical Journal. 984(2), 121.

[Published Version] View | Files available | DOI | WoS | arXiv

2025 | Published | Journal Article | IST-REx-ID: 19701 |

Tkačik, G., & Wolde, P. R. T. (2025). Information processing in biochemical networks. Annual Review of Biophysics. Annual Reviews. https://doi.org/10.1146/annurev-biophys-060524-102720

2025 | Published | Journal Article | IST-REx-ID: 19702 |

Kopfová, L., & Tkadlec, J. (2025). Colonization times in Moran process on graphs. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1012868

[Published Version] View | Files available | DOI | WoS | arXiv

Mclaren, S. B. P., Xue, S., Ding, S., Winkel, A. K., Baldwin, O., Dwarakacherla, S., … Xiong, F. (2025). Differential tissue deformability underlies fluid pressure-driven shape divergence of the avian embryonic brain and spinal cord. Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2025.04.010

Tavakoli, M., Lyudchik, J., Januszewski, M., Vistunou, V., Agudelo Duenas, N., Vorlaufer, J., … Danzl, J. G. (2025). Light-microscopy-based connectomic reconstruction of mammalian brain tissue. Nature. Springer Nature. https://doi.org/10.1038/s41586-025-08985-1

Fialova, M., & Krejčiřík, D. (2025). Virtual bound states of the Pauli operator with an Aharonov–Bohm potential. Reviews in Mathematical Physics. World Scientific Publishing. https://doi.org/10.1142/S0129055X25500114

[Published Version] View | Files available | DOI | WoS | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 19712 |

Cueto Noval, M., Merz, S.-P., Stählin, P., & Ünal, A. (2025). On the soundness of algebraic attacks against code-based assumptions. In 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques (Vol. 15606, pp. 385–415). Madrid, Spain: Springer Nature. https://doi.org/10.1007/978-3-031-91095-1_14

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

2025 | Published | Journal Article | IST-REx-ID: 19713 |

Talaei, S., Ansaripour, M., Nadiradze, G., & Alistarh, D.-A. (2025). Hybrid decentralized optimization: Leveraging both first- and zeroth-order optimizers for faster convergence. Proceedings of the 39th AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v39i19.34290

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

Institute of Science and Technology Austria (ISTA)

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

6436 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

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

6436 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options