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.

6293 Publications

2025 | Published | Conference Paper | IST-REx-ID: 21020 |

T. A. Henzinger, M. Karimi, and K. S. Thejaswini, “Privacy-preserving runtime verification,” in Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Taipei, Taiwan, 2025, pp. 2774–2787.

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

2025 | Draft | Preprint | IST-REx-ID: 21398 |

M. Dvorak et al., “Composition direction of Seymour’s theorem for regular matroids — Formally verified,” arXiv. .

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

2025 | Submitted | Preprint | IST-REx-ID: 21435 |

Y. Sun et al., “Strain-induced multiferroicity in Cr1/3NbS2,” arXiv. .

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

2025 | Submitted | Preprint | IST-REx-ID: 21437 |

V. Sunko and J. Orenstein, “Linear magneto-birefringence as a probe of altermagnetism,” arXiv. .

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

2025 | Submitted | Preprint | IST-REx-ID: 21436 |

J. Kruppe, J. Rodriguez, C. Xu, J. Analytis, J. Orenstein, and V. Sunko, “Anisotropic multi-Q order in CoxTaS2,” arXiv. .

[Submitted Version] View | Download Submitted Version (ext.)

2025 | Research Data | IST-REx-ID: 20842 |

S. Agafonova, “Research Data for: ‘One-milligram torsional pendulum toward experiments at the quantum-gravity interface.’” Institute of Science and Technology Austria, 2025.

View | Files available | DOI

2025 | Published | Journal Article | IST-REx-ID: 17884 |

M. Obr et al., “Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice,” Nature Structural & Molecular Biology, vol. 32. Springer Nature, pp. 268–276, 2025.

E. Dawson et al., “Altruistic disease signalling in ant colonies,” Nature Communications, vol. 16. Springer Nature, 2025.

2025 | Research Data | IST-REx-ID: 20471 |

S. Cremer, “Altruistic disease signalling in ant colonies.” Institute of Science and Technology Austria, 2025.

View | Files available | DOI

2025 | Draft | Preprint | IST-REx-ID: 21427 |

Z. Dunajova et al., “Substrate heterogeneity promotes cancer cell dissemination through interface roughening.” bioRxiv.

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

2025 | Published | Thesis | PhD | IST-REx-ID: 19431 |

A. Hlavata, “Regulation of Cytoplasmic RNA Polymerase II,” Institute of Science and Technology Austria, 2025.

View | Files available | DOI

2025 | Published | Thesis | PhD | IST-REx-ID: 19993 |

F. Strahodinsky, “Social immunity in a tri-partite host-pathogen relationship,” Institute of Science and Technology Austria, 2025.