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: 9823 | 
D.-A. Alistarh, F. Ellen, and J. Rybicki, “Wait-free approximate agreement on graphs,” in Structural Information and Communication Complexity, Wrocław, Poland, 2021, vol. 12810, pp. 87–105.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 9824
L. Čomić, R. Zrour, G. Largeteau-Skapin, R. Biswas, and E. Andres, “Body centered cubic grid - coordinate system and discrete analytical plane definition,” in Discrete Geometry and Mathematical Morphology, Uppsala, Sweden, 2021, vol. 12708, pp. 152–163.
View
| DOI
2021 |Published| Conference Paper | IST-REx-ID: 12767 |
S. Bansal, K. Chatterjee, and M. Y. Vardi, “On satisficing in quantitative games,” in 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg City, Luxembourg, 2021, vol. 12651, pp. 20–37.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 10011 |
S. Hensel and T. Laux, “A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Submitted| Preprint | IST-REx-ID: 10579 |
B. Kavcic and G. Tkačik, “Token-driven totally asymmetric simple exclusion process,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 10806 |
M. Calcabrini et al., “Ligand conversion in nanocrystal synthesis: The oxidation of alkylamines to fatty acids by nitrate,” JACS Au, vol. 1, no. 11. American Chemical Society, pp. 1898–1903, 2021.
[Published Version]
View
| Files available
| DOI
2021 |Published| Conference Abstract | IST-REx-ID: 12909 |
A. Schlögl, S. Elefante, A. Hornoiu, and S. Stadlbauer, “Managing software on a heterogenous HPC cluster,” in ASHPC21 – Austrian-Slovenian HPC Meeting 2021, Virtual, 2021, p. 5.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 |Published| Conference Paper | IST-REx-ID: 11458 |
E.-A. Peste, E. B. Iofinova, A. Vladu, and D.-A. Alistarh, “AC/DC: Alternating Compressed/DeCompressed training of deep neural networks,” in 35th Conference on Neural Information Processing Systems, Virtual, Online, 2021, vol. 34, pp. 8557–8570.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 10585 |
M. Brooks, M. Lemeshko, D. Lundholm, and E. Yakaboylu, “Emergence of anyons on the two-sphere in molecular impurities,” Atoms, vol. 9, no. 4. MDPI, 2021.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 13147 |
F. Alimisis, P. Davies, and D.-A. Alistarh, “Communication-efficient distributed optimization with quantized preconditioners,” in Proceedings of the 38th International Conference on Machine Learning, Virtual, 2021, vol. 139, pp. 196–206.
[Published Version]
View
| Files available
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10665 |
T. A. Henzinger, M. Lechner, and D. Zikelic, “Scalable verification of quantized neural networks,” in Proceedings of the AAAI Conference on Artificial Intelligence, Virtual, 2021, vol. 35, no. 5A, pp. 3787–3795.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |Published| Conference Paper | IST-REx-ID: 10667 |
M. Lechner, Ð. Žikelić, K. Chatterjee, and T. A. Henzinger, “Infinite time horizon safety of Bayesian neural networks,” in 35th Conference on Neural Information Processing Systems, Virtual, 2021.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 | Research Data Reference | IST-REx-ID: 13068 |
S. Randriamanantsoa et al., “Spatiotemporal dynamics of self-organized branching in pancreas-derived organoids.” Zenodo, 2021.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 |Published| Journal Article | IST-REx-ID: 7551 |
F. A. Fredes Tolorza, M. A. Silva Sifuentes, P. Koppensteiner, K. Kobayashi, M. A. Jösch, and R. Shigemoto, “Ventro-dorsal hippocampal pathway gates novelty-induced contextual memory formation,” Current Biology, vol. 31, no. 1. Elsevier, p. P25–38.E5, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 8373 |
J. Pitrik and D. Virosztek, “A divergence center interpretation of general symmetric Kubo-Ando means, and related weighted multivariate operator means,” Linear Algebra and its Applications, vol. 609. Elsevier, pp. 203–217, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8317 |
O. Aichholzer et al., “Folding polyominoes with holes into a cube,” Computational Geometry: Theory and Applications, vol. 93. Elsevier, 2021.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 7685 |
C. Boccato, “The excitation spectrum of the Bose gas in the Gross-Pitaevskii regime,” Reviews in Mathematical Physics, vol. 33, no. 1. World Scientific, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |Published| Journal Article | IST-REx-ID: 8582 |
H. Li et al., “Cellular requirements for PIN polar cargo clustering in Arabidopsis thaliana,” New Phytologist, vol. 229, no. 1. Wiley, pp. 351–369, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
2021 |Published| Journal Article | IST-REx-ID: 8546 |
T. Zhang et al., “Generation of excitatory and inhibitory neurons from common progenitors via Notch signaling in the cerebellum,” Cell Reports, vol. 35, no. 10. Elsevier, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 |Published| Journal Article | IST-REx-ID: 8603 |
R. Frank and R. Seiringer, “Quantum corrections to the Pekar asymptotics of a strongly coupled polaron,” Communications on Pure and Applied Mathematics, vol. 74, no. 3. Wiley, pp. 544–588, 2021.
[Published Version]
View
| Files available
| DOI
| WoS