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 | 
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 |
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 |
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 |
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 |
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