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 | 
K. Chatterjee and N. Fijalkow, Topological, automata-theoretic and logical characterization of finitary languages. IST Austria, 2010.
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5391 |
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, Model checking of linearizability of concurrent list implementations. IST Austria, 2010.
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 2409 |
A. Kupczok, H. Schmidt, and A. Von Haeseler, “Accuracy of phylogeny reconstruction methods combining overlapping gene data sets ,” Algorithms for Molecular Biology, vol. 5, no. 1. BioMed Central, 2010.
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 9452
A. Zemach, I. E. McDaniel, P. Silva, and D. Zilberman, “Genome-wide evolutionary analysis of eukaryotic DNA methylation,” Science, vol. 328, no. 5980. American Association for the Advancement of Science, pp. 916–919, 2010.
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 9485 |
A. Zemach et al., “Local DNA hypomethylation activates genes in rice endosperm,” Proceedings of the National Academy of Sciences, vol. 107, no. 43. National Academy of Sciences, pp. 18729–18734, 2010.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC