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.

9078 Publications


2019 | Research Data Reference | IST-REx-ID: 9797
Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov F. 2019. A statistical summary of segment libraries and sequencing results, Public Library of Science, 10.1371/journal.pgen.1008079.s011.
[Published Version] View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9789
Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Avvakumov S, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov F. 2019. Multiple alignment of His3 orthologues, Public Library of Science, 10.1371/journal.pgen.1008079.s010.
[Published Version] View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6462 | OA
Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. 2019. Run-time optimization for learned controllers through quantitative games. 31st International Conference on Computer-Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 11561, 630–649.
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6477 | OA
Abanin DA, Altman E, Bloch I, Serbyn M. 2019. Colloquium: Many-body localization, thermalization, and entanglement. Reviews of Modern Physics. 91(2), 021001.
[Published Version] View | Files available | DOI | WoS | arXiv
 

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

2019 | Journal Article | IST-REx-ID: 6465 | OA
Chassin H, Müller M, Tigges M, Scheller L, Lang M, Fussenegger M. 2019. A modular degron library for synthetic circuits in mammalian cells. Nature Communications. 10(1), 2013.
[Published Version] View | Files available | DOI | WoS
 

2019 | Journal Article | IST-REx-ID: 6467 | OA
Fraisse C, Welch JJ. 2019. The distribution of epistasis on simple fitness landscapes. Biology Letters. 15(4), 0881.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6470 | OA
Éltes T, Szoboszlay M, Szigeti MK, Nusser Z. 2019. Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells. Journal of Physiology. 597(11), 2925–2947.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6493 | OA
Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. 2019. Membership-based synthesis of linear hybrid automata. 31st International Conference on Computer-Aided Verification. CAV: Computer-Aided Verification, LNCS, vol. 11561, 297–314.
[Published Version] View | Files available | DOI | WoS
 

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

Search

Filter Publications