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.
5954 Publications
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: 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 | Published | Book Chapter | IST-REx-ID: 18765
Cheung GT, Pauler F, Hippenmeyer S. Probing Cell-Type Specificity of Mutant Phenotype at Transcriptomic Level Using Mosaic Analysis with Double Markers (MADM). In: Garcia-Marques J, Lee T, eds. Lineage Tracing. Vol 2886. MIMB. New York, NY: Springer Nature; 2025:139-151. doi:10.1007/978-1-0716-4310-5_7
View
| DOI
| PubMed | Europe PMC
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: 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: 18632 |
Dello Schiavo L, Herry R, Kopfer E, Sturm KT. Polyharmonic fields and Liouville quantum gravity measures on tori of arbitrary dimension: From discrete to continuous. Mathematische Nachrichten. 2025;298(1):244-281. doi:10.1002/mana.202400169
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19038 |
Henzinger M, Upadhyay J. Improved differentially private continual observation using group algebra. In: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms. Vol 5. Association for Computing Machinery; 2025:2951-2970. doi:10.1137/1.9781611978322.95
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19071 |
Hausel T, Rychlewicz KP. Spectrum of equivariant cohomology as a fixed point scheme. Epijournal de Geometrie Algebrique. 2025;9. doi:10.46298/epiga.2025.12591
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18849 |
Sokolowski TR, Gregor T, Bialek W, Tkačik G. Deriving a genetic regulatory network from an optimization principle. Proceedings of the National Academy of Sciences of the United States of America. 2025;122(1). doi:10.1073/pnas.2402925121
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Thesis | IST-REx-ID: 19557
Schwarz LA. Mapping developmental dynamics of autism spectrum disorder mouse models at single-cell resolution. 2025. doi:10.15479/AT-ISTA-19557
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18112 |
Henheik SJ. Deformational rigidity of integrable metrics on the torus. Ergodic Theory and Dynamical Systems. 2025;45(2):467-503. doi:10.1017/etds.2024.48
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Published | Journal Article | IST-REx-ID: 19621 |
Nessonov N, Ngo NT. Indecomposable characters of inductive limits of symmetric groups. Representation Theory. 2025;29(8):256-288. doi:10.1090/ert/689
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19639 |
Tenhuisen SFR, Pan GA, Song Q, et al. Magnetic excitations in Ndn+1Nin O3n+1 Ruddlesden-Popper nickelates observed via resonant inelastic x-ray scattering. Physical Review B. 2025;111(16). doi:10.1103/PhysRevB.111.165145
View
| DOI
| Download None (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19665 |
Cano Cordoba F, Henzinger TA, Könighofer B, Kueffner K, Mallik K. Fairness shields: Safeguarding against biased decision makers. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:15659-15668. doi:10.1609/aaai.v39i15.33719
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19667 |
Chatterjee K, Goharshady E, Karrabi M, Motwani HJ, Seeliger M, Zikelic D. Quantified linear and polynomial arithmetic satisfiability via template-based skolemization. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:11158-11166. doi:10.1609/aaai.v39i11.33213
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19668 |
Yu E, Zikelic D, Henzinger TA. Neural control and certificate repair via runtime monitoring. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:26409-26417. doi:10.1609/aaai.v39i25.34840
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19669 |
Chatterjee K, Luo R, Saona Urmeneta RJ, Svoboda J. Linear equations with min and max operators: Computational complexity. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. Vol 39. Association for the Advancement of Artificial Intelligence; 2025:11150-11157. doi:10.1609/aaai.v39i11.33212
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19673 |
Wang V. Prime Hasse principles via diophantine second moments. Journal of the Association for Mathematical Research. 2025;3(1):1-26. doi:10.56994/JAMR.003.001.001
[Published Version]
View
| Files available
| DOI
| arXiv