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.
6830 Publications
2025 |
Published |
Journal Article |
IST-REx-ID: 20669 |
| 
|
Z. He et al., “Quantifying the seasonal dynamics of a transitional ice cliff-pond system on a debris-covered glacier,” Journal of Glaciology, vol. 71. Cambridge University Press, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Conference Paper |
IST-REx-ID: 19741 |
M. Chalupa, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Automating the analysis of quantitative automata with QuAK,” in 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2025, vol. 15696, pp. 303–312.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Draft |
Preprint |
IST-REx-ID: 21858 |
E. B. Iofinova, A. Jovanovic, and D.-A. Alistarh, “Position: It’s time to act on the risk of efficient personalized text generation,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 21144 |
V. Kolmogorov, S. Naldi, and J. Zapata, “Certifying solutions of degenerate semidefinite programs,” SIAM Journal on Optimization, vol. 35, no. 3. Society for Industrial and Applied Mathematics, pp. 1630–1654, 2025.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 20326 |
|
|
Y. Liu et al., “Liquid-solid interface reactions drive enhanced thermoelectric performance in Ag2Se,” Journal of the American Chemical Society, vol. 147, no. 35. American Chemical Society, pp. 32199–32208, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 20331 |
|
|
E. York, I. Stone, W. Shi, X. Roy, and L. Venkataraman, “Tuning conductance in BODIPY-based single-molecule junctions,” Nano Letters, vol. 25, no. 36. American Chemical Society, pp. 13697–13702, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
earlier version | 2025 |
Draft |
Preprint |
IST-REx-ID: 20465 |
S. Naik, Y.-E. Keta, K. Pranjic-Ferscha, E. B. Hannezo, S. Henkes, and C.-P. J. Heisenberg, “Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties,” bioRxiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2025 |
Published |
Thesis | MS |
IST-REx-ID: 20735 |
A. C. Wilson, “Modelling the spinal cord of a tadpole: Exploring different ways to model the spinal cord in the Xenopus frog,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Draft |
Preprint |
IST-REx-ID: 21398 |
M. Dvorak et al., “Composition direction of Seymour’s theorem for regular matroids — Formally verified,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Draft |
Preprint |
IST-REx-ID: 20286 |
M. Bhargava et al., “Computational design and fabrication of modular robots with untethered control,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20371 |
A. Trioni, “High-impedance quantum circuits for mesoscopic physics: Geometric superinductors and insulating Josephson Chains,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Conference Paper |
IST-REx-ID: 20008 |
S. Avvakumov, M. Filakovský, J. Opršal, G. Tasinato, and U. Wagner, “Hardness of 4-colouring G-colourable graphs,” in Proceedings of the 57th Annual ACM Symposium on Theory of Computing, Prague, Czechia, 2025, pp. 72–83.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 18112 |
S. J. Henheik, “Deformational rigidity of integrable metrics on the torus,” Ergodic Theory and Dynamical Systems, vol. 45, no. 2. Cambridge University Press, pp. 467–503, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 19001 |
L. Erdös, S. J. Henheik, and O. Kolupaiev, “Loschmidt echo for deformed Wigner matrices,” Letters in Mathematical Physics, vol. 115. Springer Nature, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 19548 |
S. J. Henheik and A. B. Lauritsen, “Universal behavior of the BCS energy gap,” Journal of Spectral Theory, vol. 15, no. 1. EMS Press, pp. 305–352, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Draft |
Preprint |
IST-REx-ID: 19552 |
S. J. Henheik, B. Poudyal, and R. Tumulka, “How a space-time singularity helps remove the ultraviolet divergence problem,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 19785 |
B. Kavcic and G. Tkačik, “Token-driven totally asymmetric simple exclusion processes,” Physical Review E, vol. 111, no. 5. American Physical Society, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
earlier version | 2025 |
Research Data |
IST-REx-ID: 20641 |
L. M. Becker and P. Schanda, “Data for ‘Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes.’” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 18820 |
R. Wild, F. Wodaczek, V. Del Tatto, B. Cheng, and A. Laio, “Automatic feature selection and weighting in molecular systems using Differentiable Information Imbalance,” Nature Communications, vol. 16. Springer Nature, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC