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.

4628 Publications

2023 | Journal Article | IST-REx-ID: 13182 | OA
Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Geometric characterization of the persistence of 1D maps. Journal of Applied and Computational Topology. 2023. doi:10.1007/s41468-023-00126-9
View | Files available | DOI
2023 | Journal Article | IST-REx-ID: 13136 | OA
Minchington T, Rus S, Kicheva A. Control of tissue dimensions in the developing neural tube and somites. Current Opinion in Systems Biology. 2023;35. doi:10.1016/j.coisb.2023.100459
View | DOI | Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12467 | OA
Henzinger TA, Mazzocchi NA, Sarac NE. Quantitative safety and liveness. In: 26th International Conference Foundations of Software Science and Computation Structures. Vol 13992. Springer Nature; 2023:349-370. doi:10.1007/978-3-031-30829-1_17
View | Files available | DOI | arXiv
2023 | Journal Article | IST-REx-ID: 13179 | OA
Koval N, Khalanskiy D, Alistarh D-A. CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. 2023;7. doi:10.1145/3591230
View | Files available | DOI
2023 | Journal Article | IST-REx-ID: 13212 | OA
Chen H, Li L, Zou M, Qi L, Friml J. Distinct functions of TIR1 and AFB1 receptors in auxin signalling. Molecular Plant. 2023. doi:10.1016/j.molp.2023.06.007
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC


Filter Publications