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.
4636 Publications
2023 | Journal Article | IST-REx-ID: 13136 |

Minchington, Thomas, et al. “Control of Tissue Dimensions in the Developing Neural Tube and Somites.” Current Opinion in Systems Biology, vol. 35, 100459, Elsevier, 2023, doi:10.1016/j.coisb.2023.100459.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12467 |

Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.” 26th International Conference Foundations of Software Science and Computation Structures, vol. 13992, Springer Nature, 2023, pp. 349–70, doi:10.1007/978-3-031-30829-1_17.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13179 |

Koval, Nikita, et al. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.” Proceedings of the ACM on Programming Languages, vol. 7, 116, Association for Computing Machinery , 2023, doi:10.1145/3591230.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13212 |

Chen, Huihuang, et al. “Distinct Functions of TIR1 and AFB1 Receptors in Auxin Signalling.” Molecular Plant, Elsevier , 2023, doi:10.1016/j.molp.2023.06.007.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13209 |

Xia, Jing, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.” Plant Communications, 100632, Elsevier , 2023, doi:10.1016/j.xplc.2023.100632.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC