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.

5248 Publications

2019 | Conference Paper | IST-REx-ID: 6490
K. Chatterjee, A. K. Goharshady, and E. K. Goharshady, “The treewidth of smart contracts,” in Proceedings of the 34th ACM Symposium on Applied Computing, Limassol, Cyprus, vol. Part F147772, pp. 400–408.
View | DOI

2019 | Journal Article | IST-REx-ID: 6419   OA
V. Pokusaeva et al., “An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape,” PLoS Genetics, vol. 15, no. 4, p. e1008079, 2019.
View | Files available | DOI

2019 | Research Data | IST-REx-ID: 6060
B. Vicoso, Supplementary data for “Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome” (Huylman, Toups et al., 2019). . IST Austria, 2019.
View | Files available | DOI

2019 | Thesis | IST-REx-ID: 6546
K. Valosková, The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration. IST Austria, 2019.
View | Files available | DOI

2019 | Conference Paper | IST-REx-ID: 6565
A. Kundu, M. Garcia Soto, and P. Prabhakar, “Formal synthesis of stabilizing controllers for periodically controlled linear switched systems,” in 5th Indian Control Conference Proceedings, Delhi, India, 2019.
View | DOI


Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed