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, Charlotte, and Krzysztof Z. Pietrzak. “Watermarkable and Zero-Knowledge Verifiable Delay Functions from Any Proof of Exponentiation.” 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, vol. 15674, Springer Nature, 2025, pp. 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, Simon. Adaptive Processes in Biology and Culture : Models of Evolving Vaccine Resistance and the Record Statistics of Innovation. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20811.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20977 |
Maslarova, Anna, et al. “Spatiotemporal Patterns Differentiate Hippocampal Sharp-Wave Ripples from Interictal Epileptiform Discharges in Mice and Humans.” Nature Communications, vol. 16, 11636, Springer Nature, 2025, doi:10.1038/s41467-025-66562-6.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20973
Meng, Weite, et al. “Efficient near Room Temperature Thermoelectric Cooling and Power Generation with CuAgSe.” Small, e13035, Wiley, 2025, doi:10.1002/smll.202513035.
View
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20976 |
Patel, Lipi, et al. “Impedance-Engineered Josephson Parametric Amplifier with Single-Step Lithography.” Applied Physics Letters, vol. 127, no. 25, 254001, AIP Publishing, 2025, doi:10.1063/5.0290636.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20798
Wald, Sebastian. Atoms in a Propagating-Wave Cavity for Squeezed Mach-Zehnder Atom Interferometry. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20798.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 19630 |
Synak, Peter. Methods for Fluid Simulation, Surface Tracking, and Statistics of Non-Manifold Structures. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-19630.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20960 |
| 
|
Loos, Manuel, et al. “Interfacing B‐DNA and DNA Mimic Foldamers.” Angewandte Chemie International Edition, vol. 64, no. 31, e202505273, Wiley, 2025, doi:10.1002/anie.202505273.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20990 |
|
|
Zhong, Peichen, et al. “Machine Learning Interatomic Potential Can Infer Electrical Response.” Npj Computational Materials, vol. 11, 384, Springer Nature, 2025, doi:10.1038/s41524-025-01911-z.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19276 |
|
|
Cappellaro, Alberto, et al. “Environment-Limited Transfer of Angular Momentum in Bose Liquids.” Journal of Chemical Physics, vol. 162, no. 7, 074104, AIP Publishing, 2025, doi:10.1063/5.0253451.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20735 |
Wilson, Alexia C. 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, doi:10.15479/AT-ISTA-20735.
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 21020 |
Henzinger, Thomas A., et al. “Privacy-Preserving Runtime Verification.” Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–87, doi:10.1145/3719027.3765137.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 21017 |
|
|
Neiheiser, Ray, et al. “Kauri: BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation.” ACM Transactions on Computer Systems, 3769423, Association for Computing Machinery, 2025, doi:10.1145/3769423.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2025 | Published | Journal Article | IST-REx-ID: 21007 |
|
|
Kolmogorov, Vladimir. “A Simpler and Parallelizable O(√log n)-Approximation Algorithm for SPARSEST CUT.” ACM Transactions on Algorithms, vol. 21, no. 4, Association for Computing Machinery, 2025, pp. 1–22, doi:10.1145/3748723.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Submitted | Preprint | IST-REx-ID: 21016 |
Bleile, Yossi, et al. “Identifying Cobordisms Using Kernel Persistence.” ArXiv, 2505.17858, doi:10.48550/arXiv.2505.17858.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20260 |
|
|
Chambers, Erin Wolf, et al. “Burning or Collapsing the Medial Axis Is Unstable.” La Matematica, vol. 4, Springer Nature, 2025, pp. 811–28, doi:10.1007/s44007-025-00170-0.
[Published Version]
View
| Files available
| DOI
2025 | Draft | Preprint | IST-REx-ID: 20982 |
Kulich, Ivan, et al. “Armadillo Repeat Only Proteins Are Required for the Function of Plant CNGC Channels.” BioRxiv, doi:10.1101/2025.01.06.631460.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2025 | Published | Thesis | IST-REx-ID: 19993 |
Strahodinsky, Florian. Social Immunity in a Tri-Partite Host-Pathogen Relationship. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-19993.
[Published Version]
View
| Files available
| DOI
2025 | Draft | Preprint | IST-REx-ID: 20569 |
Brigati, Giovanni, et al. “Kinetic Optimal Transport (OTIKIN) -- Part 1: Second-Order Discrepancies between Probability Measures.” ArXiv, 2502.15665, doi:10.48550/arXiv.2502.15665.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Thesis | IST-REx-ID: 20563 |
Quattrocchi, Filippo. Optimal Transport Methods for Kinetic Equations, Boundary Value Problems, and Discretization of Measures. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20563.
[Published Version]
View
| Files available
| DOI