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.
6158 Publications
2025 | Published | Thesis | IST-REx-ID: 20920 | 
Hoffmann, Charlotte. “Theory and Applications of Verifiable Delay Functions.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20920.
[Published Version]
View
| Files available
| DOI
2025 | Published | Thesis | IST-REx-ID: 20556
Hoffmann, Charlotte. “Theory and Applications of Verifiable Delay Functions.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20556.
[Published Version]
View
| Files available
| DOI
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.” In 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, 15674:36–66. Springer Nature, 2025. https://doi.org/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. https://doi.org/10.15479/AT-ISTA-20811.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20977 |
Maslarova, Anna, Jiyun N. Shin, Andrea C Navas Olivé, Mihály Vöröslakos, Hajo Hamer, Arnd Doerfler, Simon Henin, György Buzsáki, and Anli Liu. “Spatiotemporal Patterns Differentiate Hippocampal Sharp-Wave Ripples from Interictal Epileptiform Discharges in Mice and Humans.” Nature Communications. Springer Nature, 2025. https://doi.org/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, Mingquan Li, Qingyue Wang, Pingan Song, Xuan Yang, Wen Jun Wang, Min Hong, et al. “Efficient near Room Temperature Thermoelectric Cooling and Power Generation with CuAgSe.” Small. Wiley, 2025. https://doi.org/10.1002/smll.202513035.
View
| DOI
| PubMed | Europe PMC
2025 | Published | Journal Article | IST-REx-ID: 20976 |
Patel, Lipi, Samarth Hawaldar, Aditya Panikkar, Athreya Shankar, and Baladitya Suri. “Impedance-Engineered Josephson Parametric Amplifier with Single-Step Lithography.” Applied Physics Letters. AIP Publishing, 2025. https://doi.org/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. https://doi.org/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. https://doi.org/10.15479/AT-ISTA-19630.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 20990 |
| 
|
Zhong, Peichen, Dongjin Kim, Daniel S. King, and Bingqing Cheng. “Machine Learning Interatomic Potential Can Infer Electrical Response.” Npj Computational Materials. Springer Nature, 2025. https://doi.org/10.1038/s41524-025-01911-z.
[Published Version]
View
| Files available
| DOI
2025 | Published | Journal Article | IST-REx-ID: 19276 |
|
|
Cappellaro, Alberto, Giacomo Bighin, Igor Cherepanov, and Mikhail Lemeshko. “Environment-Limited Transfer of Angular Momentum in Bose Liquids.” Journal of Chemical Physics. AIP Publishing, 2025. https://doi.org/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. https://doi.org/10.15479/AT-ISTA-20735.
[Published Version]
View
| Files available
| DOI
2025 | Published | Conference Paper | IST-REx-ID: 21020 |
Henzinger, Thomas A, Mahyar Karimi, and K. S. Thejaswini. “Privacy-Preserving Runtime Verification.” In Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2774–87. Association for Computing Machinery, 2025. https://doi.org/10.1145/3719027.3765137.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 21017 |
|
|
Neiheiser, Ray, Miguel Matos, and Luis Rodrigues. “Kauri: BFT Consensus with Pipelined Tree-Based Dissemination and Aggregation.” ACM Transactions on Computer Systems. Association for Computing Machinery, 2025. https://doi.org/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. Association for Computing Machinery, 2025. https://doi.org/10.1145/3748723.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 | Submitted | Preprint | IST-REx-ID: 21016 |
Bleile, Yossi, Lisbeth Fajstrup, Teresa Heiss, Anne Marie Svane, and Søren Strandskov Sørensen. “Identifying Cobordisms Using Kernel Persistence.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2505.17858.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 | Published | Journal Article | IST-REx-ID: 20260 |
|
|
Chambers, Erin Wolf, Christopher D Fillmore, Elizabeth R Stephenson, and Mathijs Wintraecken. “Burning or Collapsing the Medial Axis Is Unstable.” La Matematica. Springer Nature, 2025. https://doi.org/10.1007/s44007-025-00170-0.
[Published Version]
View
| Files available
| DOI
2025 | Draft | Preprint | IST-REx-ID: 20982 |
Kulich, Ivan, Denisa Oulehlová, Dmitrii Vladimirtsev, Minxia Zou, Edita Lileikyte, Alexey Bondar, Katarína Kulichová, et al. “Armadillo Repeat Only Proteins Are Required for the Function of Plant CNGC Channels.” BioRxiv, n.d. https://doi.org/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. https://doi.org/10.15479/AT-ISTA-19993.
[Published Version]
View
| Files available
| DOI
2025 | Draft | Preprint | IST-REx-ID: 20569 |
Brigati, Giovanni, Jan Maas, and Filippo Quattrocchi. “Kinetic Optimal Transport (OTIKIN) -- Part 1: Second-Order Discrepancies between Probability Measures.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2502.15665.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv