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.
5915 Publications
2021 | Published | Journal Article | IST-REx-ID: 10223 | 
Cell surface and intracellular auxin signalling for H+ fluxes in root growth
L. Li, I. Verstraeten, M. Roosjen, K. Takahashi, L. Rodriguez Solovey, J. Merrin, J. Chen, L. Shabala, W. Smet, H. Ren, S. Vanneste, S. Shabala, B. De Rybel, D. Weijers, T. Kinoshita, W.M. Gray, J. Friml, Nature 599 (2021) 273–277.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
L. Li, I. Verstraeten, M. Roosjen, K. Takahashi, L. Rodriguez Solovey, J. Merrin, J. Chen, L. Shabala, W. Smet, H. Ren, S. Vanneste, S. Shabala, B. De Rybel, D. Weijers, T. Kinoshita, W.M. Gray, J. Friml, Nature 599 (2021) 273–277.
2021 | Published | Conference Paper | IST-REx-ID: 10666 |
Adversarial training is not ready for robot learning
M. Lechner, R. Hasani, R. Grosu, D. Rus, T.A. Henzinger, in:, 2021 IEEE International Conference on Robotics and Automation, 2021, pp. 4140–4147.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Lechner, R. Hasani, R. Grosu, D. Rus, T.A. Henzinger, in:, 2021 IEEE International Conference on Robotics and Automation, 2021, pp. 4140–4147.
2021 | Published | Conference Paper | IST-REx-ID: 10847 |
Solving partially observable stochastic shortest-path games
P. Tomášek, K. Horák, A. Aradhye, B. Bošanský, K. Chatterjee, in:, 30th International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2021, pp. 4182–4189.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Tomášek, K. Horák, A. Aradhye, B. Bošanský, K. Chatterjee, in:, 30th International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2021, pp. 4182–4189.
2021 | Published | Conference Abstract | IST-REx-ID: 12909 |
Managing software on a heterogenous HPC cluster
A. Schlögl, S. Elefante, A. Hornoiu, S. Stadlbauer, in:, ASHPC21 – Austrian-Slovenian HPC Meeting 2021, University of Ljubljana, 2021, p. 5.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
A. Schlögl, S. Elefante, A. Hornoiu, S. Stadlbauer, in:, ASHPC21 – Austrian-Slovenian HPC Meeting 2021, University of Ljubljana, 2021, p. 5.
2021 | Published | Conference Paper | IST-REx-ID: 13147 |
Communication-efficient distributed optimization with quantized preconditioners
F. Alimisis, P. Davies, D.-A. Alistarh, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 196–206.
[Published Version]
View
| Files available
| arXiv
F. Alimisis, P. Davies, D.-A. Alistarh, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 196–206.
2021 | Published | Conference Paper | IST-REx-ID: 13146 |
Tight bounds on the smallest Eigenvalue of the neural tangent kernel for deep ReLU networks
Q. Nguyen, M. Mondelli, G. Montufar, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.
[Published Version]
View
| Files available
| arXiv
Q. Nguyen, M. Mondelli, G. Montufar, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 8119–8129.
2021 | Published | Journal Article | IST-REx-ID: 8910 |
Nontopological zero-bias peaks in full-shell nanowires induced by flux-tunable Andreev states
M. Valentini, F. Peñaranda, A.C. Hofmann, M. Brauns, R. Hauschild, P. Krogstrup, P. San-Jose, E. Prada, R. Aguado, G. Katsaros, Science 373 (2021).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
M. Valentini, F. Peñaranda, A.C. Hofmann, M. Brauns, R. Hauschild, P. Krogstrup, P. San-Jose, E. Prada, R. Aguado, G. Katsaros, Science 373 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9969 |
LightPIR: Privacy-preserving route discovery for payment channel networks
K.Z. Pietrzak, I. Salem, S. Schmid, M.X. Yeo, in:, IEEE, 2021.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
K.Z. Pietrzak, I. Salem, S. Schmid, M.X. Yeo, in:, IEEE, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 10414 |
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, E. Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, in:, 24th International Symposium on Formal Methods, Springer Nature, 2021, pp. 619–639.
2021 | Published | Conference Paper | IST-REx-ID: 9644 |
Proving non-termination by program reversal
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, E.K. Goharshady, P. Novotný, D. Zikelic, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1033–1048.
2021 | Published | Journal Article | IST-REx-ID: 9293 |
Algorithms and conditional lower bounds for planning problems
K. Chatterjee, W. Dvořák, M. Henzinger, A. Svozil, Artificial Intelligence 297 (2021).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, W. Dvořák, M. Henzinger, A. Svozil, Artificial Intelligence 297 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9239 |
Bidding mechanisms in graph games
G. Avni, T.A. Henzinger, Đ. Žikelić, Journal of Computer and System Sciences 119 (2021) 133–144.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Avni, T.A. Henzinger, Đ. Žikelić, Journal of Computer and System Sciences 119 (2021) 133–144.
2021 | Published | Thesis | IST-REx-ID: 10007 |
Curvature driven interface evolution: Uniqueness properties of weak solution concepts
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.
2021 | Published | Thesis | IST-REx-ID: 9418 |
Underspecification in deep learning
M. Phuong, Underspecification in Deep Learning, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
M. Phuong, Underspecification in Deep Learning, Institute of Science and Technology Austria, 2021.
2021 | Published | Journal Article | IST-REx-ID: 8606 |
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: 8603 |
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: 8673 |
Scale-invariant magnetic anisotropy in RuCl3 at high magnetic fields
K.A. Modic, R.D. McDonald, J.P.C. Ruff, M.D. Bachmann, Y. Lai, J.C. Palmstrom, D. Graf, M.K. Chan, F.F. Balakirev, J.B. Betts, G.S. Boebinger, M. Schmidt, M.J. Lawler, D.A. Sokolov, P.J.W. Moll, B.J. Ramshaw, A. Shekhter, Nature Physics 17 (2021) 240–244.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K.A. Modic, R.D. McDonald, J.P.C. Ruff, M.D. Bachmann, Y. Lai, J.C. Palmstrom, D. Graf, M.K. Chan, F.F. Balakirev, J.B. Betts, G.S. Boebinger, M. Schmidt, M.J. Lawler, D.A. Sokolov, P.J.W. Moll, B.J. Ramshaw, A. Shekhter, Nature Physics 17 (2021) 240–244.
2021 | Published | Thesis | IST-REx-ID: 9056 |
Multi-cover persistence and Delaunay mosaics
G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, Institute of Science and Technology Austria, 2021.
2021 | Published | Journal Article | IST-REx-ID: 8723 |
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: 8708 |
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.