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.




506 Publications

2021 | Published | Journal Article | IST-REx-ID: 6995 | OA
Samarasinghe, Ranmal A., Osvaldo Miranda, Jessie E. Buth, Simon Mitchell, Isabella Ferando, Momoko Watanabe, Arinnae Kurdian, et al. “Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids.” Nature Neuroscience. Springer Nature, 2021. https://doi.org/10.1038/s41593-021-00906-5.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC
 
2021 | Published | Thesis | PhD | IST-REx-ID: 10007 | OA
Hensel, Sebastian. “Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10007.
[Published Version] View | Files available | DOI
 
2021 | Published | Thesis | PhD | IST-REx-ID: 10030 | OA
Portinale, Lorenzo. “Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10030.
[Published Version] View | Files available | DOI
 
2021 | Published | Thesis | PhD | IST-REx-ID: 10035 | OA
Klein, Karen. “On the Adaptive Security of Graph-Based Games.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10035.
[Published Version] View | Files available | DOI
 
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
 
earlier version | 2021 | Draft | 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. 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.
[Preprint] View | Files available | DOI | Download Preprint (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
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed