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.
6269 Publications
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 | 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).
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 | 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.
2024 | Published | Journal Article | IST-REx-ID: 13975 |
Spectrum of Lévy–Khintchine random laplacian matrices
A.J. Campbell, S. O’Rourke, Journal of Theoretical Probability 37 (2024) 933–973.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A.J. Campbell, S. O’Rourke, Journal of Theoretical Probability 37 (2024) 933–973.
2024 | Published | Conference Paper | IST-REx-ID: 14213 |
Divided attention: Unsupervised multi-object discovery with contextually separated slots
D. Lao, Z. Hu, F. Locatello, Y. Yang, S. Soatto, in:, 1st Conference on Parsimony and Learning, 2024.
[Published Version]
View
| Files available
| arXiv
D. Lao, Z. Hu, F. Locatello, Y. Yang, S. Soatto, in:, 1st Conference on Parsimony and Learning, 2024.
2024 | Published | Journal Article | IST-REx-ID: 14447 |
New fluorescent auxin derivatives: Anti-auxin activity and accumulation patterns in Arabidopsis thaliana
K. Bieleszová, P. Hladík, M. Kubala, R. Napier, F. Brunoni, Z. Gelová, L. Fiedler, I. Kulich, M. Strnad, K. Doležal, O. Novák, J. Friml, A. Žukauskaitė, Plant Growth Regulation 102 (2024) 589–602.
[Published Version]
View
| Files available
| DOI
| WoS
K. Bieleszová, P. Hladík, M. Kubala, R. Napier, F. Brunoni, Z. Gelová, L. Fiedler, I. Kulich, M. Strnad, K. Doležal, O. Novák, J. Friml, A. Žukauskaitė, Plant Growth Regulation 102 (2024) 589–602.