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.




3867 Publications

2010 | Technical Report | IST-REx-ID: 5390 | OA
Chatterjee, K., & Fijalkow, N. (2010). Topological, automata-theoretic and logical characterization of finitary languages. IST Austria. https://doi.org/10.15479/AT:IST-2010-0002
View | Files available | DOI
 
2010 | Technical Report | IST-REx-ID: 5391 | OA
Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations. IST Austria. https://doi.org/10.15479/AT:IST-2010-0001
View | Files available | DOI
 
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: 9452
Zemach, A., McDaniel, I. E., Silva, P., & Zilberman, D. (2010). Genome-wide evolutionary analysis of eukaryotic DNA methylation. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1186366
View | DOI | PubMed | Europe PMC
 
2010 | Journal Article | IST-REx-ID: 9485 | OA
Zemach, A., Kim, M. Y., Silva, P., Rodrigues, J. A., Dotson, B., Brooks, M. D., & Zilberman, D. (2010). Local DNA hypomethylation activates genes in rice endosperm. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1009695107
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

type<>research_data

Search

Filter Publications