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 TA, Lechner M, Zikelic D. Scalable verification of quantized neural networks. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. AAAI Press; 2021:3787-3795.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10667 |
Lechner M, Žikelić Ð, Chatterjee K, Henzinger TA. Infinite time horizon safety of Bayesian neural networks. In: 35th Conference on Neural Information Processing Systems. ; 2021. doi: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, et al. Spatiotemporal dynamics of self-organized branching in pancreas-derived organoids. 2021. doi:10.5281/ZENODO.5148117
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 |Published| Journal Article | IST-REx-ID: 7551 |
Fredes Tolorza FA, Silva Sifuentes MA, Koppensteiner P, Kobayashi K, Jösch MA, Shigemoto R. Ventro-dorsal hippocampal pathway gates novelty-induced contextual memory formation. Current Biology. 2021;31(1):P25-38.E5. doi: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. A divergence center interpretation of general symmetric Kubo-Ando means, and related weighted multivariate operator means. Linear Algebra and its Applications. 2021;609:203-217. doi: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 HA, Cheung KC, et al. Folding polyominoes with holes into a cube. Computational Geometry: Theory and Applications. 2021;93. doi: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. The excitation spectrum of the Bose gas in the Gross-Pitaevskii regime. Reviews in Mathematical Physics. 2021;33(1). doi: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, et al. Cellular requirements for PIN polar cargo clustering in Arabidopsis thaliana. New Phytologist. 2021;229(1):351-369. doi: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, et al. Generation of excitatory and inhibitory neurons from common progenitors via Notch signaling in the cerebellum. Cell Reports. 2021;35(10). doi: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. Quantum corrections to the Pekar asymptotics of a strongly coupled polaron. Communications on Pure and Applied Mathematics. 2021;74(3):544-588. doi: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, et al. GhARF16-1 modulates leaf development by transcriptionally regulating the GhKNOX2-1 gene in cotton. Plant Biotechnology Journal. 2021;19(3):548-562. doi: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, et al. How do species barriers decay? Concordance and local introgression in mosaic hybrid zones of mussels. Journal of Evolutionary Biology. 2021;34(1):208-223. doi: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 TB-N, Nadiradze G, et al. Breaking (global) barriers in parallel stochastic optimization with wait-avoiding group averaging. IEEE Transactions on Parallel and Distributed Systems. 2021;32(7). doi: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. Optimal strategies for selecting coordinators. Discrete Applied Mathematics. 2021;289(1):392-415. doi:10.1016/j.dam.2020.10.022
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 8818
Ramirez Villegas JF, Besserve M, Murayama Y, Evrard HC, Oeltermann A, Logothetis NK. Coupling of hippocampal theta and ripples with pontogeniculooccipital waves. Nature. 2021;589(7840):96-102. doi: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. Genomic inference of complex domestication histories in three Solanaceae species. Journal of Evolutionary Biology. 2021;34(2):270-283. doi: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. Pho-view of auxin: Reversible protein phosphorylation in auxin biosynthesis, transport and signaling. Molecular Plant. 2021;14(1):151-165. doi: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 CF, Auer A, Canigova N, Loibl K, Loose M. In vitro reconstitution reveals phosphoinositides as cargo-release factors and activators of the ARF6 GAP ADAP1. PNAS. 2021;118(1). doi: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, et al. Naphthylphthalamic acid associates with and inhibits PIN auxin transporters. PNAS. 2021;118(1). doi: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. Second-order phase transition in counter-rotating taylor-couette flow experiment. Entropy. 2021;23(1). doi:10.3390/e23010058
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC