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.




6558 Publications

2020 | Published | Conference Paper | IST-REx-ID: 8089 | OA
Chatterjee, Krishnendu, Hongfei Fu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “Polynomial Invariant Generation for Non-Deterministic Recursive Programs.” In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 672–87. Association for Computing Machinery, 2020. https://doi.org/10.1145/3385412.3385969.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Conference Paper | IST-REx-ID: 7810 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Optimal and Perfectly Parallel Algorithms for On-Demand Data-Flow Analysis.” In European Symposium on Programming, 12075:112–40. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-44914-8_5.
[Published Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 6918 | OA
Goharshady, Amir Kafshdar, and Fatemeh Mohammadi. “An Efficient Algorithm for Computing Network Reliability in Small Treewidth.” Reliability Engineering and System Safety. Elsevier, 2020. https://doi.org/10.1016/j.ress.2019.106665.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2020 | Published | Thesis | PhD | IST-REx-ID: 7525 | OA
Bhandari, Pradeep. “Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7525.
[Published Version] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 7161 | OA
Shehu, Yekini, Aviv Gibali, and Simone Sagratella. “Inertial Projection-Type Methods for Solving Quasi-Variational Inequalities in Real Hilbert Spaces.” Journal of Optimization Theory and Applications. Springer Nature, 2020. https://doi.org/10.1007/s10957-019-01616-6.
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8657 | OA
Kavcic, Bor. “Perturbations of Protein Synthesis: From Antibiotics to Genetics and Physiology.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8657.
[Published Version] View | Files available | DOI
 
2020 | Published | Thesis | PhD | IST-REx-ID: 8620 | OA
Morandell, Jasmin. “Illuminating the Role of Cul3 in Autism Spectrum Disorder Pathogenesis.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:8620.
[Published Version] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 8569 | OA
Hansen, Andi H, and Simon Hippenmeyer. “Non-Cell-Autonomous Mechanisms in Radial Projection Neuron Migration in the Developing Cerebral Cortex.” Frontiers in Cell and Developmental Biology. Frontiers, 2020. https://doi.org/10.3389/fcell.2020.574382.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
earlier version | 2020 | Draft | Preprint | IST-REx-ID: 7800 | OA
Morandell, Jasmin, Lena A Schwarz, Bernadette Basilico, Saren Tasciyan, Armel Nicolas, Christoph M Sommer, Caroline Kreuzinger, et al. “Cul3 Regulates Cytoskeleton Protein Homeostasis and Cell Migration during a Critical Window of Brain Development.” BioRxiv, n.d. https://doi.org/10.1101/2020.01.10.902064 .
[Preprint] View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 8250 | OA
Kavcic, Bor, Gašper Tkačik, and Mark Tobias Bollenbach. “Mechanisms of Drug Interactions between Translation-Inhibiting Antibiotics.” Nature Communications. Springer Nature, 2020. https://doi.org/10.1038/s41467-020-17734-z.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2020 | Published | Journal Article | IST-REx-ID: 8131 | OA
Basilico, Bernadette, Jasmin Morandell, and Gaia Novarino. “Molecular Mechanisms for Targeted ASD Treatments.” Current Opinion in Genetics and Development. Elsevier, 2020. https://doi.org/10.1016/j.gde.2020.06.004.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
earlier version | 2020 | Published | Preprint | IST-REx-ID: 7673 | OA
Kavcic, Bor, Gašper Tkačik, and Mark Tobias Bollenbach. “A Minimal Biophysical Model of Combined Antibiotic Action.” BioRxiv, 2020. https://doi.org/10.1101/2020.04.18.047886.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2020 | Published | Journal Article | IST-REx-ID: 8532 | OA
Kleindienst, David, Jacqueline-Claire Montanaro-Punzengruber, Pradeep Bhandari, Matthew J Case, Yugo Fukazawa, and Ryuichi Shigemoto. “Deep Learning-Assisted High-Throughput Analysis of Freeze-Fracture Replica Images Applied to Glutamate Receptors and Calcium Channels at Hippocampal Synapses.” International Journal of Molecular Sciences. MDPI, 2020. https://doi.org/10.3390/ijms21186737.
[Published Version] View | Files available | DOI | WoS
 
2020 | Published | Thesis | PhD | IST-REx-ID: 7680 | OA
Kainrath, Stephanie. “Synthetic Tools for Optogenetic and Chemogenetic Inhibition of Cellular Signals.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7680.
View | Files available | DOI
 
2020 | Published | Journal Article | IST-REx-ID: 7426 | OA
Garcia Soto, Miriam, and Pavithra Prabhakar. “Abstraction Based Verification of Stability of Polyhedral Switched Systems.” Nonlinear Analysis: Hybrid Systems. Elsevier, 2020. https://doi.org/10.1016/j.nahs.2020.100856.
[Submitted Version] View | Files available | DOI | WoS
 
2020 | Published | Journal Article | IST-REx-ID: 8707 | OA
Galan, Silvia, Nick N Machnik, Kai Kruse, Noelia Díaz, Marc A Marti-Renom, and Juan M Vaquerizas. “CHESS Enables Quantitative Comparison of Chromatin Contact Data and Automatic Feature Extraction.” Nature Genetics. Springer Nature, 2020. https://doi.org/10.1038/s41588-020-00712-y.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 10878 | OA
Flandoli, Franco, Enrico Priola, and Giovanni A Zanco. “A Mean-Field Model with Discontinuous Coefficients for Neurons with Spatial Interaction.” Discrete and Continuous Dynamical Systems. American Institute of Mathematical Sciences, 2019. https://doi.org/10.3934/dcds.2019126.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Published | Journal Article | IST-REx-ID: 11062 | OA
Arrojo e Drigo, Rafael, Varda Lev-Ram, Swati Tyagi, Ranjan Ramachandra, Thomas Deerinck, Eric Bushong, Sebastien Phan, et al. “Age Mosaicism across Multiple Scales in Adult Tissues.” Cell Metabolism. Elsevier, 2019. https://doi.org/10.1016/j.cmet.2019.05.010.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2019 | Published | Journal Article | IST-REx-ID: 27 | OA
Amberg, Nicole, Susanne Laukoter, and Simon Hippenmeyer. “Epigenetic Cues Modulating the Generation of Cell Type Diversity in the Cerebral Cortex.” Journal of Neurochemistry. Wiley, 2019. https://doi.org/10.1111/jnc.14601.
[Published Version] View | Files available | DOI | WoS
 
2019 | Published | Journal Article | IST-REx-ID: 301 | OA
Gerencser, Mate, and István Gyöngy. “A Feynman–Kac Formula for Stochastic Dirichlet Problems.” Stochastic Processes and Their Applications. Elsevier, 2019. https://doi.org/10.1016/j.spa.2018.04.003.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed