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.




2976 Publications

2010 | Conference Paper | IST-REx-ID: 488 | OA
Alur, Rajeev, and Pavol Cerny. Expressiveness of Streaming String Transducers. Vol. 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12, doi:10.4230/LIPIcs.FSTTCS.2010.1.
View | Files available | DOI
 
2010 | Conference Paper | IST-REx-ID: 489 | OA
Cristau, Julien, et al. “How Do We Remember the Past in Randomised Strategies? .” Proceedings of GandALF 2010, vol. 25, Open Publishing Association, 2010, pp. 30–39, doi:10.4204/EPTCS.25.7.
View | DOI | Download Published Version (ext.)
 
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: 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.)
 
2010 | Journal Article | IST-REx-ID: 3788
Klopper, Abigail, et al. “Finite-Size Corrections to Scaling Behavior in Sorted Cell Aggregates.” The European Physical Journal E: Soft Matter and Biological Physics, vol. 33, no. 2, Springer, 2010, pp. 99–103, doi:10.1140/epje/i2010-10642-y.
View | DOI
 

Search

Filter Publications