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.
11026 Publications
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: 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
2025 | Published | Thesis | IST-REx-ID: 19759 |
Prach, B. (2025). Robust image classification with 1-Lipschitz networks. Institute of Science and Technology Austria. https://doi.org/10.15479/10.15479/at-ista-19759
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20276 |
Bhargava, M. (2025). Design and control of deformable structures: From PCB lighting displays to elastomer robots. Institute of Science and Technology Austria. https://doi.org/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., Hugron, P. A., Lefebvre, S., Sellán, S., & Bickel, B. (2025). Mesh simplification for unfolding. Computer Graphics Forum. Wiley. https://doi.org/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., Zhang, Y., Piovarci, M., Daraio, C., … Bickel, B. (n.d.). Computational design and fabrication of modular robots with untethered control. arXiv. 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, S., Filakovský, M., Opršal, J., Tasinato, G., & Wagner, U. (2025). Hardness of 4-colouring G-colourable graphs. In Proceedings of the 57th Annual ACM Symposium on Theory of Computing (pp. 72–83). Prague, Czechia: Association for Computing Machinery. https://doi.org/10.1145/3717823.3718154
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20167
Schön, H. (2025). The ER complex SUTU-7/MACO-1 regulates the fate of mRNAs encoding GPCRs. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20167
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Abstract | IST-REx-ID: 20054
Horta, S. (2025). Solid state diffusion in metal-semiconductors core-shell nanoparticle. In Proceedings of the MATSUS Spring 2025 Conference. Sevilla, Spain: Fundació de la comunitat valenciana SCITO. https://doi.org/10.29363/nanoge.matsusspring.2025.220
View
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20374 |
|
|
Chakraborty, D., Sandate, C. R., Isbel, L., Kempf, G., Weiss, J., Cavadini, S., … Thomä, N. H. (2025). Nucleosomes specify co-factor access to p53. Molecular Cell. Elsevier. https://doi.org/10.1016/j.molcel.2025.06.027
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 15016 |
Jaeger ECB, Vijatovic D, Deryckere A, Zorin N, Nguyen AL, Ivanian G, Woych J, Arnold RC, Ortega Gurrola A, Shvartsman A, Barbieri F, Toma F-A, Gorbsky GJ, Horb ME, Cline HT, Shay TF, Kelley DB, Yamaguchi A, Shein-Idelson M, Tosches MA, Sweeney LB. 2025. Adeno-associated viral tools to trace neural development and connectivity across amphibians. Developmental Cell. 60(5), 794–812.e6.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 18605 |
Agasthya, L. N., Muller, C. J., & Cheve, M. (2025). Moist convective scaling: Insights from an idealised model. Quarterly Journal of the Royal Meteorological Society. Wiley. https://doi.org/10.1002/qj.4902
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Published | Journal Article | IST-REx-ID: 17240 |
|
|
Lauritsen, A. B. (2025). Almost optimal upper bound for the ground state energy of a dilute Fermi gas via cluster expansion. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-024-01450-1
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 18074 |
|
|
Fialova, M. (2025). Aharonov–Casher theorems for Dirac operators on manifolds with boundary and APS boundary condition. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-024-01482-7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 19002 |
Cortés, P. P., Kumar, P., Moore, B., Ossona de Mendez, P., & Quiroz, D. A. (2025). Subchromatic numbers of powers of graphs with excluded minors. Discrete Mathematics. Elsevier. https://doi.org/10.1016/j.disc.2024.114377
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv