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 |
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: 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 | 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: 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: 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 | Thesis | IST-REx-ID: 19557
Mapping developmental dynamics of autism spectrum disorder mouse models at single-cell resolution
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
L.A. Schwarz, Mapping Developmental Dynamics of Autism Spectrum Disorder Mouse Models at Single-Cell Resolution, Institute of Science and Technology Austria, 2025.
2025 | Published | Journal Article | IST-REx-ID: 18112 |
Deformational rigidity of integrable metrics on the torus
S.J. Henheik, Ergodic Theory and Dynamical Systems 45 (2025) 467–503.
[Published Version]
View
| Files available
| DOI
| WoS
S.J. Henheik, Ergodic Theory and Dynamical Systems 45 (2025) 467–503.
2025 | Published | Journal Article | IST-REx-ID: 19621 |
Indecomposable characters of inductive limits of symmetric groups
N. Nessonov, N.T. Ngo, Representation Theory 29 (2025) 256–288.
[Published Version]
View
| Files available
| DOI
| arXiv
N. Nessonov, N.T. Ngo, Representation Theory 29 (2025) 256–288.
2025 | Published | Journal Article | IST-REx-ID: 19639 |
Magnetic excitations in Ndn+1Nin O3n+1 Ruddlesden-Popper nickelates observed via resonant inelastic x-ray scattering
S.F.R. Tenhuisen, G.A. Pan, Q. Song, D.R. Baykusheva, D. Ferenc Segedin, B.H. Goodge, H. Paik, J. Pelliciari, V. Bisogni, Y. Gu, S. Agrestini, A. Nag, M. García-Fernández, K.J. Zhou, L.F. Kourkoutis, C.M. Brooks, J.A. Mundy, M.P.M. Dean, M. Mitrano, Physical Review B 111 (2025).
View
| DOI
| Download None (ext.)
| arXiv
S.F.R. Tenhuisen, G.A. Pan, Q. Song, D.R. Baykusheva, D. Ferenc Segedin, B.H. Goodge, H. Paik, J. Pelliciari, V. Bisogni, Y. Gu, S. Agrestini, A. Nag, M. García-Fernández, K.J. Zhou, L.F. Kourkoutis, C.M. Brooks, J.A. Mundy, M.P.M. Dean, M. Mitrano, Physical Review B 111 (2025).
2025 | Published | Conference Paper | IST-REx-ID: 19665 |
Fairness shields: Safeguarding against biased decision makers
F. Cano Cordoba, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 15659–15668.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Cano Cordoba, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 15659–15668.
2025 | Published | Conference Paper | IST-REx-ID: 19667 |
Quantified linear and polynomial arithmetic satisfiability via template-based skolemization
K. Chatterjee, E. Goharshady, M. Karrabi, H.J. Motwani, M. Seeliger, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11158–11166.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, E. Goharshady, M. Karrabi, H.J. Motwani, M. Seeliger, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11158–11166.
2025 | Published | Conference Paper | IST-REx-ID: 19668 |
Neural control and certificate repair via runtime monitoring
E. Yu, D. Zikelic, T.A. Henzinger, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 26409–26417.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Yu, D. Zikelic, T.A. Henzinger, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 26409–26417.
2025 | Published | Conference Paper | IST-REx-ID: 19669 |
Linear equations with min and max operators: Computational complexity
K. Chatterjee, R. Luo, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11150–11157.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, R. Luo, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 11150–11157.
2025 | Published | Journal Article | IST-REx-ID: 19673 |
Prime Hasse principles via diophantine second moments
V. Wang, Journal of the Association for Mathematical Research 3 (2025) 1–26.
[Published Version]
View
| Files available
| DOI
| arXiv
V. Wang, Journal of the Association for Mathematical Research 3 (2025) 1–26.