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.
5473 Publications
2010 | Published | Conference Paper | IST-REx-ID: 4393 | 
P. Cerny, T. A. Henzinger, and A. Radhakrishna, “Simulation distances,” presented at the CONCUR: Concurrency Theory, Paris, France, 2010, vol. 6269, pp. 235–268.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 4396 |
D. Beyer, T. A. Henzinger, G. Théoduloz, and D. Zufferey, “Shape refinement through explicit heap analysis,” presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus, 2010, vol. 6013, pp. 263–277.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 488 |
R. Alur and P. Cerny, “Expressiveness of streaming string transducers,” presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India, 2010, vol. 8, pp. 1–12.
[Published Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 489 |
J. Cristau, C. David, and F. Horn, “How do we remember the past in randomised strategies? ,” in Proceedings of GandALF 2010, Minori, Amalfi Coast, Italy, 2010, vol. 25, pp. 30–39.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Published | Technical Report | IST-REx-ID: 5388 |
K. Chatterjee, P. Cerny, T. A. Henzinger, A. Radhakrishna, and R. Singh, Quantitative synthesis for concurrent programs. IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5389 |
P. Cerny, T. A. Henzinger, and A. Radhakrishna, Simulation distances. IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5390 |
K. Chatterjee and N. Fijalkow, Topological, automata-theoretic and logical characterization of finitary languages. IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
2010 | Published | Technical Report | IST-REx-ID: 5391 |
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, Model checking of linearizability of concurrent list implementations. IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 12199
X. Feng and H. G. Dickinson, “Tapetal cell fate, lineage and proliferation in the Arabidopsis anther,” Development, vol. 137, no. 14. The Company of Biologists, pp. 2409–2416, 2010.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 12200
X. Feng and H. G. Dickinson, “Cell–cell interactions during patterning of the Arabidopsis anther,” Biochemical Society Transactions, vol. 38, no. 2. Portland Press Ltd., pp. 571–576, 2010.
View
| DOI
| PubMed | Europe PMC
2010 | Published | Book Chapter | IST-REx-ID: 14983
A. Schlögl, C. Vidaurre, and K.-R. Müller, “Adaptive Methods in BCI Research - An Introductory Tutorial,” in Brain-Computer Interfaces, 1st ed., B. Graimann, G. Pfurtscheller, and B. Allison, Eds. Berlin, Heidelberg: Springer, 2010, pp. 331–355.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3303 |
D. Weissman, M. Feldman, and D. Fisher, “The rate of fitness-valley crossing in sexual populations,” Genetics, vol. 186, no. 4. Genetics Society of America, pp. 1389–1410, 2010.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 | Published | Journal Article | IST-REx-ID: 3604
H. Senn, S. Goodman, G. Swanson, N. H. Barton, and J. Pemberton, “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, pp. 910–924, 2010.
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3719 |
J. Feret, T. A. Henzinger, H. Koeppl, and T. Petrov, “Lumpability abstractions of rule-based systems,” presented at the MECBIC: Membrane Computing and Biologically Inspired Process Calculi, Jena, Germany, 2010, vol. 40, pp. 142–161.
[Submitted Version]
View
| Files available
| arXiv
2010 | Published | Journal Article | IST-REx-ID: 3772 |
N. H. Barton, “Understanding adaptation in large populations,” PLoS Genetics, vol. 6, no. 6. Public Library of Science, 2010.
[Published Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3773 |
N. H. Barton, “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, pp. 1825–1840, 2010.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 | Published | Journal Article | IST-REx-ID: 3774
H. Senn, G. Swanson, S. Goodman, N. H. Barton, and J. Pemberton, “Phenotypic correlates of hybridisation between red and sika deer (genus Cervus),” Journal of Animal Ecology, vol. 79, no. 2. Wiley-Blackwell, pp. 414–425, 2010.
View
| DOI
| PubMed | Europe PMC