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 |

Henzinger, Thomas A., et al. “Privacy-Preserving Runtime Verification.” Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–87, doi:10.1145/3719027.3765137.

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

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

Dvorak, Martin, et al. “Composition Direction of Seymour’s Theorem for Regular Matroids — Formally Verified.” ArXiv, doi:10.48550/arXiv.2509.20539.

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

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

Sun, Y., et al. “Strain-Induced Multiferroicity in Cr1/3NbS2.” ArXiv, 2510.11619, doi:10.48550/arXiv.2510.11619.

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

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

Sunko, Veronika, and J. Orenstein. “Linear Magneto-Birefringence as a Probe of Altermagnetism.” ArXiv, 2511.16421, doi:10.48550/arXiv.2511.16421.

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

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

Kruppe, Jonathon, et al. “Anisotropic Multi-Q Order in CoxTaS2.” ArXiv, 2507.12588.

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

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

Agafonova, Sofia. Research Data for: “One-Milligram Torsional Pendulum toward Experiments at the Quantum-Gravity Interface.” Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20842.

View | Files available | DOI

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

Obr, Martin, et al. “Distinct Stabilization of the Human T Cell Leukemia Virus Type 1 Immature Gag Lattice.” Nature Structural & Molecular Biology, vol. 32, Springer Nature, 2025, pp. 268–76, doi:10.1038/s41594-024-01390-8.

Dawson, Erika, et al. “Altruistic Disease Signalling in Ant Colonies.” Nature Communications, vol. 16, 10511, Springer Nature, 2025, doi:10.1038/s41467-025-66175-z.

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

Cremer, Sylvia. Altruistic Disease Signalling in Ant Colonies. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20471.

View | Files available | DOI

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

Dunajova, Zuzana, et al. Substrate Heterogeneity Promotes Cancer Cell Dissemination through Interface Roughening. bioRxiv, doi:10.1101/2025.05.20.655037.

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

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

Hlavata, Annamaria. Regulation of Cytoplasmic RNA Polymerase II. Institute of Science and Technology Austria, 2025, doi:10.15479/10.15479/AT-ISTA-19431.

View | Files available | DOI

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

Strahodinsky, Florian. Social Immunity in a Tri-Partite Host-Pathogen Relationship. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-19993.