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.

8978 Publications


2019 | Research Data Reference | IST-REx-ID: 9797
A statistical summary of segment libraries and sequencing results
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, (2019).
[Published Version] View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9789
Multiple alignment of His3 orthologues
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, (2019).
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6462 | OA
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
 

2019 | Journal Article | IST-REx-ID: 6477 | OA
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
 

2019 | Journal Article | IST-REx-ID: 6466 | OA
Breaking down barriers in morning glories
D. Field, C. Fraisse, Molecular Ecology 28 (2019) 1579–1581.
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6465 | OA
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
 

2019 | Journal Article | IST-REx-ID: 6467 | OA
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
 

2019 | Journal Article | IST-REx-ID: 6470 | OA [Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6493 | OA
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
 

2019 | Conference Poster | IST-REx-ID: 6485
Lock-free channels for programming via communicating sequential processes
N. Koval, D.-A. Alistarh, R. Elizarov, Lock-Free Channels for Programming via Communicating Sequential Processes, ACM Press, 2019.
View | DOI | WoS
 

Search

Filter Publications