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.
5241 Publications
2010 | Published | Conference Paper | IST-REx-ID: 4396 | 
Beyer, Dirk, et al. Shape Refinement through Explicit Heap Analysis. Edited by David Rosenblum and Gabriele Taenzer, vol. 6013, Springer, 2010, pp. 263–77, doi:10.1007/978-3-642-12029-9_19.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5390 |
Chatterjee, Krishnendu, and Nathanaël Fijalkow. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria, 2010, doi:10.15479/AT:IST-2010-0002.
[Published Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 12199
Feng, Xiaoqi, and Hugh G. Dickinson. “Tapetal Cell Fate, Lineage and Proliferation in the Arabidopsis Anther.” Development, vol. 137, no. 14, The Company of Biologists, 2010, pp. 2409–16, doi:10.1242/dev.049320.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 12200
Feng, Xiaoqi, and Hugh G. Dickinson. “Cell–Cell Interactions during Patterning of the Arabidopsis Anther.” Biochemical Society Transactions, vol. 38, no. 2, Portland Press Ltd., 2010, pp. 571–76, doi:10.1042/bst0380571.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 9452
Zemach, Assaf, et al. “Genome-Wide Evolutionary Analysis of Eukaryotic DNA Methylation.” Science, vol. 328, no. 5980, American Association for the Advancement of Science, 2010, pp. 916–19, doi:10.1126/science.1186366.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 9485 |
Zemach, Assaf, 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, 2010, pp. 18729–34, doi:10.1073/pnas.1009695107.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 9489 |
Zemach, Assaf, and Daniel Zilberman. “Evolution of Eukaryotic DNA Methylation and the Pursuit of Safer Sex.” Current Biology, vol. 20, no. 17, Elsevier, 2010, pp. R780–85, doi:10.1016/j.cub.2010.07.007.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Research Data Reference | IST-REx-ID: 9764
Rosas, Ulises, et al. Heterosis and the Drift Load. Public Library of Science, 2010, doi:10.1371/journal.pbio.1000429.s003.
[Published Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 10909
Chen, Chao, and Daniel Freedman. “Hardness Results for Homology Localization.” Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2010, pp. 1594–604, doi:10.1137/1.9781611973075.129.
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 10908 |
Blanc, Régis, et al. “ABC: Algebraic Bound Computation for Loops.” Logic for Programming, Artificial Intelligence, and Reasoning, edited by Edmund M Clarke and Andrei Voronkov, vol. 6355, Springer Nature, 2010, pp. 103–18, doi:10.1007/978-3-642-17511-4_7.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)