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.
550 Publications
2019 | Research Data Reference | IST-REx-ID: 9790
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. 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: 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 | 
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