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.

6472 Publications

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

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

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

Tomanek I, Grah R, Lagator M, et al. Gene amplification as a form of population-level gene expression regulation. Nature Ecology & Evolution. 2020;4(4):612-625. doi:10.1038/s41559-020-1132-7

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

Hajny J. Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration. 2020. doi:10.15479/AT:ISTA:8822

[Published Version] View | Files available | DOI

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

Tomanek I. The evolution of gene expression by copy number and point mutations. 2020. doi:10.15479/AT:ISTA:8653

[Published Version] View | Files available | DOI

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

Emtenani S. Metabolic regulation of Drosophila macrophage tissue invasion. 2020. doi:10.15479/AT:ISTA:8983

[Published Version] View | Files available | DOI

Belyaeva V, Wachner S, Gridchyn I, et al. Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance. bioRxiv. doi:10.1101/2020.09.18.301481

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

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

Asadi A, Chatterjee K, Goharshady AK, Mohammadi K, Pavlogiannis A. Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth. In: Automated Technology for Verification and Analysis. Vol 12302. Springer Nature; 2020:253-270. doi:10.1007/978-3-030-59152-6_14

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

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

Chatterjee K, Fu H, Goharshady AK, Goharshady EK. Polynomial invariant generation for non-deterministic recursive programs. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2020:672-687. doi:10.1145/3385412.3385969

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

Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. Optimal and perfectly parallel algorithms for on-demand data-flow analysis. In: European Symposium on Programming. Vol 12075. Springer Nature; 2020:112-140. doi:10.1007/978-3-030-44914-8_5

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

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

Goharshady AK, Mohammadi F. An efficient algorithm for computing network reliability in small treewidth. Reliability Engineering and System Safety. 2020;193. doi:10.1016/j.ress.2019.106665

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

Bhandari P. Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway. 2020. doi:10.15479/AT:ISTA:7525

[Published Version] View | Files available | DOI

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

Garcia Soto M, Prabhakar P. Abstraction based verification of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems. 2020;36(5). doi:10.1016/j.nahs.2020.100856

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

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

Shehu Y, Gibali A, Sagratella S. Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization Theory and Applications. 2020;184:877–894. doi:10.1007/s10957-019-01616-6

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

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

Hörmayer L, Montesinos López JC, Marhavá P, Benková E, Yoshida S, Friml J. 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. 2020;117(26). doi:10.1073/pnas.2003346117

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

Scarselli D. New approaches to reduce friction in turbulent pipe flow. 2020. doi:10.15479/AT:ISTA:7258

View | Files available | DOI

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

Kavcic B. Perturbations of protein synthesis: from antibiotics to genetics and physiology. 2020. doi:10.15479/AT:ISTA:8657

[Published Version] View | Files available | DOI

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

Morandell J. Illuminating the role of Cul3 in autism spectrum disorder pathogenesis. 2020. doi:10.15479/AT:ISTA:8620

[Published Version] View | Files available | DOI

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

Hansen AH, Hippenmeyer S. Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex. Frontiers in Cell and Developmental Biology. 2020;8(9). doi:10.3389/fcell.2020.574382

Morandell J, Schwarz LA, Basilico B, et al. Cul3 regulates cytoskeleton protein homeostasis and cell migration during a critical window of brain development. bioRxiv. doi:10.1101/2020.01.10.902064

[Preprint] View | Files available | DOI

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

Kavcic B, Tkačik G, Bollenbach MT. Mechanisms of drug interactions between translation-inhibiting antibiotics. Nature Communications. 2020;11. doi:10.1038/s41467-020-17734-z

Research Groups

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

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

6472 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options