ISTA Research Explorer

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

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6217 Publications

Z. He et al., “Quantifying the seasonal dynamics of a transitional ice cliff-pond system on a debris-covered glacier,” Journal of Glaciology. Cambridge University Press, 2025.

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

L. Kapoor et al., “Quantifying the carbon footprint of conference travel: The case of NMR meetings,” Magnetic Resonance, vol. 6, no. 2. Copernicus Publications, pp. 243–256, 2025.

[Published Version] View | Files available | DOI

S. Roychoudhry et al., “Angle dependence as a unifying feature of root graviresponse modules,” Proceedings of the National Academy of Sciences of the United States of America, vol. 122, no. 46. National Academy of Sciences, p. e2506400122, 2025.

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2025 | Research Data | IST-REx-ID: 20242 |

P. Schanda, “Data of: ‘Quantifying the carbon footprint of conference travel: the case of NMR meetings.’” Institute of Science and Technology Austria, 2025.

View | Files available | DOI

2025 | Published | Conference Paper | IST-REx-ID: 20667

A. El Latif Kadry, Y. Zhang, and N. Weinberger, “Mean estimation in high-dimensional binary timeinhomogeneous Markov Gaussian mixture models,” in 2025 IEEE International Symposium on Information Theory Proceedings, Ann Arbor, MI, United States, 2025.

View | DOI

C. Aguado et al., “Developmental regulation of GABAB receptors and downstream molecules in the mouse brain,” Histology and Histopathology, vol. 40, no. 12. Sercrisma International, pp. 1967–1984, 2025.

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2025 | Published | Conference Paper | IST-REx-ID: 20658 |

H. Edelsbrunner, E. R. Stephenson, and M. H. Thoresen, “The mid-sphere cousin of the medial axis transform,” in 4th International Joint Conference on Discrete Geometry and Mathematical Morphology, Groningen, The Netherlands, 2025, vol. 16296, pp. 133–147.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 20648 |

K. Chatterjee et al., “PolyQEnt: A polynomial quantified entailment solver,” in 23rd International Symposium on Automated Technology for Verification and Analysis, Bengaluru, India, 2025, vol. 16145, pp. 411–424.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

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

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

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 |

T. Brihaye, K. Chatterjee, S. Mohr, and M. Weininger, “Risk-aware Markov decision processes using cumulative prospect theory,” in 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, Singapore, Singapore, 2025, pp. 458–471.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 20689 |

C. Baier, K. Chatterjee, T. Meggendorfer, and J. Piribauer, “Multiplicative rewards in Markovian models,” in 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, Singapore, Singapore, 2025, pp. 499–512.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 20688 |

M. Grobelna, J. Kretinsky, and M. Weininger, “Stopping criteria for value iteration on concurrent stochastic reachability and safety games,” in 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, Singapore, Singapore, 2025, pp. 568–580.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 20684 |

E. Kurtic, A. Marques, S. Pandit, M. Kurtz, and D.-A. Alistarh, “‘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, Vienna, Austria, 2025, pp. 26872–26886.

[Published Version] View | Files available | arXiv

2025 | Published | Thesis | IST-REx-ID: 20357

N. Ruzickova, “Effect propagation in biological networks,” Institute of Science and Technology Austria, 2025.

[Published Version] View | Files available | DOI

S. Mondal, H. T. K. Nguyen, R. Hauschild, and S. A. Freunberger, “Marcus kinetics control singlet and triplet oxygen evolving from superoxide,” Nature, vol. 646, no. 8085. Springer Nature, pp. 601–605, 2025.

2025 | Published | Thesis | IST-REx-ID: 20556 |

C. Hoffmann, “Theory and applications of verifiable delay functions,” Institute of Science and Technology Austria, 2025.

[Published Version] View | Files available | DOI

2025 | Published | Conference Paper | IST-REx-ID: 19778 |

C. Hoffmann and K. Z. Pietrzak, “Watermarkable and zero-knowledge Verifiable Delay Functions from any proof of exponentiation,” in 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Roros, Norway, 2025, vol. 15674, pp. 36–66.

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

Y. Jikko et al., “Front-biased activation of the Ras-Rab5-Rac1 loop coordinates collective cell migration,” Journal of Cell Science, vol. 138, no. 15. The Company of Biologists, 2025.

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

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

Institute of Science and Technology Austria (ISTA)

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

6217 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

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

6217 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options