Nardin, M. (2022). On the encoding, transfer, and consolidation of spatial memories. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11932 
LibreCat: https://research-explorer.ista.ac.at/record/11932
DOI: 10.15479/at:ista:11932

Colombo, G. (2022). MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12378 
LibreCat: https://research-explorer.ista.ac.at/record/12378
DOI: 10.15479/at:ista:12378

Belohlavy, S. (2022). The genetic basis of complex traits studied via analysis of evolve and resequence experiments. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11388 
LibreCat: https://research-explorer.ista.ac.at/record/11388
DOI: 10.15479/at:ista:11388

Tasciyan, S. (2022). Role of microenvironment heterogeneity in cancer cell invasion. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12401 
LibreCat: https://research-explorer.ista.ac.at/record/12401
DOI: 10.15479/at:ista:12401

Wachner, S. (2022). Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:11193 
LibreCat: https://research-explorer.ista.ac.at/record/11193
DOI: 10.15479/at:ista:11193

Dotter, C. (2022). Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder. Institute of Science and Technology Austria.https://doi.org/10.15479/at:ista:12094 
LibreCat: https://research-explorer.ista.ac.at/record/12364
DOI: 10.15479/at:ista:12094

Elkrewi, M. N. (2022). Data from Elkrewi, Khauratovich, Toups et al. 2022, “ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp.”https://doi.org/10.15479/AT:ISTA:11653__Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:11653 
LibreCat: https://research-explorer.ista.ac.at/record/11653
DOI: 10.15479/AT:ISTA:11653

Nardin, M., Käfer, K., &; Csicsvari, J. L. (n.d.). The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus. bioRxiv. Cold Spring Harbor Laboratory.https://doi.org/10.1101/2021.09.30.462269 
LibreCat: https://research-explorer.ista.ac.at/record/10080
DOI: 10.1101/2021.09.30.462269

Nardin, M., Phillips, J. W., Podlaski, W. F., &; Keemink, S. W. (2021). Nonlinear computations in spiking neural networks through multiplicative synapses. Peer Community Journal. Centre Mersennef; Peer Community In.https://doi.org/10.24072/pcjournal.69 
LibreCat: https://research-explorer.ista.ac.at/record/10635
DOI: 10.24072/pcjournal.69
arXiv: 2009.03857

Grunbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S. A., &; Grosu, R. (2021). On the verification of neural ODEs with stochastic guarantees. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 11525–11535). Virtual: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/10669
arXiv: 2012.08863

Hasani, R., Lechner, M., Amini, A., Rus, D., &; Grosu, R. (2021). Liquid time-constant networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 7657–7666). Virtual: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/10671
arXiv: 2006.04439

Babaiee, Z., Hasani, R., Lechner, M., Rus, D., &; Grosu, R. (2021). On-off center-surround receptive fields for accurate and robust image classification. In Proceedings of the 38th International Conference on Machine Learning (Vol. 139, pp. 478–489). Virtual: ML Research Press.
LibreCat: https://research-explorer.ista.ac.at/record/10668

Vorbach, C. J., Hasani, R., Amini, A., Lechner, M., &; Rus, D. (2021). Causal navigation by continuous-time neural networks. In 35th Conference on Neural Information Processing Systems. Virtual.
LibreCat: https://research-explorer.ista.ac.at/record/10670
arXiv: 2106.08314

Avni, G., Jecker, I. R., &; Zikelic, D. (2021). Infinite-duration all-pay bidding games. In D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (pp. 617–636). Virtual: Society for Industrial and Applied Mathematics.https://doi.org/10.1137/1.9781611976465.38 
LibreCat: https://research-explorer.ista.ac.at/record/10694
DOI: 10.1137/1.9781611976465.38
arXiv: 2005.06636

Schmid, L., &; Hilbe, C. (2021). The evolution of strategic ignorance in strategic interaction. In R. Hertwig &; C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know (Vol. 29, pp. 139–152). MIT Press.
LibreCat: https://research-explorer.ista.ac.at/record/9403

Dvorak, M., &; Nicholson, S. (n.d.). Massively winning configurations in the convex grabbing game on the plane. In Proceedings of the 33rd Canadian Conference on Computational Geometry. Halifax, NS, Canada.
LibreCat: https://research-explorer.ista.ac.at/record/9592
arXiv: 2106.11247

Auerbach, B., Chakraborty, S., Klein, K., Pascual Perez, G., Pietrzak, K. Z., Walter, M., &; Yeo, M. X. (2021). Inverse-Sybil attacks in automated contact tracing. In Topics in Cryptology – CT-RSA 2021 (Vol. 12704, pp. 399–421). Virtual Event: Springer Nature.https://doi.org/10.1007/978-3-030-75539-3_17 
LibreCat: https://research-explorer.ista.ac.at/record/9826
DOI: 10.1007/978-3-030-75539-3_17

Peste, E.-A., Iofinova, E. B., Vladu, A., &; Alistarh, D.-A. (2021). AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. In 35th Conference on Neural Information Processing Systems (Vol. 34, pp. 8557–8570). Virtual, Online: Curran Associates.
LibreCat: https://research-explorer.ista.ac.at/record/11458
arXiv: 2106.12379

Henzinger, T. A., Lechner, M., &; Zikelic, D. (2021). Scalable verification of quantized neural networks. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 35, pp. 3787–3795). Virtual: AAAI Press.
LibreCat: https://research-explorer.ista.ac.at/record/10665
arXiv: 2012.08185

Lechner, M., dikeli, Ð., Chatterjee, K., &; Henzinger, T. A. (2021). Infinite time horizon safety of Bayesian neural networks. In 35th Conference on Neural Information Processing Systems. Virtual.https://doi.org/10.48550/arXiv.2111.03165 
LibreCat: https://research-explorer.ista.ac.at/record/10667
DOI: 10.48550/arXiv.2111.03165
arXiv: 2111.03165