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.
5473 Publications
2024 | Published | Journal Article | IST-REx-ID: 18158 | 
Dello Schiavo L, Herry R, Suzuki K. Wasserstein geometry and Ricci curvature bounds for Poisson spaces. Journal de l’Ecole Polytechnique - Mathematiques. 2024;11:957-1010. doi:10.5802/jep.270
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18159 |
Akshay S, Chatterjee K, Meggendorfer T, Zikelic D. Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties. In: Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence; 2024:3-12.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18160 |
Chatterjee K, Goharshady E, Karrabi M, Novotný P, Zikelic D. Solving long-run average reward robust MDPs via stochastic games. In: 33rd International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence; 2024:6707-6715.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2024 | In Press | Book Chapter | IST-REx-ID: 18167
Guillerm U, Sučec I, Schanda P. Generation of TIM chaperone substrate complexes. In: Methods in Enzymology. Elsevier. doi:10.1016/bs.mie.2024.07.051
View
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18168 |
Wu D, Koscic A, Schneider S, et al. Unveiling the dynamic self-assembly of a recombinant dragline-silk-mimicking protein. Biomacromolecules. 2024;25(3):1759-1774. doi:10.1021/acs.biomac.3c01239
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18169
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. VAMOS: Middleware for best-effort third-party monitoring. Science of Computer Programming. 2024;240. doi:10.1016/j.scico.2024.103212
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18170 |
Herdina AN, Bozdogan A, Aspermair P, et al. Bridging basic science and applied diagnostics: Comprehensive viral diagnostics enabled by graphene-based electronic biosensor technology advancements. Biosensors and Bioelectronics. 2024;267. doi:10.1016/j.bios.2024.116807
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 18171
Basu A, Singh A, Sehgal S, Madaan T, Prasad NG. Starvation increases susceptibility to bacterial infection and promotes systemic pathogen proliferation in Drosophila melanogaster females. Journal of Invertebrate Pathology. 2024;207. doi:10.1016/j.jip.2024.108209
View
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 18172 |
| 
|
Hatt EJ, Ong JMJ, Nielsen MB, et al. Asteroseismic signatures of core magnetism and rotation in hundreds of low-luminosity red giants. Monthly Notices of the Royal Astronomical Society. 2024;534(2):1060-1076. doi:10.1093/mnras/stae2053
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18173 |
Glas J. Rational points on complete intersections of cubic and quadric hypersurfaces over Fq(t). Journal of the London Mathematical Society. 2024;110(4). doi:10.1112/jlms.12991
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18174 |
Wassermair M, Kahl G, Roth R, Archer AJ. Fingerprints of ordered self-assembled structures in the liquid phase of a hard-core, square-shoulder system. The Journal of chemical physics. 2024;161(12). doi:10.1063/5.0226954
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18175 |
Maj P, Muroya Lei S, Siek K, Di Grazia L, Vitek J. The fault in our stars: Designing reproducible large-scale code analysis experiments. In: 38th European Conference on Object-Oriented Programming. Vol 313. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.ECOOP.2024.27
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18176 |
Zadnik L, Ljubotina M, Krajnik Ž, Ilievski E, Prosen T. Quantum many-body spin ratchets. PRX Quantum. 2024;5(3). doi:10.1103/PRXQuantum.5.030356
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18177
Beneš N, Brim L, Huvar O, Pastva S, Šafránek D. BNClassifier: Classifying boolean models by dynamic properties. In: Computational Methods in Systems Biology. Vol 14971. Springer Nature; 2024:19-26. doi:10.1007/978-3-031-71671-3_2
View
| DOI
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18266
Chatterjee K, Oliu-Barton M, Saona Urmeneta RJ. Value-positivity for matrix games. Mathematics of Operations Research. 2024. doi:10.1287/moor.2022.0332
View
| DOI
2024 | Submitted | Preprint | IST-REx-ID: 18295 |
Glas J. Canonical singularities on moduli spaces of rational curves via the circle method. arXiv. doi:10.48550/arXiv.2405.16648
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18305 |
Kratsios P, Zampieri N, Carrillo R, Mizumoto K, Sweeney LB, Philippidou P. Molecular and cellular mechanisms of motor circuit development. The Journal of Neuroscience. 2024;44(40). doi:10.1523/JNEUROSCI.1238-24.2024
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 18306 |
Oza AV, Seidel JV, Hoeijmakers HJ, Unni A, Kesseli AY, Schmidt CA, Sivarani T, Bello-Arufe A, Gebek A, Meyer Zu Westram M, Sousa SG, Lopes RMC, Hu R, De Kleer K, Fisher C, Charnoz S, Baker AD, Halverson SP, Schneider NM, Psaridi A, Wyttenbach A, Torres Rodriguez S, Bhatnagar I, Johnson RE. 2024. Redshifted sodium transient near exoplanet transit. Astrophysical Journal Letters. 973(2), L53.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18307 |
Rella S, Kulikova YA, Minnegalieva A, Kondrashov F. Complex vaccination strategies prevent the emergence of vaccine resistance. Evolution: International journal of organic evolution. 2024;78(10):1722-1738. doi:10.1093/evolut/qpae106
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18308 |
La Tour MD, Henzinger M, Saulpic D. Fully dynamic k-means coreset in near-optimal update time. In: 32nd Annual European Symposium on Algorithms. Vol 308. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:10.4230/LIPIcs.ESA.2024.100
[Published Version]
View
| Files available
| DOI
| arXiv