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.
7478 Publications
2025 | Research Data | IST-REx-ID: 20242 | 
Schanda, P. (2025). Data of: “Quantifying the carbon footprint of conference travel: the case of NMR meetings.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20242
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20659 |
| 
|
Aguado, C., Alfaro-Ruiz, R., Martínez-Poyato, M. L., Moreno-Martínez, A. E., García-Madrona, S., Roldán-Sastre, A., … Luján, R. (2025). Developmental regulation of GABAB receptors and downstream molecules in the mouse brain. Histology and Histopathology. Sercrisma International. https://doi.org/10.14670/HH-18-970
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Conference Paper | IST-REx-ID: 20658 |
Edelsbrunner, H., Stephenson, E. R., & Thoresen, M. H. (2025). The mid-sphere cousin of the medial axis transform. In 4th International Joint Conference on Discrete Geometry and Mathematical Morphology (Vol. 16296, pp. 133–147). Groningen, The Netherlands: Springer Nature. https://doi.org/10.1007/978-3-032-09544-2_10
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20648 |
Chatterjee, K., Goharshady, A. K., Goharshady, E., Karrabi, M., Saadat, M., Seeliger, M., & Zikelic, D. (2025). PolyQEnt: A polynomial quantified entailment solver. In 23rd International Symposium on Automated Technology for Verification and Analysis (Vol. 16145, pp. 411–424). Bengaluru, India: Springer Nature. https://doi.org/10.1007/978-3-032-08707-2_19
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20685 |
|
|
Segura H et al. 2025. nextGEMS: Entering the era of kilometer-scale Earth system modeling. Geoscientific Model Development. 18(20), 7735–7761.
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 20690 |
Brihaye, T., Chatterjee, K., Mohr, S., & Weininger, M. (2025). Risk-aware Markov decision processes using cumulative prospect theory. In 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 458–471). Singapore, Singapore: IEEE. https://doi.org/10.1109/lics65433.2025.00041
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20689 |
Baier, C., Chatterjee, K., Meggendorfer, T., & Piribauer, J. (2025). Multiplicative rewards in Markovian models. In 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 499–512). Singapore, Singapore: IEEE. https://doi.org/10.1109/lics65433.2025.00044
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20688 |
Grobelna, M., Kretinsky, J., & Weininger, M. (2025). Stopping criteria for value iteration on concurrent stochastic reachability and safety games. In 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 568–580). Singapore, Singapore: IEEE. https://doi.org/10.1109/lics65433.2025.00049
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20684 |
Kurtic, E., Marques, A., Pandit, S., Kurtz, M., & Alistarh, D.-A. (2025). “Give me BF16 or give me death”? Accuracy-performance trade-offs in LLM quantization. In Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (pp. 26872–26886). Vienna, Austria: Association for Computational Linguistics.
[Published Version]
View
| Files available
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 17468 |
|
|
Mondal, S., Nguyen, H. T. K., Hauschild, R., & Freunberger, S. A. (2025). Marcus kinetics control singlet and triplet oxygen evolving from superoxide. Nature. Springer Nature. https://doi.org/10.1038/s41586-025-09587-7
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20188 |
|
|
Jikko, Y., Deguchi, E., Matsuda, K., Hino, N., Tsukiji, S., Matsuda, M., & Terai, K. (2025). Front-biased activation of the Ras-Rab5-Rac1 loop coordinates collective cell migration. Journal of Cell Science. The Company of Biologists. https://doi.org/10.1242/jcs.263779
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20100 |
|
|
Vedula, S., Bronstein, A. M., & Marx, A. (2025). Improving prediction accuracy in chimeric proteins with windowed multiple sequence alignment. Computational and Structural Biotechnology Journal. Elsevier. https://doi.org/10.1016/j.csbj.2025.07.039
[Published Version]
View
| Files available
| DOI
| WoS
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20043 |
Groechenig, M., & Shen, S. (2025). Complex K-theory of moduli spaces of Higgs bundles. Journal of the European Mathematical Society. European Mathematical Society. https://doi.org/10.4171/jems/1601
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2025 | Research Data Reference | IST-REx-ID: 20103 |
Vedula, S., Bronstein, A. M., & Marx, A. (2025). Replication Data for: “Improving Prediction Accuracy in Chimeric Proteins with Windowed Multiple Sequence Alignment.” Harvard Dataverse. https://doi.org/10.7910/DVN/DYEBVM
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2025 | Published | Journal Article | IST-REx-ID: 20705 |
|
|
Stöllner, A., Lenton, I. C., Volosniev, A., Millen, J., Shibuya, R., Ishii, H., … Waitukaitis, S. R. (2025). Using optical tweezers to simultaneously trap, charge, and measure the charge of a microparticle in air. Physical Review Letters. American Physical Society. https://doi.org/10.1103/5xd9-4tjj
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20707 |
Gahtan, B., Vedula, S., Samuelly Leichtag, G., Kodesh, E., & Bronstein, A. M. (2025). From lab to wrist: Bridging metabolic monitoring and consumer wearables for heart rate and oxygen consumption modeling. In Proceedings of the 27th International Conference on Multimodal Interaction (pp. 60–77). Canberra, Australia: Association for Computing Machinery. https://doi.org/10.1145/3716553.3750815
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20708 |
|
|
Martinet, Q., Li, Y. I., Aubret, A., Hannezo, E. B., & Palacci, J. A. (2025). Emergent dynamics of active elastic microbeams. Physical Review X. American Physical Society. https://doi.org/10.1103/rjk2-q2wh
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20702 |
King, D. S., Grzenda, D., Zhu, R., Hudson, N., Foster, I., Cheng, B., & Gagliardi, L. (2025). Cartesian equivariant representations for learning and understanding molecular orbitals. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2510235122
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20709 |
|
|
Brighi, P., Ljubotina, M., Roccati, F., & Balducci, F. (2025). Finite steady-state current defies non-Hermitian many-body localization. Physical Review Research. American Physical Society. https://doi.org/10.1103/crwj-x7j8
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Conference Paper | IST-REx-ID: 20253 |
Henzinger, T. A., Kebis, P., Mazzocchi, N. A., & Sarac, N. E. (2025). Quantitative language automata. In 36th International Conference on Concurrency Theory (Vol. 348). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2025.21
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv