Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

9087 Publications


2020 | Journal Article | IST-REx-ID: 8744 | OA
Schulte, L., Mao, J., Reitz, J., Sreeramulu, S., Kudlinzki, D., Hodirnau, V.-V., … Schwalbe, H. (2020). Cysteine oxidation and disulfide formation in the ribosomal exit tunnel. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-020-19372-x
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8747
Zhang, Y., Liu, Y., Calcabrini, M., Xing, C., Han, X., Arbiol, J., … Cabot, A. (2020). Bismuth telluride-copper telluride nanocomposites from heterostructured building blocks. Journal of Materials Chemistry C. Royal Society of Chemistry. https://doi.org/10.1039/D0TC02182B
View | DOI | WoS
 

2020 | Preprint | IST-REx-ID: 14095 | OA
Gaudi BS et al. The habitable exoplanet observatory (HabEx) mission concept study final report. arXiv, 2001.06683.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Journal Article | IST-REx-ID: 8767 | OA
Kaveh, K., McAvoy, A., Chatterjee, K., & Nowak, M. A. (2020). The Moran process on 2-chromatic graphs. PLOS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1008402
[Published Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 8750 | OA
Forets, M., Freire, D., & Schilling, C. (2020). Efficient reachability analysis of parametric linear hybrid systems with  time-triggered transitions. In 18th ACM-IEEE International Conference on Formal Methods and Models for System Design. Virtual Conference: IEEE. https://doi.org/10.1109/MEMOCODE51338.2020.9314994
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Search

Filter Publications