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 | OA
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
 
2025 | Draft | Preprint | IST-REx-ID: 21398 | OA
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
 
2025 | Submitted | Preprint | IST-REx-ID: 21435 | OA
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
 
2025 | Submitted | Preprint | IST-REx-ID: 21437 | OA
Linear magneto-birefringence as a probe of altermagnetism
V. Sunko, J. Orenstein, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Submitted | Preprint | IST-REx-ID: 21436 | OA
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.)
 
2025 | Research Data | IST-REx-ID: 20842 | OA
Research Data for: 'One-milligram torsional pendulum toward experiments at the quantum-gravity interface'
S. Agafonova, (2025).
View | Files available | DOI
 
2025 | Published | Journal Article | IST-REx-ID: 17884 | OA
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
 
2025 | Published | Journal Article | IST-REx-ID: 18892 | OA | PlanS
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
 
2025 | Research Data | IST-REx-ID: 20471 | OA
Altruistic disease signalling in ant colonies
S. Cremer, (2025).
View | Files available | DOI
 
2025 | Draft | Preprint | IST-REx-ID: 21427 | OA
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.)
 
2025 | Published | Thesis | PhD | IST-REx-ID: 19993 | OA
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
 
2025 | Published | Thesis | PhD | IST-REx-ID: 19906 | OA
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
 
2025 | Published | Thesis | PhD | IST-REx-ID: 20694 | OA
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
 
2025 | Published | Journal Article | IST-REx-ID: 20190 | OA | PlanS
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
 
2025 | Published | Thesis | PhD | IST-REx-ID: 20563 | OA
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
 
2025 | Draft | Preprint | IST-REx-ID: 20569 | OA
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
 
2025 | Published | Thesis | PhD | IST-REx-ID: 18871 | OA
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
 
2025 | Published | Thesis | PhD | IST-REx-ID: 19745 | OA
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
 
2025 | Published | Thesis | PhD | IST-REx-ID: 19271 | OA
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
 
2025 | Published | Thesis | PhD | IST-REx-ID: 19302 | OA
The effect of circadian rhythm on organisational immunity of ant colonies
L. Sartoris, The Effect of Circadian Rhythm on Organisational Immunity of Ant Colonies, Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed