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.
10503 Publications
2024 | Published | Journal Article | IST-REx-ID: 18952 | 
The seventh blind test of crystal structure prediction: Structure generation methods
Hunnisett LM et al. 2024. The seventh blind test of crystal structure prediction: Structure generation methods. Acta Crystallographica Section B Structural Science, Crystal Engineering and Materials. 80(6), 517–547.
[Published Version]
View
| Files available
| DOI
Hunnisett LM et al. 2024. The seventh blind test of crystal structure prediction: Structure generation methods. Acta Crystallographica Section B Structural Science, Crystal Engineering and Materials. 80(6), 517–547.
2024 | Published | Conference Paper | IST-REx-ID: 17634 |
QuAK: Quantitative Automata Kit
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Springer Nature, 2024, pp. 3–20.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Springer Nature, 2024, pp. 3–20.
2024 | Published | Conference Paper | IST-REx-ID: 18955 |
Simple and tight complexity lower bounds for solving Rabin games
A. Casares, M. Pilipczuk, M. Pilipczuk, U.S. Souza, K.S. Thejaswini, in:, 2024 Symposium on Simplicity in Algorithms, Society for Industrial and Applied Mathematics, 2024, pp. 160–167.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Casares, M. Pilipczuk, M. Pilipczuk, U.S. Souza, K.S. Thejaswini, in:, 2024 Symposium on Simplicity in Algorithms, Society for Industrial and Applied Mathematics, 2024, pp. 160–167.
2024 | Published | Conference Paper | IST-REx-ID: 18956 |
Decompl: Decompositional learning with attention pooling for group activity recognition from a single volleyball image
B. Demirel, H. Ozkan, in:, 2024 IEEE International Conference on Image Processing, IEEE, 2024, pp. 977–983.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
B. Demirel, H. Ozkan, in:, 2024 IEEE International Conference on Image Processing, IEEE, 2024, pp. 977–983.
2024 | Published | Conference Paper | IST-REx-ID: 18957 |
Sui Lutris: A blockchain combining broadcast and consensus
S. Blackshear, A. Chursin, G. Danezis, A. Kichidis, E. Kokoris Kogias, X. Li, M. Logan, A. Menon, T. Nowacki, A. Sonnino, B. Williams, L. Zhang, in:, Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, ACM, 2024, pp. 2606–2620.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Blackshear, A. Chursin, G. Danezis, A. Kichidis, E. Kokoris Kogias, X. Li, M. Logan, A. Menon, T. Nowacki, A. Sonnino, B. Williams, L. Zhang, in:, Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, ACM, 2024, pp. 2606–2620.
2024 | Published | Thesis | IST-REx-ID: 18129
Strong charge-photon coupling in Germanium enabled by granular aluminium superinductors
M. Janik, Strong Charge-Photon Coupling in Germanium Enabled by Granular Aluminium Superinductors, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
M. Janik, Strong Charge-Photon Coupling in Germanium Enabled by Granular Aluminium Superinductors, Institute of Science and Technology Austria, 2024.
2024 | Published | Journal Article | IST-REx-ID: 18958
Many-body quantum systems
C. Hainzl, B. Schlein, R. Seiringer, S. Warzel, Oberwolfach Reports 20 (2024) 2247–2302.
View
| DOI
C. Hainzl, B. Schlein, R. Seiringer, S. Warzel, Oberwolfach Reports 20 (2024) 2247–2302.
2024 | Published | Journal Article | IST-REx-ID: 18961 |
Deniability in automated contact tracing: Impossibilities and possibilities
C.U. Günther, K.Z. Pietrzak, Proceedings on Privacy Enhancing Technologies 2024 (2024) 636–648.
[Published Version]
View
| Files available
| DOI
C.U. Günther, K.Z. Pietrzak, Proceedings on Privacy Enhancing Technologies 2024 (2024) 636–648.
2024 | Published | Conference Paper | IST-REx-ID: 18964 |
Adaptive slot attention: Object discovery with dynamic slot number
K. Fan, Z. Bai, T. Xiao, T. He, M. Horn, Y. Fu, F. Locatello, Z. Zhang, in:, 2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2024.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Fan, Z. Bai, T. Xiao, T. He, M. Horn, Y. Fu, F. Locatello, Z. Zhang, in:, 2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 18965
High-performance thermoelectric cooler fabricated vith extrusion-based 3D printing materials
M. Ibáñez, S. Xu, S. Horta, A.Q. Lawal, in:, Proceedings of the Materials for Sustainable Development Conference, Fundacio de la communitat Valenciana Scito, 2024.
View
| DOI
M. Ibáñez, S. Xu, S. Horta, A.Q. Lawal, in:, Proceedings of the Materials for Sustainable Development Conference, Fundacio de la communitat Valenciana Scito, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 17426 |
1-Lipschitz layers compared: Memory, speed, and certifiable robustness
B. Prach, F. Brau, G. Buttazzo, C. Lampert, in:, Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Computer Vision Foundation, 2024, pp. 24574–24583.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
B. Prach, F. Brau, G. Buttazzo, C. Lampert, in:, Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Computer Vision Foundation, 2024, pp. 24574–24583.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18960
Tissue active matter: Integrating mechanics and signaling into dynamical models
D. Brückner, E.B. Hannezo, Cold Spring Harbor Perspectives in Biology (2024).
View
| DOI
| PubMed | Europe PMC
D. Brückner, E.B. Hannezo, Cold Spring Harbor Perspectives in Biology (2024).
2024 | Published | Other Publication | IST-REx-ID: 18967 |
Structure‐activity relationship study of neuroprotective complex I inhibitor CP2
O. Petrova, S.A. Trushin, T.K.O. Nguyen, M. Ostroot, M. Schellenberg, G. Johnson, E. Trushina, L.A. Sazanov, Structure‐activity Relationship Study of Neuroprotective Complex I Inhibitor CP2, Wiley, 2024.
[Published Version]
View
| Files available
| DOI
O. Petrova, S.A. Trushin, T.K.O. Nguyen, M. Ostroot, M. Schellenberg, G. Johnson, E. Trushina, L.A. Sazanov, Structure‐activity Relationship Study of Neuroprotective Complex I Inhibitor CP2, Wiley, 2024.
2024 | Published | Conference Paper | IST-REx-ID: 18159 |
Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2024, pp. 3–12.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, 2024, pp. 3–12.
2024 | Published | Journal Article | IST-REx-ID: 18970 |
Arbeitsgemeinschaft: Geometry and representation theory around the P=W conjecture
T. Hausel, D. Maulik, A. Mellit, O. Schiffmann, J. Shen, Oberwolfach Reports 21 (2024) 949–1004.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T. Hausel, D. Maulik, A. Mellit, O. Schiffmann, J. Shen, Oberwolfach Reports 21 (2024) 949–1004.
2024 | Published | Conference Paper | IST-REx-ID: 18973 |
Towards understanding the word sensitivity of attention layers: A study via random features
S. Bombari, M. Mondelli, in:, 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 4300–4328.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
S. Bombari, M. Mondelli, in:, 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 4300–4328.
2024 | Published | Conference Paper | IST-REx-ID: 18975 |
Error feedback can accurately compress preconditioners
I.-V. Modoranu, A. Kalinov, E. Kurtic, E. Frantar, D.-A. Alistarh, in:, 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 35910–35933.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
I.-V. Modoranu, A. Kalinov, E. Kurtic, E. Frantar, D.-A. Alistarh, in:, 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 35910–35933.
2024 | Published | Conference Paper | IST-REx-ID: 18972 |
How spurious features are memorized: Precise analysis for random and NTK features
S. Bombari, M. Mondelli, in:, 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 4267–4299.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
S. Bombari, M. Mondelli, in:, 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 4267–4299.
2024 | Published | Conference Paper | IST-REx-ID: 18971 |
Unsupervised concept discovery mitigates spurious correlations
R. Arefin, Y. Zhang, A. Baratin, F. Locatello, I. Rish, D. Liu, K. Kawaguchi, in:, Proceedings of the 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 1672–1688.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
R. Arefin, Y. Zhang, A. Baratin, F. Locatello, I. Rish, D. Liu, K. Kawaguchi, in:, Proceedings of the 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 1672–1688.
2024 | Published | Conference Paper | IST-REx-ID: 18974 |
Reinforcement learning from reachability specifications: PAC guarantees with expected conditional distance
J. Svoboda, S. Bansal, K. Chatterjee, in:, 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 47331–47344.
[Preprint]
View
| Download Preprint (ext.)
J. Svoboda, S. Bansal, K. Chatterjee, in:, 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 47331–47344.