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.
5762 Publications
2025 | Published | Journal Article | IST-REx-ID: 19660 |

Mitrouskas, David Johannes. “The Weakly Coupled Two-Dimensional Fermi Polaron.” Archive for Rational Mechanics and Analysis. Springer Nature, 2025. https://doi.org/10.1007/s00205-025-02098-9.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19672 |

Polesello, Andrea, Giousef Alexandros Charinti, Agostino Niyonkuru Meroni, Caroline J Muller, and Claudia Pasquero. “Intensity Oscillations of Tropical Cyclones: Surface versus Mid and Upper Tropospheric Processes.” Journal of Advances in Modeling Earth Systems. Wiley, 2025. https://doi.org/10.1029/2024MS004613.
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 19667 |

Chatterjee, Krishnendu, Ehsan Goharshady, Mehrdad Karrabi, Harshit J. Motwani, Maximilian Seeliger, and Dorde Zikelic. “Quantified Linear and Polynomial Arithmetic Satisfiability via Template-Based Skolemization.” In Proceedings of the AAAI Conference on Artificial Intelligence, 39:11158–66. Association for the Advancement of Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i11.33213.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19670 |

Bartolucci, G., D. M. Busiello, M. Ciarchi, A. Corticelli, I. Di Terlizzi, Fabrizio Olmeda, D. Revignas, and V. M. Schimmenti. “Phase Behavior of Cacio e Pepe Sauce.” Physics of Fluids. AIP Publishing, 2025. https://doi.org/10.1063/5.0255841.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19668 |

Yu, Emily, Dorde Zikelic, and Thomas A Henzinger. “Neural Control and Certificate Repair via Runtime Monitoring.” In Proceedings of the 39th AAAI Conference on Artificial Intelligence, 39:26409–17. Association for the Advancement of Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i25.34840.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19669 |

Chatterjee, Krishnendu, Ruichen Luo, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Linear Equations with Min and Max Operators: Computational Complexity.” In Proceedings of the 39th AAAI Conference on Artificial Intelligence, 39:11150–57. Association for the Advancement of Artificial Intelligence, 2025. https://doi.org/10.1609/aaai.v39i11.33212.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19673 |

Wang, Victor. “Prime Hasse Principles via Diophantine Second Moments.” Journal of the Association for Mathematical Research. Association for Mathematical Research, 2025. https://doi.org/10.56994/JAMR.003.001.001.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19671
Arpigiani, Daniela, Valeria Aschero, Rosina Matilde Soler Schaller, and Mariano M. Amoroso. “A Life-Cycle Approach to Understand Consequences of Silvopastoral Use on Two Native Tree Species of Northern Patagonia.” Austral Ecology. Wiley, 2025. https://doi.org/10.1111/aec.70058.
View
| DOI
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19421 |

Chen, Huihuang, Linlin Qi, Minxia Zou, Mengting Lu, M Kwiatkowski, Yuanrong Pei, K Jaworski, and Jiří Friml. “TIR1-Produced CAMP as a Second Messenger in Transcriptional Auxin Signalling.” Nature. Springer Nature, 2025. https://doi.org/10.1038/s41586-025-08669-w.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2025 | Published | Thesis | IST-REx-ID: 19478
Chen, Huihuang. “The CAMP Second Messenger in Auxin Signalling.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19478.
[Published Version]
View
| Files available
| DOI