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.




2465 Publications

2019 | Conference Paper | IST-REx-ID: 6490
The treewidth of smart contracts
K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, n.d., pp. 400–408.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6419   OA
An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, PLoS Genetics 15 (2019) e1008079.
View | Files available | DOI
 
2019 | Research Data | IST-REx-ID: 6060
Supplementary data for "Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome" (Huylman, Toups et al., 2019).
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
The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration
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
Formal synthesis of stabilizing controllers for periodically controlled linear switched systems
A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference Proceedings, IEEE, 2019.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed