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.

6558 Publications

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

Mazur E, Kulik I, Hajny J, Friml J. 2020. Auxin canalization and vascular tissue formation by TIR1/AFB-mediated auxin signaling in arabidopsis. New Phytologist. 226(5), 1375–1383.

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

Tomanek I, Grah R, Lagator M, Andersson AMC, Bollback JP, Tkačik G, Guet CC. 2020. Gene amplification as a form of population-level gene expression regulation. Nature Ecology & Evolution. 4(4), 612–625.

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

Hajny J. 2020. Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

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

Tomanek I. 2020. The evolution of gene expression by copy number and point mutations. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

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

Asadi A, Chatterjee K, Goharshady AK, Mohammadi K, Pavlogiannis A. 2020. Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 12302, 253–270.

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

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

Chatterjee K, Fu H, Goharshady AK, Goharshady EK. 2020. Polynomial invariant generation for non-deterministic recursive programs. Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 672–687.

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

Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. 2020. Optimal and perfectly parallel algorithms for on-demand data-flow analysis. European Symposium on Programming. ESOP: Programming Languages and Systems, LNCS, vol. 12075, 112–140.

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

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

Goharshady AK, Mohammadi F. 2020. An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. 193, 106665.

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

Bhandari P. 2020. Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

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

Shehu Y, Gibali A, Sagratella S. 2020. Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization Theory and Applications. 184, 877–894.

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

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

Kavcic B. 2020. Perturbations of protein synthesis: from antibiotics to genetics and physiology. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

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

Morandell J. 2020. Illuminating the role of Cul3 in autism spectrum disorder pathogenesis. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

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

Hansen AH, Hippenmeyer S. 2020. Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. 8(9), 574382.

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

Kavcic B, Tkačik G, Bollenbach MT. 2020. Mechanisms of drug interactions between translation-inhibiting antibiotics. Nature Communications. 11, 4013.

Morandell J, Schwarz LA, Basilico B, Tasciyan S, Nicolas A, Sommer CM, Kreuzinger C, Knaus L, Dobler Z, Cacci E, Danzl JG, Novarino G. Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. bioRxiv, 10.1101/2020.01.10.902064 .

[Preprint] View | Files available | DOI

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

Basilico B, Morandell J, Novarino G. 2020. Molecular mechanisms for targeted ASD treatments. Current Opinion in Genetics and Development. 65(12), 126–137.

Kavcic B, Tkačik G, Bollenbach MT. 2020. A minimal biophysical model of combined antibiotic action. bioRxiv, 10.1101/2020.04.18.047886.

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

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

Kleindienst D, Montanaro-Punzengruber J-C, Bhandari P, Case MJ, Fukazawa Y, Shigemoto R. 2020. 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. 21(18), 6737.

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

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

Kainrath S. 2020. Synthetic tools for optogenetic and chemogenetic inhibition of cellular signals. Institute of Science and Technology Austria.

View | Files available | DOI

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

Garcia Soto M, Prabhakar P. 2020. Abstraction based verification of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems. 36(5), 100856.

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

Research Groups

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

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

6558 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options