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.
4188 Publications
2019 | Journal Article | IST-REx-ID: 6413 | 
Phase-field simulation of core-annular pipe flow
B. Song, C. Plana, J.M. Lopez Alonso, M. Avila, International Journal of Multiphase Flow 117 (2019) 14–24.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
B. Song, C. Plana, J.M. Lopez Alonso, M. Avila, International Journal of Multiphase Flow 117 (2019) 14–24.
2019 | Journal Article | IST-REx-ID: 6419 |
An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, PLoS Genetics 15 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, PLoS Genetics 15 (2019).
2019 | Journal Article | IST-REx-ID: 6412 |
Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing
H.F. Moussa, D. Bsteh, R. Yelagandula, C. Pribitzer, K. Stecher, K. Bartalska, L. Michetti, J. Wang, J.A. Zepeda-Martinez, U. Elling, J.I. Stuckey, L.I. James, S.V. Frye, O. Bell, Nature Communications 10 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
H.F. Moussa, D. Bsteh, R. Yelagandula, C. Pribitzer, K. Stecher, K. Bartalska, L. Michetti, J. Wang, J.A. Zepeda-Martinez, U. Elling, J.I. Stuckey, L.I. James, S.V. Frye, O. Bell, Nature Communications 10 (2019).
2019 | Conference Paper | IST-REx-ID: 6462 |
Run-time optimization for learned controllers through quantitative games
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
[Published Version]
View
| Files available
| DOI
| WoS
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
2019 | Journal Article | IST-REx-ID: 6477 |
Colloquium: Many-body localization, thermalization, and entanglement
D.A. Abanin, E. Altman, I. Bloch, M. Serbyn, Reviews of Modern Physics 91 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
D.A. Abanin, E. Altman, I. Bloch, M. Serbyn, Reviews of Modern Physics 91 (2019).
2019 | Journal Article | IST-REx-ID: 6466 |
Breaking down barriers in morning glories
D. Field, C. Fraisse, Molecular Ecology 28 (2019) 1579–1581.
[Published Version]
View
| Files available
| DOI
| WoS
D. Field, C. Fraisse, Molecular Ecology 28 (2019) 1579–1581.
2019 | Journal Article | IST-REx-ID: 6465 |
A modular degron library for synthetic circuits in mammalian cells
H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, M. Fussenegger, Nature Communications 10 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, M. Fussenegger, Nature Communications 10 (2019).
2019 | Journal Article | IST-REx-ID: 6467 |
The distribution of epistasis on simple fitness landscapes
C. Fraisse, J.J. Welch, Biology Letters 15 (2019).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
C. Fraisse, J.J. Welch, Biology Letters 15 (2019).
2019 | Journal Article | IST-REx-ID: 6470 |
Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells
T. Éltes, M. Szoboszlay, M.K. Szigeti, Z. Nusser, Journal of Physiology 597 (2019) 2925–2947.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
T. Éltes, M. Szoboszlay, M.K. Szigeti, Z. Nusser, Journal of Physiology 597 (2019) 2925–2947.
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.
[Published Version]
View
| Files available
| DOI
| WoS
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.