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.
3107 Publications
2014 | Conference Paper | IST-REx-ID: 1393 |

Gordon A, Henzinger TA, Nori A, Rajamani S. 2014. Probabilistic programming. Proceedings of the on Future of Software Engineering. FOSE: Future of Software Engineering, 167–181.
View
| DOI
| Download Published Version (ext.)
2014 | Thesis | IST-REx-ID: 1395
Konrad M. 2014. Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. IST Austria.
View
2014 | Thesis | IST-REx-ID: 1402
Marhavá P. 2014. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. IST Austria.
View
2014 | Thesis | IST-REx-ID: 1403
Behrndt M. 2014. Forces driving epithelial spreading in zebrafish epiboly. IST Austria.
View
| Files available
2014 | Thesis | IST-REx-ID: 1404
Stock M. 2014. Evolution of a fungal pathogen towards individual versus social immunity in ants. IST Austria.
View