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.
5196 Publications
2019 | Conference Paper | IST-REx-ID: 6490
Chatterjee, Krishnendu, et al. “The Treewidth of Smart Contracts.” Proceedings of the 34th ACM Symposium on Applied Computing, vol. Part F147772, ACM, pp. 400–08, doi:10.1145/3297280.3297322.
View
| DOI
2019 | Journal Article | IST-REx-ID: 6419 
Pokusaeva, Victoria, 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, Public Library of Science, 2019, p. e1008079, doi:10.1371/journal.pgen.1008079.
View
| Files available
| DOI
2019 | Research Data | IST-REx-ID: 6060
Vicoso, Beatriz. Supplementary Data for “Sex-Biased Gene Expression and Dosage Compensation on the Artemia Franciscana Z-Chromosome” (Huylman, Toups et Al., 2019). . IST Austria, 2019, doi:10.15479/AT:ISTA:6060.
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6546
Valosková, Katarina. The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration. IST Austria, 2019, doi:10.15479/AT:ISTA:6546.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6565
Kundu, Atreyee, et al. “Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems.” 5th Indian Control Conference Proceedings, 8715598, IEEE, 2019, doi:10.1109/INDIANCC.2019.8715598.
View
| DOI