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.
6978 Publications
2021 |Published| Conference Paper | IST-REx-ID: 10665 | 
Henzinger, Thomas A, Mathias Lechner, and Dorde Zikelic. “Scalable Verification of Quantized Neural Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:3787–95. AAAI Press, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10667 |
Lechner, Mathias, Ðorđe Žikelić, Krishnendu Chatterjee, and Thomas A Henzinger. “Infinite Time Horizon Safety of Bayesian Neural Networks.” In 35th Conference on Neural Information Processing Systems, 2021. https://doi.org/10.48550/arXiv.2111.03165.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Research Data Reference | IST-REx-ID: 13068 |
Randriamanantsoa, Samuel, Aristeidis Papargyriou, Carlo Maurer, Katja Peschke, Maximilian Schuster, Giulia Zecchin, Katja Steiger, et al. “Spatiotemporal Dynamics of Self-Organized Branching in Pancreas-Derived Organoids.” Zenodo, 2021. https://doi.org/10.5281/ZENODO.5148117.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 |Published| Journal Article | IST-REx-ID: 7551 |
Fredes Tolorza, Felipe A, Maria A Silva Sifuentes, Peter Koppensteiner, Kenta Kobayashi, Maximilian A Jösch, and Ryuichi Shigemoto. “Ventro-Dorsal Hippocampal Pathway Gates Novelty-Induced Contextual Memory Formation.” Current Biology. Elsevier, 2021. https://doi.org/10.1016/j.cub.2020.09.074.
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 8373 |
Pitrik, József, and Daniel Virosztek. “A Divergence Center Interpretation of General Symmetric Kubo-Ando Means, and Related Weighted Multivariate Operator Means.” Linear Algebra and Its Applications. Elsevier, 2021. https://doi.org/10.1016/j.laa.2020.09.007.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8317 |
Aichholzer, Oswin, Hugo A. Akitaya, Kenneth C. Cheung, Erik D. Demaine, Martin L. Demaine, Sándor P. Fekete, Linda Kleist, et al. “Folding Polyominoes with Holes into a Cube.” Computational Geometry: Theory and Applications. Elsevier, 2021. https://doi.org/10.1016/j.comgeo.2020.101700.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 7685 |
Boccato, Chiara. “The Excitation Spectrum of the Bose Gas in the Gross-Pitaevskii Regime.” Reviews in Mathematical Physics. World Scientific, 2021. https://doi.org/10.1142/S0129055X20600065.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8582 |
Li, Hongjiang, Daniel von Wangenheim, Xixi Zhang, Shutang Tan, Nasser Darwish-Miranda, Satoshi Naramoto, Krzysztof T Wabnik, et al. “Cellular Requirements for PIN Polar Cargo Clustering in Arabidopsis Thaliana.” New Phytologist. Wiley, 2021. https://doi.org/10.1111/nph.16887.
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 8546 |
Zhang, Tingting, Tengyuan Liu, Natalia Mora, Justine Guegan, Mathilde Bertrand, Ximena Contreras, Andi H Hansen, et al. “Generation of Excitatory and Inhibitory Neurons from Common Progenitors via Notch Signaling in the Cerebellum.” Cell Reports. Elsevier, 2021. https://doi.org/10.1016/j.celrep.2021.109208.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 8603 |
Frank, Rupert, and Robert Seiringer. “Quantum Corrections to the Pekar Asymptotics of a Strongly Coupled Polaron.” Communications on Pure and Applied Mathematics. Wiley, 2021. https://doi.org/10.1002/cpa.21944.
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 8606 |
He, P, Yuzhou Zhang, H Li, X Fu, H Shang, C Zou, Jiří Friml, and G Xiao. “GhARF16-1 Modulates Leaf Development by Transcriptionally Regulating the GhKNOX2-1 Gene in Cotton.” Plant Biotechnology Journal. Wiley, 2021. https://doi.org/10.1111/pbi.13484.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 8708 |
Simon, Alexis, Christelle Fraisse, Tahani El Ayari, Cathy Liautard‐Haag, Petr Strelkov, John J Welch, and Nicolas Bierne. “How Do Species Barriers Decay? Concordance and Local Introgression in Mosaic Hybrid Zones of Mussels.” Journal of Evolutionary Biology. Wiley, 2021. https://doi.org/10.1111/jeb.13709.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 8723 |
Li, Shigang, Tal Ben-Nun Tal Ben-Nun, Giorgi Nadiradze, Salvatore Di Girolamo, Nikoli Dryden, Dan-Adrian Alistarh, and Torsten Hoefler. “Breaking (Global) Barriers in Parallel Stochastic Optimization with Wait-Avoiding Group Averaging.” IEEE Transactions on Parallel and Distributed Systems. IEEE, 2021. https://doi.org/10.1109/TPDS.2020.3040606.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8793 |
Zeiner, Martin, Ulrich Schmid, and Krishnendu Chatterjee. “Optimal Strategies for Selecting Coordinators.” Discrete Applied Mathematics. Elsevier, 2021. https://doi.org/10.1016/j.dam.2020.10.022.
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 8818
Ramirez Villegas, Juan F, Michel Besserve, Yusuke Murayama, Henry C. Evrard, Axel Oeltermann, and Nikos K. Logothetis. “Coupling of Hippocampal Theta and Ripples with Pontogeniculooccipital Waves.” Nature. Springer Nature, 2021. https://doi.org/10.1038/s41586-020-2914-4.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 8928 |
Arnoux, Stéphanie, Christelle Fraisse, and Christopher Sauvage. “Genomic Inference of Complex Domestication Histories in Three Solanaceae Species.” Journal of Evolutionary Biology. Wiley, 2021. https://doi.org/10.1111/jeb.13723.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 8992 |
Tan, Shutang, Christian Luschnig, and Jiří Friml. “Pho-View of Auxin: Reversible Protein Phosphorylation in Auxin Biosynthesis, Transport and Signaling.” Molecular Plant. Elsevier, 2021. https://doi.org/10.1016/j.molp.2020.11.004.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 8988 |
Düllberg, Christian F, Albert Auer, Nikola Canigova, Katrin Loibl, and Martin Loose. “In Vitro Reconstitution Reveals Phosphoinositides as Cargo-Release Factors and Activators of the ARF6 GAP ADAP1.” PNAS. National Academy of Sciences, 2021. https://doi.org/10.1073/pnas.2010054118.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 8993 |
Abas, Lindy, Martina Kolb, Johannes Stadlmann, Dorina P. Janacek, Kristina Lukic, Claus Schwechheimer, Leonid A Sazanov, Lukas Mach, Jiří Friml, and Ulrich Z. Hammes. “Naphthylphthalamic Acid Associates with and Inhibits PIN Auxin Transporters.” PNAS. National Academy of Sciences, 2021. https://doi.org/10.1073/pnas.2020857118.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 8999 |
Avila, Kerstin, and Björn Hof. “Second-Order Phase Transition in Counter-Rotating Taylor-Couette Flow Experiment.” Entropy. MDPI, 2021. https://doi.org/10.3390/e23010058.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC