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.
5978 Publications
2010 | Published | Journal Article | IST-REx-ID: 2409 | 
Kupczok, Anne, et al. “Accuracy of Phylogeny Reconstruction Methods Combining Overlapping Gene Data Sets.” Algorithms for Molecular Biology, vol. 5, no. 1, 37, BioMed Central, 2010, doi:10.1186/1748-7188-5-37.
[Published Version]
View
| Files available
| DOI
| WoS
2010 | Published | Journal Article | IST-REx-ID: 3303 |
Weissman, Daniel, et al. “The Rate of Fitness-Valley Crossing in Sexual Populations.” Genetics, vol. 186, no. 4, Genetics Society of America, 2010, pp. 1389–410, doi:10.1534/genetics.110.123240.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2010 | Published | Journal Article | IST-REx-ID: 3604
Senn, Helen, et al. “Investigating Temporal Changes in Hybridisation and Introgression between Invasive Sika (Cervus Nippon) and Native Red Deer (Cervus Elaphus) on the Kintyre Peninsula, Scotland.” Molecular Ecology, vol. 19, no. 5, Wiley-Blackwell, 2010, pp. 910–24, doi:10.1111/j.1365-294X.2009.04497.x.
View
| DOI
| WoS
2010 | Published | Journal Article | IST-REx-ID: 474
Barton, Nicholas H., et al. “A New Model for Extinction and Recolonization in Two Dimensions: Quantifying Phylogeography.” Evolution, vol. 64, no. 9, Wiley-Blackwell, 2010, pp. 2701–15, doi:10.1111/j.1558-5646.2010.01019.x.
View
| DOI
| WoS
2010 | Published | Journal Article | IST-REx-ID: 533
Hoenicke, Jochen, et al. “Doomed Program Points.” Formal Methods in System Design, vol. 37, no. 2–3, Springer, 2010, pp. 171–99, doi:10.1007/s10703-010-0102-0.
View
| DOI
| WoS
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.)
| WoS
2010 | Published | Journal Article | IST-REx-ID: 3842 |
Didier, Frédéric, et al. “Fast Adaptive Uniformization of the Chemical Master Equation.” IET Systems Biology, vol. 4, no. 6, Institution of Engineering and Technology, 2010, pp. 441–52, doi:10.1049/iet-syb.2010.0005.
[Submitted Version]
View
| Files available
| DOI
| WoS
2009 | Published | Technical Report | IST-REx-ID: 5394 |
Chatterjee, Krishnendu, et al. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009, doi:10.15479/AT:IST-2009-0002.
[Published Version]
View
| Files available
| DOI
2009 | Published | Conference Paper | IST-REx-ID: 3968 |
Edelsbrunner, Herbert, and John Harer. The Persistent Morse Complex Segmentation of a 3-Manifold. Vol. 5903, Springer, 2009, pp. 36–50, doi:10.1007/978-3-642-10470-1_4.
[Submitted Version]
View
| Files available
| DOI
2009 | Published | Journal Article | IST-REx-ID: 9453 |
Hsieh, Tzung-Fu, et al. “Genome-Wide Demethylation of Arabidopsis Endosperm.” Science, vol. 324, no. 5933, American Association for the Advancement of Science, 2009, pp. 1451–54, doi:10.1126/science.1172417.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC