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.
231 Publications
2021 |
Submitted |
Preprint |
IST-REx-ID: 10045 |
Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem and Discrete Convexity.” ArXiv, 2109.10203, doi:10.48550/arXiv.2109.10203.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10058 |
Jirovec, Daniel. Singlet-Triplet Qubits and Spin-Orbit Interaction in 2-Dimensional Ge Hole Gases. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10058.
[Published Version]
View
| Files available
| DOI
2021 |
Submitted |
Preprint |
IST-REx-ID: 10077 |
Nardin, Michele, et al. “The Structure of Hippocampal CA1 Interactions Optimizes Spatial Coding across Experience.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2021.09.28.460602.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2021 |
Submitted |
Preprint |
IST-REx-ID: 10080 |
Nardin, Michele, et al. “The Generalized Spatial Representation in the Prefrontal Cortex Is Inherited from the Hippocampus.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2021.09.30.462269.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10083 |
Li, Lanxin. Rapid Cell Growth Regulation in Arabidopsis. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10083.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10135 |
Semerádová, Hana. Molecular Mechanisms of the Cytokinin-Regulated Endomembrane Trafficking to Coordinate Plant Organogenesis. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10135.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Journal Article |
IST-REx-ID: 10191 |
Bui, Truc Lam, et al. “The Reads-from Equivalence for the TSO and PSO Memory Models.” Proceedings of the ACM on Programming Languages, vol. 5, no. OOPSLA, 164, Association for Computing Machinery, 2021, doi:10.1145/3485541.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10199 |
Toman, Viktor. Improved Verification Techniques for Concurrent Systems. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10199.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10293 |
Schmid, Laura. Evolution of Cooperation via (in)Direct Reciprocity under Imperfect Information. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10293.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10303 |
Abualia, Rashed. Role of Hormones in Nitrate Regulated Growth. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10303.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10307 |
Tomasek, Kathrin. Pathogenic Escherichia Coli Hijack the Host Immune Response. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10307.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Thesis | MS |
IST-REx-ID: 10422 |
Piankov, Anton. Towards Designer Materials Using Customizable Particle Shape. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10422.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Thesis | PhD |
IST-REx-ID: 10429 |
Nadiradze, Giorgi. On Achieving Scalability through Relaxation. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10429.
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Journal Article |
IST-REx-ID: 10635 |
Nardin, Michele, et al. “Nonlinear Computations in Spiking Neural Networks through Multiplicative Synapses.” Peer Community Journal, vol. 1, e68, Centre Mersenne ; Peer Community In, 2021, doi:10.24072/pcjournal.69.
[Published Version]
View
| Files available
| DOI
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10665 |
Henzinger, Thomas A., et al. “Scalable Verification of Quantized Neural Networks.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 5A, AAAI Press, 2021, pp. 3787–95.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10666 |
Lechner, Mathias, et al. “Adversarial Training Is Not Ready for Robot Learning.” 2021 IEEE International Conference on Robotics and Automation, 2021, pp. 4140–47, doi:10.1109/ICRA48506.2021.9561036.
View
| Files available
| DOI
| Download None (ext.)
| WoS
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10667 |
Lechner, Mathias, et al. “Infinite Time Horizon Safety of Bayesian Neural Networks.” 35th Conference on Neural Information Processing Systems, 2021, doi:10.48550/arXiv.2111.03165.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10668 |
Babaiee, Zahra, et al. “On-off Center-Surround Receptive Fields for Accurate and Robust Image Classification.” Proceedings of the 38th International Conference on Machine Learning, vol. 139, ML Research Press, 2021, pp. 478–89.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2021 |
Published |
Conference Paper |
IST-REx-ID: 10669 |
Grunbacher, Sophie, et al. “On the Verification of Neural ODEs with Stochastic Guarantees.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 13, AAAI Press, 2021, pp. 11525–35.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10670 |
Vorbach, Charles J., et al. “Causal Navigation by Continuous-Time Neural Networks.” 35th Conference on Neural Information Processing Systems, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv