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 | OA | PlanS
He, Z., Westoby, M., REN, S., Zhao, C., He, Y., Zhang, T., & Yang, W. (2025). Quantifying the seasonal dynamics of a transitional ice cliff-pond system on a debris-covered glacier. Journal of Glaciology. Cambridge University Press. https://doi.org/10.1017/jog.2025.10104
[Published Version] View | Files available | DOI
 

2025 | Published | Conference Paper | IST-REx-ID: 19741 | OA
Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2025). Automating the analysis of quantitative automata with QuAK. In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 15696, pp. 303–312). Springer Nature. https://doi.org/10.1007/978-3-031-90643-5_16
[Published Version] View | Files available | DOI | arXiv
 

2025 | Draft | Preprint | IST-REx-ID: 21858 | OA
Iofinova, E. B., Jovanovic, A., & Alistarh, D.-A. (n.d.). Position: It’s time to act on the risk of efficient personalized text generation. arXiv. https://doi.org/10.48550/arXiv.2502.06560
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 21144 | OA
Kolmogorov, V., Naldi, S., & Zapata, J. (2025). Certifying solutions of degenerate semidefinite programs. SIAM Journal on Optimization. Society for Industrial and Applied Mathematics. https://doi.org/10.1137/24m1664691
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 20326 | OA | PlanS
Liu, Y., Kleinhanns, T., Horta, S., Dutkiewicz, E., Lu, S., Spadaro, M. C., … Ibáñez, M. (2025). Liquid-solid interface reactions drive enhanced thermoelectric performance in Ag2Se. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/jacs.5c11435
[Published Version] View | Files available | DOI | WoS
 

2025 | Published | Journal Article | IST-REx-ID: 20331 | OA | PlanS
York, E., Stone, I., Shi, W., Roy, X., & Venkataraman, L. (2025). Tuning conductance in BODIPY-based single-molecule junctions. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.5c03764
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2025 | Published | Journal Article | IST-REx-ID: 20603
Elsholtz, C., Ruzsa, I. Z., & Wurzinger, L. (2025). Sumset growth in progression-free sets. Acta Arithmetica. Institute of Mathematics. https://doi.org/10.4064/aa250115-14-7
View | DOI | WoS
 

earlier version | 2025 | Draft | Preprint | IST-REx-ID: 20465 | OA
Naik, S., Keta, Y.-E., Pranjic-Ferscha, K., Hannezo, E. B., Henkes, S., & Heisenberg, C.-P. J. (n.d.). Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties. bioRxiv. https://doi.org/10.1101/2025.02.14.638262
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2025 | Published | Thesis | MS | IST-REx-ID: 20735 | OA
Wilson, A. C. (2025). 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. https://doi.org/10.15479/AT-ISTA-20735
[Published Version] View | Files available | DOI
 

2025 | Draft | Preprint | IST-REx-ID: 21398 | OA
Dvorak, M., Figueroa-Reid, T., Hamadani, R., Hwang, B.-H., Karunus, E., Kolmogorov, V., … Sergeev, I. (n.d.). Composition direction of Seymour’s theorem for regular matroids — Formally verified. arXiv. https://doi.org/10.48550/arXiv.2509.20539
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2025 | Draft | Preprint | IST-REx-ID: 20286 | OA
Bhargava, M., Hiraki, T., Strugaru, I.-M., Zhang, Y., Piovarci, M., Daraio, C., … Bickel, B. (n.d.). Computational design and fabrication of modular robots with untethered control. arXiv. https://doi.org/10.48550/arXiv.2508.05410
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Thesis | PhD | IST-REx-ID: 20371 | OA
Trioni, A. (2025). High-impedance quantum circuits for mesoscopic physics: Geometric superinductors and insulating Josephson Chains. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20371
[Published Version] View | Files available | DOI
 

2025 | Published | Conference Paper | IST-REx-ID: 20008 | OA
Avvakumov, S., Filakovský, M., Opršal, J., Tasinato, G., & Wagner, U. (2025). Hardness of 4-colouring G-colourable graphs. In Proceedings of the 57th Annual ACM Symposium on Theory of Computing (pp. 72–83). Prague, Czechia: Association for Computing Machinery. https://doi.org/10.1145/3717823.3718154
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 18112 | OA
Henheik, S. J. (2025). Deformational rigidity of integrable metrics on the torus. Ergodic Theory and Dynamical Systems. Cambridge University Press. https://doi.org/10.1017/etds.2024.48
[Published Version] View | Files available | DOI | WoS
 

2025 | Published | Journal Article | IST-REx-ID: 19001 | OA
Erdös, L., Henheik, S. J., & Kolupaiev, O. (2025). Loschmidt echo for deformed Wigner matrices. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-025-01904-5
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 19548 | OA
Henheik, S. J., & Lauritsen, A. B. (2025). Universal behavior of the BCS energy gap. Journal of Spectral Theory. EMS Press. https://doi.org/10.4171/JST/540
[Published Version] View | Files available | DOI | WoS | arXiv
 

2025 | Draft | Preprint | IST-REx-ID: 19552 | OA
Henheik, S. J., Poudyal, B., & Tumulka, R. (n.d.). How a space-time singularity helps remove the ultraviolet divergence problem. arXiv. https://doi.org/10.48550/arXiv.2409.00677
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 19785 | OA
Kavcic, B., & Tkačik, G. (2025). Token-driven totally asymmetric simple exclusion processes. Physical Review E. American Physical Society. https://doi.org/10.1103/physreve.111.054122
[Published Version] View | Files available | DOI | WoS
 

earlier version | 2025 | Research Data | IST-REx-ID: 20641 | OA
Becker, L. M., & Schanda, P. (2025). Data for “Aromatic Ring Flips Reveal Reshaping of Protein Dynamics in Crystals and Complexes.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20641
[Published Version] View | Files available | DOI
 

2025 | Published | Journal Article | IST-REx-ID: 18820 | OA
Wild, R., Wodaczek, F., Del Tatto, V., Cheng, B., & Laio, A. (2025). Automatic feature selection and weighting in molecular systems using Differentiable Information Imbalance. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-55449-7
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed