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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Scalable verification of quantized neural networks
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
2021 |Published| Conference Paper | IST-REx-ID: 10667 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Infinite time horizon safety of Bayesian neural networks
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
2021 | Research Data Reference | IST-REx-ID: 13068 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Spatiotemporal dynamics of self-organized branching in pancreas-derived organoids
S. Randriamanantsoa, A. Papargyriou, C. Maurer, K. Peschke, M. Schuster, G. Zecchin, K. Steiger, R. Öllinger, D. Saur, C. Scheel, R. Rad, E.B. Hannezo, M. Reichert, A.R. Bausch, (2021).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
S. Randriamanantsoa, A. Papargyriou, C. Maurer, K. Peschke, M. Schuster, G. Zecchin, K. Steiger, R. Öllinger, D. Saur, C. Scheel, R. Rad, E.B. Hannezo, M. Reichert, A.R. Bausch, (2021).
2021 |Published| Journal Article | IST-REx-ID: 7551 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ventro-dorsal hippocampal pathway gates novelty-induced contextual memory formation
F.A. Fredes Tolorza, M.A. Silva Sifuentes, P. Koppensteiner, K. Kobayashi, M.A. Jösch, R. Shigemoto, Current Biology 31 (2021) P25–38.E5.
[Published Version]
View
| Files available
| DOI
| WoS
F.A. Fredes Tolorza, M.A. Silva Sifuentes, P. Koppensteiner, K. Kobayashi, M.A. Jösch, R. Shigemoto, Current Biology 31 (2021) P25–38.E5.
2021 |Published| Journal Article | IST-REx-ID: 8373 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
A divergence center interpretation of general symmetric Kubo-Ando means, and related weighted multivariate operator means
J. Pitrik, D. Virosztek, Linear Algebra and Its Applications 609 (2021) 203–217.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Pitrik, D. Virosztek, Linear Algebra and Its Applications 609 (2021) 203–217.
2021 |Published| Journal Article | IST-REx-ID: 8317 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Folding polyominoes with holes into a cube
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, Computational Geometry: Theory and Applications 93 (2021).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
O. Aichholzer, H.A. Akitaya, K.C. Cheung, E.D. Demaine, M.L. Demaine, S.P. Fekete, L. Kleist, I. Kostitsyna, M. Löffler, Z. Masárová, K. Mundilova, C. Schmidt, Computational Geometry: Theory and Applications 93 (2021).
2021 |Published| Journal Article | IST-REx-ID: 7685 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The excitation spectrum of the Bose gas in the Gross-Pitaevskii regime
C. Boccato, Reviews in Mathematical Physics 33 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
C. Boccato, Reviews in Mathematical Physics 33 (2021).
2021 |Published| Journal Article | IST-REx-ID: 8582 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cellular requirements for PIN polar cargo clustering in Arabidopsis thaliana
H. Li, D. von Wangenheim, X. Zhang, S. Tan, N. Darwish-Miranda, S. Naramoto, K.T. Wabnik, R. de Rycke, W. Kaufmann, D.J. Gütl, R. Tejos, P. Grones, M. Ke, X. Chen, J. Dettmer, J. Friml, New Phytologist 229 (2021) 351–369.
[Published Version]
View
| Files available
| DOI
| WoS
H. Li, D. von Wangenheim, X. Zhang, S. Tan, N. Darwish-Miranda, S. Naramoto, K.T. Wabnik, R. de Rycke, W. Kaufmann, D.J. Gütl, R. Tejos, P. Grones, M. Ke, X. Chen, J. Dettmer, J. Friml, New Phytologist 229 (2021) 351–369.
2021 |Published| Journal Article | IST-REx-ID: 8546 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Generation of excitatory and inhibitory neurons from common progenitors via Notch signaling in the cerebellum
T. Zhang, T. Liu, N. Mora, J. Guegan, M. Bertrand, X. Contreras, A.H. Hansen, C. Streicher, M. Anderle, N. Danda, L. Tiberi, S. Hippenmeyer, B.A. Hassan, Cell Reports 35 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
T. Zhang, T. Liu, N. Mora, J. Guegan, M. Bertrand, X. Contreras, A.H. Hansen, C. Streicher, M. Anderle, N. Danda, L. Tiberi, S. Hippenmeyer, B.A. Hassan, Cell Reports 35 (2021).
2021 |Published| Journal Article | IST-REx-ID: 8603 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Quantum corrections to the Pekar asymptotics of a strongly coupled polaron
R. Frank, R. Seiringer, Communications on Pure and Applied Mathematics 74 (2021) 544–588.
[Published Version]
View
| Files available
| DOI
| WoS
R. Frank, R. Seiringer, Communications on Pure and Applied Mathematics 74 (2021) 544–588.
2021 |Published| Journal Article | IST-REx-ID: 8606 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
GhARF16-1 modulates leaf development by transcriptionally regulating the GhKNOX2-1 gene in cotton
P. He, Y. Zhang, H. Li, X. Fu, H. Shang, C. Zou, J. Friml, G. Xiao, Plant Biotechnology Journal 19 (2021) 548–562.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
P. He, Y. Zhang, H. Li, X. Fu, H. Shang, C. Zou, J. Friml, G. Xiao, Plant Biotechnology Journal 19 (2021) 548–562.
2021 |Published| Journal Article | IST-REx-ID: 8708 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
How do species barriers decay? Concordance and local introgression in mosaic hybrid zones of mussels
A. Simon, C. Fraisse, T. El Ayari, C. Liautard‐Haag, P. Strelkov, J.J. Welch, N. Bierne, Journal of Evolutionary Biology 34 (2021) 208–223.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
A. Simon, C. Fraisse, T. El Ayari, C. Liautard‐Haag, P. Strelkov, J.J. Welch, N. Bierne, Journal of Evolutionary Biology 34 (2021) 208–223.
2021 |Published| Journal Article | IST-REx-ID: 8723 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Breaking (global) barriers in parallel stochastic optimization with wait-avoiding group averaging
S. Li, T.B.-N. Tal Ben-Nun, G. Nadiradze, S.D. Girolamo, N. Dryden, D.-A. Alistarh, T. Hoefler, IEEE Transactions on Parallel and Distributed Systems 32 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Li, T.B.-N. Tal Ben-Nun, G. Nadiradze, S.D. Girolamo, N. Dryden, D.-A. Alistarh, T. Hoefler, IEEE Transactions on Parallel and Distributed Systems 32 (2021).
2021 |Published| Journal Article | IST-REx-ID: 8793 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Optimal strategies for selecting coordinators
M. Zeiner, U. Schmid, K. Chatterjee, Discrete Applied Mathematics 289 (2021) 392–415.
[Published Version]
View
| Files available
| DOI
| WoS
M. Zeiner, U. Schmid, K. Chatterjee, Discrete Applied Mathematics 289 (2021) 392–415.
2021 |Published| Journal Article | IST-REx-ID: 8818
Coupling of hippocampal theta and ripples with pontogeniculooccipital waves
J.F. Ramirez Villegas, M. Besserve, Y. Murayama, H.C. Evrard, A. Oeltermann, N.K. Logothetis, Nature 589 (2021) 96–102.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J.F. Ramirez Villegas, M. Besserve, Y. Murayama, H.C. Evrard, A. Oeltermann, N.K. Logothetis, Nature 589 (2021) 96–102.
2021 |Published| Journal Article | IST-REx-ID: 8928 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Genomic inference of complex domestication histories in three Solanaceae species
S. Arnoux, C. Fraisse, C. Sauvage, Journal of Evolutionary Biology 34 (2021) 270–283.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
S. Arnoux, C. Fraisse, C. Sauvage, Journal of Evolutionary Biology 34 (2021) 270–283.
2021 |Published| Journal Article | IST-REx-ID: 8992 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Pho-view of auxin: Reversible protein phosphorylation in auxin biosynthesis, transport and signaling
S. Tan, C. Luschnig, J. Friml, Molecular Plant 14 (2021) 151–165.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Tan, C. Luschnig, J. Friml, Molecular Plant 14 (2021) 151–165.
2021 |Published| Journal Article | IST-REx-ID: 8988 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
In vitro reconstitution reveals phosphoinositides as cargo-release factors and activators of the ARF6 GAP ADAP1
C.F. Düllberg, A. Auer, N. Canigova, K. Loibl, M. Loose, PNAS 118 (2021).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
C.F. Düllberg, A. Auer, N. Canigova, K. Loibl, M. Loose, PNAS 118 (2021).
2021 |Published| Journal Article | IST-REx-ID: 8993 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Naphthylphthalamic acid associates with and inhibits PIN auxin transporters
L. Abas, M. Kolb, J. Stadlmann, D.P. Janacek, K. Lukic, C. Schwechheimer, L.A. Sazanov, L. Mach, J. Friml, U.Z. Hammes, PNAS 118 (2021).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
L. Abas, M. Kolb, J. Stadlmann, D.P. Janacek, K. Lukic, C. Schwechheimer, L.A. Sazanov, L. Mach, J. Friml, U.Z. Hammes, PNAS 118 (2021).
2021 |Published| Journal Article | IST-REx-ID: 8999 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Second-order phase transition in counter-rotating taylor-couette flow experiment
K. Avila, B. Hof, Entropy 23 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
K. Avila, B. Hof, Entropy 23 (2021).