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.
6592 Publications
2025 |
Published |
Journal Article |
IST-REx-ID: 19935 |
Spies S, Mück N, Zeng H, Sammler MJ, Lattuada A, Müller P, Dreyer D. 2025. Destabilizing Iris. Proceedings of the ACM on Programming Languages. 9(PLDI), 848–873.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 19936 |
Bedarkar K, Elbeheiry L, Sammler MJ, Gäher L, Brandenburg B, Dreyer D, Garg D. 2025. RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers. Proceedings of the ACM on Programming Languages. 9(PLDI), 73–97.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 19963 |
| 
|
Kuhn KD, Cho UH, Hetzer M. 2025. PSME3 regulates migration and differentiation of myoblasts. Life Science Alliance. 8(9), e202503208.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 19964 |
Cheng S, Schlaufman KC, Caiazzo I. 2025. A candidate giant planet companion to the massive, young White Dwarf GALEX J071816.4+373139 informs the occurrence of giant planets orbiting B stars. The Astronomical Journal. 170(1), 47.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 19965 |
Mcavoy A, Sehwag UM, Hilbe C, Chatterjee K, Barfuss W, Su Q, Leonard NE, Plotkin JB. 2025. Unilateral incentive alignment in two-agent stochastic games. Proceedings of the National Academy of Sciences. 122(25), e2319927121.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 19966 |
Jouveshomme S, Lizée M, Robin P, Bocquet L. 2025. Multiple ionic memories in asymmetric nanochannels revealed by mem-spectrometry. New Journal of Physics. 27(6), 065001.
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 19967 |
Llerena M, Pentericci L, Napolitano L, Mascia S, Amorín R, Calabrò A, Castellano M, Cleri NJ, Giavalisco M, Grogin NA, Hathi NP, Hirschmann M, Koekemoer AM, Nanayakkara T, Pacucci F, Shen L, Wilkins SM, Yoon I, Yung LYA, Bhatawdekar R, Lucas RA, Wang X, Arrabal Haro P, Bagley MB, Finkelstein SL, Kartaltepe JS, Merlin E, Papovich C, Pirzkal N, Santini P. 2025. The ionizing photon production efficiency of star-forming galaxies at z ∼ 4–10. Astronomy & Astrophysics. 698, A302.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 19969 |
|
|
Alistarh D-A, Rybicki J, Voitovych S. 2025. Near-optimal leader election in population protocols on graphs. Distributed Computing. 38, 207–245.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 19998 |
|
|
Ju X et al. 2025. Technology roadmap of micro/nanorobots. ACS Nano. 19(27), 24174–24334.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 20002 |
|
|
Kiernan K, Taylor DW. 2025. Visualization of a multi-turnover Cas9 after product release. Nature Communications. 16, 5681.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 20003 |
|
|
Al Hyder R, Colussi VE, Čufar M, Brand J, Recati A, Bruun GM. 2025. Lattice Bose polarons at strong coupling and quantum criticality. Scipost Physics. 19(1), 002.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20005 |
Edelsbrunner H, Garber A, Saghafian M. 2025. On spheres with k points inside. 41st International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 332, 43.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20006 |
Ost L, Cultrera di Montesano S, Edelsbrunner H. 2025. Banana trees for the persistence in time series experimentally. 41st International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 332, 71.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20007 |
Anastos M, Kwan MA, Moore B. 2025. Smoothed analysis for graph isomorphism. Proceedings of the 57th Annual ACM Symposium on Theory of Computing. STOC: Symposium on Theory of Computing, 2098–2106.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 20009 |
|
|
Vicoso B. 2025. Sex chromosome evolution in action in fourspine sticklebacks. Trends in Ecology and Evolution. 40(8), 728–730.
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 20010 |
|
|
Li L, Shi W, Mahajan A, Zhang J, Gómez-Gómez M, Labella J, Louie S, Torres T, Barlow S, Marder SR, Reichman DR, Venkataraman L. 2025. Too fast for spin flipping: Absence of chirality-induced spin selectivity in coherent electron transport through single-molecule junctions. Journal of the American Chemical Society. 147(28), 25043–25051.
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Conference Paper |
IST-REx-ID: 20024
Richter C, Chalupa M, Jakobs M-C, Wehrheim H. 2025. Cooperative software verification via dynamic program splitting. 47th International Conference on Software Engineering. ICSE: International Conference on Software Engineering, 2087–2099.
View
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 20026 |
Abramian S, Muller CJ, Risi C, Fiolleau T, Roca R. 2025. How key features of early development shape deep convective systems. npj Climate and Atmospheric Science. 8, 258.
[Published Version]
View
| Files available
| DOI
| WoS