en
Please note that IST 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.
5186 Publications
2019 | Conference Paper | IST-REx-ID: 6490
Chatterjee, K., Goharshady, A. K., & Goharshady, E. K. (n.d.). The treewidth of smart contracts. In Proceedings of the 34th ACM Symposium on Applied Computing (Vol. Part F147772, pp. 400–408). Limassol, Cyprus: ACM. https://doi.org/10.1145/3297280.3297322
View
| DOI
2019 | Journal Article | IST-REx-ID: 6419 
Pokusaeva, V., Usmanova, D. R., Putintseva, E. V., Espinar, L., Sarkisyan, K., Mishin, A. S., … Kondrashov, F. (2019). An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape. PLoS Genetics, 15(4), e1008079. https://doi.org/10.1371/journal.pgen.1008079
View
| Files available
| DOI
2019 | Research Data | IST-REx-ID: 6060
Vicoso, B. (2019). Supplementary data for “Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome” (Huylman, Toups et al., 2019). . IST Austria. https://doi.org/10.15479/AT:ISTA:6060
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6546
Valosková, K. (2019). The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration. IST Austria. https://doi.org/10.15479/AT:ISTA:6546
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6565
Kundu, A., Garcia Soto, M., & Prabhakar, P. (2019). Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. In 5th Indian Control Conference Proceedings. Delhi, India: IEEE. https://doi.org/10.1109/INDIANCC.2019.8715598
View
| DOI