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.

6307 Publications

Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Oliveira da Costa A. Information-flow interfaces. Formal Methods in System Design. 2025;66:3-48. doi:10.1007/s10703-024-00447-0

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

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

Edelsbrunner H, Nikitenko A. Average and expected distortion of Voronoi paths and scapes. Discrete & Computational Geometry. 2025;73:490-499. doi:10.1007/s00454-024-00660-y

Lauritsen AB. Almost optimal upper bound for the ground state energy of a dilute Fermi gas via cluster expansion. Annales Henri Poincare. 2025;26:203-243. doi:10.1007/s00023-024-01450-1

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

Martín‐Belmonte A, Aguado C, Alfaro‐Ruiz R, et al. Nanoarchitecture of CaV>2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology. Brain Pathology. 2025;35(2). doi:10.1111/bpa.13279

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

Pan Y, Hochgerner M, Cichon MA, Benezeder T, Bieber T, Wolf P. Langerhans cells: Central players in the pathophysiology of atopic dermatitis. Journal of the European Academy of Dermatology and Venereology. 2025;39(2):278-289. doi:10.1111/jdv.20291

Mondal S, Nguyen HTK, Hauschild R, Freunberger SA. Marcus kinetics control singlet and triplet oxygen evolving from superoxide. Nature. 2025;646(8085):601–605. doi:10.1038/s41586-025-09587-7

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

Podlaski WF, Agnes EJ, Vogels TP. High capacity and dynamic accessibility in associative memory networks with context-dependent neuronal and synaptic gating. Physical Review X. 2025;15. doi:10.1103/PhysRevX.15.011057

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

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

Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. 2025. Reduction of neuronal activity mediated by blood-vessel regression in the brain. Nature Communications. 16, 5840.

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

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

Henzinger TA, Karimi M, Thejaswini KS. Privacy-preserving runtime verification. In: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery; 2025:2774-2787. doi:10.1145/3719027.3765137

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

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

Sun Y, Ahn Y, Sapkota D, et al. Strain-induced multiferroicity in Cr1/3NbS2. arXiv. doi:10.48550/arXiv.2510.11619

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

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

Sunko V, Orenstein J. Linear magneto-birefringence as a probe of altermagnetism. arXiv. doi:10.48550/arXiv.2511.16421

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

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

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

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

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

Agafonova S. Research Data for: “One-milligram torsional pendulum toward experiments at the quantum-gravity interface.” 2025. doi:10.15479/AT-ISTA-20842

View | Files available | DOI

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

Obr M, Percipalle M, Chernikova D, et al. Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice. Nature Structural & Molecular Biology. 2025;32:268-276. doi:10.1038/s41594-024-01390-8

Dawson E, Hönigsberger M, Kampleitner N, et al. Altruistic disease signalling in ant colonies. Nature Communications. 2025;16. doi:10.1038/s41467-025-66175-z

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

Cremer S. Altruistic disease signalling in ant colonies. 2025. doi:10.15479/AT-ISTA-20471

View | Files available | DOI

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

Dunajova Z, Tasciyan S, Majek J, et al. Substrate heterogeneity promotes cancer cell dissemination through interface roughening. doi:10.1101/2025.05.20.655037

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

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

Dvorak M, Figueroa-Reid T, Hamadani R, 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 | Published | Conference Paper | IST-REx-ID: 21474 |

Rao P, Meka A, Zhou X, et al. 3DPR: Single image 3D portrait relighting with generative priors. In: Proceedings SIGGRAPH Asia 2025 Conference Papers 2025. Association for Computing Machinery; 2025. doi:10.1145/3757377.3763962

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

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

Hlavata A. Regulation of Cytoplasmic RNA Polymerase II. 2025. doi:10.15479/10.15479/AT-ISTA-19431

View | Files available | DOI

Research Groups

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

6307 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

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

6307 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options