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 | 
Dubach G, Reker J. Dynamics of a rank-one multiplicative perturbation of a unitary matrix. Random Matrices: Theory and Applications. 2024;13(2). doi:10.1142/s2010326324500072
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 | Published | Thesis | IST-REx-ID: 17336 |
Pedrotti F. Functional inequalities and convergence of stochastic processes. 2024. doi:10.15479/at:ista:17336
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 17141 |
Zhang Z, Chen H, Peng S, Han H. Slow and rapid auxin responses in Arabidopsis. Journal of Experimental Botany. 2024;75(18). doi:10.1093/jxb/erae246
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 17278 |
Wang X, Cheng B. Integrating molecular dynamics simulations and experimental data for azeotrope predictions in binary mixtures. Journal of Chemical Physics. 2024;161(3). doi:10.1063/5.0217232
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17214 |
Chen Y-L, Ly M, Wojtan C. Primal-dual non-smooth friction for rigid body animation. In: Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24. Association for Computing Machinery; 2024. doi:10.1145/3641519.3657485
[Published Version]
View
| Files available
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 17426 |
Prach B, Brau F, Buttazzo G, Lampert C. 1-Lipschitz layers compared: Memory, speed, and certifiable robustness. In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. Computer Vision Foundation; 2024:24574-24583. doi:10.1109/CVPR52733.2024.02320
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18086
Alwen JF, Auerbach B, Cueto Noval M, Klein K, Pascual Perez G, Pietrzak KZ. DeCAF: Decentralizable CGKA with fast healing. In: Galdi C, Phan DH, eds. Security and Cryptography for Networks: 14th International Conference. Vol 14974. Cham: Springer Nature; 2024:294–313. doi:10.1007/978-3-031-71073-5_14
View
| Files available
| DOI
| WoS
2024 | Published | Journal Article | IST-REx-ID: 18107 |
Lauritsen AB, Seiringer R. Pressure of a dilute spin-polarized Fermi gas: Lower bound. Forum of Mathematics, Sigma. 2024;12. doi:10.1017/fms.2024.56
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18174 |
Wassermair M, Kahl G, Roth R, Archer AJ. Fingerprints of ordered self-assembled structures in the liquid phase of a hard-core, square-shoulder system. The Journal of chemical physics. 2024;161(12). doi:10.1063/5.0226954
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18450
Quintero S, Relvas M, Aranda M, Nodal F, Dieguez L, Abalde-Cela S. Portable Raman platform for SERS droplets microfludics. In: 2024 International Conference on Optical MEMS and Nanophotonics. Institute of Electrical and Electronics Engineers; 2024. doi:10.1109/OMN61224.2024.10685279
View
| DOI
| WoS
2024 | Published | Thesis | IST-REx-ID: 18568 |
Satapathy RK. Mechanisms of visual integration and competition in innate behaviours in Drosophila melanogaster. 2024. doi:10.15479/at:ista:18568
[Published Version]
View
| Files available
| DOI
2024 | Research Data | IST-REx-ID: 17488 |
Satapathy RK, Jösch MA, Symonova O, Pokusaeva V. Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies. 2024. doi:10.15479/AT:ISTA:17488
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18482
Arkhipov P. An algorithm for finding the generalized Chebyshev center of sets defined via their support functions. Automation and Remote Control. 2024;85(6):522-532. doi:10.1134/S0005117924060031
View
| DOI
| WoS
2024 | Published | Conference Paper | IST-REx-ID: 18521 |
Bonakdarpour B, Momtaz A, Nickovic D, Sarac NE. Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy. In: 24th International Conference on Runtime Verification. Vol 15191. Springer Nature; 2024:282-301. doi:10.1007/978-3-031-74234-7_18
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17634 |
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. QuAK: Quantitative Automata Kit. In: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Vol 15222. Springer Nature; 2024:3-20. doi:10.1007/978-3-031-75387-9_1
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 | Published | Thesis | IST-REx-ID: 17490 |
Markov I. Communication-efficient distributed training of deep neural networks : An algorithms and systems perspective. 2024. doi:10.15479/at:ista:17490
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18088 |
Pascual Perez G. On the efficiency and security of secure group messaging. 2024. doi:10.15479/at:ista:18088
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18135 |
Lauritsen AB. Energies of dilute Fermi gases and universalities in BCS theory. 2024. doi:10.15479/at:ista:18135
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18917 |
Aronov B, Basit A, Ramesh I, Tasinato G, Wagner U. Eight-partitioning points in 3D, and efficiently too. In: 40th International Symposium on Computational Geometry. Vol 293. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024:8:1-8:15. doi:10.4230/LIPIcs.SoCG.2024.8
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Draft | Preprint | IST-REx-ID: 18874 |
Prach B, Lampert C. Intriguing properties of robust classification. arXiv. doi:10.48550/arXiv.2412.04245
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv