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, T. A., Lechner, M., & Zikelic, D. (2021). Scalable verification of quantized neural networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 3787–3795). Virtual: AAAI Press.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10667 |
Lechner, M., Žikelić, Ð., Chatterjee, K., & Henzinger, T. A. (2021). Infinite time horizon safety of Bayesian neural networks. In 35th Conference on Neural Information Processing Systems. Virtual. 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, S., Papargyriou, A., Maurer, C., Peschke, K., Schuster, M., Zecchin, G., … Bausch, A. R. (2021). Spatiotemporal dynamics of self-organized branching in pancreas-derived organoids. Zenodo. 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, F. A., Silva Sifuentes, M. A., Koppensteiner, P., Kobayashi, K., Jösch, M. A., & Shigemoto, R. (2021). Ventro-dorsal hippocampal pathway gates novelty-induced contextual memory formation. Current Biology. Elsevier. 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., & Virosztek, D. (2021). A divergence center interpretation of general symmetric Kubo-Ando means, and related weighted multivariate operator means. Linear Algebra and Its Applications. Elsevier. 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, O., Akitaya, H. A., Cheung, K. C., Demaine, E. D., Demaine, M. L., Fekete, S. P., … Schmidt, C. (2021). Folding polyominoes with holes into a cube. Computational Geometry: Theory and Applications. Elsevier. 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, C. (2021). The excitation spectrum of the Bose gas in the Gross-Pitaevskii regime. Reviews in Mathematical Physics. World Scientific. https://doi.org/10.1142/S0129055X20600065
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8582 |
Li, H., von Wangenheim, D., Zhang, X., Tan, S., Darwish-Miranda, N., Naramoto, S., … Friml, J. (2021). Cellular requirements for PIN polar cargo clustering in Arabidopsis thaliana. New Phytologist. Wiley. https://doi.org/10.1111/nph.16887
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 8546 |
Zhang, T., Liu, T., Mora, N., Guegan, J., Bertrand, M., Contreras, X., … Hassan, B. A. (2021). Generation of excitatory and inhibitory neurons from common progenitors via Notch signaling in the cerebellum. Cell Reports. Elsevier. 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, R., & Seiringer, R. (2021). Quantum corrections to the Pekar asymptotics of a strongly coupled polaron. Communications on Pure and Applied Mathematics. Wiley. https://doi.org/10.1002/cpa.21944
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 8606 |
He, P., Zhang, Y., Li, H., Fu, X., Shang, H., Zou, C., … Xiao, G. (2021). GhARF16-1 modulates leaf development by transcriptionally regulating the GhKNOX2-1 gene in cotton. Plant Biotechnology Journal. Wiley. 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, A., Fraisse, C., El Ayari, T., Liautard‐Haag, C., Strelkov, P., Welch, J. J., & Bierne, N. (2021). How do species barriers decay? Concordance and local introgression in mosaic hybrid zones of mussels. Journal of Evolutionary Biology. Wiley. 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, S., Tal Ben-Nun, T. B.-N., Nadiradze, G., Girolamo, S. D., Dryden, N., Alistarh, D.-A., & Hoefler, T. (2021). Breaking (global) barriers in parallel stochastic optimization with wait-avoiding group averaging. IEEE Transactions on Parallel and Distributed Systems. IEEE. 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, M., Schmid, U., & Chatterjee, K. (2021). Optimal strategies for selecting coordinators. Discrete Applied Mathematics. Elsevier. 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, J. F., Besserve, M., Murayama, Y., Evrard, H. C., Oeltermann, A., & Logothetis, N. K. (2021). Coupling of hippocampal theta and ripples with pontogeniculooccipital waves. Nature. Springer Nature. 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, S., Fraisse, C., & Sauvage, C. (2021). Genomic inference of complex domestication histories in three Solanaceae species. Journal of Evolutionary Biology. Wiley. 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, S., Luschnig, C., & Friml, J. (2021). Pho-view of auxin: Reversible protein phosphorylation in auxin biosynthesis, transport and signaling. Molecular Plant. Elsevier. 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, C. F., Auer, A., Canigova, N., Loibl, K., & Loose, M. (2021). In vitro reconstitution reveals phosphoinositides as cargo-release factors and activators of the ARF6 GAP ADAP1. PNAS. National Academy of Sciences. 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, L., Kolb, M., Stadlmann, J., Janacek, D. P., Lukic, K., Schwechheimer, C., … Hammes, U. Z. (2021). Naphthylphthalamic acid associates with and inhibits PIN auxin transporters. PNAS. National Academy of Sciences. 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, K., & Hof, B. (2021). Second-order phase transition in counter-rotating taylor-couette flow experiment. Entropy. MDPI. https://doi.org/10.3390/e23010058
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC