ISTA Research Explorer

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

6460 Publications

Flexoelectric domain walls enable charge separation and transport in cubic perovskites
D. Rak, D. Lorenc, D. Balazs, A.A. Zhumekenov, O.M. Bakr, Z. Alpichshev, Nature Communications 17 (2026).

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2026 | Published | Journal Article | IST-REx-ID: 21383 |

Extracellular vesicles mediate stem cell signaling and systemic RNAi in planarians
V. Sasidharan, L. Ancellotti, V. Doddihal, C. Brewster, F. Mann, M.C. McKinney, J. Varberg, E. Ross, F. Deng, K. Yi, A. Sánchez Alvarado, Science Advances 12 (2026).

[Published Version] View | Files available | DOI

Modelling chemotaxis of branched cells in complex environments provides insights into immune cell navigation
J. Liu, J.E. Ron, G. Rinaldi, I. Williantarra, A. Georgantzoglou, I. de Vries, M.K. Sixt, M. Sarris, N.S. Gov, PLOS Computational Biology 22 (2026).

[Published Version] View | Files available | DOI | PubMed | Europe PMC

Average sizes of mixed character sums
V. Wang, M. Xu, Proceedings of the Royal Society of Edinburgh: Section A Mathematics (2026) 1–15.

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2026 | Published | Thesis | PhD | IST-REx-ID: 21393 |

Pursuit of truth and beauty in Lean 4 : Formally verified theory of grammars, optimization, matroids
M. Dvorak, Pursuit of Truth and Beauty in Lean 4 : Formally Verified Theory of Grammars, Optimization, Matroids, Institute of Science and Technology Austria, 2026.

[Published Version] View | Files available | DOI

2026 | Submitted | Preprint | IST-REx-ID: 21400 |

A blueprint for the formalization of Seymour's matroid decomposition theorem
I. Sergeev, M. Dvorak, C. Rampell, M. Sandey, P. Monticone, ArXiv (n.d.).

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2026 | Published | Thesis | MS | IST-REx-ID: 21401 |

Privacy-preserving runtime verification
M. Karimi, Privacy-Preserving Runtime Verification, Institute of Science and Technology Austria, 2026.

[Published Version] View | Files available | DOI

2026 | Published | Journal Article | IST-REx-ID: 21406

Ostracod shell chemistry as proxy for coastal marine conditions of a highly urbanized megacity (Hong Kong SAR) and an agro-centric oceanic province (Jeju Island, Republic of Korea) – a preliminary comparative analysis
A.B. Jöst, M.J. Rodriguez Moreno, T. Kim, D.M. Baker, M. Yasuhara, C.A. Not, I. Karanovic, Marine Pollution Bulletin 227 (2026).

View | DOI | PubMed | Europe PMC

Maximum persistent Betti numbers of Čech complexes
H. Edelsbrunner, M. Kahle, S. Kanazawa, Journal of Applied and Computational Topology 10 (2026).

[Published Version] View | Files available | DOI | arXiv

2026 | Published | Journal Article | IST-REx-ID: 21408 |

Simultaneous optimization of assembly time and yield in programmable self-assembly
M. Hübl, C.P. Goodrich, Journal of Chemical Physics 164 (2026).

[Published Version] View | Files available | DOI | arXiv

The evolutionary genomics of meiotic drive
Presgraves DC, Dawe RK, Dyer KA, Fishman L, Bhide SA, Bradshaw SL, Brady MJ, Burga A, Courret C, Fagen BL, Machado Ferretti ABS, Kelemen RK, Kitano J, Liu Y, Martí E, Erlenbach T, Reinhardt JA, Ross L, Runge JN, Swanepoel CM, Vicoso B, Vogan AA, Lindholm AK, Larracuente AM, Unckless RL. 2026. The evolutionary genomics of meiotic drive. Molecular Biology and Evolution. 43(2), msag020.

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2026 | Published | Conference Paper | IST-REx-ID: 21410 |

On the MST-ratio: Theoretical bounds and complexity of finding the maximum
A. Jabal Ameli, F. Motiei, M. Saghafian, in:, 20th International Conference and Workshops on Algorithms and Computation, Springer Nature, 2026, pp. 386–401.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2026 | Published | Conference Paper | IST-REx-ID: 21411 |

Fast re-routing in networks: On the complexity of perfect resilience
M. Bentert, E. Ceylan, V. Hübner, S. Schmid, J. Srba, in:, 29th International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.

[Published Version] View | Files available | DOI

2026 | Research Data | IST-REx-ID: 21422 |

Data underpinning "Magneto-optical Kerr effect in an A-type antiferromagnet"
V. Sunko, (2026).

[Published Version] View | Files available | DOI

2026 | Published | Thesis | PhD | IST-REx-ID: 21423

Geometry-driven self-organization of migrating cells and chiral filaments
Z. Dunajova, Geometry-Driven Self-Organization of Migrating Cells and Chiral Filaments, Institute of Science and Technology Austria, 2026.

[Published Version] View | Files available | DOI

2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21436 |

Anisotropic multi-Q order in CoxTaS2
J. Kruppe, J. Rodriguez, C. Xu, J. Analytis, J. Orenstein, V. Sunko, Npj Quantum Materials (2026).

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2026 | Submitted | Preprint | IST-REx-ID: 21438 |

Deterministic domain selection of antiferromagnets via magnetic fields
S.F. Weber, V. Sunko, ArXiv (n.d.).

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2026 | Research Data | IST-REx-ID: 21439 |

Supplementary movies to PhD thesis “Geometry-driven self-organization of migrating cells and chiral filaments”
Z. Dunajova, (2026).

[Published Version] View | Files available | DOI

Parametric amplification of spin-motion coupling in three-dimensional trapped-ion crystals
S. Hawaldar, N. Nikhil, A.M. Rey, J.J. Bollinger, A. Shankar, Physical Review Applied 25 (2026).

[Published Version] View | Files available | DOI | arXiv

A constant upper luminosity limit of cool supergiant stars down to the extremely low metallicity of I Zw 18
A. Schootemeijer, Y.L.L. Götberg, N. Langer, G. Bortolini, A.S. Hirschauer, L. Patrick, Astronomy & Astrophysics 707 (2026).

[Published Version] View | Files available | DOI | arXiv

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6460 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6460 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

Export Options