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.
5735 Publications
2024 | Published | Journal Article | IST-REx-ID: 18530 | 
Bose, S., Henzinger, T. A., Lehtinen, K., Schewe, S., & Totzke, P. (2024). History-deterministic timed automata. Logical Methods in Computer Science. EPI Sciences. https://doi.org/10.46298/lmcs-20(4:1)2024
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 18494 |
Eilers, A. C., Mackenzie, R., Pizzati, E., Matthee, J. J., Hennawi, J. F., Zhang, H., … Schaye, J. (2024). EIGER. VI. The correlation function, host halo mass, and duty cycle of luminous quasars at z ≳ 6. Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ad778b
[Published Version]
View
| Files available
| DOI
2024 | Published | Journal Article | IST-REx-ID: 18654 |
Sato, T., Ramshaw, B. J., Modic, K. A., & Assaad, F. F. (2024). Scale-invariant magnetic anisotropy in α-RuCl3: A quantum Monte Carlo study. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.110.L201114
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 17203 |
Hafner, C., Ly, M., & Wojtan, C. (2024). Spin-it faster: Quadrics solve all topology optimization problems that depend only on mass moments. Transactions on Graphics. Denver, Colorado: Association for Computing Machinery. https://doi.org/10.1145/3658194
[Published Version]
View
| Files available
| DOI
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. In Special Interest Group on Computer Graphics and Interactive Techniques Conference Conference Papers ’24. Denver, United States: Association for Computing Machinery. https://doi.org/10.1145/3641519.3657485
[Published Version]
View
| Files available
| DOI
2024 | Published | Thesis | IST-REx-ID: 18301 |
Etemadi, A. (2024). Filling the holes of non-manifold self-intersecting meshes for implicit topology changes in surface tracking. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18301
[Published Version]
View
| Files available
| DOI
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 14703 |
Ishida, S., & Lavenant, H. (2024). Quantitative convergence of a discretization of dynamic optimal transport using the dual formulation. Foundations of Computational Mathematics. Springer Nature. https://doi.org/10.1007/s10208-024-09686-3
[Published Version]
View
| DOI
| Download Published Version (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. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/23M1565255
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Submitted | Preprint | IST-REx-ID: 17361 |
Bauer, M., Ishida, S., & Michor, P. W. (n.d.). Symplectic structures on the space of space curves. arXiv. https://doi.org/10.48550/arXiv.2407.19908
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 15252 |
Dello Schiavo, L. (2024). A characterization of maps of bounded compression. Mathematical Communications. Udruga Matematicara Osijek.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 14846 |
Caballero Mancebo, S., Shinde, R., Bolger-Munro, M., Peruzzo, M., Szep, G., Steccari, I., … Heisenberg, C.-P. J. (2024). Friction forces determine cytoplasmic reorganization and shape changes of ascidian oocytes upon fertilization. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-023-02302-1
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Published | Journal Article | IST-REx-ID: 17269 |
Vercruysse, E., Brückner, D., Gómez-González, M., Remson, A., Luciano, M., Kalukula, Y., … Gabriele, S. (2024). Geometry-driven migration efficiency of autonomous epithelial cell clusters. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-024-02532-x
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2024 | Published | Thesis | IST-REx-ID: 17485 |
Frantar, E. (2024). Compressing large neural networks : Algorithms, systems and scaling laws. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17485
[Published Version]
View
| Files available
| DOI
2024 | Published | Conference Paper | IST-REx-ID: 18061 |
Frantar, E., & Alistarh, D.-A. (2024). QMoE: Sub-1-bit compression of trillion parameter models. In P. Gibbons, G. Pekhimenko, & C. De Sa (Eds.), Proceedings of Machine Learning and Systems (Vol. 6). Santa Clara, CA, USA.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2024 | Published | Conference Paper | IST-REx-ID: 18062 |
Frantar, E., Ruiz, C. R., Houlsby, N., Alistarh, D.-A., & Evci, U. (2024). Scaling laws for sparsely-connected foundation models. In The Twelfth International Conference on Learning Representations. Vienna, Austria.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2024 | Published | Journal Article | IST-REx-ID: 13974 |
Fulek, R., Gärtner, B., Kupavskii, A., Valtr, P., & Wagner, U. (2024). The crossing Tverberg theorem. Discrete and Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-023-00532-x
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18159 |
Akshay, S., Chatterjee, K., Meggendorfer, T., & Zikelic, D. (2024). Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties. In Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (pp. 3–12). Jeju, Korea: International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2024/1
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 18160 |
Chatterjee, K., Goharshady, E., Karrabi, M., Novotný, P., & Zikelic, D. (2024). Solving long-run average reward robust MDPs via stochastic games. In 33rd International Joint Conference on Artificial Intelligence (pp. 6707–6715). Jeju, South Korea: International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2024/741
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Published | Conference Paper | IST-REx-ID: 17328 |
Chatterjee, K., Ebrahimzadeh, A., Karrabi, M., Pietrzak, K. Z., Yeo, M. X., & Zikelic, D. (2024). Fully automated selfish mining analysis in efficient proof systems blockchains. In Proceedings of the 43rd Annual ACM Symposium on Principles of Distributed Computing (pp. 268–278). Nantes, France: Association for Computing Machinery. https://doi.org/10.1145/3662158.3662769
[Published Version]
View
| Files available
| DOI
| arXiv