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.
4969 Publications
2020 | Journal Article | IST-REx-ID: 8744 |
Schulte L, Mao J, Reitz J, Sreeramulu S, Kudlinzki D, Hodirnau V-V, Meier-Credo J, Saxena K, Buhr F, Langer JD, Blackledge M, Frangakis AS, Glaubitz C, Schwalbe H. 2020. Cysteine oxidation and disulfide formation in the ribosomal exit tunnel. Nature Communications. 11, 5569.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Journal Article | IST-REx-ID: 8767 |
Kaveh K, McAvoy A, Chatterjee K, Nowak MA. 2020. The Moran process on 2-chromatic graphs. PLOS Computational Biology. 16(11), e1008402.
[Published Version]
View
| Files available
| DOI
| WoS
2020 | Conference Paper | IST-REx-ID: 8750 |
Forets M, Freire D, Schilling C. 2020. Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. 18th ACM-IEEE International Conference on Formal Methods and Models for System Design. MEMOCODE: Conference on Formal Methods and Models for System Design, 9314994.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 | Journal Article | IST-REx-ID: 8758 |
Maas J, Mielke A. 2020. Modeling of chemical reaction systems with detailed balance using gradient structures. Journal of Statistical Physics. 181(6), 2257–2303.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv