ISTA Research Explorer

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.

6532 Publications

2020 | Published | Conference Paper | IST-REx-ID: 8728 |

Asadi, Ali, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Kiarash Mohammadi, and Andreas Pavlogiannis. “Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth.” In Automated Technology for Verification and Analysis, 12302:253–70. Springer Nature, 2020. https://doi.org/10.1007/978-3-030-59152-6_14.

[Submitted Version] View | Files available | DOI | WoS

2020 | Published | Conference Paper | IST-REx-ID: 8089 |

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.

2020 | Published | Conference Paper | IST-REx-ID: 7810 |

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 |

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.

2020 | Published | Thesis | PhD | IST-REx-ID: 7525 |

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: 7426 |

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: 7161 |

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 | Journal Article | IST-REx-ID: 8002 |

Hörmayer, Lukas, Juan C Montesinos López, Petra Marhavá, Eva Benková, Saiko Yoshida, and Jiří Friml. “Wounding-Induced Changes in Cellular Pressure and Localized Auxin Signalling Spatially Coordinate Restorative Divisions in Roots.” Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences, 2020. https://doi.org/10.1073/pnas.2003346117.

2020 | Published | Thesis | PhD | IST-REx-ID: 7258 |

Scarselli, Davide. “New Approaches to Reduce Friction in Turbulent Pipe Flow.” Institute of Science and Technology Austria, 2020. https://doi.org/10.15479/AT:ISTA:7258.

View | Files available | DOI

2020 | Published | Thesis | PhD | IST-REx-ID: 8657 |

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 |

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 |

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.

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 |

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.

2020 | Published | Journal Article | IST-REx-ID: 8131 |

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.

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.)

Slovakova, Jana, Mateusz K Sikora, Silvia Caballero Mancebo, Gabriel Krens, Walter Kaufmann, Karla Huljev, and Carl-Philipp J Heisenberg. “Tension-Dependent Stabilization of E-Cadherin Limits Cell-Cell Contact Expansion.” BioRxiv, 2020. https://doi.org/10.1101/2020.11.20.391284.

[Preprint] View | Files available | DOI | Download Preprint (ext.)

2020 | Published | Journal Article | IST-REx-ID: 8532 |

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 | Conference Paper | IST-REx-ID: 9633 |

Confavreux, Basile J, Friedemann Zenke, Everton J. Agnes, Timothy Lillicrap, and Tim P Vogels. “A Meta-Learning Approach to (Re)Discover Plasticity Rules That Carve a Desired Function into a Neural Network.” In 34th Conference on Neural Information Processing Systems, 33:16398–408. Neural Information Processing Systems Foundation, 2020.

[Published Version] View | Files available | Download Published Version (ext.)

2020 | Published | Thesis | PhD | IST-REx-ID: 7680 |

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

Research Groups

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

6532 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

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

6532 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options