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