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.




2890 Publications

2014 | Conference Paper | IST-REx-ID: 1393 | OA
Gordon A, Henzinger TA, Nori A, Rajamani S. Probabilistic programming. In: Proceedings of the on Future of Software Engineering. ACM; 2014:167-181. doi:10.1145/2593882.2593900
View | DOI | Download Published Version (ext.)
 
2014 | Thesis | IST-REx-ID: 1395
Konrad M. Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus. IST Austria; 2014.
View
 
2014 | Thesis | IST-REx-ID: 1402
Marhav√° P. Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana. IST Austria; 2014.
View
 
2014 | Thesis | IST-REx-ID: 1403
Behrndt M. Forces Driving Epithelial Spreading in Zebrafish Epiboly. IST Austria; 2014.
View | Files available
 
2014 | Thesis | IST-REx-ID: 1404
Stock M. Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants. IST Austria; 2014.
View
 

Search

Display / Sort

Citation Style: AMA

Export / Embed