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.

2481 Publications


2010 | 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
View | DOI | Download Published Version (ext.)
 

2010 | 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
View | Files available | DOI
 

2010 | 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
View | Files available | DOI
 

2010 | 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
View | Files available | DOI
 

2010 | 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
View | Files available | DOI
 

2010 | 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.
View | Files available | arXiv
 

2010 | 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
View | Files available | DOI
 

2010 | 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
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2010 | 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
View | Files available | DOI
 

2010 | 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
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications