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

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed