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.
11144 Publications
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 | Epub ahead of print | Journal Article | IST-REx-ID: 21017 |
|
|
Kauri: BFT consensus with pipelined tree-based dissemination and aggregation
R. Neiheiser, M. Matos, L. Rodrigues, ACM Transactions on Computer Systems (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Neiheiser, M. Matos, L. Rodrigues, ACM Transactions on Computer Systems (2025).
2025 | Published | Journal Article | IST-REx-ID: 21007 |
|
|
A simpler and parallelizable O(√log n)-approximation algorithm for SPARSEST CUT
V. Kolmogorov, ACM Transactions on Algorithms 21 (2025) 1–22.
[Published Version]
View
| Files available
| DOI
| arXiv
V. Kolmogorov, ACM Transactions on Algorithms 21 (2025) 1–22.
2025 | Submitted | Preprint | IST-REx-ID: 21016 |
Identifying cobordisms using kernel persistence
Y. Bleile, L. Fajstrup, T. Heiss, A.M. Svane, S.S. Sørensen, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Bleile, L. Fajstrup, T. Heiss, A.M. Svane, S.S. Sørensen, ArXiv (n.d.).
2025 | Published | Journal Article | IST-REx-ID: 20321 |
|
|
Bumps on the road: The way to clean relaxation dispersion magic-angle spinning NMR
B. Tatman, V. Sridharan, M. Uttarkabat, C.P. Jaroniec, M. Ernst, P. Rovo, P. Schanda, Journal of the American Chemical Society 147 (2025) 29315–29326.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B. Tatman, V. Sridharan, M. Uttarkabat, C.P. Jaroniec, M. Ernst, P. Rovo, P. Schanda, Journal of the American Chemical Society 147 (2025) 29315–29326.
2025 | Research Data | IST-REx-ID: 19696 |
Dataset for "Bumps on the Road: The Way to Clean Relaxation Dispersion in the Solid State"
B. Tatman, (2025).
View
| Files available
| DOI
B. Tatman, (2025).
2025 | Draft | Preprint | IST-REx-ID: 20982 |
Armadillo repeat only proteins are required for the function of plant CNGC channels
I. Kulich, D. Oulehlová, D. Vladimirtsev, M. Zou, E. Lileikyte, A. Bondar, K. Kulichová, M. Janda, O. Iakovenko, M. Neubergerová, T. Studtrucker, R. Pleskot, P. Dietrich, M. Fendrych, J. Friml, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
I. Kulich, D. Oulehlová, D. Vladimirtsev, M. Zou, E. Lileikyte, A. Bondar, K. Kulichová, M. Janda, O. Iakovenko, M. Neubergerová, T. Studtrucker, R. Pleskot, P. Dietrich, M. Fendrych, J. Friml, BioRxiv (n.d.).
2025 | Published | Journal Article | IST-REx-ID: 20260 |
|
|
Burning or collapsing the medial axis is unstable
E.W. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, La Matematica 4 (2025) 811–828.
[Published Version]
View
| Files available
| DOI
E.W. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, La Matematica 4 (2025) 811–828.
2025 | Draft | Preprint | IST-REx-ID: 21050 |
Counting equilibria of the electrostatic potential
H. Edelsbrunner, C.D. Fillmore, G. Olivera, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
H. Edelsbrunner, C.D. Fillmore, G. Olivera, ArXiv (n.d.).
2025 | Published | Thesis | IST-REx-ID: 19993 |
Social immunity in a tri-partite host-pathogen relationship
F. Strahodinsky, Social Immunity in a Tri-Partite Host-Pathogen Relationship, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
F. Strahodinsky, Social Immunity in a Tri-Partite Host-Pathogen Relationship, Institute of Science and Technology Austria, 2025.
2025 | Draft | Preprint | IST-REx-ID: 20569 |
Kinetic Optimal Transport (OTIKIN) -- Part 1: Second-order discrepancies between probability measures
G. Brigati, J. Maas, F. Quattrocchi, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
G. Brigati, J. Maas, F. Quattrocchi, ArXiv (n.d.).
2025 | Published | Thesis | IST-REx-ID: 20563 |
Optimal transport methods for kinetic equations, boundary value problems, and discretization of measures
F. Quattrocchi, Optimal Transport Methods for Kinetic Equations, Boundary Value Problems, and Discretization of Measures, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
F. Quattrocchi, Optimal Transport Methods for Kinetic Equations, Boundary Value Problems, and Discretization of Measures, 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.
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 | Journal Article | IST-REx-ID: 19498 |
Neuroendocrine control of synaptic transmission by PHAC-1 in C. elegans
A. Stratigi, M. Soler-García, M. Krout, S. Shukla, M. de Bono, J.E. Richmond, P. Laurent, Journal of Neuroscience 45 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A. Stratigi, M. Soler-García, M. Krout, S. Shukla, M. de Bono, J.E. Richmond, P. Laurent, Journal of Neuroscience 45 (2025).
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 | Journal Article | IST-REx-ID: 18807 |
Self-organized pattern formation in the developing mouse neural tube by a temporal relay of BMP signaling
S. Rus, D. Brückner, T. Minchington, M. Greunz, J. Merrin, E.B. Hannezo, A. Kicheva, Developmental Cell 60 (2025) 567–580.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Rus, D. Brückner, T. Minchington, M. Greunz, J. Merrin, E.B. Hannezo, A. Kicheva, Developmental Cell 60 (2025) 567–580.
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 | Journal Article | IST-REx-ID: 19280 |
Observation of collapse and revival in a superconducting atomic frequency comb
E. Redchenko, M. Zens, M. Zemlicka, M. Peruzzo, F. Hassani, R. Sett, P.D. Zielinski, H.S. Dhar, D.O. Krimer, S. Rotter, J.M. Fink, Physical Review Letters 134 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
E. Redchenko, M. Zens, M. Zemlicka, M. Peruzzo, F. Hassani, R. Sett, P.D. Zielinski, H.S. Dhar, D.O. Krimer, S. Rotter, J.M. Fink, Physical Review Letters 134 (2025).