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.
9789 Publications
2022 | Published | Journal Article | IST-REx-ID: 18227
Kang, Peipei, Zehang Lin, Zhenguo Yang, Alex M. Bronstein, Qing Li, and Wenyin Liu. “Deep Fused Two-Step Cross-Modal Hashing with Multiple Semantic Supervision.” Multimedia Tools and Applications. Springer Nature, 2022. https://doi.org/10.1007/s11042-022-12187-6.
View
| DOI
2022 | Published | Book Chapter | IST-REx-ID: 18223
Rosenberg, Aviv A., Alex M. Bronstein, and Ailie Marx. “Recording Silence – Accurate Annotation of the Genetic Sequence Is Required to Better Understand How Synonymous Coding Affects Protein Structure and Disease.” In Single Nucleotide Polymorphisms, edited by Zuben E. Sauna and Chava Kimchi-Sarfaty, 37–47. Cham: Springer Nature, 2022. https://doi.org/10.1007/978-3-031-05616-1_3.
View
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11051
Liu, Jinqiang, and Martin Hetzer. “Nuclear Pore Complex Maintenance and Implications for Age-Related Diseases.” Trends in Cell Biology. Elsevier, 2022. https://doi.org/10.1016/j.tcb.2021.10.001.
View
| DOI
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 11490 | 
Matthee, Jorryt J, Anna Feltre, Michael Maseda, Themiya Nanayakkara, Leindert Boogaard, Roland Bacon, Anne Verhamme, et al. “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, 2022. 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, Jorryt J, Rohan P. Naidu, Gabriele Pezzulli, Max Gronke, David Sobral, Pascal A. Oesch, Matthew Hayes, et al. “(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, 2022. https://doi.org/10.1093/mnras/stac801.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11511 |
Gebek, Andrea, and Jorryt J Matthee. “On the Variation in Stellar α-Enhancements of Star-Forming Galaxies in the EAGLE Simulation.” The Astrophysical Journal. IOP Publishing, 2022. 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, Lisa Annabelle. “Hidden Currents at the Sun’s Surface.” Nature Astronomy. Springer Nature, 2022. https://doi.org/10.1038/s41550-022-01683-2.
View
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 10774 |
Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira Da Costa. “Flavors of Sequential Information Flow.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 13182:1–19. Springer Nature, 2022. 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, Michael, Sebastian Gisbertz, Pradip Pachfule, Johannes Schmidt, Jérôme Roeser, Susanne Reischauer, Jabor Rabeah, Bartholomäus Pieber, and Arne Thomas. “Acridine‐functionalized Covalent Organic Frameworks (COFs) as Photocatalysts for Metallaphotocatalytic C−N Cross‐coupling.” Angewandte Chemie International Edition. Wiley, 2022. 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, Ramin, Mathias Lechner, Alexander Amini, Lucas Liebenwein, Aaron Ray, Max Tschaikowski, Gerald Teschl, and Daniela Rus. “Closed-Form Continuous-Time Neural Networks.” Nature Machine Intelligence. Springer Nature, 2022. 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, Sophie A., Mathias Lechner, Ramin Hasani, Daniela Rus, Thomas A Henzinger, Scott A. Smolka, and Radu Grosu. “GoTube: Scalable Statistical Verification of Continuous-Depth Models.” Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2022. https://doi.org/10.1609/aaai.v36i6.20631.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 10891
Henzinger, Thomas A. “Quantitative Monitoring of Software.” In Software Verification, 13124:3–6. LNCS. Springer Nature, 2022. https://doi.org/10.1007/978-3-030-95561-8_1.
View
| DOI
| WoS
2022 | Published | Thesis | IST-REx-ID: 11362 |
Lechner, Mathias. “Learning Verifiable Representations.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11362.
[Published Version]
View
| Files available
| DOI
2022 | Submitted | Preprint | IST-REx-ID: 11366 |
Lechner, Mathias, Alexander Amini, Daniela Rus, and Thomas A Henzinger. “Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning.” ArXiv, n.d. 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, Axel, Luigi Berducci, Andreas Brandstatter, Mathias Lechner, Ramin Hasani, Daniela Rus, and Radu Grosu. “Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing.” In 2022 International Conference on Robotics and Automation, 7513–20. IEEE, 2022. https://doi.org/10.1109/ICRA46639.2022.9811650.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11662
Henzinger, Monika H, and Pan Peng. “Constant-Time Dynamic (Δ +1)-Coloring.” ACM Transactions on Algorithms. Association for Computing Machinery (ACM), 2022. https://doi.org/10.1145/3501403.
View
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 11812 |
Hanauer, Kathrin, Monika H Henzinger, and Qi Cheng Hua. “Fully Dynamic Four-Vertex Subgraph Counting.” In 1st Symposium on Algorithmic Foundations of Dynamic Networks, Vol. 221. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. 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, Kathrin, Monika H Henzinger, and Christian Schulz. “Recent Advances in Fully Dynamic Graph Algorithms.” In 1st Symposium on Algorithmic Foundations of Dynamic Networks, Vol. 221. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. 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, Toby, Shengbo He, Liang Wang, Shaoli Zhou, Gerhard Saalbach, Martin Vickers, Guohong Li, Pilong Li, and Xiaoqi Feng. “Histone H2B.8 Compacts Flowering Plant Sperm through Chromatin Phase Separation.” Nature. Springer Nature, 2022. 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, Shengbo, and Xiaoqi Feng. “DNA Methylation Dynamics during Germline Development.” Journal of Integrative Plant Biology. Wiley, 2022. https://doi.org/10.1111/jipb.13422.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC