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.
232 Publications
2022 | Thesis | IST-REx-ID: 12364 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder
C. Dotter, Transcriptional Consequences of Mutations in Genes Associated with Autism Spectrum Disorder, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
C. Dotter, Transcriptional Consequences of Mutations in Genes Associated with Autism Spectrum Disorder, Institute of Science and Technology Austria, 2022.
2021 | Preprint | IST-REx-ID: 10080 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus
M. Nardin, K. Käfer, J.L. Csicsvari, BioRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
M. Nardin, K. Käfer, J.L. Csicsvari, BioRxiv (n.d.).
2021 | Journal Article | IST-REx-ID: 10635 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nonlinear computations in spiking neural networks through multiplicative synapses
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, Peer Community Journal 1 (2021).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, Peer Community Journal 1 (2021).
2021 | Conference Paper | IST-REx-ID: 10669 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
On the verification of neural ODEs with stochastic guarantees
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
S. Grunbacher, R. Hasani, M. Lechner, J. Cyranka, S.A. Smolka, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 11525–11535.
2021 | Conference Paper | IST-REx-ID: 10671 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Liquid time-constant networks
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
R. Hasani, M. Lechner, A. Amini, D. Rus, R. Grosu, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 7657–7666.
2021 | Conference Paper | IST-REx-ID: 10668 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
On-off center-surround receptive fields for accurate and robust image classification
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.
[Published Version]
View
| Files available
| Download Published Version (ext.)
Z. Babaiee, R. Hasani, M. Lechner, D. Rus, R. Grosu, in:, Proceedings of the 38th International Conference on Machine Learning, ML Research Press, 2021, pp. 478–489.
2021 | Conference Paper | IST-REx-ID: 10670 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Causal navigation by continuous-time neural networks
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, 2021.
2021 | Conference Paper | IST-REx-ID: 10694 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Infinite-duration all-pay bidding games
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Avni, I.R. Jecker, D. Zikelic, in:, D. Marx (Ed.), Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2021, pp. 617–636.
2021 | Book Chapter | IST-REx-ID: 9403 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The evolution of strategic ignorance in strategic interaction
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
[Published Version]
View
| Download Published Version (ext.)
L. Schmid, C. Hilbe, in:, R. Hertwig, C. Engel (Eds.), Deliberate Ignorance: Choosing Not To Know, MIT Press, 2021, pp. 139–152.
2021 | Conference Paper | IST-REx-ID: 9592 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Massively winning configurations in the convex grabbing game on the plane
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, n.d.
[Submitted Version]
View
| Files available
| arXiv
M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, n.d.
2021 | Conference Paper | IST-REx-ID: 9826 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Inverse-Sybil attacks in automated contact tracing
B. Auerbach, S. Chakraborty, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, M.X. Yeo, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 399–421.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
B. Auerbach, S. Chakraborty, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, M.X. Yeo, in:, Topics in Cryptology – CT-RSA 2021, Springer Nature, 2021, pp. 399–421.
2021 | Conference Paper | IST-REx-ID: 11458 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
AC/DC: Alternating Compressed/DeCompressed training of deep neural networks
E.-A. Peste, E.B. Iofinova, A. Vladu, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 8557–8570.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
E.-A. Peste, E.B. Iofinova, A. Vladu, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Curran Associates, 2021, pp. 8557–8570.
2021 | Conference Paper | IST-REx-ID: 10665 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Scalable verification of quantized neural networks
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
T.A. Henzinger, M. Lechner, D. Zikelic, in:, Proceedings of the AAAI Conference on Artificial Intelligence, AAAI Press, 2021, pp. 3787–3795.
2021 | Conference Paper | IST-REx-ID: 10667 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Infinite time horizon safety of Bayesian neural networks
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, 2021.
2021 | Technical Report | IST-REx-ID: 6995 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Identification of neural oscillations and epileptiform changes in human brain organoids
R.A. Samarasinghe, O. Miranda, J.E. Buth, S. Mitchell, I. Ferando, M. Watanabe, A. Kurdian, P. Golshani, K. Plath, W.E. Lowry, J.M. Parent, I. Mody, B.G. Novitch, Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids, Springer Nature, 2021.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
R.A. Samarasinghe, O. Miranda, J.E. Buth, S. Mitchell, I. Ferando, M. Watanabe, A. Kurdian, P. Golshani, K. Plath, W.E. Lowry, J.M. Parent, I. Mody, B.G. Novitch, Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids, Springer Nature, 2021.
2021 | Journal Article | IST-REx-ID: 9387 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Two linked loci under mutation-selection balance and Muller’s ratchet
K. Khudiakova, T.Y. Neretina, A.S. Kondrashov, Journal of Theoretical Biology 524 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
K. Khudiakova, T.Y. Neretina, A.S. Kondrashov, Journal of Theoretical Biology 524 (2021).
2021 | Conference Paper | IST-REx-ID: 9356 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Quantitative and approximate monitoring
T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, N.E. Sarac, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021.
2021 | Journal Article | IST-REx-ID: 9558 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Coarse graining the state space of a turbulent flow using periodic orbits
G. Yalniz, B. Hof, N.B. Budanur, Physical Review Letters 126 (2021).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Yalniz, B. Hof, N.B. Budanur, Physical Review Letters 126 (2021).
2021 | Journal Article | IST-REx-ID: 9818 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mechanics-aware deformation of yarn pattern geometry
G. Sperl, R. Narain, C. Wojtan, ACM Transactions on Graphics 40 (2021).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
G. Sperl, R. Narain, C. Wojtan, ACM Transactions on Graphics 40 (2021).
2021 | Scientific Software | IST-REx-ID: 9327 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data)
G. Sperl, R. Narain, C. Wojtan, (2021).
View
| Files available
| DOI
G. Sperl, R. Narain, C. Wojtan, (2021).