Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2940 Publications


2010 | 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
 

2010 | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee, Krishnendu, et al. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010, doi:10.15479/AT:IST-2010-0004.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5389 | OA
Cerny, Pavol, et al. Simulation Distances. IST Austria, 2010, doi:10.15479/AT:IST-2010-0003.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5390 | OA
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.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5391 | OA
Cerny, Pavol, et al. Model Checking of Linearizability of Concurrent List Implementations. IST Austria, 2010, doi:10.15479/AT:IST-2010-0001.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3303 | OA
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.
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 3498
Sabeti Aschraf, M., et al. “Intra-Operative Ultrasound Facilitates the Localization of the Calcific Deposit during Arthroscopic Treatment of Calcifying Tendinitis.” Knee Surgery, Sports Traumatology, Arthroscopy, vol. 18, no. 12, Springer, 2010, pp. 1792–94, doi:10.1007/s00167-010-1227-9.
View | DOI
 

2010 | 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
 

2010 | Journal Article | IST-REx-ID: 3718
Guzmán, José, et al. “P2Y1 Receptors Inhibit Long-Term Depression in the Prefrontal Cortex.” Neuropharmacology, vol. 59, no. 6, Elsevier, 2010, pp. 406–15, doi:10.1016/j.neuropharm.2010.05.013.
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3719 | OA
Feret, Jérôme, et al. Lumpability Abstractions of Rule-Based Systems. Vol. 40, Open Publishing Association, 2010, pp. 142–61.
View | Files available | arXiv
 

2010 | Journal Article | IST-REx-ID: 3772 | OA
Barton, Nicholas H. “Understanding Adaptation in Large Populations.” PLoS Genetics, vol. 6, no. 6, e1000987, Public Library of Science, 2010, doi:10.1371/journal.pgen.1000987.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3773 | OA
Barton, Nicholas H. “What Role Does Natural Selection Play in Speciation?” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1547, Royal Society, 2010, pp. 1825–40, doi:10.1098/rstb.2010.0001.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3774
Senn, Helen, et al. “Phenotypic Correlates of Hybridisation between Red and Sika Deer (Genus Cervus).” Journal of Animal Ecology, vol. 79, no. 2, Wiley-Blackwell, 2010, pp. 414–25, doi:10.1111/j.1365-2656.2009.01633.x.
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3776 | OA
Barton, Nicholas H. “Genetic Linkage and Natural Selection.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1552, Royal Society, 2010, pp. 2559–69, doi:10.1098/rstb.2010.0106.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3777 | OA
Barton, Nicholas H. “Mutation and the Evolution of Recombination.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 365, no. 1544, Royal Society, 2010, pp. 1281–94, doi:10.1098/rstb.2009.0320.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3779 | OA
Rosas, Ulises, et al. “Cryptic Variation between Species and the Basis of Hybrid Performance.” PLoS Biology, vol. 8, no. 7, e1000429, Public Library of Science, 2010, doi:10.1371/journal.pbio.1000429.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3782
Chen, Chao, and Daniel Freedman. “Topology Noise Removal for Curve  and Surface Evolution.” Conference Proceedings MCV 2010, vol. 6533, Springer, 2010, pp. 31–42, doi:10.1007/978-3-642-18421-5_4.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3783
Palero, Ferran, et al. “Microsatelight – Pipeline to Expedite Microsatellite Analysis.” Journal of Heredity, vol. 102, no. 2, Oxford University Press, 2010, pp. 247–49, doi:10.1093/jhered/esq111.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3785
Palero, Ferran, et al. “Genetic Diversity Levels in Fishery-Exploited Spiny Lobsters of the Genus Palinurus (Decapoda: Achelata).” Journal of Crustacean Biology, vol. 30, no. 4, BioOne, 2010, pp. 658–63, doi:10.1651/09-3192.1.
View | DOI
 

2010 | Journal Article | IST-REx-ID: 3787 | OA
Palero, Ferran, et al. “DNA Extraction from Formalin-Fixed Tissue: New Light from the Deep Sea.” Scientia Marina, vol. 74, no. 3, Consejo Superior de Investigaciones Científicas, 2010, pp. 465–70, doi:10.3989/scimar.2010.74n3465.
View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications