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.
703 Publications
2021 | Published | Journal Article | IST-REx-ID: 7463 | 
Long-range temporal correlations in the broadband resting state activity of the human brain revealed by neuronal avalanches
F. Lombardi, O. Shriki, H.J. Herrmann, L. de Arcangelis, Neurocomputing 461 (2021) 657–666.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
F. Lombardi, O. Shriki, H.J. Herrmann, L. de Arcangelis, Neurocomputing 461 (2021) 657–666.
2021 | Published | Journal Article | IST-REx-ID: 8198 |
Impact of drive harmonics on the stability of Floquet many-body localization
A.A. Diringer, T. Gulden, Physical Review B 103 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A.A. Diringer, T. Gulden, Physical Review B 103 (2021).
2021 | Published | Journal Article | IST-REx-ID: 8248 |
Local conditions for triangulating submanifolds of Euclidean space
J.-D. Boissonnat, R. Dyer, A. Ghosh, A. Lieutier, M. Wintraecken, Discrete and Computational Geometry 66 (2021) 666–686.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
J.-D. Boissonnat, R. Dyer, A. Ghosh, A. Lieutier, M. Wintraecken, Discrete and Computational Geometry 66 (2021) 666–686.
2021 | Published | Journal Article | IST-REx-ID: 14889 |
Landau–Pekar equations and quantum fluctuations for the dynamics of a strongly coupled polaron
N.K. Leopold, D.J. Mitrouskas, S.A.E. Rademacher, B. Schlein, R. Seiringer, Pure and Applied Analysis 3 (2021) 653–676.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
N.K. Leopold, D.J. Mitrouskas, S.A.E. Rademacher, B. Schlein, R. Seiringer, Pure and Applied Analysis 3 (2021) 653–676.
2021 | Published | Journal Article | IST-REx-ID: 9318 |
Asymptotic expansion of low-energy excitations for weakly interacting bosons
L. Bossmann, S.P. Petrat, R. Seiringer, Forum of Mathematics, Sigma 9 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
L. Bossmann, S.P. Petrat, R. Seiringer, Forum of Mathematics, Sigma 9 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10134 |
Anderson localization of composite particles
F. Suzuki, M. Lemeshko, W.H. Zurek, R.V. Krems, Physical Review Letters 127 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
F. Suzuki, M. Lemeshko, W.H. Zurek, R.V. Krems, Physical Review Letters 127 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9770 |
Interplay between friction and spin-orbit coupling as a source of spin polarization
A. Volosniev, H. Alpern, Y. Paltiel, O. Millo, M. Lemeshko, A. Ghazaryan, Physical Review B 104 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Volosniev, H. Alpern, Y. Paltiel, O. Millo, M. Lemeshko, A. Ghazaryan, Physical Review B 104 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10402 |
Theory of branching morphogenesis by local interactions and global guidance
M.C. Ucar, D. Kamenev, K. Sunadome, D.C. Fachet, F. Lallemend, I. Adameyko, S. Hadjab, E.B. Hannezo, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.C. Ucar, D. Kamenev, K. Sunadome, D.C. Fachet, F. Lallemend, I. Adameyko, S. Hadjab, E.B. Hannezo, Nature Communications 12 (2021).
2021 | Research Data Reference | IST-REx-ID: 13058 |
Source data for the manuscript "Theory of branching morphogenesis by local interactions and global guidance"
M.C. Ucar, (2021).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M.C. Ucar, (2021).
2021 | Published | Conference Paper | IST-REx-ID: 13147 |
Communication-efficient distributed optimization with quantized preconditioners
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
Alimisis, Foivos, Communication-efficient distributed optimization with quantized preconditioners. Proceedings of the 38th International Conference on Machine Learning 139. 2021
2021 | Published | Conference Paper | IST-REx-ID: 11436 |
Asynchronous optimization methods for efficient training of deep neural networks with guarantees
V. Kungurtsev, M. Egan, B. Chatterjee, D.-A. Alistarh, in:, 35th AAAI Conference on Artificial Intelligence, AAAI 2021, AAAI Press, 2021, pp. 8209–8216.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
V. Kungurtsev, M. Egan, B. Chatterjee, D.-A. Alistarh, in:, 35th AAAI Conference on Artificial Intelligence, AAAI 2021, AAAI Press, 2021, pp. 8209–8216.
2021 | Published | Conference Paper | IST-REx-ID: 10435 |
Asynchronous decentralized SGD with quantized and local updates
G. Nadiradze, A. Sabour, P. Davies, S. Li, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
G. Nadiradze, A. Sabour, P. Davies, S. Li, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021.
2021 | Published | Conference Paper | IST-REx-ID: 11452 |
Distributed principal component analysis with limited communication
F. Alimisis, P. Davies, B. Vandereycken, D.-A. Alistarh, in:, Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 2823–2834.
[Published Version]
View
| Download Published Version (ext.)
| arXiv
F. Alimisis, P. Davies, B. Vandereycken, D.-A. Alistarh, in:, Advances in Neural Information Processing Systems - 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 2823–2834.
2021 | Submitted | Preprint | IST-REx-ID: 10912 |
Quantifying the coexistence of neuronal oscillations and avalanches
F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, D. De Martino, (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
F. Lombardi, S. Pepic, O. Shriki, G. Tkačik, D. De Martino, (n.d.).
2021 | Published | Conference Paper | IST-REx-ID: 10432 |
Elastic consistency: A practical consistency model for distributed stochastic gradient descent
G. Nadiradze, I. Markov, B. Chatterjee, V. Kungurtsev, D.-A. Alistarh, in:, Proceedings of the AAAI Conference on Artificial Intelligence, 2021, pp. 9037–9045.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
G. Nadiradze, I. Markov, B. Chatterjee, V. Kungurtsev, D.-A. Alistarh, in:, Proceedings of the AAAI Conference on Artificial Intelligence, 2021, pp. 9037–9045.
2021 | Published | Conference Paper | IST-REx-ID: 9200 |
Synthesis of hybrid automata with affine dynamics from time-series data
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
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
2021 | Published | Conference Paper | IST-REx-ID: 10206 |
Into the unknown: active monitoring of neural networks
A. Lukina, C. Schilling, T.A. Henzinger, in:, 21st International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 42–61.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Lukina, C. Schilling, T.A. Henzinger, in:, 21st International Conference on Runtime Verification, Springer Nature, Cham, 2021, pp. 42–61.
2021 | Published | Technical Report | IST-REx-ID: 9946 |
Differential monitoring
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
[Published Version]
View
| Files available
| DOI
F. Mühlböck, T.A. Henzinger, Differential Monitoring, IST Austria, 2021.
2021 | Submitted | Preprint | IST-REx-ID: 9281 |
Formal verification of Zagier's one-sentence proof
G. Dubach, F. Mühlböck, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
G. Dubach, F. Mühlböck, ArXiv (n.d.).
2021 | Published | Journal Article | IST-REx-ID: 10327 |
PbS–Pb–CuxS composites for thermoelectric application
M. Li, Y. Liu, Y. Zhang, X. Han, K. Xiao, M. Nabahat, J. Arbiol, J. Llorca, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 13 (2021) 51373–51382.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
M. Li, Y. Liu, Y. Zhang, X. Han, K. Xiao, M. Nabahat, J. Arbiol, J. Llorca, M. Ibáñez, A. Cabot, ACS Applied Materials and Interfaces 13 (2021) 51373–51382.