International IST Doctoral Program

Project Period: 2015-10-01 – 2020-09-30
Externally Funded
Acronym
ISTSCHOLAR
Grant Number
665385
Funder
EC/H2020

127 Publications

2024 | Published | Journal Article | IST-REx-ID: 15084 | OA
GABAB receptors induce phasic release from medial habenula terminals through activity-dependent recruitment of release-ready vesicles
P. Koppensteiner, P. Bhandari, C. Önal, C. Borges Merjane, E. Le Monnier, U. Roy, Y. Nakamura, T. Sadakata, M. Sanbo, M. Hirabayashi, J. Rhee, N. Brose, P.M. Jonas, R. Shigemoto, Proceedings of the National Academy of Sciences 121 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Published | Thesis | IST-REx-ID: 14711 | OA
Local adaptation, genetic load and extinction in metapopulations
O.O. Olusanya, Local Adaptation, Genetic Load and Extinction in Metapopulations, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | IST-REx-ID: 18088 | OA
On the efficiency and security of secure group messaging
G. Pascual Perez, On the Efficiency and Security of Secure Group Messaging, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17052 | OA
Unveiling crucial chemical processing parameters influencing the performance of solution-processed inorganic thermoelectric materials
C. Fiedler, M. Calcabrini, Y. Liu, M. Ibáñez, Angewandte Chemie - International Edition (2024).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2024 | Published | Thesis | IST-REx-ID: 17850 | OA
Fitness landscapes of orthologous green fluorescent proteins
L. Gonzalez Somermeyer, Fitness Landscapes of Orthologous Green Fluorescent Proteins, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | IST-REx-ID: 18101
Structural characterization of spumavirus capsid assemblies
D. Porley Esteves, Structural Characterization of Spumavirus Capsid Assemblies, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | IST-REx-ID: 14821
Adaptive hierarchical representations in the hippocampus
H.S.C. Chiossi, Adaptive Hierarchical Representations in the Hippocampus, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | IST-REx-ID: 15020 | OA
Genetic information and biological optimization
M. Hledik, Genetic Information and Biological Optimization, Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 15330 | OA
Role of dynamin-related proteins 2 and SH3P2 in clathrin-mediated endocytosis in Arabidopsis thaliana
N. Gnyliukh, A.J. Johnson, M. Nagel, A. Monzer, D. Babic, A. Hlavata, S. Alotaibi, E. Isono, M. Loose, J. Friml, Journal of Cell Science (2024).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 10405 | OA
Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Communications on Pure and Applied Mathematics 76 (2023) 946–1034.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14830
Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–11935.
[Preprint] View | Files available | DOI | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 14778 | OA
On lexicographic proof rules for probabilistic termination
K. Chatterjee, E. Kafshdar Goharshady, P. Novotný, J. Zárevúcky, D. Zikelic, Formal Aspects of Computing 35 (2023).
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Thesis | IST-REx-ID: 12885 | OA
Nanoparticle-based semiconductor solids: From synthesis to consolidation
M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | IST-REx-ID: 12826 | OA
Neural control of optic flow-based navigation in Drosophila melanogaster
V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | IST-REx-ID: 13074 | OA
Efficiency and generalization of sparse neural networks
A. Krumes, Efficiency and Generalization of Sparse Neural Networks, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Published | Conference Paper | IST-REx-ID: 13142 | OA
A learner-verifier framework for neural network controllers and certificates of stochastic systems
K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | IST-REx-ID: 14058 | OA
The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation
G. Puixeu Sala, The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 14077 | OA
Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster
G. Puixeu Sala, A. Macon, B. Vicoso, G3: Genes, Genomes, Genetics 13 (2023).
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Conference Paper | IST-REx-ID: 14242 | OA
Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–14973.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14243 | OA
Bidding graph games with partially-observable budgets
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed