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.
4969 Publications
2024 | Journal Article | IST-REx-ID: 15335 | 
Godavarthi SK, Hiramoto M, Ignatyev Y, et al. Postsynaptic receptors regulate presynaptic transmitter stability through transsynaptic bridges. PNAS. 2024;121(15). doi:10.1073/pnas.2318041121
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15334 |
Abels H, Fei M, Moser M. Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility. Calculus of Variations and Partial Differential Equations. 2024;63(4). doi:10.1007/s00526-024-02715-7
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15338 |
Browning TD, Pierce LB, Schindler D. Generalised quadratic forms over totally real number fields. Journal of the Institute of Mathematics of Jussieu. 2024. doi:10.1017/S1474748024000161
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 10045 |
Dvorak M, Kolmogorov V. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. 2024. doi:10.1007/s10107-024-02064-5
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Conference Paper | IST-REx-ID: 15333 |
Chalupa M, Richter C. Bubaak-SpLit: Split what you cannot verify (Competition contribution). In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 14572. Cham: Springer Nature; 2024:353–358. doi:10.1007/978-3-031-57256-2_20
[Published Version]
View
| Files available
| DOI