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.
6092 Publications
2025 | In Press | Journal Article | IST-REx-ID: 20143 | 
| 
|
Kiwa is a membrane-embedded defense supercomplex activated at phage attachment sites
Z. Zhang, T.C. Todeschini, Y. Wu, R. Kogay, A. Naji, J. Cardenas Rodriguez, R. Mondi, D. Kaganovich, D.W. Taylor, J.P.K. Bravo, M. Teplova, T. Amen, E. Koonin, D.J. Patel, F.L. Nobrega, Cell (n.d.).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Z. Zhang, T.C. Todeschini, Y. Wu, R. Kogay, A. Naji, J. Cardenas Rodriguez, R. Mondi, D. Kaganovich, D.W. Taylor, J.P.K. Bravo, M. Teplova, T. Amen, E. Koonin, D.J. Patel, F.L. Nobrega, Cell (n.d.).
2025 | Published | Working Paper | IST-REx-ID: 20146 |
Catalogue of criteria for assessing the funding eligibility of Open Science infrastructures
P. Gredler, C. Kaier, P. Danowski, M. Zoyer, K. Rieck, A. Ferus, E. Rosenberger, A. Löffler, L. Hofer, L. Still, Catalogue of Criteria for Assessing the Funding Eligibility of Open Science Infrastructures, Zenodo, 2025.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Gredler, C. Kaier, P. Danowski, M. Zoyer, K. Rieck, A. Ferus, E. Rosenberger, A. Löffler, L. Hofer, L. Still, Catalogue of Criteria for Assessing the Funding Eligibility of Open Science Infrastructures, Zenodo, 2025.
2025 | Published | Thesis | IST-REx-ID: 20212
Unraveling the role of Pten in cortical stem cell lineage progression using MADM
O. Miranda, Unraveling the Role of Pten in Cortical Stem Cell Lineage Progression Using MADM, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
O. Miranda, Unraveling the Role of Pten in Cortical Stem Cell Lineage Progression Using MADM, Institute of Science and Technology Austria, 2025.
2025 | Published | Journal Article | IST-REx-ID: 20188 |
|
|
Front-biased activation of the Ras-Rab5-Rac1 loop coordinates collective cell migration
Y. Jikko, E. Deguchi, K. Matsuda, N. Hino, S. Tsukiji, M. Matsuda, K. Terai, Journal of Cell Science 138 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
Y. Jikko, E. Deguchi, K. Matsuda, N. Hino, S. Tsukiji, M. Matsuda, K. Terai, Journal of Cell Science 138 (2025).
2025 | Published | Journal Article | IST-REx-ID: 20183 |
|
|
Unequal segregation of mitochondria during asymmetric cell division contributes to cell fate divergence in sister cells in vivo
I. Segos, J. Van Eeckhoven, S. Berger, N. Mishra, E.J. Lambie, B. Conradt, Nature Communications 16 (2025).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
I. Segos, J. Van Eeckhoven, S. Berger, N. Mishra, E.J. Lambie, B. Conradt, Nature Communications 16 (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20182 |
Insect sex chromosome evolution: Conservation, turnover, and mechanisms of dosage compensation
M.A. Toups, B. Vicoso, Current Opinion in Insect Science 72 (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
M.A. Toups, B. Vicoso, Current Opinion in Insect Science 72 (2025).
2025 | Research Data | IST-REx-ID: 20242 |
Data of: "Quantifying the carbon footprint of conference travel: the case of NMR meetings"
P. Schanda, (2025).
View
| Files available
| DOI
P. Schanda, (2025).
2025 | Published | Conference Paper | IST-REx-ID: 20189 |
Introducing certificates to the hardware model checking competition
N. Froleyks, E. Yu, M. Preiner, A. Biere, K. Heljanko, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 281–295.
[Published Version]
View
| Files available
| DOI
N. Froleyks, E. Yu, M. Preiner, A. Biere, K. Heljanko, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 281–295.
2025 | Published | Conference Paper | IST-REx-ID: 20225 |
Supermartingale certificates for quantitative omega-regular verification and control
T.A. Henzinger, K. Mallik, P. Sadeghi, D. Zikelic, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 29–55.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, K. Mallik, P. Sadeghi, D. Zikelic, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 29–55.
2025 | Published | Conference Paper | IST-REx-ID: 20224 |
In the search of optimal tree networks: Hardness and heuristics
P. Martynov, M. Buzdalov, S. Pankratov, V. Aksenov, S. Schmid, in:, Proceedings of the 2025 Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2025, pp. 249–257.
[Published Version]
View
| Files available
| DOI
P. Martynov, M. Buzdalov, S. Pankratov, V. Aksenov, S. Schmid, in:, Proceedings of the 2025 Genetic and Evolutionary Computation Conference, Association for Computing Machinery, 2025, pp. 249–257.
2025 | Published | Journal Article | IST-REx-ID: 19795 |
Image-based 3D active sample stabilization on the nanometer scale for optical microscopy
J. Vorlaufer, N. Semenov, C. Kreuzinger, M. Javoor, B. Zens, N. Agudelo Duenas, M. Tavakoli, M. Suplata, W. Jahr, J. Lyudchik, A. Wartak, F.K. Schur, J.G. Danzl, Biophysical Reports 5 (2025).
[Published Version]
View
| Files available
| DOI
J. Vorlaufer, N. Semenov, C. Kreuzinger, M. Javoor, B. Zens, N. Agudelo Duenas, M. Tavakoli, M. Suplata, W. Jahr, J. Lyudchik, A. Wartak, F.K. Schur, J.G. Danzl, Biophysical Reports 5 (2025).
2025 | Published | Thesis | IST-REx-ID: 20206 |
Construction of a cryo-super-resolution microscope to guide in situ structure analysis
J. Vorlaufer, Construction of a Cryo-Super-Resolution Microscope to Guide in Situ Structure Analysis, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
J. Vorlaufer, Construction of a Cryo-Super-Resolution Microscope to Guide in Situ Structure Analysis, Institute of Science and Technology Austria, 2025.
2025 | Published | Journal Article | IST-REx-ID: 20254 |
|
|
Maintaining diversity in structured populations
D.A. Brewster, J. Svoboda, D. Roscow, K. Chatterjee, J. Tkadlec, M.A. Nowak, Pnas Nexus 4 (2025).
[Published Version]
View
| Files available
| DOI
| arXiv
D.A. Brewster, J. Svoboda, D. Roscow, K. Chatterjee, J. Tkadlec, M.A. Nowak, Pnas Nexus 4 (2025).
2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20260 |
|
|
Burning or collapsing the medial axis is unstable
E.W. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, La Matematica (2025).
[Published Version]
View
| DOI
| Download Published Version (ext.)
E.W. Chambers, C.D. Fillmore, E.R. Stephenson, M. Wintraecken, La Matematica (2025).
2025 | Published | Conference Paper | IST-REx-ID: 20253 |
Quantitative language automata
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 36th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 36th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
2025 | In Press | Journal Article | IST-REx-ID: 20258 |
|
|
Arginine dynamics probed by magic-angle spinning NMR with a specific isotope-labeling scheme
D. Rohden, F. Napoli, A. Kapitonova, B. Tatman, R.J. Lichtenecker, P. Schanda, Journal of Molecular Biology (n.d.).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
D. Rohden, F. Napoli, A. Kapitonova, B. Tatman, R.J. Lichtenecker, P. Schanda, Journal of Molecular Biology (n.d.).
2025 | Research Data | IST-REx-ID: 19956 |
Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme
P. Schanda, (2025).
View
| Files available
| DOI
P. Schanda, (2025).
2025 | Published | Conference Paper | IST-REx-ID: 20256 |
Predictive monitoring of black-box dynamical systems
T.A. Henzinger, F. Kresse, K. Mallik, E. Yu, D. Zikelic, in:, 7th Annual Learning for Dynamics & Control Conference, ML Research Press, 2025, pp. 804–816.
[Published Version]
View
| Files available
| arXiv
T.A. Henzinger, F. Kresse, K. Mallik, E. Yu, D. Zikelic, in:, 7th Annual Learning for Dynamics & Control Conference, ML Research Press, 2025, pp. 804–816.
2025 | Published | Journal Article | IST-REx-ID: 8616 |
Reduction of neuronal activity mediated by blood-vessel regression in the brain
Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. 2025. Reduction of neuronal activity mediated by blood-vessel regression in the brain. Nature Communications. 16, 5840.
[Published Version]
View
| Files available
| DOI
| WoS
Gao X, Li J-L, Chen X, Ci B, Chen F, Lu N, Shen B, Zheng L, Jia J-M, Yi Y, Zhang S, Shi Y-C, Shi K, Propson NE, Huang Y, Poinsatte K, Zhang Z, Yue Y, Bosco DB, Lu Y, Yang S, Adams RH, Lindner V, Huang F, Wu L-J, Zheng H, Han F, Hippenmeyer S, Stowe AM, Peng B, Margeta M, Wang X, Liu Q, Körbelin J, Trepel M, Lu H, Zhou BO, Zhao H, Su W, Bachoo RM, Ge W. 2025. Reduction of neuronal activity mediated by blood-vessel regression in the brain. Nature Communications. 16, 5840.
2025 | Published | Thesis | IST-REx-ID: 19395 |
Cell-Surface Auxin Signaling: Linking molecular pathways to plant development
A. Monzer, Cell-Surface Auxin Signaling: Linking Molecular Pathways to Plant Development, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
A. Monzer, Cell-Surface Auxin Signaling: Linking Molecular Pathways to Plant Development, Institute of Science and Technology Austria, 2025.