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
Casado Polanco R. Role of NOTCH signaling in radial glial progenitor lineage progression. 2025. doi:10.15479/AT-ISTA-20737
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20101 | 
Baier F, Reinhard K, Nuttin B, et al. The neural basis of species-specific defensive behaviour in Peromyscus mice. Nature. 2025;645:439-447. doi:10.1038/s41586-025-09241-2
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20926 |
Kim D, Wang X, Vargas S, et al. A universal augmentation framework for long-range electrostatics in machine learning interatomic potentials. Journal of Chemical Theory and Computation. 2025;21(24):12709-12724. doi:10.1021/acs.jctc.5c01400
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2025 | Research Data Reference | IST-REx-ID: 20883 |
Felix B, Reinhard K, Nuttin B, et al. The neural basis of species-specific defensive behaviour in Peromyscus mice. 2025. doi:10.5061/DRYAD.Q2BVQ83XC
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2025 | Published | Thesis | IST-REx-ID: 20694
Pal A. Using genealogies to study the genomic basis of species divergence. 2025. doi:10.15479/AT-ISTA-20694
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19704 |
| 
|
Tavakoli M, Lyudchik J, Januszewski M, et al. Light-microscopy-based connectomic reconstruction of mammalian brain tissue. Nature. 2025;642:398-410. doi:10.1038/s41586-025-08985-1
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 | Published | Thesis | IST-REx-ID: 20371 |
Trioni A. High-impedance quantum circuits for mesoscopic physics : Geometric superinductors and insulating Josephson Chains. 2025. doi:10.15479/AT-ISTA-20371
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20920 |
Hoffmann C. Theory and applications of verifiable delay functions. 2025. doi:10.15479/AT-ISTA-20920
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20556
Hoffmann C. Theory and applications of verifiable delay functions. 2025. doi:10.15479/AT-ISTA-20556
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 19778 |
Hoffmann C, Pietrzak KZ. 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. Vol 15674. Springer Nature; 2025:36-66. doi:10.1007/978-3-031-91820-9_2
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2025 | Published | Thesis | IST-REx-ID: 20811 |
Rella S. Adaptive processes in biology and culture : Models of evolving vaccine resistance and the record statistics of innovation. 2025. doi:10.15479/AT-ISTA-20811
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20798
Wald S. Atoms in a propagating-wave cavity for squeezed Mach-Zehnder atom interferometry. 2025. doi:10.15479/AT-ISTA-20798
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19630 |
Synak P. Methods for fluid simulation, surface tracking, and statistics of non-manifold structures. 2025. doi:10.15479/AT-ISTA-19630
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20735 |
Wilson AC. Modelling the spinal cord of a tadpole : Exploring different ways to model the spinal cord in the Xenopus frog. 2025. doi:10.15479/AT-ISTA-20735
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 21020 |
Henzinger TA, Karimi M, Thejaswini KS. Privacy-preserving runtime verification. In: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery; 2025:2774-2787. doi:10.1145/3719027.3765137
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Published | Thesis | IST-REx-ID: 19456 |
Cumpelik AD. The role of prefrontal spatial coding in supporting a contextual association task. 2025. doi:10.15479/AT-ISTA-19456
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19533 |
Sett R. Quantum remote sensing and non-equilibrium phase transitions in the microwave regime. 2025. doi:10.15479/AT-ISTA-19533
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19745 |
Canigova N. Adaptive strategies of dendritic cell migration in response to environmental cues. 2025. doi:10.15479/AT-ISTA-19745
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19763 |
Rus S. Dynamics of morphogen signalling and cell fate decisions in the dorsal neural tube. 2025. doi:10.15479/AT-ISTA-19763
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19906 |
Suresh SS. Turbulence in polymeric flows : A characterisation of elasto-inertial turbulence and the maximum drag reduction asymptote. 2025. doi:10.15479/AT-ISTA-19906
[Published Version]
View
| Files available
| DOI