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 |
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 |
Draft |
Preprint |
IST-REx-ID: 21398 |
Composition direction of Seymour's theorem for regular matroids — Formally verified
M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov, A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov, A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.).
2025 |
Submitted |
Preprint |
IST-REx-ID: 21435 |
Strain-induced multiferroicity in Cr1/3NbS2
Y. Sun, Y. Ahn, D. Sapkota, H.S. Arachchige, R. Xue, S. Mozaffari, D.G. Mandrus, L. Zhao, J. Orenstein, V. Sunko, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Sun, Y. Ahn, D. Sapkota, H.S. Arachchige, R. Xue, S. Mozaffari, D.G. Mandrus, L. Zhao, J. Orenstein, V. Sunko, ArXiv (n.d.).
2025 |
Submitted |
Preprint |
IST-REx-ID: 21437 |
Linear magneto-birefringence as a probe of altermagnetism
V. Sunko, J. Orenstein, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Sunko, J. Orenstein, ArXiv (n.d.).
2025 |
Submitted |
Preprint |
IST-REx-ID: 21436 |
Anisotropic multi-Q order in CoxTaS2
J. Kruppe, J. Rodriguez, C. Xu, J. Analytis, J. Orenstein, V. Sunko, ArXiv (n.d.).
[Submitted Version]
View
| Download Submitted Version (ext.)
J. Kruppe, J. Rodriguez, C. Xu, J. Analytis, J. Orenstein, V. Sunko, ArXiv (n.d.).
2025 |
Research Data |
IST-REx-ID: 20842 |
Research Data for: 'One-milligram torsional pendulum toward experiments at the quantum-gravity interface'
S. Agafonova, (2025).
View
| Files available
| DOI
S. Agafonova, (2025).
2025 |
Published |
Journal Article |
IST-REx-ID: 17884 |
Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice
M. Obr, M. Percipalle, D. Chernikova, H. Yang, A. Thader, G. Pinke, D. Porley Esteves, L.M. Mansky, R.A. Dick, F.K. Schur, Nature Structural & Molecular Biology 32 (2025) 268–276.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Obr, M. Percipalle, D. Chernikova, H. Yang, A. Thader, G. Pinke, D. Porley Esteves, L.M. Mansky, R.A. Dick, F.K. Schur, Nature Structural & Molecular Biology 32 (2025) 268–276.
2025 |
Published |
Journal Article |
IST-REx-ID: 18892 |
| 
|
Altruistic disease signalling in ant colonies
E. Dawson, M. Hönigsberger, N. Kampleitner, A.V. Grasse, L. Lindorfer, J. Robb, F. Beikzadeh, F. Strahodinsky, H. Leitner, H. Rajendran, T. Schmitt, S. Cremer, Nature Communications 16 (2025).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E. Dawson, M. Hönigsberger, N. Kampleitner, A.V. Grasse, L. Lindorfer, J. Robb, F. Beikzadeh, F. Strahodinsky, H. Leitner, H. Rajendran, T. Schmitt, S. Cremer, Nature Communications 16 (2025).
2025 |
Research Data |
IST-REx-ID: 20471 |
Altruistic disease signalling in ant colonies
S. Cremer, (2025).
View
| Files available
| DOI
S. Cremer, (2025).
2025 |
Draft |
Preprint |
IST-REx-ID: 21427 |
Substrate heterogeneity promotes cancer cell dissemination through interface roughening
Z. Dunajova, S. Tasciyan, J. Majek, J. Merrin, E. Sahai, M.K. Sixt, E.B. Hannezo, (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
Z. Dunajova, S. Tasciyan, J. Majek, J. Merrin, E. Sahai, M.K. Sixt, E.B. Hannezo, (n.d.).
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 19431 |
Regulation of Cytoplasmic RNA Polymerase II
A. Hlavata, Regulation of Cytoplasmic RNA Polymerase II, Institute of Science and Technology Austria, 2025.
View
| Files available
| DOI
A. Hlavata, Regulation of Cytoplasmic RNA Polymerase II, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
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 |
Published |
Thesis | PhD |
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 | PhD |
IST-REx-ID: 20694 |
Using genealogies to study the genomic basis of species divergence
A. Pal, Using Genealogies to Study the Genomic Basis of Species Divergence, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
A. Pal, Using Genealogies to Study the Genomic Basis of Species Divergence, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Journal Article |
IST-REx-ID: 20190 |
|
|
Genealogical analysis of replicate flower colour hybrid zones in Antirrhinum
A. Pal, D. Shipilina, A. Le Moan, A.J. Mcnairn, J.K. Grenier, M. Kucka, G. Coop, Y.F. Chan, N.H. Barton, D. Field, S. Stankowski, Molecular Ecology 34 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
A. Pal, D. Shipilina, A. Le Moan, A.J. Mcnairn, J.K. Grenier, M. Kucka, G. Coop, Y.F. Chan, N.H. Barton, D. Field, S. Stankowski, Molecular Ecology 34 (2025).
2025 |
Published |
Thesis | PhD |
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 |
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 | PhD |
IST-REx-ID: 18871 |
Microwave-optic interconnects for superconducting circuits
G.M. Arnold, Microwave-Optic Interconnects for Superconducting Circuits, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
G.M. Arnold, Microwave-Optic Interconnects for Superconducting Circuits, Institute of Science and Technology Austria, 2025.
2025 |
Published |
Thesis | PhD |
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 |
Thesis | PhD |
IST-REx-ID: 19271 |
Asymmetrical modulation of fear expression via GABAB receptors in the mouse medial habenula
C. Önal, Asymmetrical Modulation of Fear Expression via GABAB Receptors in the Mouse Medial Habenula, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
C. Önal, Asymmetrical Modulation of Fear Expression via GABAB Receptors in the Mouse Medial Habenula, Institute of Science and Technology Austria, 2025.