ISTA Research Explorer

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.

7482 Publications

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

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.

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.)

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.)

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

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

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

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

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

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

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

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

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

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

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

Marcus kinetics control singlet and triplet oxygen evolving from superoxide
S. Mondal, H.T.K. Nguyen, R. Hauschild, S.A. Freunberger, Nature 646 (2025) 601–605.

Front-biased activation of the Ras-Rab5-Rac1 loop coordinates collective cell migration
Y. Jikko, E. Deguchi, K. Matsuda, N. Hino, S. Tsukiji, M. Matsuda, K. Terai, Journal of Cell Science 138 (2025).

Improving prediction accuracy in chimeric proteins with windowed multiple sequence alignment
S. Vedula, A.M. Bronstein, A. Marx, Computational and Structural Biotechnology Journal 27 (2025) 3292–3298.

[Published Version] View | Files available | DOI | WoS

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20043 |

Complex K-theory of moduli spaces of Higgs bundles
M. Groechenig, S. Shen, Journal of the European Mathematical Society (2025).

[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv

2025 | Research Data Reference | IST-REx-ID: 20103 |

Replication Data for: "Improving Prediction Accuracy in Chimeric Proteins with Windowed Multiple Sequence Alignment"
S. Vedula, A.M. Bronstein, A. Marx, (2025).

[Published Version] View | Files available | DOI | Download Published Version (ext.)

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

7482 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

7482 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options