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.
633 Publications
2022 | Published | Book Chapter | IST-REx-ID: 18223
Rosenberg, A. A., Bronstein, A. M., & Marx, A. (2022). Recording Silence – Accurate Annotation of the Genetic Sequence Is Required to Better Understand How Synonymous Coding Affects Protein Structure and Disease. In Z. E. Sauna & C. Kimchi-Sarfaty (Eds.), Single Nucleotide Polymorphisms (pp. 37–47). Cham: Springer Nature. https://doi.org/10.1007/978-3-031-05616-1_3
View
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11051
Liu, J., & Hetzer, M. (2022). Nuclear pore complex maintenance and implications for age-related diseases. Trends in Cell Biology. Elsevier. https://doi.org/10.1016/j.tcb.2021.10.001
View
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 11490 | 
Matthee, J. J., Feltre, A., Maseda, M., Nanayakkara, T., Boogaard, L., Bacon, R., … Wisotzki, L. (2022). Deciphering stellar metallicities in the early universe: Case study of a young galaxy at z = 4.77 in the MUSE eXtremely Deep Field. Astronomy & Astrophysics. EDP Sciences. https://doi.org/10.1051/0004-6361/202142187
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11521 |
Matthee, J. J., Naidu, R. P., Pezzulli, G., Gronke, M., Sobral, D., Oesch, P. A., … Röttgering, H. (2022). (Re)Solving reionization with Lyα: How bright Lyα emitters account for the z ≈ 2 − 8 cosmic ionizing background. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stac801
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11511 |
Gebek, A., & Matthee, J. J. (2022). On the variation in stellar α-enhancements of star-forming galaxies in the EAGLE simulation. The Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ac350b
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11600
Bugnet, L. A. (2022). Hidden currents at the Sun’s surface. Nature Astronomy. Springer Nature. https://doi.org/10.1038/s41550-022-01683-2
View
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 10774 |
Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Da Costa, A. O. (2022). Flavors of sequential information flow. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 13182, pp. 1–19). Philadelphia, PA, United States: Springer Nature. https://doi.org/10.1007/978-3-030-94583-1_1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11955 |
Traxler, M., Gisbertz, S., Pachfule, P., Schmidt, J., Roeser, J., Reischauer, S., … Thomas, A. (2022). Acridine‐functionalized covalent organic frameworks (COFs) as photocatalysts for metallaphotocatalytic C−N cross‐coupling. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202117738
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12147 |
Hasani, R., Lechner, M., Amini, A., Liebenwein, L., Ray, A., Tschaikowski, M., … Rus, D. (2022). Closed-form continuous-time neural networks. Nature Machine Intelligence. Springer Nature. https://doi.org/10.1038/s42256-022-00556-7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12510 |
Gruenbacher, S. A., Lechner, M., Hasani, R., Rus, D., Henzinger, T. A., Smolka, S. A., & Grosu, R. (2022). GoTube: Scalable statistical verification of continuous-depth models. Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v36i6.20631
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 10891
Henzinger, T. A. (2022). Quantitative monitoring of software. In Software Verification (Vol. 13124, pp. 3–6). New Haven, CT, United States: Springer Nature. https://doi.org/10.1007/978-3-030-95561-8_1
View
| DOI
| WoS
2022 | Submitted | Preprint | IST-REx-ID: 11366 |
Lechner, M., Amini, A., Rus, D., & Henzinger, T. A. (n.d.). Revisiting the adversarial robustness-accuracy tradeoff in robot learning. arXiv. https://doi.org/10.48550/arXiv.2204.07373
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 12010 |
Brunnbauer, A., Berducci, L., Brandstatter, A., Lechner, M., Hasani, R., Rus, D., & Grosu, R. (2022). Latent imagination facilitates zero-shot transfer in autonomous racing. In 2022 International Conference on Robotics and Automation (pp. 7513–7520). Philadelphia, PA, United States: IEEE. https://doi.org/10.1109/ICRA46639.2022.9811650
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11662
Henzinger, M. H., & Peng, P. (2022). Constant-time Dynamic (Δ +1)-Coloring. ACM Transactions on Algorithms. Association for Computing Machinery (ACM). https://doi.org/10.1145/3501403
View
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 11812 |
Hanauer, K., Henzinger, M. H., & Hua, Q. C. (2022). Fully dynamic four-vertex subgraph counting. In 1st Symposium on Algorithmic Foundations of Dynamic Networks (Vol. 221). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SAND.2022.18
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 11808 |
Hanauer, K., Henzinger, M. H., & Schulz, C. (2022). Recent advances in fully dynamic graph algorithms. In 1st Symposium on Algorithmic Foundations of Dynamic Networks (Vol. 221). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SAND.2022.1
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 12671 |
Buttress, T., He, S., Wang, L., Zhou, S., Saalbach, G., Vickers, M., … Feng, X. (2022). Histone H2B.8 compacts flowering plant sperm through chromatin phase separation. Nature. Springer Nature. https://doi.org/10.1038/s41586-022-05386-6
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12670 |
He, S., & Feng, X. (2022). DNA methylation dynamics during germline development. Journal of Integrative Plant Biology. Wiley. https://doi.org/10.1111/jipb.13422
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 12067 |
Madani, A., Anghileri, L., Heydenreich, M., Möller, H. M., & Pieber, B. (2022). Benzylic fluorination induced by a charge-transfer complex with a solvent-dependent selectivity switch. Organic Letters. American Chemical Society. https://doi.org/10.1021/acs.orglett.2c02050
[Published Version]
View
| DOI
| Download Published Version (ext.)
2022 | Published | Journal Article | IST-REx-ID: 12924 |
Cavedon, C., Gisbertz, S., Reischauer, S., Vogl, S., Sperlich, E., Burke, J. H., … Pieber, B. (2022). Intraligand charge transfer enables visible‐light‐mediated Nickel‐catalyzed cross-coupling reactions. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.202211433
[Published Version]
View
| DOI
| Download Published Version (ext.)