International IST Doctoral Program
Project Period: 2015-10-01 – 2020-09-30
Externally Funded
Acronym
ISTSCHOLAR
Grant Number
665385
Funder
EC/H2020
124 Publications
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
H.S.C. Chiossi, Adaptive Hierarchical Representations in the Hippocampus, Institute of Science and Technology Austria, 2024.
2024 |Published| Journal Article | IST-REx-ID: 15084 | 
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
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).
2024 |Published| Thesis | IST-REx-ID: 14711 |
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
O.O. Olusanya, Local Adaptation, Genetic Load and Extinction in Metapopulations, Institute of Science and Technology Austria, 2024.
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 15330 |
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
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).
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17052 |
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
C. Fiedler, M. Calcabrini, Y. Liu, M. Ibáñez, Angewandte Chemie - International Edition (2024).
2024 |Published| Thesis | IST-REx-ID: 15020 |
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
M. Hledik, Genetic Information and Biological Optimization, Institute of Science and Technology Austria, 2024.
2023 |Published| Conference Paper | IST-REx-ID: 13142 |
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
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.
2023 |Published| Thesis | IST-REx-ID: 12826 |
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
V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.
2023 |Published| Thesis | IST-REx-ID: 13074 |
Efficiency and generalization of sparse neural networks
E.-A. Peste, Efficiency and Generalization of Sparse Neural Networks, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
E.-A. Peste, Efficiency and Generalization of Sparse Neural Networks, Institute of Science and Technology Austria, 2023.
2023 |Published| Conference Paper | IST-REx-ID: 14242 |
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
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.
2023 |Published| Conference Paper | IST-REx-ID: 14243 |
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
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.
2023 |Published| Conference Paper | IST-REx-ID: 14317 |
MDPs as distribution transformers: Affine invariant synthesis for safety objectives
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
[Published Version]
View
| Files available
| DOI
S. Akshay, K. Chatterjee, T. Meggendorfer, D. Zikelic, in:, International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 86–112.
2023 |Published| Journal Article | IST-REx-ID: 10405 |
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
G. Cipolloni, L. Erdös, D.J. Schröder, Communications on Pure and Applied Mathematics 76 (2023) 946–1034.
2023 |Published| Journal Article | IST-REx-ID: 12349 |
Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.
2023 | Research Data | IST-REx-ID: 12370 |
Research Data for: Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, A.L. Sumser, M.A. Jösch, (2023).
[Published Version]
View
| Files available
| DOI
D. Gupta, A.L. Sumser, M.A. Jösch, (2023).
2023 |Published| Conference Paper | IST-REx-ID: 14518 |
Reachability poorman discrete-bidding games
G. Avni, T. Meggendorfer, S. Sadhukhan, J. Tkadlec, D. Zikelic, in:, Frontiers in Artificial Intelligence and Applications, IOS Press, 2023, pp. 141–148.
[Published Version]
View
| Files available
| DOI
| arXiv
G. Avni, T. Meggendorfer, S. Sadhukhan, J. Tkadlec, D. Zikelic, in:, Frontiers in Artificial Intelligence and Applications, IOS Press, 2023, pp. 141–148.
2023 |Published| Conference Paper | IST-REx-ID: 14559
Learning provably stabilizing neural controllers for discrete-time stochastic systems
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
View
| DOI
M. Ansaripour, K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, 21st International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2023, pp. 357–379.
2023 |Published| Thesis | IST-REx-ID: 14506 |
Advances in efficiency and privacy in payment channel network analysis
M.X. Yeo, Advances in Efficiency and Privacy in Payment Channel Network Analysis, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M.X. Yeo, Advances in Efficiency and Privacy in Payment Channel Network Analysis, Institute of Science and Technology Austria, 2023.
2023 |Published| Thesis | IST-REx-ID: 14058 |
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
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.
2023 |Published| Journal Article | IST-REx-ID: 14077 |
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
G. Puixeu Sala, A. Macon, B. Vicoso, G3: Genes, Genomes, Genetics 13 (2023).