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.
11103 Publications
2025 | Published | Thesis | IST-REx-ID: 20551 | 
Symplectic-prequantum structures and dynamics on the codimension-2 shape space
S. Ishida, Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
S. Ishida, Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space, Institute of Science and Technology Austria, 2025.
2025 | Draft | Preprint | IST-REx-ID: 20580 |
Implicit representations of codimension-2 submanifolds and their prequantum structure
A. Chern, S. Ishida, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A. Chern, S. Ishida, ArXiv (n.d.).
2025 | Research Data | IST-REx-ID: 20641 |
Data for "Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes"
L.M. Becker, P. Schanda, (2025).
View
| Files available
| DOI
L.M. Becker, P. Schanda, (2025).
2025 | Published | Journal Article | IST-REx-ID: 18778 |
Mechanism of mammalian transcriptional repression by noncoding RNA
K. Tluckova, B.M. Kaczmarek, A.P. Testa Salmazo, C. Bernecky, Nature Structural & Molecular Biology 32 (2025) 607–612.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
K. Tluckova, B.M. Kaczmarek, A.P. Testa Salmazo, C. Bernecky, Nature Structural & Molecular Biology 32 (2025) 607–612.
2025 | Published | Conference Paper | IST-REx-ID: 20668 |
Exploring how to authenticate application messages in MLS: More efficient, post-quantum, and anonymous blocklistable
K. Hashimoto, S. Katsumata, G. Pascual Perez, in:, 34th Usenix Security Symposium, Usenix Association, 2025, pp. 6699–6716.
[Published Version]
View
| Files available
| Download Published Version (ext.)
K. Hashimoto, S. Katsumata, G. Pascual Perez, in:, 34th Usenix Security Symposium, Usenix Association, 2025, pp. 6699–6716.
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20669 |
| 
|
Quantifying the seasonal dynamics of a transitional ice cliff-pond system on a debris-covered glacier
Z. He, M. Westoby, S. REN, C. Zhao, Y. He, T. Zhang, W. Yang, Journal of Glaciology (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
Z. He, M. Westoby, S. REN, C. Zhao, Y. He, T. Zhang, W. Yang, Journal of Glaciology (2025).
2025 | Published | Journal Article | IST-REx-ID: 20664 |
|
|
Quantifying the carbon footprint of conference travel: The case of NMR meetings
L. Kapoor, N. Ruzickova, P. Zivadinovic, V. Leitner, M.A. Sisak, C.N. Mweka, J.A. Dobbelaere, G. Katsaros, P. Schanda, Magnetic Resonance 6 (2025) 243–256.
[Published Version]
View
| Files available
| DOI
L. Kapoor, N. Ruzickova, P. Zivadinovic, V. Leitner, M.A. Sisak, C.N. Mweka, J.A. Dobbelaere, G. Katsaros, P. Schanda, Magnetic Resonance 6 (2025) 243–256.
2025 | Published | Journal Article | IST-REx-ID: 20663 |
|
|
Angle dependence as a unifying feature of root graviresponse modules
S. Roychoudhry, K. Sageman-Furnas, H.J. Taylor, I. Showpnil, C. Wolverton, J. Friml, M.D. Bianco, S. Kepinski, Proceedings of the National Academy of Sciences of the United States of America 122 (2025) e2506400122.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Roychoudhry, K. Sageman-Furnas, H.J. Taylor, I. Showpnil, C. Wolverton, J. Friml, M.D. Bianco, S. Kepinski, Proceedings of the National Academy of Sciences of the United States of America 122 (2025) e2506400122.
2025 | Research Data | IST-REx-ID: 20242 |
Data of: "Quantifying the carbon footprint of conference travel: the case of NMR meetings"
P. Schanda, (2025).
View
| Files available
| DOI
P. Schanda, (2025).
2025 | Published | Conference Paper | IST-REx-ID: 20667
Mean estimation in high-dimensional binary timeinhomogeneous Markov Gaussian mixture models
A. El Latif Kadry, Y. Zhang, N. Weinberger, in:, 2025 IEEE International Symposium on Information Theory Proceedings, IEEE, 2025.
View
| DOI
A. El Latif Kadry, Y. Zhang, N. Weinberger, in:, 2025 IEEE International Symposium on Information Theory Proceedings, IEEE, 2025.
2025 | Published | Journal Article | IST-REx-ID: 20659 |
|
|
Developmental regulation of GABAB receptors and downstream molecules in the mouse brain
C. Aguado, R. Alfaro-Ruiz, M.L. Martínez-Poyato, A.E. Moreno-Martínez, S. García-Madrona, A. Roldán-Sastre, P. Alonso-Gómez, M. Fernández, R. Puertas-Avendaño, R. Shigemoto, K.A. Martemyanov, R. Luján, Histology and Histopathology 40 (2025) 1967–1984.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
C. Aguado, R. Alfaro-Ruiz, M.L. Martínez-Poyato, A.E. Moreno-Martínez, S. García-Madrona, A. Roldán-Sastre, P. Alonso-Gómez, M. Fernández, R. Puertas-Avendaño, R. Shigemoto, K.A. Martemyanov, R. Luján, Histology and Histopathology 40 (2025) 1967–1984.
2025 | Published | Conference Paper | IST-REx-ID: 20658 |
The mid-sphere cousin of the medial axis transform
H. Edelsbrunner, E.R. Stephenson, M.H. Thoresen, in:, 4th International Joint Conference on Discrete Geometry and Mathematical Morphology, Springer Nature, 2025, pp. 133–147.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
H. Edelsbrunner, E.R. Stephenson, M.H. Thoresen, in:, 4th International Joint Conference on Discrete Geometry and Mathematical Morphology, Springer Nature, 2025, pp. 133–147.
2025 | Published | Conference Paper | IST-REx-ID: 20648 |
PolyQEnt: A polynomial quantified entailment solver
K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, M. Saadat, M. Seeliger, D. Zikelic, in:, 23rd International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2025, pp. 411–424.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, M. Saadat, M. Seeliger, D. Zikelic, in:, 23rd International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2025, pp. 411–424.
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20636
TMK-PIN1 drives a short self-organizing circuit for auxin export and signaling in Arabidopsis
Huang R, Wang J, Chang M, Tang W, Yu Y, Zhang Y, Peng Y, Wang Y, Guo Y, Lu T, Cao Y, Zhou Y, Zhang Q, Huang Y, Wu A, Ren L, Gallei MC, Dong J, Chen H, He J, Wen M, Friml J, Sun L, Xiong Y, Yang Z, Xu T. 2025. TMK-PIN1 drives a short self-organizing circuit for auxin export and signaling in Arabidopsis. Developmental Cell., S1534-5807(25)00569–6.
View
| DOI
| PubMed | Europe PMC
Huang R, Wang J, Chang M, Tang W, Yu Y, Zhang Y, Peng Y, Wang Y, Guo Y, Lu T, Cao Y, Zhou Y, Zhang Q, Huang Y, Wu A, Ren L, Gallei MC, Dong J, Chen H, He J, Wen M, Friml J, Sun L, Xiong Y, Yang Z, Xu T. 2025. TMK-PIN1 drives a short self-organizing circuit for auxin export and signaling in Arabidopsis. Developmental Cell., S1534-5807(25)00569–6.
2025 | Published | Journal Article | IST-REx-ID: 20685 |
|
|
nextGEMS: Entering the era of kilometer-scale Earth system modeling
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
Segura H et al. 2025. nextGEMS: Entering the era of kilometer-scale Earth system modeling. Geoscientific Model Development. 18(20), 7735–7761.
2025 | Published | Conference Paper | IST-REx-ID: 20690 |
Risk-aware Markov decision processes using cumulative prospect theory
T. Brihaye, K. Chatterjee, S. Mohr, M. Weininger, in:, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 458–471.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T. Brihaye, K. Chatterjee, S. Mohr, M. Weininger, in:, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 458–471.
2025 | Published | Conference Paper | IST-REx-ID: 20689 |
Multiplicative rewards in Markovian models
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, in:, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 499–512.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, in:, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 499–512.
2025 | Published | Conference Paper | IST-REx-ID: 20688 |
Stopping criteria for value iteration on concurrent stochastic reachability and safety games
M. Grobelna, J. Kretinsky, M. Weininger, in:, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 568–580.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Grobelna, J. Kretinsky, M. Weininger, in:, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 568–580.
2025 | Published | Conference Paper | IST-REx-ID: 20684 |
“Give me BF16 or give me death”? Accuracy-performance trade-offs in LLM quantization
E. Kurtic, A. Marques, S. Pandit, M. Kurtz, D.-A. Alistarh, in:, Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics, Association for Computational Linguistics, 2025, pp. 26872–26886.
[Published Version]
View
| Files available
| arXiv
E. Kurtic, A. Marques, S. Pandit, M. Kurtz, D.-A. Alistarh, in:, Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics, Association for Computational Linguistics, 2025, pp. 26872–26886.
2025 | Published | Thesis | IST-REx-ID: 20357
Effect propagation in biological networks
N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
N. Ruzickova, Effect Propagation in Biological Networks, Institute of Science and Technology Austria, 2025.