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.
6293 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.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
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: 8983 |
Emtenani S. 2020. Metabolic regulation of Drosophila macrophage tissue invasion. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2020 |
Draft |
Preprint |
IST-REx-ID: 8557 |
Belyaeva V, Wachner S, Gridchyn I, Linder M, Emtenani S, György A, Sibilia M, Siekhaus DE. Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance. bioRxiv, 10.1101/2020.09.18.301481.
[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 |
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.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
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 |
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.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2020 |
Published |
Preprint |
IST-REx-ID: 9750 |
Slovakova J, Sikora MK, Caballero Mancebo S, Krens G, Kaufmann W, Huljev K, Heisenberg C-PJ. 2020. Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion. bioRxiv, 10.1101/2020.11.20.391284.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
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: 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
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: 7258 |
Scarselli D. 2020. New approaches to reduce friction in turbulent pipe flow. Institute of Science and Technology Austria.
View
| Files available
| DOI
2020 |
Published |
Journal Article |
IST-REx-ID: 8002 |
Hörmayer L, Montesinos López JC, Marhavá P, Benková E, Yoshida S, Friml J. 2020. 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. 117(26), 202003346.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
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.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Published |
Journal Article |
IST-REx-ID: 12190
Lawrence EJ, Gao H, Tock AJ, Lambing C, Blackwell AR, Feng X, Henderson IR. 2019. Natural variation in TBP-ASSOCIATED FACTOR 4b controls meiotic crossover and germline transcription in Arabidopsis. Current Biology. 29(16), 2676–2686.e3.
View
| DOI
| PubMed | Europe PMC
2019 |
Published |
Journal Article |
IST-REx-ID: 12192 |
He S, Vickers M, Zhang J, Feng X. 2019. Natural depletion of histone H1 in sex cells causes DNA demethylation, heterochromatin decondensation and transposon activation. eLife. 8, 42530.
[Published Version]
View
| Files available
| DOI
2019 |
Published |
Journal Article |
IST-REx-ID: 27 |
Amberg N, Laukoter S, Hippenmeyer S. 2019. Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex. Journal of Neurochemistry. 149(1), 12–26.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |
Published |
Journal Article |
IST-REx-ID: 301 |
Gerencser M, Gyöngy I. 2019. A Feynman–Kac formula for stochastic Dirichlet problems. Stochastic Processes and their Applications. 129(3), 995–1012.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv