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.




466 Publications

2022 | Research Data | IST-REx-ID: 10934 | OA
Radler P. 2022. In vitro reconstitution of Escherichia coli divisome activation, Institute of Science and Technology Austria, 10.15479/AT:ISTA:10934.
[Submitted Version] View | Files available | DOI
 
2022 | Research Data | IST-REx-ID: 11653 | OA
Elkrewi MN. 2022. Data from Elkrewi, Khauratovich, Toups et al. 2022, ‘ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:11653.
[Published Version] View | Files available | DOI
 
2022 | Published | Thesis | PhD | IST-REx-ID: 12364 | OA
Dotter C. 2022. Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2022 | Published | Thesis | PhD | IST-REx-ID: 12366 | OA
Redchenko E. 2022. Controllable states of superconducting Qubit ensembles. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2022 | Published | Thesis | PhD | IST-REx-ID: 12378 | OA
Colombo G. 2022. MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2022 | Published | Thesis | PhD | IST-REx-ID: 12401 | OA
Tasciyan S. 2022. Role of microenvironment heterogeneity in cancer cell invasion. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2022 | Published | Thesis | PhD | IST-REx-ID: 10727 | OA
Metzler S. 2022. Pathogen-mediated sexual selection and immunization in ant colonies. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2022 | Published | Thesis | PhD | IST-REx-ID: 11193 | OA
Wachner S. 2022. Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2022 | Published | Thesis | PhD | IST-REx-ID: 11196 | OA
Kim O. 2022. Nanoarchitecture of hippocampal mossy fiber-CA3 pyramidal neuron synapses. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2022 | Published | Thesis | PhD | IST-REx-ID: 11393 | OA
Jevtic M. 2022. Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2022 | Published | Thesis | PhD | IST-REx-ID: 11388 | OA
Belohlavy S. 2022. The genetic basis of complex traits studied via analysis of evolve and resequence experiments. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
2021 | Published | Conference Paper | IST-REx-ID: 11458 | OA
Krumes A, Iofinova EB, Vladu A, Alistarh D-A. 2021. AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 34, 8557–8570.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Journal Article | IST-REx-ID: 10635 | OA
Nardin M, Phillips JW, Podlaski WF, Keemink SW. 2021. Nonlinear computations in spiking neural networks through multiplicative synapses. Peer Community Journal. 1, e68.
[Published Version] View | Files available | DOI | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10665 | OA
Henzinger TA, Lechner M, Zikelic D. 2021. Scalable verification of quantized neural networks. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 3787–3795.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10666 | OA
Lechner M, Hasani R, Grosu R, Rus D, Henzinger TA. 2021. Adversarial training is not ready for robot learning. 2021 IEEE International Conference on Robotics and Automation. ICRA: International Conference on Robotics and AutomationICRA, 4140–4147.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10667 | OA
Lechner M, Žikelić Ð, Chatterjee K, Henzinger TA. 2021. Infinite time horizon safety of Bayesian neural networks. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, .
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10668 | OA
Babaiee Z, Hasani R, Lechner M, Rus D, Grosu R. 2021. On-off center-surround receptive fields for accurate and robust image classification. Proceedings of the 38th International Conference on Machine Learning. ML: Machine Learning, PMLR, vol. 139, 478–489.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10669 | OA
Grunbacher S, Hasani R, Lechner M, Cyranka J, Smolka SA, Grosu R. 2021. On the verification of neural ODEs with stochastic guarantees. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 11525–11535.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10670 | OA
Vorbach CJ, Hasani R, Amini A, Lechner M, Rus D. 2021. Causal navigation by continuous-time neural networks. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, .
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Published | Conference Paper | IST-REx-ID: 10671 | OA
Hasani R, Lechner M, Amini A, Rus D, Grosu R. 2021. Liquid time-constant networks. Proceedings of the AAAI Conference on Artificial Intelligence. AAAI: Association for the Advancement of Artificial Intelligence, Technical Tracks, vol. 35, 7657–7666.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed