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.
5255 Publications
2021 | Published | Thesis | IST-REx-ID: 8934 | 
Goharshady, Amir Kafshdar. Parameterized and Algebro-Geometric Advances in Static Program Analysis. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:8934.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 9429 |
Morandell, Jasmin, et al. “Cul3 Regulates Cytoskeleton Protein Homeostasis and Cell Migration during a Critical Window of Brain Development.” Nature Communications, vol. 12, no. 1, 3058, Springer Nature, 2021, doi:10.1038/s41467-021-23123-x.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9438 |
Vandael, David H., et al. “Subcellular Patch-Clamp Techniques for Single-Bouton Stimulation and Simultaneous Pre- and Postsynaptic Recording at Cortical Synapses.” Nature Protocols, vol. 16, no. 6, Springer Nature, 2021, pp. 2947–2967, doi:10.1038/s41596-021-00526-0.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 10816 |
Guzmán, José, et al. “How Connectivity Rules and Synaptic Properties Shape the Efficacy of Pattern Separation in the Entorhinal Cortex–Dentate Gyrus–CA3 Network.” Nature Computational Science, vol. 1, no. 12, Springer Nature, 2021, pp. 830–42, doi:10.1038/s43588-021-00157-1.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2021 | Scientific Software | IST-REx-ID: 10110 |
Guzmán, José, et al. How Connectivity Rules and Synaptic Properties Shape the Efficacy of Pattern Separation in the Entorhinal Cortex–Dentate Gyrus–CA3 Network. IST Austria, 2021, doi:10.15479/AT:ISTA:10110.
View
| Files available
| DOI
2021 | Published | Thesis | 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: 9437 |
Bhandari, Pradeep, et al. “GABAB Receptor Auxiliary Subunits Modulate Cav2.3-Mediated Release from Medial Habenula Terminals.” ELife, vol. 10, e68274, eLife Sciences Publications, 2021, doi:10.7554/ELIFE.68274.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Thesis | IST-REx-ID: 9562 |
Kleindienst, David. 2B or Not 2B: Hippocampal Asymmetries Mediated by NMDA Receptor Subunit GluN2B C-Terminus and High-Throughput Image Analysis by Deep-Learning. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:9562.
[Published Version]
View
| Files available
| DOI
2021 | Published | Book Chapter | IST-REx-ID: 9756
Kaufmann, Walter, et al. “High-Resolution Localization and Quantitation of Membrane Proteins by SDS-Digested Freeze-Fracture Replica Labeling (SDS-FRL).” Receptor and Ion Channel Detection in the Brain, vol. 169, Humana, 2021, pp. 267–83, doi:10.1007/978-1-0716-1522-5_19.
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.)
2020 | Submitted | Preprint | IST-REx-ID: 10012 |
Fischer, Julian L., et al. “The Local Structure of the Energy Landscape in Multiphase Mean Curvature Flow: Weak-Strong Uniqueness and Stability of Evolutions.” ArXiv, 2003.05478.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2020 | Submitted | Preprint | IST-REx-ID: 10022 |
Forkert, Dominik L., et al. “Evolutionary Γ-Convergence of Entropic Gradient Flow Structures for Fokker-Planck Equations in Multiple Dimensions.” ArXiv, 2008.10962.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2020 | Published | Conference Paper | IST-REx-ID: 10328
Lambert, Nicholas J., et al. “New Designs and Noise Channels in Electro-Optic Microwave to Optical up-Conversion.” OSA Quantum 2.0 Conference, QTu8A.1, Optica Publishing Group, 2020, doi:10.1364/QUANTUM.2020.QTu8A.1.
View
| DOI
2020 | Published | Conference Paper | IST-REx-ID: 10556 |
Kokoris Kogias, Eleftherios, et al. “Asynchronous Distributed Key Generation for Computationally-Secure Randomness, Consensus, and Threshold Signatures.” Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2020, pp. 1751–1767, doi:10.1145/3372297.3423364.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2020 | Patent | IST-REx-ID: 10557 |
Ford, Bryan, et al. Cryptographically Verifiable Data Structure Having Multi-Hop Forward and Backwards Links and Associated Systems and Methods. 2020.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 | Published | Conference Paper | IST-REx-ID: 10673 |
Hasani, Ramin, et al. “A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits.” Proceedings of the 37th International Conference on Machine Learning, 2020, pp. 4082–93.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 | Published | Conference Paper | IST-REx-ID: 10672 |
Lechner, Mathias. “Learning Representations for Binary-Classification without Backpropagation.” 8th International Conference on Learning Representations, ICLR, 2020.
[Published Version]
View
| Files available
| Download Published Version (ext.)
2020 | Published | Conference Paper | IST-REx-ID: 8623 |
Henzinger, Thomas A., and Naci E. Sarac. “Monitorability under Assumptions.” Runtime Verification, vol. 12399, Springer Nature, 2020, pp. 3–18, doi:10.1007/978-3-030-60508-7_1.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 8704 |
Lechner, Mathias, et al. “Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-End Robot Learning Scheme.” Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2020, pp. 5446–52, doi:10.1109/ICRA40945.2020.9196608.
[Submitted Version]
View
| Files available
| DOI
| WoS
2020 | Published | Conference Paper | IST-REx-ID: 9040 |
Alamdari, Par Alizadeh, et al. “Formal Methods with a Touch of Magic.” Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–47, doi:10.34727/2020/isbn.978-3-85448-042-6_21.
[Published Version]
View
| Files available
| DOI