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.
7452 Publications
2025 | Published | Thesis | IST-REx-ID: 19630 | 
Method for fluid simulation, surface tracking, and statistics of non-manifold structures
P. Synak, Method for Fluid Simulation, Surface Tracking, and Statistics of Non-Manifold Structures, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
P. Synak, Method for Fluid Simulation, Surface Tracking, and Statistics of Non-Manifold Structures, Institute of Science and Technology Austria, 2025.
2025 | Published | Journal Article | IST-REx-ID: 20322 |
| 
|
Cusp universality for correlated random matrices
L. Erdös, S.J. Henheik, V. Riabov, Communications in Mathematical Physics 406 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Erdös, S.J. Henheik, V. Riabov, Communications in Mathematical Physics 406 (2025).
2025 | Published | Journal Article | IST-REx-ID: 18764 |
Prethermalization for deformed Wigner matrices
L. Erdös, S.J. Henheik, J. Reker, V. Riabov, Annales Henri Poincare 26 (2025) 1991–2033.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Erdös, S.J. Henheik, J. Reker, V. Riabov, Annales Henri Poincare 26 (2025) 1991–2033.
2025 | Draft | Preprint | IST-REx-ID: 20576 |
The zigzag strategy for random band matrices
L. Erdös, V. Riabov, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
L. Erdös, V. Riabov, ArXiv (n.d.).
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 | 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 | 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.