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 | 
M. Lipiński, K. Mischaikow, and M. Mrozek, “Morse predecomposition of an invariant set,” Qualitative Theory of Dynamical Systems, vol. 24, no. 1. Springer Nature, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18478 |
M. Anastos, S. Boyadzhiyska, S. Rathke, and J. Rué, “On the chromatic number of powers of subdivisions of graphs,” Discrete Applied Mathematics, vol. 360. Elsevier, pp. 506–511, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18822 |
V. Wang, “Diagonal cubic forms and the large sieve,” Mathematika, vol. 71, no. 1. London Mathematical Society, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Published | Book Chapter | IST-REx-ID: 18765
G. T. Cheung, F. Pauler, and S. Hippenmeyer, “Probing Cell-Type Specificity of Mutant Phenotype at Transcriptomic Level Using Mosaic Analysis with Double Markers (MADM),” in Lineage Tracing, vol. 2886, J. Garcia-Marques and T. Lee, Eds. New York, NY: Springer Nature, 2025, pp. 139–151.
View
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 19068 |
A. Paraskevov, “Analytical strength-duration curve for the spiking response of the LIF neuron to an alpha-function-shaped excitatory current pulse,” Results in Applied Mathematics, vol. 25. Elsevier, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18626 |
H. Edelsbrunner, A. Garber, and M. Saghafian, “Order-2 Delaunay triangulations optimize angles,” Advances in Mathematics, vol. 461. Elsevier, 2025.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18986 |
J. Barbier, F. Camilli, Y. Xu, and M. Mondelli, “Information limits and Thouless-Anderson-Palmer equations for spiked matrix models with structured noise,” Physical Review Research, vol. 7. American Physical Society, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18632 |
L. Dello Schiavo, R. Herry, E. Kopfer, and K. T. Sturm, “Polyharmonic fields and Liouville quantum gravity measures on tori of arbitrary dimension: From discrete to continuous,” Mathematische Nachrichten, vol. 298, no. 1. Wiley, pp. 244–281, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19038 |
M. Henzinger and J. Upadhyay, “Improved differentially private continual observation using group algebra,” in Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, New Orleans, LA, United States, 2025, vol. 5, pp. 2951–2970.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19071 |
T. Hausel and K. P. Rychlewicz, “Spectrum of equivariant cohomology as a fixed point scheme,” Epijournal de Geometrie Algebrique, vol. 9. EPI Sciences, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 18849 |
T. R. Sokolowski, T. Gregor, W. Bialek, and G. Tkačik, “Deriving a genetic regulatory network from an optimization principle,” Proceedings of the National Academy of Sciences of the United States of America, vol. 122, no. 1. National Academy of Sciences, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Thesis | IST-REx-ID: 19557
L. A. Schwarz, “Mapping developmental dynamics of autism spectrum disorder mouse models at single-cell resolution,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18112 |
S. J. Henheik, “Deformational rigidity of integrable metrics on the torus,” Ergodic Theory and Dynamical Systems, vol. 45, no. 2. Cambridge University Press, pp. 467–503, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Published | Journal Article | IST-REx-ID: 19621 |
N. Nessonov and N. T. Ngo, “Indecomposable characters of inductive limits of symmetric groups,” Representation Theory, vol. 29, no. 8. American Mathematical Society, pp. 256–288, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19639 |
S. F. R. Tenhuisen et al., “Magnetic excitations in Ndn+1Nin O3n+1 Ruddlesden-Popper nickelates observed via resonant inelastic x-ray scattering,” Physical Review B, vol. 111, no. 16. American Physical Society, 2025.
View
| DOI
| Download None (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19665 |
F. Cano Cordoba, T. A. Henzinger, B. Könighofer, K. Kueffner, and K. Mallik, “Fairness shields: Safeguarding against biased decision makers,” in Proceedings of the AAAI Conference on Artificial Intelligence, Philadelphia, PA, United States, 2025, vol. 39, no. 15, pp. 15659–15668.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19667 |
K. Chatterjee, E. Goharshady, M. Karrabi, H. J. Motwani, M. Seeliger, and D. Zikelic, “Quantified linear and polynomial arithmetic satisfiability via template-based skolemization,” in Proceedings of the AAAI Conference on Artificial Intelligence, Philadelphia, PA, United States, 2025, vol. 39, no. 11, pp. 11158–11166.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19668 |
E. Yu, D. Zikelic, and T. A. Henzinger, “Neural control and certificate repair via runtime monitoring,” in Proceedings of the 39th AAAI Conference on Artificial Intelligence, Philadelphia, PA, United States, 2025, vol. 39, no. 25, pp. 26409–26417.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19669 |
K. Chatterjee, R. Luo, R. J. Saona Urmeneta, and J. Svoboda, “Linear equations with min and max operators: Computational complexity,” in Proceedings of the 39th AAAI Conference on Artificial Intelligence, Philadelphia, PA, United States, 2025, vol. 39, no. 11, pp. 11150–11157.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19673 |
V. Wang, “Prime Hasse principles via diophantine second moments,” Journal of the Association for Mathematical Research, vol. 3, no. 1. Association for Mathematical Research, pp. 1–26, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv