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
Role of NOTCH signaling in radial glial progenitor lineage progression
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
R. Casado Polanco, Role of NOTCH Signaling in Radial Glial Progenitor Lineage Progression, Institute of Science and Technology Austria, 2025.
2025 | Published | Journal Article | IST-REx-ID: 20101 | 
The neural basis of species-specific defensive behaviour in Peromyscus mice
F. Baier, K. Reinhard, B. Nuttin, A. Sans-Dublanc, C. Liu, V. Tong, J.S. Murmann, K. Wierda, K. Farrow, H.E. Hoekstra, Nature 645 (2025) 439–447.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
F. Baier, K. Reinhard, B. Nuttin, A. Sans-Dublanc, C. Liu, V. Tong, J.S. Murmann, K. Wierda, K. Farrow, H.E. Hoekstra, Nature 645 (2025) 439–447.
2025 | Published | Journal Article | IST-REx-ID: 20926 |
A universal augmentation framework for long-range electrostatics in machine learning interatomic potentials
D. Kim, X. Wang, S. Vargas, P. Zhong, D.S. King, T.J. Inizan, B. Cheng, Journal of Chemical Theory and Computation 21 (2025) 12709–12724.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
D. Kim, X. Wang, S. Vargas, P. Zhong, D.S. King, T.J. Inizan, B. Cheng, Journal of Chemical Theory and Computation 21 (2025) 12709–12724.
2025 | Research Data Reference | IST-REx-ID: 20883 |
The neural basis of species-specific defensive behaviour in Peromyscus mice
B. Felix, K. Reinhard, B. Nuttin, A. Sans Dublanc, C. Liu, V. Tong, J.S. Murmann, K. Wierda, K. Farrow, H. Hoekstra, (2025).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
B. Felix, K. Reinhard, B. Nuttin, A. Sans Dublanc, C. Liu, V. Tong, J.S. Murmann, K. Wierda, K. Farrow, H. Hoekstra, (2025).
2025 | Published | Thesis | IST-REx-ID: 20694
Using genealogies to study the genomic basis of species divergence
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
A. Pal, Using Genealogies to Study the Genomic Basis of Species Divergence, Institute of Science and Technology Austria, 2025.
2025 | Published | Journal Article | IST-REx-ID: 19704 |
| 
|
Light-microscopy-based connectomic reconstruction of mammalian brain tissue
M. Tavakoli, J. Lyudchik, M. Januszewski, V. Vistunou, N. Agudelo Duenas, J. Vorlaufer, C.M. Sommer, C. Kreuzinger, B. Oliveira, A. Cenameri, G. Novarino, V. Jain, J.G. Danzl, Nature 642 (2025) 398–410.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Tavakoli, J. Lyudchik, M. Januszewski, V. Vistunou, N. Agudelo Duenas, J. Vorlaufer, C.M. Sommer, C. Kreuzinger, B. Oliveira, A. Cenameri, G. Novarino, V. Jain, J.G. Danzl, Nature 642 (2025) 398–410.
2025 | Published | Thesis | IST-REx-ID: 20371 |
High-impedance quantum circuits for mesoscopic physics : Geometric superinductors and insulating Josephson Chains
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
A. Trioni, High-Impedance Quantum Circuits for Mesoscopic Physics : Geometric Superinductors and Insulating Josephson Chains, Institute of Science and Technology Austria, 2025.
2025 | Published | Thesis | IST-REx-ID: 20920 |
Theory and applications of verifiable delay functions
C. Hoffmann, Theory and Applications of Verifiable Delay Functions, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
C. Hoffmann, Theory and Applications of Verifiable Delay Functions, Institute of Science and Technology Austria, 2025.
2025 | Published | Thesis | IST-REx-ID: 20556
Theory and applications of verifiable delay functions
C. Hoffmann, Theory and Applications of Verifiable Delay Functions, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
C. Hoffmann, Theory and Applications of Verifiable Delay Functions, Institute of Science and Technology Austria, 2025.
2025 | Published | Conference Paper | IST-REx-ID: 19778 |
Watermarkable and zero-knowledge Verifiable Delay Functions from any proof of exponentiation
C. Hoffmann, K.Z. Pietrzak, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 36–66.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
C. Hoffmann, K.Z. Pietrzak, in:, 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Springer Nature, 2025, pp. 36–66.
2025 | Published | Thesis | IST-REx-ID: 20811 |
Adaptive processes in biology and culture : Models of evolving vaccine resistance and the record statistics of innovation
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
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.
2025 | Published | Thesis | IST-REx-ID: 20798
Atoms in a propagating-wave cavity for squeezed Mach-Zehnder atom interferometry
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
S. Wald, Atoms in a Propagating-Wave Cavity for Squeezed Mach-Zehnder Atom Interferometry, Institute of Science and Technology Austria, 2025.
2025 | Published | Thesis | IST-REx-ID: 19630 |
Methods for fluid simulation, surface tracking, and statistics of non-manifold structures
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
P. Synak, Methods for Fluid Simulation, Surface Tracking, and Statistics of Non-Manifold Structures, Institute of Science and Technology Austria, 2025.
2025 | Published | Thesis | IST-REx-ID: 20735 |
Modelling the spinal cord of a tadpole : Exploring different ways to model the spinal cord in the Xenopus frog
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
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.
2025 | Published | Conference Paper | IST-REx-ID: 21020 |
Privacy-preserving runtime verification
T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–2787.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–2787.
2025 | Published | Thesis | IST-REx-ID: 19456 |
The role of prefrontal spatial coding in supporting a contextual association task
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
A.D. Cumpelik, The Role of Prefrontal Spatial Coding in Supporting a Contextual Association Task, Institute of Science and Technology Austria, 2025.
2025 | Published | Thesis | IST-REx-ID: 19533 |
Quantum remote sensing and non-equilibrium phase transitions in the microwave regime
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
R. Sett, Quantum Remote Sensing and Non-Equilibrium Phase Transitions in the Microwave Regime, Institute of Science and Technology Austria, 2025.
2025 | Published | Thesis | IST-REx-ID: 19745 |
Adaptive strategies of dendritic cell migration in response to environmental cues
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
N. Canigova, Adaptive Strategies of Dendritic Cell Migration in Response to Environmental Cues, Institute of Science and Technology Austria, 2025.
2025 | Published | Thesis | IST-REx-ID: 19763 |
Dynamics of morphogen signalling and cell fate decisions in the dorsal neural tube
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
S. Rus, Dynamics of Morphogen Signalling and Cell Fate Decisions in the Dorsal Neural Tube, Institute of Science and Technology Austria, 2025.
2025 | Published | Thesis | IST-REx-ID: 19906 |
Turbulence in polymeric flows : A characterisation of elasto-inertial turbulence and the maximum drag reduction asymptote
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
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.