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.
5802 Publications
2021 | Published | Conference Paper | IST-REx-ID: 13147 | 
Alimisis, F., Davies, P., & Alistarh, D.-A. (2021). Communication-efficient distributed optimization with quantized preconditioners. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 196–206). Virtual: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 13146 |
Nguyen, Q., Mondelli, M., & Montufar, G. (2021). Tight bounds on the smallest Eigenvalue of the neural tangent kernel for deep ReLU networks. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 8119–8129). Virtual: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8910 |
Valentini, M., Peñaranda, F., Hofmann, A. C., Brauns, M., Hauschild, R., Krogstrup, P., … Katsaros, G. (2021). Nontopological zero-bias peaks in full-shell nanowires induced by flux-tunable Andreev states. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.abf1513
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9969 |
Pietrzak, K. Z., Salem, I., Schmid, S., & Yeo, M. X. (2021). LightPIR: Privacy-preserving route discovery for payment channel networks. Presented at the 2021 IFIP Networking Conference (IFIP Networking), Espoo and Helsinki, Finland: IEEE. https://doi.org/10.23919/IFIPNetworking52078.2021.9472205
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10414 |
Chatterjee, K., Goharshady, E., Novotný, P., Zárevúcky, J., & Zikelic, D. (2021). On lexicographic proof rules for probabilistic termination. In 24th International Symposium on Formal Methods (Vol. 13047, pp. 619–639). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-90870-6_33
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9644 |
Chatterjee, K., Goharshady, E. K., Novotný, P., & Zikelic, D. (2021). Proving non-termination by program reversal. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 1033–1048). Online: Association for Computing Machinery. https://doi.org/10.1145/3453483.3454093
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9293 |
Chatterjee, K., Dvořák, W., Henzinger, M., & Svozil, A. (2021). Algorithms and conditional lower bounds for planning problems. Artificial Intelligence. Elsevier. https://doi.org/10.1016/j.artint.2021.103499
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9239 |
Avni, G., Henzinger, T. A., & Žikelić, Đ. (2021). Bidding mechanisms in graph games. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2021.02.008
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Thesis | IST-REx-ID: 10007 |
Hensel, S. (2021). Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10007
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 9418 |
Phuong, M. (2021). Underspecification in deep learning. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9418
[Published Version]
View
| Files available
| DOI
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: 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: 8673 |
Modic, K. A., McDonald, R. D., Ruff, J. P. C., Bachmann, M. D., Lai, Y., Palmstrom, J. C., … Shekhter, A. (2021). Scale-invariant magnetic anisotropy in RuCl3 at high magnetic fields. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-020-1028-0
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Thesis | IST-REx-ID: 9056 |
Osang, G. F. (2021). Multi-cover persistence and Delaunay mosaics. Institute of Science and Technology Austria, Klosterneuburg. https://doi.org/10.15479/AT:ISTA:9056
[Published Version]
View
| Files available
| DOI
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: 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: 8816 |
Runkel, I., & Szegedy, L. (2021). Area-dependent quantum field theory. Communications in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s00220-020-03902-1
[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: 8757 |
Bozelos, P., & Vogels, T. P. (2021). Talking science, online. Nature Reviews Neuroscience. Springer Nature. https://doi.org/10.1038/s41583-020-00408-6
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 8792 |
Marveggio, A., & Schimperna, G. (2021). On a non-isothermal Cahn-Hilliard model based on a microforce balance. Journal of Differential Equations. Elsevier. https://doi.org/10.1016/j.jde.2020.10.030
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv