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 F, Yu E, Lampert C, Henzinger TA. 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 N, Steinberger L. Efficient estimation of a Gaussian mean with local differential privacy. In: Proceedings of the 28th International Conference on Artificial Intelligence and Statistics. Vol 258. ML Research Press; 2025:118-126.
[Published Version]
View
| Files available
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19968
Plata C, Casallas Garcia A. 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. doi:10.5465/AMPROC.2025.54bp
View
| DOI
2025 | Published | Thesis | IST-REx-ID: 20138 |
Svoboda J. Structural properties of games on graphs. 2025. doi:10.15479/AT-ISTA-20138
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18169 |
Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. VAMOS: Middleware for best-effort third-party monitoring. Science of Computer Programming. 2025;240(2). doi:10.1016/j.scico.2024.103212
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Published | Journal Article | IST-REx-ID: 15121 |
Zheng DW, Henzinger M. Multiplicative auction algorithm for approximate maximum weight bipartite matching. Mathematical Programming. 2025;210:881-894. 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 Y. The role of dynamin related protein 2A in cytokinin regulated plant growth and development. 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 G, Hayward L. The relationship between sexual dimorphism and intersex correlation: Do models support intuition? Genetics. 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 G, Erdös L, Xu Y. Optimal decay of eigenvector overlap for non-Hermitian random matrices. Journal of Functional Analysis. 2025;290(1). 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 A, Draganov O. Discrete microlocal Morse theory. Journal of Pure and Applied Algebra. 2025;229(10). 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 BB, Polesello A, Muller CJ. 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. 2025;17(9). doi:10.1029/2025ms005035
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 19741 |
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. Automating the analysis of quantitative automata with QuAK. In: 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 15696. Springer Nature; 2025:303-312. doi:10.1007/978-3-031-90643-5_16
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Thesis | IST-REx-ID: 19759 |
Prach B. Robust image classification with 1-Lipschitz networks. 2025. doi:10.15479/10.15479/at-ista-19759
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19630 |
Synak P. Method for fluid simulation, surface tracking, and statistics of non-manifold structures. 2025. doi:10.15479/AT-ISTA-19630
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20276 |
Bhargava M. Design and control of deformable structures: From PCB lighting displays to elastomer robots. 2025. doi:10.15479/AT-ISTA-20276
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 18565 |
Bhargava M, Schreck C, Freire M, et al. Mesh simplification for unfolding. Computer Graphics Forum. 2025;44(1). doi:10.1111/cgf.15269
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Draft | Preprint | IST-REx-ID: 20286 |
Bhargava M, Hiraki T, Strugaru I-M, 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
2025 | Published | Conference Paper | IST-REx-ID: 20008 |
Avvakumov S, Filakovský M, Opršal J, Tasinato G, Wagner U. Hardness of 4-colouring G-colourable graphs. In: Proceedings of the 57th Annual ACM Symposium on Theory of Computing. Association for Computing Machinery; 2025:72-83. doi:10.1145/3717823.3718154
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20167
Schön H. The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs. 2025. doi:10.15479/AT-ISTA-20167
[Published Version]
View
| Files available
| DOI
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20367 |
|
|
Browning TD, Sawin W, Wang V. Pairs of commuting integer matrices. Mathematische Annalen. 2025. doi:10.1007/s00208-025-03285-5
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv