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.

4466 Publications


2021 | Accepted | Preprint | IST-REx-ID: 10095 | OA
Li, Lanxin, et al. “Cell Surface and Intracellular Auxin Signalling for H+-Fluxes in Root Growth.” Research Square, 266395, doi:10.21203/rs.3.rs-266395/v3.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2021 | Published | Thesis | IST-REx-ID: 8934 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | Submitted | Preprint | IST-REx-ID: 10077 | OA
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 | OA
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 | OA
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: 10556 | OA
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 | Published | Conference Paper | IST-REx-ID: 10673 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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
 

2020 | Published | Conference Paper | IST-REx-ID: 9103 | OA
Gruenbacher, Sophie, et al. “Lagrangian Reachtubes: The next Generation.” Proceedings of the 59th IEEE Conference on Decision and Control, vol. 2020, IEEE, 2020, pp. 1556–63, doi:10.1109/CDC42340.2020.9304042.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2020 | Published | Conference Paper | IST-REx-ID: 8750 | OA
Forets, Marcelo, et al. “Efficient Reachability Analysis of Parametric Linear Hybrid Systems with  Time-Triggered Transitions.” 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, 9314994, IEEE, 2020, doi:10.1109/MEMOCODE51338.2020.9314994.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Filters and Search Terms

extern<>1

oa=1

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed