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.
476 Publications
2024 |
Published |
Conference Paper |
IST-REx-ID: 17214 |
Chen Y-L, Ly M, Wojtan C. 2024. Primal-dual non-smooth friction for rigid body animation. Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24. SIGGRAPH: Computer Graphics and Interactive Techniques Conference.
[Published Version]
View
| Files available
| DOI
| WoS
2024 |
Published |
Journal Article |
IST-REx-ID: 17278 |
Wang X, Cheng B. 2024. Integrating molecular dynamics simulations and experimental data for azeotrope predictions in binary mixtures. Journal of Chemical Physics. 161(3), 034111.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 17283 |
Chatterjee K, Goharshady E, Novotný P, Zikelic D. 2024. Equivalence and similarity refutation for probabilistic programs. Proceedings of the ACM on Programming Languages. 8, 232.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |
Research Data |
IST-REx-ID: 17344 |
Surendranadh P, Sachdeva H. 2024. Mathematica notebook for ‘Effect of assortative mating and sexual selection on polygenic barriers to gene flow’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:17344.
[Published Version]
View
| Files available
| DOI
2024 |
Research Data |
IST-REx-ID: 17488 |
Satapathy RK, Jösch MA, Symonova O, Pokusaeva V. 2024. Bilateral interactions of optic-flow sensitive neurons coordinate course control in flies, Institute of Science and Technology Austria, 10.15479/AT:ISTA:17488.
View
| Files available
| DOI
2024 |
Draft |
Preprint |
IST-REx-ID: 20071 |
Dvorak M, Kolmogorov V. Duality theory in linear optimization and its extensions -- formally verified. arXiv, 2409.08119.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Conference Paper |
IST-REx-ID: 17426 |
Prach B, Brau F, Buttazzo G, Lampert C. 2024. 1-Lipschitz layers compared: Memory, speed, and certifiable robustness. Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition, 24574–24583.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 |
Draft |
Preprint |
IST-REx-ID: 18874 |
Prach B, Lampert C. Intriguing properties of robust classification. arXiv, 2412.04245.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 12846 |
Chern A, Ishida S. 2024. Area formula for spherical polygons via prequantization. SIAM Journal on Applied Algebra and Geometry. 8(3), 782–796.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 |
Draft |
Preprint |
IST-REx-ID: 17361 |
Bauer M, Ishida S, Michor PW. Symplectic structures on the space of space curves. arXiv, 10.48550/arXiv.2407.19908.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2024 |
Published |
Conference Paper |
IST-REx-ID: 17634 |
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. 2024. QuAK: Quantitative Automata Kit. 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. ISoLA: International Symposium on Leveraging Applications, LNCS, vol. 15222, 3–20.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2024 |
Published |
Journal Article |
IST-REx-ID: 14687 |
Jethwa RB, Mondal S, Pant B, Freunberger SA. 2024. To DISP or not? The far‐reaching reaction mechanisms underpinning Lithium‐air batteries. Angewandte Chemie International Edition. 63(28), e202316476.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2024 |
Published |
Journal Article |
IST-REx-ID: 18266
Chatterjee K, Oliu-Barton M, Saona Urmeneta RJ. 2024. Value-positivity for matrix games. Mathematics of Operations Research. 50(4), 2433–3282.
View
| Files available
| DOI
| WoS
2024 |
Published |
Thesis | MS |
IST-REx-ID: 18588 |
Mweka CN. 2024. Non equilibrium dynamics of driven individual particles and 3D printing across scales. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17225 |
Li V. 2024. Towards a quantum entanglement enhanced atom interferomter. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18443 |
Sisak MA. 2024. T-dual branes on hyperkähler manifolds. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17485 |
Frantar E. 2024. Compressing large neural networks : Algorithms, systems and scaling laws. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 17208 |
Medina Ramos RA. 2024. Exploring the optimization landscape of variational quantum algorithms. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18132 |
Glas J. 2024. Counting rational points over function fields. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2024 |
Published |
Thesis | PhD |
IST-REx-ID: 18667 |
Heiss T. 2024. New methods for applying topological data analysis to materials science. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI