Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

7461 Publications


2025 | Published | Conference Paper | IST-REx-ID: 20055
Reaction precursor-mediated formation of stable supercrystals in colloidal nanocrystal synthesis: PbTe case
S. Lee, D. Balazs, S. Horta, A. Rayaroth Puthiyaveettil, M. Ibáñez, in:, Proceedings of the MATSUS Spring 2025 Conference, Fundació Scito, 2025.
View | DOI
 

2025 | Published | Conference Paper | IST-REx-ID: 20034 | OA
LDAdam: Adaptive optimization from low-dimensional gradient statistics
T. Robert, M. Safaryan, I.-V. Modoranu, D.-A. Alistarh, in:, 13th International Conference on Learning Representations, ICLR, 2025, pp. 101877–101913.
[Published Version] View | Files available | arXiv
 

2025 | Published | Journal Article | IST-REx-ID: 18987 | OA | PlanS
Biallelic NDUFA13 variants lead to a neurodevelopmental phenotype with gradual neurological impairment
Kaiyrzhanov R, Thompson K, Efthymiou S, Mukushev A, Zharylkassyn A, Prasad C, Karimiani EG, Alvi JR, Niyazov D, Alahmad A, Babaei M, Tajsharghi H, Albash B, Alaqeel A, Charif M, Hashemi N, Heidari M, Kalantar SM, Lenaers G, Mehrjardi MYV, Srinivasan VM, Gowda VK, Mirabutalebi SH, Carere DA, Movahedinia M, Murphy D, Mcfarland R, Abdel-Hamid MS, Elhossini RM, Alavi S, Napier M, Belanger-Quintana A, Prasad AN, Jakobczyk J, Roubertie A, Rupar T, Sultan T, Toosi MB, Sazanov LA, Severino M, Houlden H, Taylor RW, Maroofian R. 2025. Biallelic NDUFA13 variants lead to a neurodevelopmental phenotype with gradual neurological impairment. Brain Communications. 7(1), fcae453.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2025 | Published | Working Paper | IST-REx-ID: 20146 | OA
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.)
 

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
 

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20182 | OA
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.)
 
 

2025 | Published | Conference Paper | IST-REx-ID: 20225 | OA
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
 

2025 | Published | Journal Article | IST-REx-ID: 19795 | OA
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
 

2025 | Published | Thesis | IST-REx-ID: 20206 | OA
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
 

2025 | Published | Journal Article | IST-REx-ID: 20254 | OA | PlanS
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
 

2025 | Epub ahead of print | Journal Article | IST-REx-ID: 20260 | OA | PlanS
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.)
 

2025 | Published | Conference Paper | IST-REx-ID: 20253 | OA
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
 

2025 | Published | Conference Paper | IST-REx-ID: 20256 | OA
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
 

2025 | Published | Journal Article | IST-REx-ID: 8616 | OA
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
 

2025 | Published | Thesis | IST-REx-ID: 19395 | OA
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
 

2025 | Published | Thesis | IST-REx-ID: 19393 | OA
Non-equilibrium topological phases with periodically driven molecules and quantum rotors
V. Karle, Non-Equilibrium Topological Phases with Periodically Driven Molecules and Quantum Rotors, Institute of Science and Technology Austria, 2025.
[Published Version] View | Files available | DOI
 

2025 | Published | Thesis | IST-REx-ID: 19271
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 | Conference Paper | IST-REx-ID: 20290 | OA
Finding equilibria: Simpler for pessimists, simplest for optimists
L. Brice, T.A. Henzinger, K.S. Thejaswini, in:, 50th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version] View | Files available | DOI | arXiv
 

2025 | Published | Conference Paper | IST-REx-ID: 20291 | OA
Resolving nondeterminism with randomness
T.A. Henzinger, A. Prakash, K.S. Thejaswini, in:, 50th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

supervisor%3D3D224B9E-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications

Display / Sort

Export / Embed