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.
5954 Publications
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: 20330 |
| 
|
Puixeu Sala, Gemma, and Laura Hayward. “The Relationship between Sexual Dimorphism and Intersex Correlation: Do Models Support Intuition?” Genetics. Oxford University Press, 2025. https://doi.org/10.1093/genetics/iyaf175.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20328 |
|
|
Cipolloni, Giorgio, László Erdös, and Yuanyuan Xu. “Optimal Decay of Eigenvector Overlap for Non-Hermitian Random Matrices.” Journal of Functional Analysis. Elsevier, 2025. https://doi.org/10.1016/j.jfa.2025.111180.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
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: 19630 |
Synak, Peter. “Method for Fluid Simulation, Surface Tracking, and Statistics of Non-Manifold Structures.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19630.
[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 | Epub ahead of print | Journal Article | IST-REx-ID: 20367 |
|
|
Browning, Timothy D, Will Sawin, and Victor Wang. “Pairs of Commuting Integer Matrices.” Mathematische Annalen. Springer Nature, 2025. https://doi.org/10.1007/s00208-025-03285-5.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv