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.




6436 Publications

2010 | Published | Journal Article | IST-REx-ID: 474
Barton, N. H., Kelleher, J., & Etheridge, A. (2010). A new model for extinction and recolonization in two dimensions: Quantifying phylogeography. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.2010.01019.x
View | DOI | WoS
 
2010 | Published | Conference Paper | IST-REx-ID: 488 | OA
Alur, R., & Cerny, P. (2010). Expressiveness of streaming string transducers (Vol. 8, pp. 1–12). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1
[Published Version] View | Files available | DOI | WoS
 
2010 | Published | Conference Paper | IST-REx-ID: 489 | OA
Cristau, J., David, C., & Horn, F. (2010). How do we remember the past in randomised strategies? In Proceedings of GandALF 2010 (Vol. 25, pp. 30–39). Minori, Amalfi Coast, Italy: Open Publishing Association. https://doi.org/10.4204/EPTCS.25.7
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2010 | Published | Journal Article | IST-REx-ID: 533
Hoenicke, J., Leino, K., Podelski, A., Schäf, M., & Wies, T. (2010). Doomed program points. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-010-0102-0
View | DOI | WoS
 
2010 | Published | Technical Report | IST-REx-ID: 5388 | OA
Chatterjee, K., Cerny, P., Henzinger, T. A., Radhakrishna, A., & Singh, R. (2010). Quantitative synthesis for concurrent programs. IST Austria. https://doi.org/10.15479/AT:IST-2010-0004
[Published Version] View | Files available | DOI
 
2010 | Published | Technical Report | IST-REx-ID: 5389 | OA
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances. IST Austria. https://doi.org/10.15479/AT:IST-2010-0003
[Published Version] View | Files available | DOI
 
2010 | Published | Technical Report | IST-REx-ID: 5390 | OA
Chatterjee, K., & Fijalkow, N. (2010). Topological, automata-theoretic and logical characterization of finitary languages. IST Austria. https://doi.org/10.15479/AT:IST-2010-0002
[Published Version] View | Files available | DOI
 
2010 | Published | Technical Report | IST-REx-ID: 5391 | OA
Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations. IST Austria. https://doi.org/10.15479/AT:IST-2010-0001
[Published Version] View | Files available | DOI
 
2010 | Published | Journal Article | IST-REx-ID: 3604
Senn, H., Goodman, S., Swanson, G., Barton, N. H., & Pemberton, J. (2010). 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. Wiley-Blackwell. https://doi.org/10.1111/j.1365-294X.2009.04497.x
View | DOI | WoS
 
2010 | Published | Journal Article | IST-REx-ID: 3718
Guzmán, J., Schmidt, H., Franke, H., Krügel, U., Eilers, J., Illes, P., & Gerevich, Z. (2010). P2Y1 receptors inhibit long-term depression in the prefrontal cortex. Neuropharmacology. Elsevier. https://doi.org/10.1016/j.neuropharm.2010.05.013
View | DOI | WoS
 
2010 | Published | Conference Paper | IST-REx-ID: 3719 | OA
Feret, J., Henzinger, T. A., Koeppl, H., & Petrov, T. (2010). Lumpability abstractions of rule-based systems (Vol. 40, pp. 142–161). Presented at the MECBIC: Membrane Computing and Biologically Inspired Process Calculi, Jena, Germany: Open Publishing Association.
[Submitted Version] View | Files available | arXiv
 
2010 | Published | Journal Article | IST-REx-ID: 3772 | OA
Barton, N. H. (2010). Understanding adaptation in large populations. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1000987
[Published Version] View | Files available | DOI | WoS
 
2010 | Published | Journal Article | IST-REx-ID: 3773 | OA
Barton, N. H. (2010). What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society. https://doi.org/10.1098/rstb.2010.0001
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2010 | Published | Journal Article | IST-REx-ID: 3774
Senn, H., Swanson, G., Goodman, S., Barton, N. H., & Pemberton, J. (2010). Phenotypic correlates of hybridisation between red and sika deer (genus Cervus). Journal of Animal Ecology. Wiley-Blackwell. https://doi.org/10.1111/j.1365-2656.2009.01633.x
View | DOI | WoS | PubMed | Europe PMC
 
2010 | Published | Journal Article | IST-REx-ID: 3776 | OA
Barton, N. H. (2010). Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society. https://doi.org/10.1098/rstb.2010.0106
[Submitted Version] View | Files available | DOI | WoS
 
2010 | Published | Journal Article | IST-REx-ID: 3777 | OA
Barton, N. H. (2010). Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society. https://doi.org/10.1098/rstb.2009.0320
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2010 | Published | Journal Article | IST-REx-ID: 3779 | OA
Rosas, U., Barton, N. H., Copsey, L., Barbier De Reuille, P., & Coen, E. (2010). Cryptic variation between species and the basis of hybrid performance. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1000429
[Published Version] View | Files available | DOI | WoS
 
2010 | Published | Conference Paper | IST-REx-ID: 3782
Chen, C., & Freedman, D. (2010). Topology noise removal for curve  and surface evolution. In Conference proceedings MCV 2010 (Vol. 6533, pp. 31–42). Beijing, China: Springer. https://doi.org/10.1007/978-3-642-18421-5_4
View | DOI
 
2010 | Published | Journal Article | IST-REx-ID: 3783
Palero, F., González Candelas, F., & Pascual, M. (2010). Microsatelight – Pipeline to expedite microsatellite analysis. Journal of Heredity. Oxford University Press. https://doi.org/10.1093/jhered/esq111
View | DOI | WoS
 
2010 | Published | Journal Article | IST-REx-ID: 3785
Palero, F., Abello, P., Macpherson, E., Matthee, C., & Pascual, M. (2010). Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata). Journal of Crustacean Biology. Oxford University Press. https://doi.org/10.1651/09-3192.1
View | DOI | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed