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.
4947 Publications
2019 | Journal Article | IST-REx-ID: 6415
Cremer, S. (2019). Pathogens and disease defense of invasive ants. Current Opinion in Insect Science. Elsevier. https://doi.org/10.1016/j.cois.2019.03.011
View
| DOI
| WoS
2019 | Research Data Reference | IST-REx-ID: 9790
Pokusaeva, V., Usmanova, D. R., Putintseva, E. V., Espinar, L., Sarkisyan, K., Mishin, A. S., … Kondrashov, F. (2019). A statistical summary of segment libraries and sequencing results. Public Library of Science. https://doi.org/10.1371/journal.pgen.1008079.s011
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9797
Pokusaeva, V., Usmanova, D. R., Putintseva, E. V., Espinar, L., Sarkisyan, K., Mishin, A. S., … Kondrashov, F. (2019). A statistical summary of segment libraries and sequencing results. Public Library of Science. https://doi.org/10.1371/journal.pgen.1008079.s011
[Published Version]
View
| Files available
| DOI
2019 | Research Data Reference | IST-REx-ID: 9789
Pokusaeva, V., Usmanova, D. R., Putintseva, E. V., Espinar, L., Sarkisyan, K., Mishin, A. S., … Kondrashov, F. (2019). Multiple alignment of His3 orthologues. Public Library of Science. https://doi.org/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, T. A., Konighofer, B., & Pranger, S. (2019). Run-time optimization for learned controllers through quantitative games. In 31st International Conference on Computer-Aided Verification (Vol. 11561, pp. 630–649). New York, NY, United States: Springer. https://doi.org/10.1007/978-3-030-25540-4_36
[Published Version]
View
| Files available
| DOI
| WoS