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.
439 Publications
2025 | Published | Thesis | IST-REx-ID: 20737
R. Casado Polanco, “Role of NOTCH signaling in radial glial progenitor lineage progression,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20101 | 
F. Baier et al., “The neural basis of species-specific defensive behaviour in Peromyscus mice,” Nature, vol. 645. Springer Nature, pp. 439–447, 2025.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20926 |
D. Kim et al., “A universal augmentation framework for long-range electrostatics in machine learning interatomic potentials,” Journal of Chemical Theory and Computation, vol. 21, no. 24. American Chemical Society, pp. 12709–12724, 2025.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2025 | Research Data Reference | IST-REx-ID: 20883 |
B. Felix et al., “The neural basis of species-specific defensive behaviour in Peromyscus mice.” Dryad, 2025.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2025 | Published | Thesis | IST-REx-ID: 20694
A. Pal, “Using genealogies to study the genomic basis of species divergence,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19704 |
| 
|
M. Tavakoli et al., “Light-microscopy-based connectomic reconstruction of mammalian brain tissue,” Nature, vol. 642. Springer Nature, pp. 398–410, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Thesis | 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 | Thesis | IST-REx-ID: 20920 |
C. Hoffmann, “Theory and applications of verifiable delay functions,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
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.)
2025 | Published | Thesis | IST-REx-ID: 20811 |
S. Rella, “Adaptive processes in biology and culture : Models of evolving vaccine resistance and the record statistics of innovation,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20798
S. Wald, “Atoms in a propagating-wave cavity for squeezed Mach-Zehnder atom interferometry,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19630 |
P. Synak, “Methods for fluid simulation, surface tracking, and statistics of non-manifold structures,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | 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 | Published | Conference Paper | IST-REx-ID: 21020 |
T. A. Henzinger, M. Karimi, and K. S. Thejaswini, “Privacy-preserving runtime verification,” in Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Taipei, Taiwan, 2025, pp. 2774–2787.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Thesis | IST-REx-ID: 19456 |
A. D. Cumpelik, “The role of prefrontal spatial coding in supporting a contextual association task,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19533 |
R. Sett, “ Quantum remote sensing and non-equilibrium phase transitions in the microwave regime,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19745 |
N. Canigova, “Adaptive strategies of dendritic cell migration in response to environmental cues,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19763 |
S. Rus, “Dynamics of morphogen signalling and cell fate decisions in the dorsal neural tube,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19906 |
S. S. Suresh, “Turbulence in polymeric flows : A characterisation of elasto-inertial turbulence and the maximum drag reduction asymptote,” Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI