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.

5755 Publications


2024 | Published | Conference Paper | IST-REx-ID: 15376 | OA
Avni, Guy, Kaushik Mallik, and Suman Sadhukhan. “Auction-Based Scheduling.” In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 14572:153–72. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-57256-2_8.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 15333 | OA
Chalupa, Marek, and Cedric Richter. “Bubaak-SpLit: Split What You Cannot Verify (Competition Contribution).” In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 14572:353–358. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-57256-2_20.
[Published Version] View | Files available | DOI
 

2024 | Published | Conference Paper | IST-REx-ID: 15377 | OA
Majumdar, Rupak, Irmak Sağlam, and K. S. Thejaswini. “Rabin Games and Colourful Universal Trees.” In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 14572:213–31. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-57256-2_11.
[Published Version] View | Files available | DOI | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 18530 | OA
Bose, Sougata, Thomas A Henzinger, Karoliina Lehtinen, Sven Schewe, and Patrick Totzke. “History-Deterministic Timed Automata.” Logical Methods in Computer Science. EPI Sciences, 2024. 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 | OA
Eilers, Anna Christina, Ruari Mackenzie, Elia Pizzati, Jorryt J Matthee, Joseph F. Hennawi, Haowen Zhang, Rongmon Bordoloi, et al. “EIGER. VI. The Correlation Function, Host Halo Mass, and Duty Cycle of Luminous Quasars at z ≳ 6.” Astrophysical Journal. IOP Publishing, 2024. https://doi.org/10.3847/1538-4357/ad778b.
[Published Version] View | Files available | DOI
 

2024 | Published | Journal Article | IST-REx-ID: 18654 | OA
Sato, Toshihiro, B. J. Ramshaw, Kimberly A Modic, and Fakher F. Assaad. “Scale-Invariant Magnetic Anisotropy in α-RuCl3: A Quantum Monte Carlo Study.” Physical Review B. American Physical Society, 2024. https://doi.org/10.1103/PhysRevB.110.L201114.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 17203 | OA
Hafner, Christian, Mickaël Ly, and Chris Wojtan. “Spin-It Faster: Quadrics Solve All Topology Optimization Problems That Depend Only on Mass Moments.” Transactions on Graphics. Association for Computing Machinery, 2024. https://doi.org/10.1145/3658194.
[Published Version] View | Files available | DOI
 

2024 | Published | Conference Paper | IST-REx-ID: 17214 | OA
Chen, Yi-Lu, Mickaël Ly, and Chris Wojtan. “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. https://doi.org/10.1145/3641519.3657485.
[Published Version] View | Files available | DOI
 

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 14703 | OA
Ishida, Sadashige, and Hugo Lavenant. “Quantitative Convergence of a Discretization of Dynamic Optimal Transport Using the Dual Formulation.” Foundations of Computational Mathematics. Springer Nature, 2024. 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 | OA
Chern, Albert, and Sadashige Ishida. “Area Formula for Spherical Polygons via Prequantization.” SIAM Journal on Applied Algebra and Geometry. Society for Industrial and Applied Mathematics, 2024. https://doi.org/10.1137/23M1565255.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Submitted | Preprint | IST-REx-ID: 17361 | OA
Bauer, Martin, Sadashige Ishida, and Peter W. Michor. “Symplectic Structures on the Space of Space Curves.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2407.19908.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 15252 | OA
Dello Schiavo, Lorenzo. “A Characterization of Maps of Bounded Compression.” Mathematical Communications. Udruga Matematicara Osijek, 2024.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 14846 | OA
Caballero Mancebo, Silvia, Rushikesh Shinde, Madison Bolger-Munro, Matilda Peruzzo, Gregory Szep, Irene Steccari, David Labrousse Arias, et al. “Friction Forces Determine Cytoplasmic Reorganization and Shape Changes of Ascidian Oocytes upon Fertilization.” Nature Physics. Springer Nature, 2024. 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 | OA
Vercruysse, Eléonore, David Brückner, Manuel Gómez-González, Alexandre Remson, Marine Luciano, Yohalie Kalukula, Leone Rossetti, Xavier Trepat, Edouard B Hannezo, and Sylvain Gabriele. “Geometry-Driven Migration Efficiency of Autonomous Epithelial Cell Clusters.” Nature Physics. Springer Nature, 2024. https://doi.org/10.1038/s41567-024-02532-x.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2024 | Published | Thesis | IST-REx-ID: 17485 | OA
Frantar, Elias. “Compressing Large Neural Networks : Algorithms, Systems and Scaling Laws.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:17485.
[Published Version] View | Files available | DOI
 

2024 | Published | Conference Paper | IST-REx-ID: 18061 | OA
Frantar, Elias, and Dan-Adrian Alistarh. “QMoE: Sub-1-Bit Compression of Trillion Parameter Models.” In Proceedings of Machine Learning and Systems, edited by P. Gibbons, G. Pekhimenko, and C. De Sa, Vol. 6, 2024.
[Published Version] View | Files available | Download Published Version (ext.)
 

2024 | Published | Conference Paper | IST-REx-ID: 18062 | OA
Frantar, Elias, Carlos Riquelme Ruiz, Neil Houlsby, Dan-Adrian Alistarh, and Utku Evci. “Scaling Laws for Sparsely-Connected Foundation Models.” In The Twelfth International Conference on Learning Representations, 2024.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2024 | Published | Journal Article | IST-REx-ID: 13974 | OA
Fulek, Radoslav, Bernd Gärtner, Andrey Kupavskii, Pavel Valtr, and Uli Wagner. “The Crossing Tverberg Theorem.” Discrete and Computational Geometry. Springer Nature, 2024. 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 | OA
Akshay, S, Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic. “Certified Policy Verification and Synthesis for MDPs under Distributional Reach-Avoidance Properties.” In Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 3–12. International Joint Conferences on Artificial Intelligence, 2024. https://doi.org/10.24963/ijcai.2024/1.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Published | Conference Paper | IST-REx-ID: 18160 | OA
Chatterjee, Krishnendu, Ehsan Goharshady, Mehrdad Karrabi, Petr Novotný, and Dorde Zikelic. “Solving Long-Run Average Reward Robust MDPs via Stochastic Games.” In 33rd International Joint Conference on Artificial Intelligence, 6707–15. International Joint Conferences on Artificial Intelligence, 2024. https://doi.org/10.24963/ijcai.2024/741.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed