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.
6908 Publications
2025 | Published | Conference Paper | IST-REx-ID: 19375 | 
Azeem, M., Chakraborty, D., Kanav, S., Kretinsky, J., Mohagheghi, M., Mohr, S., & Weininger, M. (2025). 1–2–3–Go! Policy synthesis for parameterized Markov decision processes via decision-tree learning and generalization. In 26th International Conference on Verification, Model Checking, and Abstract Interpretation (Vol. 15530, pp. 97–120). Denver, CO, United States: Springer Nature. https://doi.org/10.1007/978-3-031-82703-7_5
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18580 |
Lipiński, M., Mischaikow, K., & Mrozek, M. (2025). Morse predecomposition of an invariant set. Qualitative Theory of Dynamical Systems. Springer Nature. https://doi.org/10.1007/s12346-024-01144-3
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18478 |
Anastos, M., Boyadzhiyska, S., Rathke, S., & Rué, J. (2025). On the chromatic number of powers of subdivisions of graphs. Discrete Applied Mathematics. Elsevier. https://doi.org/10.1016/j.dam.2024.10.002
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19440 |
Alon, Y., & Anastos, M. (2025). The completion numbers of hamiltonicity and pancyclicity in random graphs. Random Structures and Algorithms. Wiley. https://doi.org/10.1002/rsa.21286
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19418 |
Draganić, N., & Petrova, K. H. (2025). Size‐Ramsey numbers of graphs with maximum degree three. Journal of the London Mathematical Society. Wiley. https://doi.org/10.1112/jlms.70116
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18822 |
Wang, V. (2025). Diagonal cubic forms and the large sieve. Mathematika. London Mathematical Society. https://doi.org/10.1112/mtk.70008
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 18984 |
Xing, Zepei, Combining REBOUND and MESA: Dynamical evolution of planets orbiting interacting binaries. Monthly Notices of the Royal Astronomical Society 537 (1). 2025
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19416 |
Casallas Garcia, A., Tompkins, A. M., Muller, C. J., & Thompson, G. (2025). Sensitivity of self-aggregation and the key role of the free convection distance. Journal of Advances in Modeling Earth Systems. Wiley. https://doi.org/10.1029/2024MS004791
[Published Version]
View
| Files available
| DOI
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 19074 |
Hübner, V., Hilbe, C., Staab, M., Kleshnina, M., & Chatterjee, K. (2025). Time-dependent strategies in repeated asymmetric public goods games. Dynamic Games and Applications. Springer Nature. https://doi.org/10.1007/s13235-025-00627-5
[Published Version]
View
| DOI
| Download Published Version (ext.)
2025 | Published | Journal Article | IST-REx-ID: 19068 |
Paraskevov, A. (2025). Analytical strength-duration curve for the spiking response of the LIF neuron to an alpha-function-shaped excitatory current pulse. Results in Applied Mathematics. Elsevier. https://doi.org/10.1016/j.rinam.2025.100548
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19403 |
Roos, B., & Seiringer, R. (2025). BCS critical temperature on half-spaces. Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-025-02088-x
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19404 |
Tavano, S., Brückner, D., Tasciyan, S., Tong, X., Kardos, R., Schauer, A., … Heisenberg, C.-P. J. (2025). BMP-dependent patterning of ectoderm tissue material properties modulates lateral mesendoderm cell migration during early zebrafish gastrulation. Cell Reports. Elsevier. https://doi.org/10.1016/j.celrep.2025.115387
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | In Press | Journal Article | IST-REx-ID: 19506 |
Bollmann, Lars, Sleep stages antagonistically modulate reactivation drift. Neuron. 2025
[Published Version]
View
| DOI
| Download Published Version (ext.)
2025 | Published | Thesis | IST-REx-ID: 19393 |
Karle, Volker, Non-equilibrium topological phases of periodically driven molecules and quantum rotors. 2025
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 18979 |
Draganov, O. (2025). Structures and computations in topological data analysis. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18979
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18626 |
Edelsbrunner, H., Garber, A., & Saghafian, M. (2025). Order-2 Delaunay triangulations optimize angles. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2024.110055
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18986 |
Barbier, J., Camilli, F., Xu, Y., & Mondelli, M. (2025). Information limits and Thouless-Anderson-Palmer equations for spiked matrix models with structured noise. Physical Review Research. American Physical Society. https://doi.org/10.1103/PhysRevResearch.7.013081
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19039 |
Ji, H. C., & Park, J. (2025). Tracy-Widom limit for free sum of random matrices. The Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/24-aop1705
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19500 |
Erdös, László, Density of Brown measure of free circular Brownian motion. Documenta Mathematica 30 (2). 2025
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 15128 |
Riabov, V. (2025). Mesoscopic eigenvalue statistics for Wigner-type matrices. Annales de l’institut Henri Poincare (B) Probability and Statistics. Institute of Mathematical Statistics. https://doi.org/10.1214/23-AIHP1438
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv