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.
11142 Publications
2025 | Published | Conference Paper | IST-REx-ID: 19778 | 
Hoffmann C, Pietrzak KZ. 2025. Watermarkable and zero-knowledge Verifiable Delay Functions from any proof of exponentiation. 28th IACR International Conference on Practice and Theory of Public-Key Cryptography. PKC: Public-Key Cryptography, LNCS, vol. 15674, 36–66.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2025 | Published | Thesis | IST-REx-ID: 20811 |
Rella S. 2025. Adaptive processes in biology and culture : Models of evolving vaccine resistance and the record statistics of innovation. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20977 |
Maslarova A, Shin JN, Navas Olivé AC, Vöröslakos M, Hamer H, Doerfler A, Henin S, Buzsáki G, Liu A. 2025. Spatiotemporal patterns differentiate hippocampal sharp-wave ripples from interictal epileptiform discharges in mice and humans. Nature Communications. 16, 11636.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20973
Meng W, Li M, Wang Q, Song P, Yang X, Wang WJ, Hong M, Ibáñez M, Cabot A, Zhang Y, Liu Y, Lim KH. 2025. Efficient near room temperature thermoelectric cooling and power generation with CuAgSe. Small., e13035.
View
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20976 |
Patel L, Hawaldar S, Panikkar A, Shankar A, Suri B. 2025. Impedance-engineered Josephson parametric amplifier with single-step lithography. Applied Physics Letters. 127(25), 254001.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20798
Wald S. 2025. Atoms in a propagating-wave cavity for squeezed Mach-Zehnder atom interferometry. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19630 |
Synak P. 2025. Methods for fluid simulation, surface tracking, and statistics of non-manifold structures. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20960 |
| 
|
Loos M, Xu F, Mandal PK, Chakrabortty T, Douat C, Konrad DB, Cabbar M, Singer J, Corvaglia V, Carell T, Huc I. 2025. Interfacing B‐DNA and DNA mimic foldamers. Angewandte Chemie International Edition. 64(31), e202505273.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20990 |
|
|
Zhong P, Kim D, King DS, Cheng B. 2025. Machine learning interatomic potential can infer electrical response. npj Computational Materials. 11, 384.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19276 |
|
|
Cappellaro A, Bighin G, Cherepanov I, Lemeshko M. 2025. Environment-limited transfer of angular momentum in Bose liquids. Journal of Chemical Physics. 162(7), 074104.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20735 |
Wilson AC. 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.
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 21020 |
Henzinger TA, Karimi M, Thejaswini KS. 2025. Privacy-preserving runtime verification. Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. CCS: Conference on Computer and Communications Security, 2774–2787.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 21017 |
|
|
Neiheiser R, Matos M, Rodrigues L. 2025. Kauri: BFT consensus with pipelined tree-based dissemination and aggregation. ACM Transactions on Computer Systems., 3769423.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2025 | Published | Journal Article | IST-REx-ID: 21007 |
|
|
Kolmogorov V. 2025. A simpler and parallelizable O(√log n)-approximation algorithm for SPARSEST CUT. ACM Transactions on Algorithms. 21(4), 1–22.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Submitted | Preprint | IST-REx-ID: 21016 |
Bleile Y, Fajstrup L, Heiss T, Svane AM, Sørensen SS. Identifying cobordisms using kernel persistence. arXiv, 2505.17858.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Thesis | IST-REx-ID: 19993 |
Strahodinsky F. 2025. Social immunity in a tri-partite host-pathogen relationship. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Draft | Preprint | IST-REx-ID: 20569 |
Brigati G, Maas J, Quattrocchi F. Kinetic Optimal Transport (OTIKIN) -- Part 1: Second-order discrepancies between probability measures. arXiv, 2502.15665.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20563 |
Quattrocchi F. 2025. Optimal transport methods for kinetic equations, boundary value problems, and discretization of measures. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19906 |
Suresh SS. 2025. Turbulence in polymeric flows : A characterisation of elasto-inertial turbulence and the maximum drag reduction asymptote. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19745 |
Canigova N. 2025. Adaptive strategies of dendritic cell migration in response to environmental cues. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI