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.




2428 Publications

2019 | Conference Paper | IST-REx-ID: 6490
Chatterjee K, Goharshady AK, Goharshady EK. The treewidth of smart contracts. Proceedings of the 34th ACM Symposium on Applied Computing. SAC: Symposium on Applied Computing vol. Part F147772. 400–408.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6419   OA
Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Avvakumov S, Povolotskaya IS, Filion GJ, Carey LB, 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.
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,p.
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, 141p.
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. 5th Indian Control Conference Proceedings. ICC 2019 - Indian Control Conference
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed