Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

623 Publications


2021 | Submitted | Preprint | IST-REx-ID: 10080 | OA
Nardin, Michele, et al. “The Generalized Spatial Representation in the Prefrontal Cortex Is Inherited from the Hippocampus.” BioRxiv, doi:10.1101/2021.09.30.462269.
[Preprint] View | DOI | Download Preprint (ext.) | bioRxiv
 

2021 | Published | Thesis | PhD | IST-REx-ID: 9418 | OA
Phuong, Mary. Underspecification in Deep Learning. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:9418.
[Published Version] View | Files available | DOI
 

2021 | Published | Conference Paper | IST-REx-ID: 9416 | OA
Phuong, Mary, and Christoph Lampert. “The Inductive Bias of ReLU Networks on Orthogonally Separable Data.” 9th International Conference on Learning Representations, 2021.
[Published Version] View | Files available | Download Published Version (ext.)
 

2021 | Published | Conference Paper | IST-REx-ID: 9356 | OA
Henzinger, Thomas A., and Naci E. Sarac. “Quantitative and Approximate Monitoring.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 9470547, IEEE, 2021, doi:10.1109/LICS52264.2021.9470547.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10665 | OA
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, doi:10.1609/aaai.v35i5.16496.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10671 | OA
Hasani, Ramin, et al. “Liquid Time-Constant Networks.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 9, AAAI Press, 2021, pp. 7657–66, doi:10.1609/aaai.v35i9.16936.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2021 | Published | Conference Paper | IST-REx-ID: 10669 | OA
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, doi:10.1609/aaai.v35i13.17372.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2021 | Published | Thesis | PhD | IST-REx-ID: 10429 | OA
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: 9558 | OA
Yalniz, Gökhan, et al. “Coarse Graining the State Space of a Turbulent Flow Using Periodic Orbits.” Physical Review Letters, vol. 126, no. 24, 244502, American Physical Society, 2021, doi:10.1103/PhysRevLett.126.244502.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

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, doi:10.15479/at:ista:10035.
[Published Version] View | Files available | DOI
 

2021 | Published | Conference Paper | IST-REx-ID: 9826 | OA
Auerbach, Benedikt, et al. “Inverse-Sybil Attacks in Automated Contact Tracing.” Topics in Cryptology – CT-RSA 2021, vol. 12704, Springer Nature, 2021, pp. 399–421, doi:10.1007/978-3-030-75539-3_17.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2021 | Published | Thesis | PhD | IST-REx-ID: 9397 | OA
Huljev, Karla. Coordinated Spatiotemporal Reorganization of Interstitial Fluid Is Required for Axial Mesendoderm Migration in Zebrafish Gastrulation. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:9397.
[Published Version] View | Files available | DOI
 

2021 | Published | Thesis | PhD | IST-REx-ID: 9992 | OA
Hörmayer, Lukas. Wound Healing in the Arabidopsis Root Meristem. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:9992.
[Published Version] View | Files available | DOI
 

2021 | Published | Thesis | PhD | IST-REx-ID: 9728 | OA
Agrawal, Nishchal. Transition to Turbulence and Drag Reduction in Particle-Laden Pipe Flows. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:9728.
[Published Version] View | Files available | DOI
 

earlier version | 2021 | Draft | Preprint | IST-REx-ID: 10077 | OA
Nardin, Michele, et al. “The Structure of Hippocampal CA1 Interactions Optimizes Spatial Coding across Experience.” BioRxiv, doi:10.1101/2021.09.28.460602.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2021 | Published | Thesis | PhD | IST-REx-ID: 9623 | OA
Caballero Mancebo, Silvia. Fertilization-Induced Deformations Are Controlled by the Actin Cortex and a Mitochondria-Rich Subcortical Layer in Ascidian Oocytes. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:9623.
[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, doi:10.15479/at:ista:10307.
[Published Version] View | Files available | DOI
 

2021 | Published | Journal Article | IST-REx-ID: 8909 | OA
Jirovec, Daniel, et al. “A Singlet Triplet Hole Spin Qubit in Planar Ge.” Nature Materials, vol. 20, no. 8, Springer Nature, 2021, pp. 1106–1112, doi:10.1038/s41563-021-01022-2.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | 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, doi:10.15479/at:ista:10058.
[Published Version] View | Files available | DOI
 

2021 | Published | Thesis | PhD | IST-REx-ID: 10083 | OA
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
 

Filters and Search Terms

department=Various

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed