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.

9078 Publications


2020 | Preprint | IST-REx-ID: 8557 | OA
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 | Preprint | IST-REx-ID: 8831 | OA
Aggarwal K, Hofmann AC, Jirovec D, et al. Enhancement of proximity induced superconductivity in planar Germanium. arXiv.
[Submitted Version] View | Files available | arXiv
 

2020 | Journal Article | IST-REx-ID: 8532 | OA
Kleindienst D, Montanaro-Punzengruber J-C, Bhandari P, Case MJ, Fukazawa Y, Shigemoto R. 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. 2020;21(18). doi:10.3390/ijms21186737
[Published Version] View | Files available | DOI | WoS
 

2020 | Conference Paper | IST-REx-ID: 7810 | OA
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 | Conference Paper | IST-REx-ID: 8728 | OA
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 | Conference Paper | IST-REx-ID: 8089 | OA
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
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 6918 | OA
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
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2020 | Journal Article | IST-REx-ID: 7161 | OA
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 | Journal Article | IST-REx-ID: 7652 | OA
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
[Submitted Version] View | Files available | DOI | WoS
 

2020 | Thesis | IST-REx-ID: 7258 | OA
Scarselli D. New approaches to reduce friction in turbulent pipe flow. 2020. doi:10.15479/AT:ISTA:7258
View | Files available | DOI
 

2020 | Thesis | IST-REx-ID: 8653 | OA
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 | Journal Article | IST-REx-ID: 7427 | OA
Tan S, Abas MF, Verstraeten I, et al. Salicylic acid targets protein phosphatase 2A to attenuate growth in plants. Current Biology. 2020;30(3):381-395.e8. doi:10.1016/j.cub.2019.11.058
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7500 | OA
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
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Thesis | IST-REx-ID: 8822 | OA
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 | Thesis | IST-REx-ID: 8350 | OA
Shamipour S. Bulk actin dynamics drive phase segregation in zebrafish oocytes . 2020. doi:10.15479/AT:ISTA:8350
View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8569 | OA
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
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2020 | Journal Article | IST-REx-ID: 7815 | OA
Beattie RJ, Streicher C, Amberg N, et al. Lineage tracing and clonal analysis in developing cerebral cortex using mosaic analysis with double markers (MADM). Journal of Visual Experiments. 2020;(159). doi:10.3791/61147
[Published Version] View | Files available | DOI | WoS
 

2020 | Thesis | IST-REx-ID: 7902 | OA
Contreras X. Genetic dissection of neural development in health and disease at single cell resolution. 2020. doi:10.15479/AT:ISTA:7902
[Published Version] View | Files available | DOI
 

2020 | Journal Article | IST-REx-ID: 8190 | OA
Sixt MK, Huttenlocher A. Zena Werb (1945-2020): Cell biology in context. The Journal of Cell Biology. 2020;219(8). doi:10.1083/jcb.202007029
[Published Version] View | Files available | DOI | WoS
 

2020 | Journal Article | IST-REx-ID: 8986 | OA
Zhang Y, Rodriguez Solovey L, Li L, Zhang X, Friml J. Functional innovations of PIN auxin transporters mark crucial evolutionary transitions during rise of flowering plants. Science Advances. 2020;6(50). doi:10.1126/sciadv.abc8895
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Search

Filter Publications