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.




2933 Publications

2011 | Technical Report | IST-REx-ID: 5386 | OA
Chen, C., Freedman, D., & Lampert, C. (2011). Enforcing topological constraints in random field image segmentation. IST Austria. https://doi.org/10.15479/AT:IST-2011-0002
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3366 | OA
Cerny, P., Chatterjee, K., Henzinger, T. A., Radhakrishna, A., & Singh, R. (2011). Quantitative synthesis for concurrent programs. In G. Gopalakrishnan & S. Qadeer (Eds.) (Vol. 6806, pp. 243–259). Presented at the CAV: Computer Aided Verification, Snowbird, USA: Springer. https://doi.org/10.1007/978-3-642-22110-1_20
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 6496 | OA
Park, H., Oikonomou, P., Guet, C. C., & Cluzel, P. (2011). Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. Elsevier BV. https://doi.org/10.1016/j.bpj.2011.09.040
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 2409 | OA
Kupczok, A., Schmidt, H., & Von Haeseler, A. (2010). Accuracy of phylogeny reconstruction methods combining overlapping gene data sets . Algorithms for Molecular Biology. BioMed Central. https://doi.org/10.1186/1748-7188-5-37
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3303 | OA
Weissman, D., Feldman, M., & Fisher, D. (2010). The rate of fitness-valley crossing in sexual populations. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.110.123240
View | DOI | Download Submitted Version (ext.)
 
2010 | Journal Article | IST-REx-ID: 3867 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-6(3:10)2010
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 3719 | OA
Feret, J., Henzinger, T. A., Koeppl, H., & Petrov, T. (2010). Lumpability abstractions of rule-based systems (Vol. 40, pp. 142–161). Presented at the MECBIC: Membrane Computing and Biologically Inspired Process Calculi, Jena, Germany: Open Publishing Association.
View | Files available | arXiv
 
2010 | Journal Article | IST-REx-ID: 3772 | OA
Barton, N. H. (2010). Understanding adaptation in large populations. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1000987
View | Files available | DOI
 
2010 | Journal Article | IST-REx-ID: 3773 | OA
Barton, N. H. (2010). What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society. https://doi.org/10.1098/rstb.2010.0001
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 3774
Senn, H., Swanson, G., Goodman, S., Barton, N. H., & Pemberton, J. (2010). Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology. Wiley-Blackwell. https://doi.org/10.1111/j.1365-2656.2009.01633.x
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

type<>research_data

Search

Filter Publications