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.
424 Publications
2024 | Published | Journal Article | IST-REx-ID: 17047 | 
G. Dubach and J. Reker, “Dynamics of a rank-one multiplicative perturbation of a unitary matrix,” Random Matrices: Theory and Applications, vol. 13, no. 2. World Scientific Publishing, 2024.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 | Published | Thesis | IST-REx-ID: 17336 |
F. Pedrotti, “Functional inequalities and convergence of stochastic processes,” Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17141 |
Z. Zhang, H. Chen, S. Peng, and H. Han, “Slow and rapid auxin responses in Arabidopsis,” Journal of Experimental Botany, vol. 75, no. 18. Oxford University Press, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 17278 |
X. Wang and B. Cheng, “Integrating molecular dynamics simulations and experimental data for azeotrope predictions in binary mixtures,” Journal of Chemical Physics, vol. 161, no. 3. AIP Publishing, 2024.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17214 |
Y.-L. Chen, M. Ly, and C. Wojtan, “Primal-dual non-smooth friction for rigid body animation,” in Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24, Denver, United States, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 17426 |
B. Prach, F. Brau, G. Buttazzo, and C. Lampert, “1-Lipschitz layers compared: Memory, speed, and certifiable robustness,” in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Seattle, WA, United States, 2024, pp. 24574–24583.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18086
J. F. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, and K. Z. Pietrzak, “DeCAF: Decentralizable CGKA with fast healing,” in Security and Cryptography for Networks: 14th International Conference, Amalfi, Italy, 2024, vol. 14974, pp. 294–313.
View
| Files available
| DOI
| WoS
2024 | Published | Journal Article | IST-REx-ID: 18107 |
A. B. Lauritsen and R. Seiringer, “Pressure of a dilute spin-polarized Fermi gas: Lower bound,” Forum of Mathematics, Sigma, vol. 12. Cambridge University Press, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18174 |
M. Wassermair, G. Kahl, R. Roth, and A. J. Archer, “Fingerprints of ordered self-assembled structures in the liquid phase of a hard-core, square-shoulder system,” The Journal of chemical physics, vol. 161, no. 12. AIP Publishing, 2024.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18450
S. Quintero, M. Relvas, M. Aranda, F. Nodal, L. Dieguez, and S. Abalde-Cela, “Portable Raman platform for SERS droplets microfludics,” in 2024 International Conference on Optical MEMS and Nanophotonics, San Sebastian, Spain, 2024.
View
| DOI
| WoS
2024 | Published | Thesis | IST-REx-ID: 18568 |
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
2024 | Research Data | IST-REx-ID: 17488 |
R. K. Satapathy, M. A. Jösch, O. Symonova, and V. Pokusaeva, “Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies.” Institute of Science and Technology Austria, 2024.
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18521 |
B. Bonakdarpour, A. Momtaz, D. Nickovic, and N. E. Sarac, “Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy,” in 24th International Conference on Runtime Verification, Istanbul, Turkey, 2024, vol. 15191, pp. 282–301.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17634 |
M. Chalupa, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “QuAK: Quantitative Automata Kit,” in 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Crete, Greece, 2024, vol. 15222, pp. 3–20.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Thesis | IST-REx-ID: 17490 |
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
2024 | Published | Thesis | IST-REx-ID: 18088 |
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
2024 | Published | Thesis | IST-REx-ID: 18135 |
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
2024 | Published | Conference Paper | IST-REx-ID: 18917 |
B. Aronov, A. Basit, I. Ramesh, G. Tasinato, and U. Wagner, “Eight-partitioning points in 3D, and efficiently too,” in 40th International Symposium on Computational Geometry, Athens, Greece, 2024, vol. 293, p. 8:1-8:15.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Draft | Preprint | IST-REx-ID: 18874 |
B. Prach and C. Lampert, “Intriguing properties of robust classification,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv