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.
5242 Publications
2022 | Published | Journal Article | IST-REx-ID: 9955
Reyes‐Pinto, Rosana, José L. Ferrán, Tomas A Vega Zuniga, Cristian González‐Cabrera, Harald Luksch, Jorge Mpodozis, Luis Puelles, and Gonzalo J. Marín. “Change in the Neurochemical Signature and Morphological Development of the Parvocellular Isthmic Projection to the Avian Tectum.” Journal of Comparative Neurology. Wiley, 2022. https://doi.org/10.1002/cne.25229.
View
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Journal Article | IST-REx-ID: 9977 | 
Mistegaard, William, and Jørgen Ellegaard Andersen. “Resurgence Analysis of Quantum Invariants of Seifert Fibered Homology Spheres.” Journal of the London Mathematical Society. Wiley, 2022. https://doi.org/10.1112/jlms.12506.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
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: 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: 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
2022 | Published | Conference Paper | IST-REx-ID: 14106 |
Lohaus, Michael, Matthäus Kleindessner, Krishnaram Kenthapadi, Francesco Locatello, and Chris Russell. “Are Two Heads the Same as One? Identifying Disparate Treatment in Fair Neural Networks.” In 36th Conference on Neural Information Processing Systems, 35:16548–62. Neural Information Processing Systems Foundation, 2022.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2022 | Submitted | Preprint | IST-REx-ID: 14220 |
Mambelli, Davide, Frederik Träuble, Stefan Bauer, Bernhard Schölkopf, and Francesco Locatello. “Compositional Multi-Object Reinforcement Learning with Linear Relation Networks.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2201.13388.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Submitted | Preprint | IST-REx-ID: 18293 |
Glas, Jakob, and Leonhard Hochfilzer. “On a Question of Davenport and Diagonal Cubic Forms over Fq(T).” ArXiv, n.d. https://doi.org/10.48550/arXiv.2208.05422.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Other Publication | IST-REx-ID: 17057 |
Loose, Martin. Cell Scientist to Watch – Martin Loose. Journal of Cell Science. Vol. 135. The Company of Biologists, 2022. https://doi.org/10.1242/jcs.259715.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2022 | Published | Journal Article | IST-REx-ID: 17058
Shute, Alec L. “On the Leading Constant in the Manin-Type Conjecture for Campana Points.” Acta Arithmetica. Institute of Mathematics, 2022. https://doi.org/10.4064/aa210430-1-7.
[Preprint]
View
| Files available
| DOI
| arXiv
2022 | Published | Conference Paper | IST-REx-ID: 17059 |
Frantar, Elias, and Dan-Adrian Alistarh. “SPDY: Accurate Pruning with Speedup Guarantees.” In 39th International Conference on Machine Learning, 162:6726–43. ML Research Press, 2022.
[Published Version]
View
| Files available
| WoS
2022 | Published | Conference Paper | IST-REx-ID: 17060 |
Tiwari, Samarth, Michelle X Yeo, Zeta Avarikioti, Iosif Salem, Krzysztof Z Pietrzak, and Stefan Schmid. “Wiser: Increasing Throughput in Payment Channel Networks with Transaction Aggregation.” In Proceedings of the 4th ACM Conference on Advances in Financial Technologies, 217–31. Association for Computing Machinery, 2022. https://doi.org/10.1145/3558535.3559775.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 17061 |
McAvoy, Alex, Julian Kates-Harbeck, Krishnendu Chatterjee, and Christian Hilbe. “Evolutionary Instability of Selfish Learning in Repeated Games.” PNAS Nexus. Oxford University Press, 2022. https://doi.org/10.1093/pnasnexus/pgac141.
[Published Version]
View
| Files available
| DOI
| arXiv
2022 | Published | Conference Abstract | IST-REx-ID: 17062 |
Ibáñez, Maria, Yu Liu, and Mariano Calcabrini. “The Importance of Surface Adsorbates in Solution-Processed Thermoelectric Materials.” In Proceedings of the NanoGe Spring Meeting 2022. Fundació Scito, 2022. https://doi.org/10.29363/nanoge.nsm.2022.159.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)