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.
384 Publications
2024 | Published | Thesis | IST-REx-ID: 18766 | 
Elucidating the structural determinants of the poxvirus core using multi-modal cryo-EM
J. Datler, Elucidating the Structural Determinants of the Poxvirus Core Using Multi-Modal Cryo-EM, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
J. Datler, Elucidating the Structural Determinants of the Poxvirus Core Using Multi-Modal Cryo-EM, Institute of Science and Technology Austria, 2024.
2024 | Published | Journal Article | IST-REx-ID: 15360 |
Floquet analysis of a superradiant many-qutrit refrigerator
D. Kolisnyk, F. Queißer, G. Schaller, R. Schützhold, Physical Review Applied 21 (2024).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
D. Kolisnyk, F. Queißer, G. Schaller, R. Schützhold, Physical Review Applied 21 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17047 |
Dynamics of a rank-one multiplicative perturbation of a unitary matrix
G. Dubach, J. Reker, Random Matrices: Theory and Applications 13 (2024).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Dubach, J. Reker, Random Matrices: Theory and Applications 13 (2024).
2024 | Published | Thesis | IST-REx-ID: 17336 |
Functional inequalities and convergence of stochastic processes
F. Pedrotti, Functional Inequalities and Convergence of Stochastic Processes, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
F. Pedrotti, Functional Inequalities and Convergence of Stochastic Processes, Institute of Science and Technology Austria, 2024.
2024 | Published | Journal Article | IST-REx-ID: 17141 |
Slow and rapid auxin responses in Arabidopsis
Z. Zhang, H. Chen, S. Peng, H. Han, Journal of Experimental Botany 75 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Z. Zhang, H. Chen, S. Peng, H. Han, Journal of Experimental Botany 75 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17278 |
Integrating molecular dynamics simulations and experimental data for azeotrope predictions in binary mixtures
X. Wang, B. Cheng, Journal of Chemical Physics 161 (2024).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
X. Wang, B. Cheng, Journal of Chemical Physics 161 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 17214 |
Primal-dual non-smooth friction for rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, in:, Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24, Association for Computing Machinery, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
Y.-L. Chen, M. Ly, C. Wojtan, in:, Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24, Association for Computing Machinery, 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.)
| WoS
| 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 | Published | Conference Paper | IST-REx-ID: 18086
DeCAF: Decentralizable CGKA with fast healing
J.F. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, in:, C. Galdi, D.H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference, Springer Nature, Cham, 2024, pp. 294–313.
View
| Files available
| DOI
| WoS
J.F. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, in:, C. Galdi, D.H. Phan (Eds.), Security and Cryptography for Networks: 14th International Conference, Springer Nature, Cham, 2024, pp. 294–313.
2024 | Published | Journal Article | IST-REx-ID: 18107 |
Pressure of a dilute spin-polarized Fermi gas: Lower bound
A.B. Lauritsen, R. Seiringer, Forum of Mathematics, Sigma 12 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A.B. Lauritsen, R. Seiringer, Forum of Mathematics, Sigma 12 (2024).
2024 | Published | Journal Article | IST-REx-ID: 18174 |
Fingerprints of ordered self-assembled structures in the liquid phase of a hard-core, square-shoulder system
M. Wassermair, G. Kahl, R. Roth, A.J. Archer, The Journal of Chemical Physics 161 (2024).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
M. Wassermair, G. Kahl, R. Roth, A.J. Archer, The Journal of Chemical Physics 161 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18450
Portable Raman platform for SERS droplets microfludics
S. Quintero, M. Relvas, M. Aranda, F. Nodal, L. Dieguez, S. Abalde-Cela, in:, 2024 International Conference on Optical MEMS and Nanophotonics, Institute of Electrical and Electronics Engineers, 2024.
View
| DOI
| WoS
S. Quintero, M. Relvas, M. Aranda, F. Nodal, L. Dieguez, S. Abalde-Cela, in:, 2024 International Conference on Optical MEMS and Nanophotonics, Institute of Electrical and Electronics Engineers, 2024.
2024 | Published | Thesis | IST-REx-ID: 18568 |
Mechanisms of visual integration and competition in innate behaviours in Drosophila melanogaster
R.K. Satapathy, Mechanisms of Visual Integration and Competition in Innate Behaviours in Drosophila Melanogaster, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
R.K. Satapathy, Mechanisms of Visual Integration and Competition in Innate Behaviours in Drosophila Melanogaster, Institute of Science and Technology Austria, 2024.
2024 | Published | Journal Article | IST-REx-ID: 18482
An algorithm for finding the generalized Chebyshev center of sets defined via their support functions
P. Arkhipov, Automation and Remote Control 85 (2024) 522–532.
View
| DOI
| WoS
P. Arkhipov, Automation and Remote Control 85 (2024) 522–532.
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18266
Value-positivity for matrix games
K. Chatterjee, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research (2024).
View
| Files available
| DOI
| WoS
K. Chatterjee, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18521 |
Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy
B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.
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
| WoS
| 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 | Thesis | IST-REx-ID: 17490 |
Communication-efficient distributed training of deep neural networks : An algorithms and systems perspective
I. Markov, Communication-Efficient Distributed Training of Deep Neural Networks : An Algorithms and Systems Perspective, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
I. Markov, Communication-Efficient Distributed Training of Deep Neural Networks : An Algorithms and Systems Perspective, Institute of Science and Technology Austria, 2024.
2024 | Published | Thesis | IST-REx-ID: 18088 |
On the efficiency and security of secure group messaging
G. Pascual Perez, On the Efficiency and Security of Secure Group Messaging, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
G. Pascual Perez, On the Efficiency and Security of Secure Group Messaging, Institute of Science and Technology Austria, 2024.
2024 | Published | Thesis | IST-REx-ID: 18135 |
Energies of dilute Fermi gases and universalities in BCS theory
A.B. Lauritsen, Energies of Dilute Fermi Gases and Universalities in BCS Theory, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
A.B. Lauritsen, Energies of Dilute Fermi Gases and Universalities in BCS Theory, Institute of Science and Technology Austria, 2024.