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.
7667 Publications
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8822 |
Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration
J. Hajny, Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
J. Hajny, Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 8983 |
Metabolic regulation of Drosophila macrophage tissue invasion
S. Emtenani, Metabolic Regulation of Drosophila Macrophage Tissue Invasion, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
S. Emtenani, Metabolic Regulation of Drosophila Macrophage Tissue Invasion, Institute of Science and Technology Austria, 2020.
2020 |
Draft |
Preprint |
IST-REx-ID: 8557 |
Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance
V. Belyaeva, S. Wachner, I. Gridchyn, M. Linder, S. Emtenani, A. György, M. Sibilia, D.E. Siekhaus, BioRxiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
V. Belyaeva, S. Wachner, I. Gridchyn, M. Linder, S. Emtenani, A. György, M. Sibilia, D.E. Siekhaus, BioRxiv (n.d.).
2020 |
Published |
Journal Article |
IST-REx-ID: 8532 |
Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses
D. Kleindienst, J.-C. Montanaro-Punzengruber, P. Bhandari, M.J. Case, Y. Fukazawa, R. Shigemoto, International Journal of Molecular Sciences 21 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
D. Kleindienst, J.-C. Montanaro-Punzengruber, P. Bhandari, M.J. Case, Y. Fukazawa, R. Shigemoto, International Journal of Molecular Sciences 21 (2020).
2020 |
Published |
Journal Article |
IST-REx-ID: 6918 |
An efficient algorithm for computing network reliability in small treewidth
A.K. Goharshady, F. Mohammadi, Reliability Engineering and System Safety 193 (2020).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A.K. Goharshady, F. Mohammadi, Reliability Engineering and System Safety 193 (2020).
2020 |
Published |
Conference Paper |
IST-REx-ID: 7810 |
Optimal and perfectly parallel algorithms for on-demand data-flow analysis
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, European Symposium on Programming, Springer Nature, 2020, pp. 112–140.
2020 |
Published |
Conference Paper |
IST-REx-ID: 8728 |
Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis, in:, Automated Technology for Verification and Analysis, Springer Nature, 2020, pp. 253–270.
[Submitted Version]
View
| Files available
| DOI
| WoS
A. Asadi, K. Chatterjee, A.K. Goharshady, K. Mohammadi, A. Pavlogiannis, in:, Automated Technology for Verification and Analysis, Springer Nature, 2020, pp. 253–270.
2020 |
Published |
Conference Paper |
IST-REx-ID: 8089 |
Polynomial invariant generation for non-deterministic recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–687.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, H. Fu, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 672–687.
2020 |
Published |
Preprint |
IST-REx-ID: 9750 |
Tension-dependent stabilization of E-cadherin limits cell-cell contact expansion
J. Slovakova, M.K. Sikora, S. Caballero Mancebo, G. Krens, W. Kaufmann, K. Huljev, C.-P.J. Heisenberg, BioRxiv (2020).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
J. Slovakova, M.K. Sikora, S. Caballero Mancebo, G. Krens, W. Kaufmann, K. Huljev, C.-P.J. Heisenberg, BioRxiv (2020).
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7525 |
Localization and functional role of Cav2.3 in the medial habenula to interpeduncular nucleus pathway
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, Institute of Science and Technology Austria, 2020.
[Published Version]
View
| Files available
| DOI
P. Bhandari, Localization and Functional Role of Cav2.3 in the Medial Habenula to Interpeduncular Nucleus Pathway, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Journal Article |
IST-REx-ID: 7426 |
Abstraction based verification of stability of polyhedral switched systems
M. Garcia Soto, P. Prabhakar, Nonlinear Analysis: Hybrid Systems 36 (2020).
[Submitted Version]
View
| Files available
| DOI
| WoS
M. Garcia Soto, P. Prabhakar, Nonlinear Analysis: Hybrid Systems 36 (2020).
2020 |
Published |
Journal Article |
IST-REx-ID: 7161 |
Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces
Y. Shehu, A. Gibali, S. Sagratella, Journal of Optimization Theory and Applications 184 (2020) 877–894.
[Submitted Version]
View
| Files available
| DOI
| WoS
Y. Shehu, A. Gibali, S. Sagratella, Journal of Optimization Theory and Applications 184 (2020) 877–894.
2020 |
Published |
Thesis | PhD |
IST-REx-ID: 7258 |
New approaches to reduce friction in turbulent pipe flow
D. Scarselli, New Approaches to Reduce Friction in Turbulent Pipe Flow, Institute of Science and Technology Austria, 2020.
View
| Files available
| DOI
D. Scarselli, New Approaches to Reduce Friction in Turbulent Pipe Flow, Institute of Science and Technology Austria, 2020.
2020 |
Published |
Journal Article |
IST-REx-ID: 8002 |
Wounding-induced changes in cellular pressure and localized auxin signalling spatially coordinate restorative divisions in roots
L. Hörmayer, J.C. Montesinos López, P. Marhavá, E. Benková, S. Yoshida, J. Friml, Proceedings of the National Academy of Sciences of the United States of America 117 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L. Hörmayer, J.C. Montesinos López, P. Marhavá, E. Benková, S. Yoshida, J. Friml, Proceedings of the National Academy of Sciences of the United States of America 117 (2020).
2020 |
Published |
Journal Article |
IST-REx-ID: 8569 |
Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex
A.H. Hansen, S. Hippenmeyer, Frontiers in Cell and Developmental Biology 8 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
A.H. Hansen, S. Hippenmeyer, Frontiers in Cell and Developmental Biology 8 (2020).
2019 |
Published |
Journal Article |
IST-REx-ID: 11499 |
Exploring He II λ1640 emission line properties at z ∼2−4
T. Nanayakkara, J. Brinchmann, L. Boogaard, R. Bouwens, S. Cantalupo, A. Feltre, W. Kollatschny, R.A. Marino, M. Maseda, J.J. Matthee, M. Paalvast, J. Richard, A. Verhamme, Astronomy & Astrophysics 648 (2019).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
T. Nanayakkara, J. Brinchmann, L. Boogaard, R. Bouwens, S. Cantalupo, A. Feltre, W. Kollatschny, R.A. Marino, M. Maseda, J.J. Matthee, M. Paalvast, J. Richard, A. Verhamme, Astronomy & Astrophysics 648 (2019).
2019 |
Published |
Journal Article |
IST-REx-ID: 11505 |
Faint end of the z ∼ 3–7 luminosity function of Lyman-alpha emitters behind lensing clusters observed with MUSE
de La Vieuville G, Bina D, Pello R, Mahler G, Richard J, Drake AB, Herenz EC, Bauer FE, Clément B, Lagattuta D, Laporte N, Martinez J, Patrício V, Wisotzki L, Zabl J, Bouwens RJ, Contini T, Garel T, Guiderdoni B, Marino RA, Maseda MV, Matthee JJ, Schaye J, Soucail G. 2019. Faint end of the z ∼ 3–7 luminosity function of Lyman-alpha emitters behind lensing clusters observed with MUSE. Astronomy & Astrophysics. 628, A3.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
de La Vieuville G, Bina D, Pello R, Mahler G, Richard J, Drake AB, Herenz EC, Bauer FE, Clément B, Lagattuta D, Laporte N, Martinez J, Patrício V, Wisotzki L, Zabl J, Bouwens RJ, Contini T, Garel T, Guiderdoni B, Marino RA, Maseda MV, Matthee JJ, Schaye J, Soucail G. 2019. Faint end of the z ∼ 3–7 luminosity function of Lyman-alpha emitters behind lensing clusters observed with MUSE. Astronomy & Astrophysics. 628, A3.
2019 |
Published |
Journal Article |
IST-REx-ID: 11507 |
Predicting Lyα escape fractions with a simple observable: Lyα in emission as an empirically calibrated star formation rate indicator
D. Sobral, J.J. Matthee, Astronomy & Astrophysics 623 (2019).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
D. Sobral, J.J. Matthee, Astronomy & Astrophysics 623 (2019).
2019 |
Published |
Journal Article |
IST-REx-ID: 11514 |
The ALMA spectroscopic survey in the HUDF: Nature and physical properties of gas-mass selected galaxies using MUSE spectroscopy
Boogaard LA, Decarli R, González-López J, van der Werf P, Walter F, Bouwens R, Aravena M, Carilli C, Bauer FE, Brinchmann J, Contini T, Cox P, da Cunha E, Daddi E, Díaz-Santos T, Hodge J, Inami H, Ivison R, Maseda M, Matthee JJ, Oesch P, Popping G, Riechers D, Schaye J, Schouws S, Smail I, Weiss A, Wisotzki L, Bacon R, Cortes PC, Rix H-W, Somerville RS, Swinbank M, Wagg J. 2019. The ALMA spectroscopic survey in the HUDF: Nature and physical properties of gas-mass selected galaxies using MUSE spectroscopy. The Astrophysical Journal. 882(2), 140.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
Boogaard LA, Decarli R, González-López J, van der Werf P, Walter F, Bouwens R, Aravena M, Carilli C, Bauer FE, Brinchmann J, Contini T, Cox P, da Cunha E, Daddi E, Díaz-Santos T, Hodge J, Inami H, Ivison R, Maseda M, Matthee JJ, Oesch P, Popping G, Riechers D, Schaye J, Schouws S, Smail I, Weiss A, Wisotzki L, Bacon R, Cortes PC, Rix H-W, Somerville RS, Swinbank M, Wagg J. 2019. The ALMA spectroscopic survey in the HUDF: Nature and physical properties of gas-mass selected galaxies using MUSE spectroscopy. The Astrophysical Journal. 882(2), 140.
2019 |
Published |
Journal Article |
IST-REx-ID: 11515 |
Resolved UV and [C ii] structures of luminous galaxies within the epoch of reionization
J.J. Matthee, D. Sobral, L.A. Boogaard, H. Röttgering, L. Vallini, A. Ferrara, A. Paulino-Afonso, F. Boone, D. Schaerer, B. Mobasher, The Astrophysical Journal 881 (2019).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J.J. Matthee, D. Sobral, L.A. Boogaard, H. Röttgering, L. Vallini, A. Ferrara, A. Paulino-Afonso, F. Boone, D. Schaerer, B. Mobasher, The Astrophysical Journal 881 (2019).