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, et al. 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. Springer Nature; 2025:97-120. doi: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. Morse predecomposition of an invariant set. Qualitative Theory of Dynamical Systems. 2025;24(1). doi: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. On the chromatic number of powers of subdivisions of graphs. Discrete Applied Mathematics. 2025;360:506-511. doi: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. The completion numbers of hamiltonicity and pancyclicity in random graphs. Random Structures and Algorithms. 2025;66(2). doi:10.1002/rsa.21286
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19418 |
Draganić N, Petrova KH. Size‐Ramsey numbers of graphs with maximum degree three. Journal of the London Mathematical Society. 2025;111(3). doi:10.1112/jlms.70116
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18822 |
Wang V. Diagonal cubic forms and the large sieve. Mathematika. 2025;71(1). doi: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 AM, Muller CJ, Thompson G. Sensitivity of self-aggregation and the key role of the free convection distance. Journal of Advances in Modeling Earth Systems. 2025;17(3). doi: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. Time-dependent strategies in repeated asymmetric public goods games. Dynamic Games and Applications. 2025. doi:10.1007/s13235-025-00627-5
[Published Version]
View
| DOI
| Download Published Version (ext.)
2025 | Published | Journal Article | IST-REx-ID: 19068 |
Paraskevov A. Analytical strength-duration curve for the spiking response of the LIF neuron to an alpha-function-shaped excitatory current pulse. Results in Applied Mathematics. 2025;25. doi:10.1016/j.rinam.2025.100548
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19403 |
Roos B, Seiringer R. BCS critical temperature on half-spaces. Archive for Rational Mechanics and Analysis. 2025;249. doi: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, et al. BMP-dependent patterning of ectoderm tissue material properties modulates lateral mesendoderm cell migration during early zebrafish gastrulation. Cell Reports. 2025;44(3). doi: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. Structures and computations in topological data analysis. 2025. doi: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. Order-2 Delaunay triangulations optimize angles. Advances in Mathematics. 2025;461. doi: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. Information limits and Thouless-Anderson-Palmer equations for spiked matrix models with structured noise. Physical Review Research. 2025;7. doi:10.1103/PhysRevResearch.7.013081
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19039 |
Ji HC, Park J. Tracy-Widom limit for free sum of random matrices. The Annals of Probability. 2025;53(1):239-298. doi: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. Mesoscopic eigenvalue statistics for Wigner-type matrices. Annales de l’institut Henri Poincare (B) Probability and Statistics. 2025;61(1):129-154. doi:10.1214/23-AIHP1438
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv