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.




6449 Publications

2026 | Research Data | IST-REx-ID: 21137 | OA
Data associated with Keratins coordinate tissue spreading
S. Naik, (2026).
View | Files available | DOI
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21489 | OA
On involutions of minuscule Kirillov algebras induced by real structures
M.M. Elkner, Transformation Groups (2026).
View | DOI | Download None (ext.) | 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 | Journal Article | IST-REx-ID: 21501 | OA | PlanS
Fragmentation, zero modes, and collective bound states in constrained models
E. Nicolau Jimenez, M. Ljubotina, M. Serbyn, PRX Quantum 7 (2026).
[Published Version] View | Files available | DOI | arXiv
 
2026 | Published | Journal Article | IST-REx-ID: 21503 | OA
Computational variant predictors for pharmacogenomics: From evaluation of single alleles to assessment of adverse drug reactions to antidepressants
J. Hajto, M. Piechota, I. Krätschmer, P. Konowalska, G.E. Boyle, D.M. Fowler, M. Borczyk, M. Korostynski, Pharmacogenomics Journal 26 (2026).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2026 | Published | Journal Article | IST-REx-ID: 21509 | OA | PlanS
The human BAF chromatin remodeler processes nucleosomes bound by pioneer transcription factors OCT4–SOX2
J. Weiss, L. Vecchia, D. Domjan, S. Cavadini, A. Sabantsev, G. Kempf, G.R. Pathare, K. Brackmann, A.K. Michael, L. Kater, E. Hietter-Pfeiffer, M. Haddawi, U.P. Kuber, S. Mühlhäusser, R.S. Grand, M.B. Stadler, S. Deindl, N.H. Thomä, Molecular Cell 86 (2026) 625–639.e8.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21483 | OA | PlanS
Imaging and genetic toolbox to study Arabidopsis embryogenesis
D. Babic, M. Zupunski, J. Friml, New Phytologist (2026).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21502 | OA
Distribution and functional significance of rodent cerebellar glycogen
S. Akther, A.B. Lee, A. Konno, A. Asiminas, M. Vittani, T. Mishima, H. Hirai, C.F. Meehan, J. Duran, J. Guinovart, H. Ashida, T. Morita, O. Baba, R. Shigemoto, M. Nedergaard, H. Hirase, IScience 29 (2026).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2026 | Epub ahead of print | Journal Article | IST-REx-ID: 21504 | OA
From kinetic theory to AI: A rediscovery of high-dimensional divergences and their properties
G. Auricchio, G. Brigati, P. Giudici, G. Toscani, Mathematical Models and Methods in Applied Sciences (2026).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2026 | Published | Conference Paper | IST-REx-ID: 21134 | OA
On the (in)security of Proofs-of-space based longest-chain blockchains
M.A. Baig, K.Z. Pietrzak, in:, 29th International Conference on Financial Cryptography and Data Security, Springer Nature, 2026, pp. 127–142.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 14278 | OA
Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse
I. Koval, Inventiones Mathematicae (2025).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 14647 | OA
Dual role of FOXG1 in regulating gliogenesis in the developing neocortex via the FGF signalling pathway
M. Bose, V. Suresh, U. Mishra, I. Talwar, A. Yadav, S. Biswas, S. Hippenmeyer, S. Tole, ELife 13 (2025).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 18074 | OA | PlanS
Aharonov–Casher theorems for Dirac operators on manifolds with boundary and APS boundary condition
M. Fialova, Annales Henri Poincare 26 (2025) 2859–2900.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 18112 | OA
Deformational rigidity of integrable metrics on the torus
S.J. Henheik, Ergodic Theory and Dynamical Systems 45 (2025) 467–503.
[Published Version] View | Files available | DOI | WoS
 
2025 | Published | Journal Article | IST-REx-ID: 18154 | OA
On modulo ℓ cohomology of p-adic Deligne–Lusztig varieties for GLn
J. Löwit, Journal of Algebra 663 (2025) 81–118.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 18157 | OA
Books, Hallways, and social butterflies: A note on sliding block puzzles
F.R. Brunck, M.A. Kwan, Mathematical Intelligencer 47 (2025) 52–65.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 18169 | OA
VAMOS: Middleware for best-effort third-party monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, Science of Computer Programming 240 (2025).
[Published Version] View | Files available | DOI | WoS
 
2025 | Published | Journal Article | IST-REx-ID: 18170 | OA
Bridging basic science and applied diagnostics: Comprehensive viral diagnostics enabled by graphene-based electronic biosensor technology advancements
A.N. Herdina, A. Bozdogan, P. Aspermair, J. Dostalek, M. Klausberger, N. Lingg, M. Cserjan-Puschmann, P.P. Aguilar, S. Auer, H. Demirtas, J. Andersson, F. Lötsch, B. Holzer, A. Steinrigl, F. Thalhammer, J. Schellnegger, M. Breuer, W. Knoll, R. Strassl, Biosensors and Bioelectronics 267 (2025).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 18449 | OA | PlanS
The role of institutional ethics committees in Austria: Report of the Commission on Ethics and Scientific Integrity of the Karl Landsteiner University of Health Sciences 2018–2023
S. Schober, S. Klee, F. Trautinger, Wiener Klinische Wochenschrift 137 (2025) 432–437.
[Published Version] View | Files available | DOI | WoS
 
2025 | Published | Journal Article | IST-REx-ID: 18478 | OA
On the chromatic number of powers of subdivisions of graphs
M. Anastos, S. Boyadzhiyska, S. Rathke, J. Rué, Discrete Applied Mathematics 360 (2025) 506–511.
[Published Version] View | Files available | DOI | WoS | arXiv
 

Filters and Search Terms

type<>software

Search

Filter Publications

Display / Sort

Export / Embed