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.




619 Publications

2026 | Published | Conference Paper | IST-REx-ID: 21720 | OA
Deterministic and exact fully-dynamic minimum cut of superpolylogarithmic size in subpolynomial time
A. El-Hayek, M. Henzinger, J. Li, in:, Proceedings of the Annual ACM SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2026, pp. 613–663.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 22403 | OA | PlanS
Gap‐free information transfer in 4D‐STEM via fusion of complementary scattering channels
S. You, G. Varnavides, S. Khavnekar, N. Palatkin, S. Shao, M. Wu, D. Stroppa, D. Chernikova, B. Zhu, R. Egoavil, S. Vespucci, D. Krishnan, X. Ye, F.K. Schur, E. Spiecker, P. Pelz, Advanced Science (2026).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2026 | Published | Journal Article | IST-REx-ID: 20986 | OA | PlanS
Interplay between syllable duration and pitch during whistle matching in wild nightingales
J.S. Calderon Garcia, G. Costalunga, T.P. Vogels, D. Vallentin, Current Biology 36 (2026) 791–798.e6.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2026 | Published | Journal Article | IST-REx-ID: 21006 | OA | PlanS
A polyhedral structure controls programmable self-assembly
M. Hübl, T.E. Videbæk, D. Hayakawa, W.B. Rogers, C.P. Goodrich, Nature Physics 22 (2026) 294–301.
[Published Version] View | Files available | DOI
 
2026 | Published | Journal Article | IST-REx-ID: 21295 | OA | PlanS
Discontinuous transition to shear flow turbulence
B. Yang, Y. Zhuang, G. Yalniz, M. Vasudevan, E. Marensi, B. Hof, Nature Physics 22 (2026) 424–429.
[Published Version] View | Files available | DOI | arXiv
 
2026 | Published | Journal Article | IST-REx-ID: 21483 | OA | PlanS
Imaging and genetic toolbox to study Arabidopsis embryogenesis
D. Babic, M. Zupunski, J. Friml, New Phytologist 250 (2026) 1483–1491.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2026 | Published | Journal Article | IST-REx-ID: 21486 | OA
Causes and consequences of sex-chromosome turnovers in Diptera
L.A. Layana Franco, M.A. Toups, B. Vicoso, Evolution Letters 10 (2026).
[Published Version] View | Files available | DOI
 
2026 | Published | Thesis | PhD | IST-REx-ID: 21854 | OA
On the utility and effects of efficiency in artificial neural networks
E.B. Iofinova, On the Utility and Effects of Efficiency in Artificial Neural Networks, Institute of Science and Technology Austria, 2026.
[Published Version] View | Files available | DOI
 
2026 | Published | Conference Poster | IST-REx-ID: 21857 | OA
Panza: Investigating the feasibility of fully-local personalized text generation
A. Nicolicioiu, E.B. Iofinova, A. Jovanovic, E. Kurtic, M. Nikdan, A. Panferov, I. Markov, N. Shavit, D.-A. Alistarh, Panza: Investigating the Feasibility of Fully-Local Personalized Text Generation, OpenReview, 2026.
[Accepted Version] View | Files available | Download Accepted Version (ext.)
 
2026 | Draft | Preprint | IST-REx-ID: 21859 | OA
Behemoth: Benchmarking unlearning in LLMs using fully synthetic data
E.B. Iofinova, D.-A. Alistarh, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2026 | Published | Thesis | PhD | IST-REx-ID: 21957 | OA
Overcoming degeneracy and singularity: Techniques for semidefinite programs and homotopy continuation endgames
J. Zapata, Overcoming Degeneracy and Singularity: Techniques for Semidefinite Programs and Homotopy Continuation Endgames, Institute of Science and Technology Austria, 2026.
[Published Version] View | Files available | DOI
 
2026 | Published | Thesis | PhD | IST-REx-ID: 21360
Root system plasticity under nutrient limitation: Investigating hormonal and molecular drivers in Arabidopsis thaliana and Coffea species
S. Riegler, Root System Plasticity under Nutrient Limitation: Investigating Hormonal and Molecular Drivers in Arabidopsis Thaliana and Coffea  Species, Institute of Science and Technology Austria, 2026.
[Published Version] View | Files available | DOI
 
 
2026 | Published | Thesis | PhD | IST-REx-ID: 22258 | OA
From sparse selection to risk prediction: Approximate message passing for proteomic survival models and large-scale genomics
A. Depope, From Sparse Selection to Risk Prediction: Approximate Message Passing for Proteomic Survival Models and Large-Scale Genomics, Institute of Science and Technology Austria, 2026.
[Published Version] View | Files available | DOI
 
2026 | Published | Journal Article | IST-REx-ID: 21980 | OA | PlanS
A computationally efficient and accurate method for predicting conductance of single-molecule junctions
A. Gulyaev, J. Hazarika, Z.-F. Liu, L. Venkataraman, Nano Letters 26 (2026) 7429–7434.
[Published Version] View | Files available | DOI | PubMed | Europe PMC | chemRxiv
 
2026 | Published | Thesis | PhD | IST-REx-ID: 22017
Unraveling the origin and evolution of defects to enable advanced thermoelectric performance
T. Kleinhanns, Unraveling the Origin and Evolution of Defects to Enable Advanced Thermoelectric Performance, Institute of Science and Technology Austria, 2026.
[Published Version] View | Files available | DOI
 
2026 | Published | Journal Article | IST-REx-ID: 22404 | OA
Longitudinal conductivity at integer quantum Hall transitions
G. Marcelli, L. Pigozzi, M. Porta, Letters in Mathematical Physics 116 (2026).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2026 | Published | Journal Article | IST-REx-ID: 22607 | PlanS
Duality theory in linear optimization and its extensions -- formally verified
M. Dvorak, V. Kolmogorov, Annals of Formalized Mathematics 2 (2026).
[Published Version] View | Files available | DOI | arXiv
 
2026 | Published | Thesis | PhD | IST-REx-ID: 21393 | OA
Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids
M. Dvorak, Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids, Institute of Science and Technology Austria, 2026.
[Published Version] View | Files available | DOI
 
2026 | Published | Thesis | MS | IST-REx-ID: 22399 | OA
Studying the evolutionary systems biology of the lac operon
A. Spasić, Studying the Evolutionary Systems Biology of the Lac Operon, Institute of Science and Technology Austria, 2026.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed