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.
10932 Publications
2025 | Published | Thesis | IST-REx-ID: 19763
Rus, S. (2025). Dynamics of morphogen signalling and cell fate decisions in the dorsal neural tube. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19763
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 20292 | 
Gupta, A., Henzinger, T. A., Kueffner, K., Mallik, K., & Pape, D. (2025). Monitoring robustness and individual fairness. In Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining (Vol. 2, pp. 790–801). Toronto, Canada: Association for Computing Machinery. https://doi.org/10.1145/3711896.3737054
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20299 |
Asadi, A., Chatterjee, K., & De Raaij, J. (2025). Lower bound on Howard policy iteration for deterministic Markov Decision Processes. In The 41st Conference on Uncertainty in Artificial Intelligence (Vol. 286, pp. 223–232). Rio de Janeiro, Brazil: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20301 |
Henzinger, M., Sricharan, A. R., & Steiner, T. A. (2025). Differentially private continual release of histograms and related queries. In The 28th International Conference on Artificial Intelligence and Statistics (Vol. 258, pp. 1990–1998). Mai Khao, Thailand: ML Research Press.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20302 |
Luo, R., Stich, S. U., Horváth, S., & Takáč, M. (2025). Revisiting LocalSGD and SCAFFOLD: Improved rates and missing analysis. In The 28th International Conference on Artificial Intelligence and Statistics (Vol. 258, pp. 2539–2547). Mai Khao, Thailand: ML Research Press.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20303 |
Huang, S., Pfister, N., & Bowden, J. (2025). Sparse causal effect estimation using two-sample summary statistics in the presence of unmeasured confounding. In The 28th International Conference on Artificial Intelligence and Statistics (Vol. 258, pp. 3394–3402). Mai Khao, Thailand: ML Research Press.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20300 |
Wegel, T., Kovačević, F., Ţifrea, A., & Yang, F. (2025). Learning Pareto manifolds in high dimensions: How can regularization help? In The 28th International Conference on Artificial Intelligence and Statistics (Vol. 258, pp. 4591–4599). Mai Khao, Thailand: ML Research Press.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20297 |
Asadi, A., Chatterjee, K., Saona Urmeneta, R. J., & Shafiee, A. (2025). Limit-sure reachability for small memory policies in POMDPs is NP-complete. In The 41st Conference on Uncertainty in Artificial Intelligence (Vol. 286, pp. 238–247). Rio de Janeiro, Brazil: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20296 |
Kresse, F., Yu, E., Lampert, C., & Henzinger, T. A. (2025). Logic gate neural networks are good for verification. In 2nd International Conferenceon Neuro-Symbolic Systems (Vol. 288). Philadephia, PA, United States: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20298 |
Kalinin, N., & Steinberger, L. (2025). Efficient estimation of a Gaussian mean with local differential privacy. In Proceedings of the 28th International Conference on Artificial Intelligence and Statistics (Vol. 258, pp. 118–126). Mai Khao, Thailand: ML Research Press.
[Published Version]
View
| Files available
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 19968
Plata, C., & Casallas Garcia, A. (2025). Machine learning analysis of the factors influencing university-industry collaborations. In 85th Annual Meeting of the Academy of Management (Vol. 2025). Copenhagen, Denmark: Academy of Management. https://doi.org/10.5465/AMPROC.2025.54bp
View
| DOI
2025 | Published | Thesis | IST-REx-ID: 20138 |
Svoboda, J. (2025). Structural properties of games on graphs. Institute of Science and Technology Austria. https://doi.org/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, T. A. (2025). VAMOS: Middleware for best-effort third-party monitoring. Science of Computer Programming. Elsevier. 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, D. W., & Henzinger, M. (2025). Multiplicative auction algorithm for approximate maximum weight bipartite matching. Mathematical Programming. Springer Nature. 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, Y. (2025). The role of dynamin related protein 2A in cytokinin regulated plant growth and development. Institute of Science and Technology Austria. 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, G., & Hayward, L. (2025). The relationship between sexual dimorphism and intersex correlation: Do models support intuition? Genetics. Oxford University Press. 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, G., Erdös, L., & Xu, Y. (2025). Optimal decay of eigenvector overlap for non-Hermitian random matrices. Journal of Functional Analysis. Elsevier. 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, A., & Draganov, O. (2025). Discrete microlocal Morse theory. Journal of Pure and Applied Algebra. Elsevier. 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, B. B., Polesello, A., & Muller, C. J. (2025). 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. https://doi.org/10.1029/2025ms005035
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 19741 |
Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2025). 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, pp. 303–312). Springer Nature. https://doi.org/10.1007/978-3-031-90643-5_16
[Published Version]
View
| Files available
| DOI
| arXiv