Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5872 Publications
2021 | Published | Journal Article | IST-REx-ID: 9541 | 
Czumaj, Artur, et al. “Graph Sparsification for Derandomizing Massively Parallel Computation with Low Space.” ACM Transactions on Algorithms, vol. 17, no. 2, 16, Association for Computing Machinery, 2021, doi:10.1145/3451992.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 7463 |
Lombardi, Fabrizio, et al. “Long-Range Temporal Correlations in the Broadband Resting State Activity of the Human Brain Revealed by Neuronal Avalanches.” Neurocomputing, vol. 461, Elsevier, 2021, pp. 657–66, doi:10.1016/j.neucom.2020.05.126.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2021 | Published | Journal Article | IST-REx-ID: 8198 |
Diringer, Asaf A., and Tobias Gulden. “Impact of Drive Harmonics on the Stability of Floquet Many-Body Localization.” Physical Review B, vol. 103, no. 21, 214204, American Physical Society, 2021, doi:10.1103/PhysRevB.103.214204.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 8248 |
Boissonnat, Jean-Daniel, et al. “Local Conditions for Triangulating Submanifolds of Euclidean Space.” Discrete and Computational Geometry, vol. 66, Springer Nature, 2021, pp. 666–86, doi:10.1007/s00454-020-00233-9.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2021 | Published | Journal Article | IST-REx-ID: 14889 |
Leopold, Nikolai K., et al. “Landau–Pekar Equations and Quantum Fluctuations for the Dynamics of a Strongly Coupled Polaron.” Pure and Applied Analysis, vol. 3, no. 4, Mathematical Sciences Publishers, 2021, pp. 653–76, doi:10.2140/paa.2021.3.653.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9318 |
Bossmann, Lea, et al. “Asymptotic Expansion of Low-Energy Excitations for Weakly Interacting Bosons.” Forum of Mathematics, Sigma, vol. 9, e28, Cambridge University Press, 2021, doi:10.1017/fms.2021.22.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 10134 |
Suzuki, Fumika, et al. “Anderson Localization of Composite Particles.” Physical Review Letters, vol. 127, no. 16, 160602, American Physical Society , 2021, doi:10.1103/physrevlett.127.160602.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9770 |
Volosniev, Artem, et al. “Interplay between Friction and Spin-Orbit Coupling as a Source of Spin Polarization.” Physical Review B, vol. 104, no. 2, 024430, American Physical Society, 2021, doi:10.1103/physrevb.104.024430.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10402 |
Ucar, Mehmet C., et al. “Theory of Branching Morphogenesis by Local Interactions and Global Guidance.” Nature Communications, vol. 12, 6830, Springer Nature, 2021, doi:10.1038/s41467-021-27135-5.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Research Data Reference | IST-REx-ID: 13058 |
Ucar, Mehmet C. Source Data for the Manuscript “Theory of Branching Morphogenesis by Local Interactions and Global Guidance.” Zenodo, 2021, doi:10.5281/ZENODO.5257160.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Published | Conference Paper | IST-REx-ID: 13147 |
Alimisis, Foivos, Communication-efficient distributed optimization with quantized preconditioners. Proceedings of the 38th International Conference on Machine Learning 139. 2021
[Published Version]
View
| Files available
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 11436 |
Kungurtsev, Vyacheslav, et al. “Asynchronous Optimization Methods for Efficient Training of Deep Neural Networks with Guarantees.” 35th AAAI Conference on Artificial Intelligence, AAAI 2021, vol. 35, no. 9B, AAAI Press, 2021, pp. 8209–16.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10435 |
Nadiradze, Giorgi, et al. “Asynchronous Decentralized SGD with Quantized and Local Updates.” 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 11452 |
Alimisis, Foivos, et al. “Distributed Principal Component Analysis with Limited Communication.” Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems, vol. 4, Neural Information Processing Systems Foundation, 2021, pp. 2823–34.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
2021 | Submitted | Preprint | IST-REx-ID: 10912 |
Lombardi, Fabrizio, et al. Quantifying the Coexistence of Neuronal Oscillations and Avalanches. arXiv, doi:10.48550/ARXIV.2108.06686.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10432 |
Nadiradze, Giorgi, et al. “Elastic Consistency: A Practical Consistency Model for Distributed Stochastic Gradient Descent.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 10, 2021, pp. 9037–45.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 9200 |
Garcia Soto, Miriam, Synthesis of hybrid automata with affine dynamics from time-series data. HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. 2021
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10206 |
Lukina, Anna, et al. “Into the Unknown: Active Monitoring of Neural Networks.” 21st International Conference on Runtime Verification, vol. 12974, Springer Nature, 2021, pp. 42–61, doi:10.1007/978-3-030-88494-9_3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Technical Report | IST-REx-ID: 9946 |
Mühlböck, Fabian, and Thomas A. Henzinger. Differential Monitoring. IST Austria, 2021, doi:10.15479/AT:ISTA:9946.
[Published Version]
View
| Files available
| DOI
2021 | Submitted | Preprint | IST-REx-ID: 9281 |
Dubach, Guillaume, and Fabian Mühlböck. “Formal Verification of Zagier’s One-Sentence Proof.” ArXiv, 2103.11389, doi:10.48550/arXiv.2103.11389.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv