Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2460 Publications

2019 | Conference Paper | IST-REx-ID: 6490
Chatterjee K, Goharshady AK, Goharshady EK. The treewidth of smart contracts. In: Proceedings of the 34th ACM Symposium on Applied Computing. Vol Part F147772. ACM; :400-408. doi:10.1145/3297280.3297322
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6419   OA
Pokusaeva V, Usmanova DR, Putintseva EV, et al. An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape. PLoS Genetics. 2019;15(4):e1008079. doi:10.1371/journal.pgen.1008079
View | Files available | DOI
 
2019 | Research Data | IST-REx-ID: 6060
Vicoso B. 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á K. 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 A, Garcia Soto M, Prabhakar P. Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. In: 5th Indian Control Conference Proceedings. IEEE; 2019. doi:10.1109/INDIANCC.2019.8715598
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed