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.
6092 Publications
2025 | Published | Conference Paper | IST-REx-ID: 20303 | 
Huang, Shimeng, et al. “Sparse Causal Effect Estimation Using Two-Sample Summary Statistics in the Presence of Unmeasured Confounding.” The 28th International Conference on Artificial Intelligence and Statistics, vol. 258, ML Research Press, 2025, pp. 3394–402.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20300 |
Wegel, Tobias, et al. “Learning Pareto Manifolds in High Dimensions: How Can Regularization Help?” The 28th International Conference on Artificial Intelligence and Statistics, vol. 258, ML Research Press, 2025, pp. 4591–99.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20297 |
Asadi, Ali, et al. “Limit-Sure Reachability for Small Memory Policies in POMDPs Is NP-Complete.” The 41st Conference on Uncertainty in Artificial Intelligence, vol. 286, ML Research Press, 2025, pp. 238–47.
[Published Version]
View
| Files available
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20296 |
Kresse, Fabian, et al. “Logic Gate Neural Networks Are Good for Verification.” 2nd International Conferenceon Neuro-Symbolic Systems, vol. 288, 26, 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.” Proceedings of the 28th International Conference on Artificial Intelligence and Statistics, vol. 258, ML Research Press, 2025, pp. 118–26.
[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.” 85th Annual Meeting of the Academy of Management, vol. 2025, no. 1, Academy of Management, 2025, doi: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, doi:10.15479/AT-ISTA-20138.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18169 |
Chalupa, Marek, et al. “VAMOS: Middleware for Best-Effort Third-Party Monitoring.” Science of Computer Programming, vol. 240, no. 2, 103212, Elsevier, 2025, doi: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, vol. 210, Springer Nature, 2025, pp. 881–94, doi: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, doi: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, iyaf175, Oxford University Press, 2025, doi: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, et al. “Optimal Decay of Eigenvector Overlap for Non-Hermitian Random Matrices.” Journal of Functional Analysis, vol. 290, no. 1, 111180, Elsevier, 2025, doi: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, vol. 229, no. 10, 108068, Elsevier, 2025, doi: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., et al. “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, vol. 17, no. 9, e2025MS005035, Wiley, 2025, doi:10.1029/2025ms005035.
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 19741 |
Chalupa, Marek, et al. “Automating the Analysis of Quantitative Automata with QuAK.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15696, Springer Nature, 2025, pp. 303–12, doi: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, doi: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, doi: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, doi:10.15479/AT-ISTA-20276.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18565 |
Bhargava, Manas, et al. “Mesh Simplification for Unfolding.” Computer Graphics Forum, vol. 44, no. 1, e15269, Wiley, 2025, doi:10.1111/cgf.15269.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Draft | Preprint | IST-REx-ID: 20286 |
Bhargava, Manas, et al. “Computational Design and Fabrication of Modular Robots with Untethered Control.” ArXiv, doi:10.48550/arXiv.2508.05410.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv