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.
6185 Publications
2025 | Published | Conference Paper | IST-REx-ID: 20300 | 
Wegel, Tobias, Filip Kovačević, Alexandru Ţifrea, and Fanny Yang. “Learning Pareto Manifolds in High Dimensions: How Can Regularization Help?” In The 28th International Conference on Artificial Intelligence and Statistics, 258:4591–99. ML Research Press, 2025.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20297 |
Asadi, Ali, Krishnendu Chatterjee, Raimundo J Saona Urmeneta, and Ali Shafiee. “Limit-Sure Reachability for Small Memory Policies in POMDPs Is NP-Complete.” In The 41st Conference on Uncertainty in Artificial Intelligence, 286:238–47. ML Research Press, 2025.
[Published Version]
View
| Files available
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20296 |
Kresse, Fabian, Emily Yu, Christoph Lampert, and Thomas A Henzinger. “Logic Gate Neural Networks Are Good for Verification.” In 2nd International Conferenceon Neuro-Symbolic Systems, Vol. 288. ML Research Press, 2025.
[Published Version]
View
| Files available
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20298 |
Kalinin, Nikita, and Lukas Steinberger. “Efficient Estimation of a Gaussian Mean with Local Differential Privacy.” In Proceedings of the 28th International Conference on Artificial Intelligence and Statistics, 258:118–26. ML Research Press, 2025.
[Published Version]
View
| Files available
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19968
Plata, Carlos, and Alejandro Casallas Garcia. “Machine Learning Analysis of the Factors Influencing University-Industry Collaborations.” In 85th Annual Meeting of the Academy of Management, Vol. 2025. Academy of Management, 2025. https://doi.org/10.5465/AMPROC.2025.54bp.
View
| DOI
2025 | Published | Thesis | IST-REx-ID: 20138 |
Svoboda, Jakub. “Structural Properties of Games on Graphs.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20138.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18169 |
Chalupa, Marek, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger. “VAMOS: Middleware for Best-Effort Third-Party Monitoring.” Science of Computer Programming. Elsevier, 2025. https://doi.org/10.1016/j.scico.2024.103212.
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Published | Journal Article | IST-REx-ID: 15121 |
Zheng, Da Wei, and Monika Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.” Mathematical Programming. Springer Nature, 2025. https://doi.org/10.1007/s10107-024-02066-3.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20117
Wang, Yiqun. “The Role of Dynamin Related Protein 2A in Cytokinin Regulated Plant Growth and Development.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20117.
[Published Version]
View
| Files available
| DOI
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20323 |
| 
|
Brown, Adam, and Ondrej Draganov. “Discrete Microlocal Morse Theory.” Journal of Pure and Applied Algebra. Elsevier, 2025. https://doi.org/10.1016/j.jpaa.2025.108068.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20319 |
GOSWAMI, BIDYUT B, Andrea Polesello, and Caroline J Muller. “An Assessment of Representing Land‐ocean Heterogeneity via CAPE Relaxation Timescale in the Community Atmospheric Model 6 (CAM6).” Journal of Advances in Modeling Earth Systems. Wiley, 2025. https://doi.org/10.1029/2025ms005035.
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 19741 |
Chalupa, Marek, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Automating the Analysis of Quantitative Automata with QuAK.” In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 15696:303–12. Springer Nature, 2025. https://doi.org/10.1007/978-3-031-90643-5_16.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Thesis | IST-REx-ID: 19759 |
Prach, Bernd. “Robust Image Classification with 1-Lipschitz Networks.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/10.15479/at-ista-19759.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20276 |
Bhargava, Manas. “Design and Control of Deformable Structures: From PCB Lighting Displays to Elastomer Robots.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20276.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18565 |
Bhargava, Manas, Camille Schreck, M. Freire, P. A. Hugron, S. Lefebvre, S. Sellán, and Bernd Bickel. “Mesh Simplification for Unfolding.” Computer Graphics Forum. Wiley, 2025. https://doi.org/10.1111/cgf.15269.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Draft | Preprint | IST-REx-ID: 20286 |
Bhargava, Manas, Takefumi Hiraki, Irina-Malina Strugaru, Yuhan Zhang, Michael Piovarci, Chiara Daraio, Daisuke Iwai, and Bernd Bickel. “Computational Design and Fabrication of Modular Robots with Untethered Control.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2508.05410.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20008 |
Avvakumov, Sergey, Marek Filakovský, Jakub Opršal, Gianluca Tasinato, and Uli Wagner. “Hardness of 4-Colouring G-Colourable Graphs.” In Proceedings of the 57th Annual ACM Symposium on Theory of Computing, 72–83. Association for Computing Machinery, 2025. https://doi.org/10.1145/3717823.3718154.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20167
Schön, Hanna. “The ER Complex SUTU-7/MACO-1 Regulates the Fate of MRNAs Encoding GPCRs.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20167.
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Abstract | IST-REx-ID: 20054
Horta, Sharona. “Solid State Diffusion in Metal-Semiconductors Core-Shell Nanoparticle.” In Proceedings of the MATSUS Spring 2025 Conference. Fundació de la comunitat valenciana SCITO, 2025. https://doi.org/10.29363/nanoge.matsusspring.2025.220.
View
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20374 |
|
|
Chakraborty, Deyasini, Colby R. Sandate, Luke Isbel, Georg Kempf, Joscha Weiss, Simone Cavadini, Lukas Kater, et al. “Nucleosomes Specify Co-Factor Access to P53.” Molecular Cell. Elsevier, 2025. https://doi.org/10.1016/j.molcel.2025.06.027.
[Published Version]
View
| Files available
| DOI