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: 18753 | 
On heroes in digraphs with forbidden induced forests
A. Carbonero, H. Koerts, B. Moore, S. Spirkl, European Journal of Combinatorics 125 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Carbonero, H. Koerts, B. Moore, S. Spirkl, European Journal of Combinatorics 125 (2025).
2025 | Published | Journal Article | IST-REx-ID: 18707
Influence of surface engineering on the transport properties of lead sulfide nanomaterials
H. Shu, M. Zhao, S. Lu, S. Wan, A. Genç, L. Huang, M. Ibáñez, K.H. Lim, M. Hong, Y. Liu, Journal of Colloid and Interface Science 683 (2025) 703–712.
View
| DOI
| WoS
| PubMed | Europe PMC
H. Shu, M. Zhao, S. Lu, S. Wan, A. Genç, L. Huang, M. Ibáñez, K.H. Lim, M. Hong, Y. Liu, Journal of Colloid and Interface Science 683 (2025) 703–712.
2025 | Published | Journal Article | IST-REx-ID: 18705 |
On a question of Davenport and diagonal cubic forms over Fq(t)
J. Glas, L. Hochfilzer, Mathematische Annalen 391 (2025) 5485–5533.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
J. Glas, L. Hochfilzer, Mathematische Annalen 391 (2025) 5485–5533.
2025 | Published | Journal Article | IST-REx-ID: 18701
In-situ engineered highly-crystalline Polythiophene empowered electrochemical capacitor-II: Anomalous electrochemical charge storage behavior of Polythiophene-rGO composite
N. Mahato, S. Singh, T.V.M. Sreekanth, K. Yoo, J. Kim, Materials Letters 382 (2025).
View
| DOI
| WoS
N. Mahato, S. Singh, T.V.M. Sreekanth, K. Yoo, J. Kim, Materials Letters 382 (2025).
2025 | Published | Journal Article | IST-REx-ID: 18936 |
Linking molecular mechanisms to their evolutionary consequences: a primer
R. Grah, C.C. Guet, G. Tkačik, M. Lagator, Genetics 229 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R. Grah, C.C. Guet, G. Tkačik, M. Lagator, Genetics 229 (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 18984 |
Combining REBOUND and MESA: Dynamical evolution of planets orbiting interacting binaries
Z. Xing, S. Torres Rodriguez, Y.L.L. Götberg, A.A. Trani, V. Korol, J. Cuadra, Monthly Notices of the Royal Astronomical Society 537 (2025) 285–292.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
Z. Xing, S. Torres Rodriguez, Y.L.L. Götberg, A.A. Trani, V. Korol, J. Cuadra, Monthly Notices of the Royal Astronomical Society 537 (2025) 285–292.
2025 | Published | Journal Article | IST-REx-ID: 19001 |
Loschmidt echo for deformed Wigner matrices
L. Erdös, S.J. Henheik, O. Kolupaiev, Letters in Mathematical Physics 115 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
L. Erdös, S.J. Henheik, O. Kolupaiev, Letters in Mathematical Physics 115 (2025).
2025 | Published | Journal Article | IST-REx-ID: 18850 |
Chromatin enables precise and scalable gene regulation with factors of limited specificity
M.L. Perkins, J. Crocker, 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
M.L. Perkins, J. Crocker, G. Tkačik, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).
2025 | Published | Conference Paper | IST-REx-ID: 19712 |
On the soundness of algebraic attacks against code-based assumptions
M. Cueto Noval, S.-P. Merz, P. Stählin, A. Ünal, in:, 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Springer Nature, 2025, pp. 385–415.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Cueto Noval, S.-P. Merz, P. Stählin, A. Ünal, in:, 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Springer Nature, 2025, pp. 385–415.
2025 | Published | Journal Article | IST-REx-ID: 19713 |
Hybrid decentralized optimization: Leveraging both first- and zeroth-order optimizers for faster convergence
S. Talaei, M. Ansaripour, G. Nadiradze, D.-A. Alistarh, Proceedings of The39th AAAI Conference on Artificial Intelligence 39 (2025) 20778–20786.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
S. Talaei, M. Ansaripour, G. Nadiradze, D.-A. Alistarh, Proceedings of The39th AAAI Conference on Artificial Intelligence 39 (2025) 20778–20786.
2025 | Published | Preprint | IST-REx-ID: 19717 |
Early emergence of projection-subtype fate-restricted radial glial progenitors orchestrates neocortical neurogenesis
I. Varela-Martínez, A. Villalba Requena, J. Garcia-Marqués, S. Hippenmeyer, M. Nieto, BioRxiv (2025).
[Preprint]
View
| DOI
| Download Preprint (ext.)
I. Varela-Martínez, A. Villalba Requena, J. Garcia-Marqués, S. Hippenmeyer, M. Nieto, BioRxiv (2025).
2025 | Published | Journal Article | IST-REx-ID: 10011 |
A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness
S. Hensel, T. Laux, Journal of Differential Geometry 130 (2025) 209–268.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Hensel, T. Laux, Journal of Differential Geometry 130 (2025) 209–268.
2025 | Published | Conference Paper | IST-REx-ID: 19740 |
Value iteration with guessing for Markov chains and Markov decision processes
K. Chatterjee, M. Jafariraviz, R.J. Saona Urmeneta, J. Svoboda, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 217–236.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, M. Jafariraviz, R.J. Saona Urmeneta, J. Svoboda, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 217–236.
2025 | Published | Conference Paper | IST-REx-ID: 19739 |
BUBAAK: Dynamic cooperative verification
M. Chalupa, C. Richter, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 212–216.
[Published Version]
View
| Files available
| DOI
M. Chalupa, C. Richter, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 212–216.
2025 | Conference Paper | IST-REx-ID: 19738 |
Securely instantiating ‘Half Gates’ garbling in the standard model
A. Acharya, K. Azari, M.A. Baig, D. Hofheinz, C. Kamath, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 37–75.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Acharya, K. Azari, M.A. Baig, D. Hofheinz, C. Kamath, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 37–75.
2025 | Published | Conference Paper | IST-REx-ID: 19743 |
Fixed point certificates for reachability and expected rewards in MDPs
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 130–151.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 130–151.
2025 | Published | Conference Paper | IST-REx-ID: 19742 |
Sound statistical model checking for probabilities and expected rewards
C.E. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 167–190.
[Published Version]
View
| Files available
| DOI
| arXiv
C.E. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 167–190.
2025 | Published | Conference Paper | IST-REx-ID: 19744 |
Refuting equivalence in probabilistic programs with conditioning
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 279–300.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Chatterjee, E. Goharshady, P. Novotný, D. Zikelic, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 279–300.
2025 | Research Data Reference | IST-REx-ID: 19771 |
Artifact: Fixed point certificates for reachability and expected rewards in MDPs
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, (2025).
2025 | Submitted | Preprint | IST-REx-ID: 19762 |
Early indirect neurogenesis transitions to late direct neurogenesis in mouse cerebral cortex development
A. Cárdenas, I. Çelik, A. Espinós, C. Streicher, L. López-González, L. del-Valle-Anton, V. Fernández, S. Amin, E. Negri, E.F. Ortuño, S. Hippenmeyer, V. Borrell, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Cárdenas, I. Çelik, A. Espinós, C. Streicher, L. López-González, L. del-Valle-Anton, V. Fernández, S. Amin, E. Negri, E.F. Ortuño, S. Hippenmeyer, V. Borrell, BioRxiv (n.d.).