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.
4148 Publications
2019 | Journal Article | IST-REx-ID: 7391 | 
Electron microscopic detection of single membrane proteins by a specific chemical labeling
S. Tabata, M. Jevtic, N. Kurashige, H. Fuchida, M. Kido, K. Tani, N. Zenmyo, S. Uchinomiya, H. Harada, M. Itakura, I. Hamachi, R. Shigemoto, A. Ojida, IScience 22 (2019) 256–268.
View
| Files available
| DOI
| PubMed | Europe PMC
S. Tabata, M. Jevtic, N. Kurashige, H. Fuchida, M. Kido, K. Tani, N. Zenmyo, S. Uchinomiya, H. Harada, M. Itakura, I. Hamachi, R. Shigemoto, A. Ojida, IScience 22 (2019) 256–268.
2019 | Conference Paper | IST-REx-ID: 7402 |
Graph planning with expected finite horizon
K. Chatterjee, L. Doyen, in:, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2019, pp. 1–13.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, L. Doyen, in:, 34th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2019, pp. 1–13.
2019 | Journal Article | IST-REx-ID: 196 |
Harmonic dynamics of the Abelian sandpile
M. Lang, M. Shkolnikov, Proceedings of the National Academy of Sciences 116 (2019) 2821–2830.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
| arXiv
M. Lang, M. Shkolnikov, Proceedings of the National Academy of Sciences 116 (2019) 2821–2830.
2019 | Conference Paper | IST-REx-ID: 6884 |
Bidding mechanisms in graph games
G. Avni, T.A. Henzinger, D. Zikelic, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
View
| Files available
| DOI
| arXiv
G. Avni, T.A. Henzinger, D. Zikelic, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 | Journal Article | IST-REx-ID: 6713 |
An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice
J.P. Castro, M.N. Yancoskie, M. Marchini, S. Belohlavy, L. Hiramatsu, M. Kučka, W.H. Beluch, R. Naumann, I. Skuplik, J. Cobb, N.H. Barton, C. Rolian, Y.F. Chan, ELife 8 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
J.P. Castro, M.N. Yancoskie, M. Marchini, S. Belohlavy, L. Hiramatsu, M. Kučka, W.H. Beluch, R. Naumann, I. Skuplik, J. Cobb, N.H. Barton, C. Rolian, Y.F. Chan, ELife 8 (2019).
2019 | Preprint | IST-REx-ID: 7358 |
TGFβ superfamily signaling regulates the state of human stem cell pluripotency and competency to create telencephalic organoids
M. Watanabe, J.R. Haney, N. Vishlaghi, F. Turcios, J.E. Buth, W. Gu, A.J. Collier, O. Miranda, D. Chen, S. Sabri, A.T. Clark, K. Plath, H.R. Christofk, M.J. Gandal, B.G. Novitch, BioRxiv (2019).
View
| DOI
| Download Preprint (ext.)
M. Watanabe, J.R. Haney, N. Vishlaghi, F. Turcios, J.E. Buth, W. Gu, A.J. Collier, O. Miranda, D. Chen, S. Sabri, A.T. Clark, K. Plath, H.R. Christofk, M.J. Gandal, B.G. Novitch, BioRxiv (2019).
2019 | Journal Article | IST-REx-ID: 7550 |
Penalization via global functionals of optimal-control problems for dissipative evolution
L. Portinale, U. Stefanelli, Advances in Mathematical Sciences and Applications 28 (2019) 425–447.
View
| Download Preprint (ext.)
| arXiv
L. Portinale, U. Stefanelli, Advances in Mathematical Sciences and Applications 28 (2019) 425–447.
2019 | Preprint | IST-REx-ID: 8182 |
Vanishing of all equivariant obstructions and the mapping degree
S. Avvakumov, S. Kudrya, ArXiv (n.d.).
View
| Files available
| Download Preprint (ext.)
| arXiv
S. Avvakumov, S. Kudrya, ArXiv (n.d.).
2019 | Journal Article | IST-REx-ID: 11061 |
Visualization of long-lived proteins reveals age mosaicism within nuclei of postmitotic cells
B.H. Toyama, R. Arrojo e Drigo, V. Lev-Ram, R. Ramachandra, T.J. Deerinck, C. Lechene, M.H. Ellisman, M. Hetzer, Journal of Cell Biology 218 (2019) 433–444.
View
| Files available
| DOI
| PubMed | Europe PMC
B.H. Toyama, R. Arrojo e Drigo, V. Lev-Ram, R. Ramachandra, T.J. Deerinck, C. Lechene, M.H. Ellisman, M. Hetzer, Journal of Cell Biology 218 (2019) 433–444.
2019 | Journal Article | IST-REx-ID: 11060 |
Selective clearance of the inner nuclear membrane protein emerin by vesicular transport during ER stress
A. Buchwalter, R. Schulte, H. Tsai, J. Capitanio, M. Hetzer, ELife 8 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
A. Buchwalter, R. Schulte, H. Tsai, J. Capitanio, M. Hetzer, ELife 8 (2019).
2019 | Journal Article | IST-REx-ID: 11062 |
Age mosaicism across multiple scales in adult tissues
R. Arrojo e Drigo, V. Lev-Ram, S. Tyagi, R. Ramachandra, T. Deerinck, E. Bushong, S. Phan, V. Orphan, C. Lechene, M.H. Ellisman, M. Hetzer, Cell Metabolism 30 (2019) 343–351.e3.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R. Arrojo e Drigo, V. Lev-Ram, S. Tyagi, R. Ramachandra, T. Deerinck, E. Bushong, S. Phan, V. Orphan, C. Lechene, M.H. Ellisman, M. Hetzer, Cell Metabolism 30 (2019) 343–351.e3.
2019 | 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.
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 | 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).
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 | 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.
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 | 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).
View
| DOI
| Download Published Version (ext.)
| arXiv
D. Sobral, J.J. Matthee, Astronomy & Astrophysics 623 (2019).
2019 | Conference Paper | IST-REx-ID: 6493 |
Membership-based synthesis of linear hybrid automata
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
View
| Files available
| DOI
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
2019 | Conference Paper | IST-REx-ID: 6887 |
Near-linear time algorithms for Streett objectives in graphs and MDPs
K. Chatterjee, W. Dvorák, M.H. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
View
| Files available
| DOI
K. Chatterjee, W. Dvorák, M.H. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 | Thesis | IST-REx-ID: 6392 |
Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory
M. Lukacisin, Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory, IST Austria, 2019.
View
| Files available
| DOI
M. Lukacisin, Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6435 |
Collective defenses of garden ants against a fungal pathogen
B.E. Casillas Perez, Collective Defenses of Garden Ants against a Fungal Pathogen, IST Austria, 2019.
View
| Files available
| DOI
B.E. Casillas Perez, Collective Defenses of Garden Ants against a Fungal Pathogen, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6891 |
The implication of cytoskeletal dynamics on leukocyte migration
A. Kopf, The Implication of Cytoskeletal Dynamics on Leukocyte Migration, IST Austria, 2019.
View
| Files available
| DOI
A. Kopf, The Implication of Cytoskeletal Dynamics on Leukocyte Migration, IST Austria, 2019.