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.




2676 Publications

2010 | Journal Article | IST-REx-ID: 3777   OA
N. H. Barton, “Mutation and the evolution of recombination,” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1544, pp. 1281–1294, 2010.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3789
E. Quesada-Hernández et al., “Stereotypical cell division orientation controls neural rod midline formation in zebrafish,” Current Biology, vol. 20, no. 21, pp. 1966–1972, 2010.
View | DOI
 
2010 | Conference Paper | IST-REx-ID: 3847   OA
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “SABRE: A tool for the stochastic analysis of biochemical reaction networks,” presented at the QEST: Quantitative Evaluation of Systems, Williamsburg, USA, 2010, pp. 193–194.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3866   OA
R. Bloem, K. Chatterjee, K. Greimel, T. A. Henzinger, and B. Jobstmann, “Robustness in the presence of liveness,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 410–424.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3854
K. Chatterjee, F. Horn, and C. Löding, “Obliging games,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 284–296.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed