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.
5870 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 | 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 | Published | Book Chapter | IST-REx-ID: 18765
Probing Cell-Type Specificity of Mutant Phenotype at Transcriptomic Level Using Mosaic Analysis with Double Markers (MADM)
G.T. Cheung, F. Pauler, S. Hippenmeyer, in:, J. Garcia-Marques, T. Lee (Eds.), Lineage Tracing, Springer Nature, New York, NY, 2025, pp. 139–151.
View
| DOI
| PubMed | Europe PMC
G.T. Cheung, F. Pauler, S. Hippenmeyer, in:, J. Garcia-Marques, T. Lee (Eds.), Lineage Tracing, Springer Nature, New York, NY, 2025, pp. 139–151.
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: 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 | 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: 19027 |
Multilevel Monte Carlo methods for the Dean–Kawasaki equation from fluctuating hydrodynamics
F. Cornalba, J.L. Fischer, SIAM Journal on Numerical Analysis 63 (2025) 262–287.
[Published Version]
View
| Files available
| DOI
| arXiv
F. Cornalba, J.L. Fischer, SIAM Journal on Numerical Analysis 63 (2025) 262–287.
2025 | Published | Journal Article | IST-REx-ID: 18632 |
Polyharmonic fields and Liouville quantum gravity measures on tori of arbitrary dimension: From discrete to continuous
L. Dello Schiavo, R. Herry, E. Kopfer, K.T. Sturm, Mathematische Nachrichten 298 (2025) 244–281.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Dello Schiavo, R. Herry, E. Kopfer, K.T. Sturm, Mathematische Nachrichten 298 (2025) 244–281.
2025 | Published | Conference Paper | IST-REx-ID: 19038 |
Improved differentially private continual observation using group algebra
M. Henzinger, J. Upadhyay, in:, Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, Association for Computing Machinery, 2025, pp. 2951–2970.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Henzinger, J. Upadhyay, in:, Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, Association for Computing Machinery, 2025, pp. 2951–2970.
2025 | Published | Journal Article | IST-REx-ID: 19071 |
Spectrum of equivariant cohomology as a fixed point scheme
T. Hausel, K.P. Rychlewicz, Epijournal de Geometrie Algebrique 9 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
T. Hausel, K.P. Rychlewicz, Epijournal de Geometrie Algebrique 9 (2025).
2025 | Published | Journal Article | IST-REx-ID: 18849 |
Deriving a genetic regulatory network from an optimization principle
T.R. Sokolowski, T. Gregor, W. Bialek, G. Tkačik, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
T.R. Sokolowski, T. Gregor, W. Bialek, G. Tkačik, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19278 |
Spontaneous ordering of identical materials into a triboelectric series
J.C.A. Sobarzo Ponce, F. Pertl, D. Balazs, T. Costanzo, M. Sauer, A. Foelske, M. Ostermann, C.M. Pichler, Y. Wang, Y. Nagata, M. Bonn, S.R. Waitukaitis, Nature 638 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J.C.A. Sobarzo Ponce, F. Pertl, D. Balazs, T. Costanzo, M. Sauer, A. Foelske, M. Ostermann, C.M. Pichler, Y. Wang, Y. Nagata, M. Bonn, S.R. Waitukaitis, Nature 638 (2025).
2025 | Published | Journal Article | IST-REx-ID: 19283 |
Constraining differential rotation in γ Doradus stars from the properties of inertial dips
Barrault, Lucas, Constraining differential rotation in γ Doradus stars from the properties of inertial dips. Astronomy and Astrophysics 694. 2025
[Published Version]
View
| Files available
| DOI
Barrault, Lucas, Constraining differential rotation in γ Doradus stars from the properties of inertial dips. Astronomy and Astrophysics 694. 2025