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.
564 Publications
2026 |
Published |
Conference Paper |
IST-REx-ID: 22717 |
Randomise alone, reach as a team
L.J. Brice, T.A. Henzinger, A. Montaseri, A. Shafiee, K.S. Thejaswini, in:, 38th International Conference on Computer Aided Verification, Springer Nature, 2026, pp. 215–236.
[Published Version]
View
| Files available
| DOI
| arXiv
L.J. Brice, T.A. Henzinger, A. Montaseri, A. Shafiee, K.S. Thejaswini, in:, 38th International Conference on Computer Aided Verification, Springer Nature, 2026, pp. 215–236.
2026 |
Published |
Conference Paper |
IST-REx-ID: 22722 |
Representing local protein environments with machine learning force fields
M.I. Bojan, S. Vedula, S.A. Maddipatla, N.E. Sellam, A. Rzayev, F. Napoli, P. Schanda, A.M. Bronstein, in:, 14th International Conference on Learning Representations, 2026, pp. 100760–100799.
[Published Version]
View
| Files available
| arXiv
M.I. Bojan, S. Vedula, S.A. Maddipatla, N.E. Sellam, A. Rzayev, F. Napoli, P. Schanda, A.M. Bronstein, in:, 14th International Conference on Learning Representations, 2026, pp. 100760–100799.
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22720 |
| 
|
CLOCK/BMAL1 interactome uncovers homeodomain factors as tissue regulators
F. Aygenli, L.A. Huschet, T. Popp, A. Ribeiro, D. Barkhatova, C. Jouffe, R. Trozzo, J.S. Menet, R. Rad, K.A. Dyar, M. Lech, T. Straub, A.K. Michael, M.S. Robles, Nature Cell Biology (2026).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
F. Aygenli, L.A. Huschet, T. Popp, A. Ribeiro, D. Barkhatova, C. Jouffe, R. Trozzo, J.S. Menet, R. Rad, K.A. Dyar, M. Lech, T. Straub, A.K. Michael, M.S. Robles, Nature Cell Biology (2026).
2026 |
Published |
Journal Article |
IST-REx-ID: 22734 |
|
|
Exploiting mismatch strain and the β–α phase transition for microstructural engineering in thermoelectric Ag2Se
Y. Liu, T. Kleinhanns, M.C. Spadaro, A. Genç, S. Horta, N. Jakhar, T. Costanzo, E. Dutkiewicz, J. Arbiol, M. Hong, M. Ibáñez, ACS Energy Letters 11 (2026) 5752–5762.
[Published Version]
View
| Files available
| DOI
Y. Liu, T. Kleinhanns, M.C. Spadaro, A. Genç, S. Horta, N. Jakhar, T. Costanzo, E. Dutkiewicz, J. Arbiol, M. Hong, M. Ibáñez, ACS Energy Letters 11 (2026) 5752–5762.
2026 |
Published |
Journal Article |
IST-REx-ID: 21746 |
|
|
Multifold increase in spinal inhibitory cell types with emergence of limb movement
D. Vijatovic, F.A. Toma, Y. Ignatyev, Z.P. Harrington, C.M. Sommer, R. Hauschild, M.G. Smits, M. Dalla Vecchia, A.J. Trevisan, P. Chapman, M. Julseth, S. Brenner-Morton, M.I. Gabitto, J.S. Dasen, J.B. Bikoff, L.B. Sweeney, Cell Reports 45 (2026).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D. Vijatovic, F.A. Toma, Y. Ignatyev, Z.P. Harrington, C.M. Sommer, R. Hauschild, M.G. Smits, M. Dalla Vecchia, A.J. Trevisan, P. Chapman, M. Julseth, S. Brenner-Morton, M.I. Gabitto, J.S. Dasen, J.B. Bikoff, L.B. Sweeney, Cell Reports 45 (2026).
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22664 |
Towards efficient secure group messaging
M. Cueto Noval, Towards Efficient Secure Group Messaging, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
M. Cueto Noval, Towards Efficient Secure Group Messaging, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22694 |
Equivariant K-theory of affine Grassmannians in representation theory and arithmetic
J. Löwit, Equivariant K-Theory of Affine Grassmannians in Representation Theory and Arithmetic, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
J. Löwit, Equivariant K-Theory of Affine Grassmannians in Representation Theory and Arithmetic, Institute of Science and Technology Austria, 2026.
2026 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 22693 |
|
|
Equivariant K-theory, affine Grassmannian and perfection
J. Löwit, Documenta Mathematica (2026).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
J. Löwit, Documenta Mathematica (2026).
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22684 |
Experimental probing of nanoscale charge features and surface morphology changes during tribocharging
F. Pertl, Experimental Probing of Nanoscale Charge Features and Surface Morphology Changes during Tribocharging, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
F. Pertl, Experimental Probing of Nanoscale Charge Features and Surface Morphology Changes during Tribocharging, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22745
Mechanistic insights into MDA5 selectivity and regulation
D. Michalik, Mechanistic Insights into MDA5 Selectivity and Regulation, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
D. Michalik, Mechanistic Insights into MDA5 Selectivity and Regulation, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22735
Calibrating the teacher synapse: Mechanisms and functional significance of presynaptic inhibition at hippocampal mossy fiber synapses
P. Lin, Calibrating the Teacher Synapse: Mechanisms and Functional Significance of Presynaptic Inhibition at Hippocampal Mossy Fiber Synapses, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
P. Lin, Calibrating the Teacher Synapse: Mechanisms and Functional Significance of Presynaptic Inhibition at Hippocampal Mossy Fiber Synapses, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Journal Article |
IST-REx-ID: 21762
Repurposing of a DNA segregation machinery into a cytoskeletal system controlling cell shape
B.L. Springstein, M. Javoor, D. Megrian, R. Hajdu, D.M. Hanke, B. Zens, G.L. Weiss, F.K. Schur, M. Loose, Science 392 (2026).
View
| Files available
| DOI
| PubMed | Europe PMC
B.L. Springstein, M. Javoor, D. Megrian, R. Hajdu, D.M. Hanke, B. Zens, G.L. Weiss, F.K. Schur, M. Loose, Science 392 (2026).
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22744
Large-scale imaging of cellular actin networks at single filament resolution using montage cryo-electron tomography
M. Javoor, Large-Scale Imaging of Cellular Actin Networks at Single Filament Resolution Using Montage Cryo-Electron Tomography, Institute of Science and Technology Austria , 2026.
View
| Files available
| DOI
M. Javoor, Large-Scale Imaging of Cellular Actin Networks at Single Filament Resolution Using Montage Cryo-Electron Tomography, Institute of Science and Technology Austria , 2026.
2026 |
Published |
Thesis | PhD |
IST-REx-ID: 22667
Dissecting the molecular and functional basis of motor control in the frog Xenopus laevis
D. Vijatovic, Dissecting the Molecular and Functional Basis of Motor Control in the Frog Xenopus Laevis, Institute of Science and Technology Austria, 2026.
[Published Version]
View
| Files available
| DOI
D. Vijatovic, Dissecting the Molecular and Functional Basis of Motor Control in the Frog Xenopus Laevis, Institute of Science and Technology Austria, 2026.
2026 |
Published |
Journal Article |
IST-REx-ID: 18706 |
|
|
Discrete-to-continuum limits of optimal transport with linear growth on periodic graphs
L. Portinale, F. Quattrocchi, European Journal of Applied Mathematics 37 (2026) 614–642.
[Published Version]
View
| Files available
| DOI
| WoS
L. Portinale, F. Quattrocchi, European Journal of Applied Mathematics 37 (2026) 614–642.
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 |
Published |
Journal Article |
IST-REx-ID: 21136 |
Historical and mechanistic perspective on ABP1-TMK1-mediated cell surface auxin signaling.
A. Monzer, J. Friml, Npj Science of Plants 1 (2025) 2.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Monzer, J. Friml, Npj Science of Plants 1 (2025) 2.
2025 |
Published |
Journal Article |
IST-REx-ID: 21248 |
|
|
Light-modulated stem cells in the camera-type eye of an annelid model for adult brain plasticity
N. Milivojev, F. Scaramuzza, P.O. Brum, C.L. Velastegui Gamboa, G. Andreatta, F. Raible, K. Tessmar-Raible, Nature Communications 16 (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
N. Milivojev, F. Scaramuzza, P.O. Brum, C.L. Velastegui Gamboa, G. Andreatta, F. Raible, K. Tessmar-Raible, Nature Communications 16 (2025).
2025 |
Published |
Conference Paper |
IST-REx-ID: 21250 |
An almost-logarithmic lower bound for leader election with bounded value contention
D.-A. Alistarh, F. Ellen, A. Fedorov, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 3:1-3:16.
[Published Version]
View
| Files available
| DOI
D.-A. Alistarh, F. Ellen, A. Fedorov, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 3:1-3:16.
2025 |
Published |
Book Chapter |
IST-REx-ID: 21257 |
Sparse Fine-Tuning for Inference Acceleration of Large Language Models
E. Kurtic, D. Kuznedelev, E. Frantar, M. Goinv, S. Pandit, A. Agarwalla, T. Nguyen, A. Marques, M. Kurtz, D.-A. Alistarh, in:, P. Passban, A. Way, M. Rezagholizadeh (Eds.), Enhancing LLM Performance. Efficacy, Fine-Tuning, and Inference Techniques, Springer Nature, 2025, pp. 83–97.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Kurtic, D. Kuznedelev, E. Frantar, M. Goinv, S. Pandit, A. Agarwalla, T. Nguyen, A. Marques, M. Kurtz, D.-A. Alistarh, in:, P. Passban, A. Way, M. Rezagholizadeh (Eds.), Enhancing LLM Performance. Efficacy, Fine-Tuning, and Inference Techniques, Springer Nature, 2025, pp. 83–97.