Please note that ISTA 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.
5423 Publications
2010 | Published | Journal Article | IST-REx-ID: 533
Doomed program points
J. Hoenicke, K. Leino, A. Podelski, M. Schäf, T. Wies, Formal Methods in System Design 37 (2010) 171–199.
View
| DOI
J. Hoenicke, K. Leino, A. Podelski, M. Schäf, T. Wies, Formal Methods in System Design 37 (2010) 171–199.
2010 | Published | Technical Report | IST-REx-ID: 5388 | 
Quantitative synthesis for concurrent programs
K. Chatterjee, P. Cerny, T.A. Henzinger, A. Radhakrishna, R. Singh, Quantitative Synthesis for Concurrent Programs, IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, P. Cerny, T.A. Henzinger, A. Radhakrishna, R. Singh, Quantitative Synthesis for Concurrent Programs, IST Austria, 2010.
2010 | Published | Technical Report | IST-REx-ID: 5389 |
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, Simulation Distances, IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, Simulation Distances, IST Austria, 2010.
2010 | Published | Technical Report | IST-REx-ID: 5390 |
Topological, automata-theoretic and logical characterization of finitary languages
K. Chatterjee, N. Fijalkow, Topological, Automata-Theoretic and Logical Characterization of Finitary Languages, IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, N. Fijalkow, Topological, Automata-Theoretic and Logical Characterization of Finitary Languages, IST Austria, 2010.
2010 | Published | Technical Report | IST-REx-ID: 5391 |
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
[Published Version]
View
| Files available
| DOI
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
2010 | Published | Journal Article | IST-REx-ID: 12199
Tapetal cell fate, lineage and proliferation in the Arabidopsis anther
X. Feng, H.G. Dickinson, Development 137 (2010) 2409–2416.
View
| DOI
| PubMed | Europe PMC
X. Feng, H.G. Dickinson, Development 137 (2010) 2409–2416.
2010 | Published | Journal Article | IST-REx-ID: 12200
Cell–cell interactions during patterning of the Arabidopsis anther
X. Feng, H.G. Dickinson, Biochemical Society Transactions 38 (2010) 571–576.
View
| DOI
| PubMed | Europe PMC
X. Feng, H.G. Dickinson, Biochemical Society Transactions 38 (2010) 571–576.
2010 | Published | Book Chapter | IST-REx-ID: 14983
Adaptive Methods in BCI Research - An Introductory Tutorial
A. Schlögl, C. Vidaurre, K.-R. Müller, in:, B. Graimann, G. Pfurtscheller, B. Allison (Eds.), Brain-Computer Interfaces, 1st ed., Springer, Berlin, Heidelberg, 2010, pp. 331–355.
View
| DOI
A. Schlögl, C. Vidaurre, K.-R. Müller, in:, B. Graimann, G. Pfurtscheller, B. Allison (Eds.), Brain-Computer Interfaces, 1st ed., Springer, Berlin, Heidelberg, 2010, pp. 331–355.
2010 | Published | Journal Article | IST-REx-ID: 3303 |
The rate of fitness-valley crossing in sexual populations
D. Weissman, M. Feldman, D. Fisher, Genetics 186 (2010) 1389–1410.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
D. Weissman, M. Feldman, D. Fisher, Genetics 186 (2010) 1389–1410.
2010 | Published | Journal Article | IST-REx-ID: 3604
Investigating temporal changes in hybridisation and introgression between invasive sika (Cervus nippon) and native red deer (Cervus elaphus) on the Kintyre Peninsula, Scotland
H. Senn, S. Goodman, G. Swanson, N.H. Barton, J. Pemberton, Molecular Ecology 19 (2010) 910–924.
View
| DOI
H. Senn, S. Goodman, G. Swanson, N.H. Barton, J. Pemberton, Molecular Ecology 19 (2010) 910–924.
2010 | Published | Journal Article | IST-REx-ID: 3718
P2Y1 receptors inhibit long-term depression in the prefrontal cortex.
J. Guzmán, H. Schmidt, H. Franke, U. Krügel, J. Eilers, P. Illes, Z. Gerevich, Neuropharmacology 59 (2010) 406–415.
View
| DOI
J. Guzmán, H. Schmidt, H. Franke, U. Krügel, J. Eilers, P. Illes, Z. Gerevich, Neuropharmacology 59 (2010) 406–415.
2010 | Published | Conference Paper | IST-REx-ID: 3719 |
Lumpability abstractions of rule-based systems
J. Feret, T.A. Henzinger, H. Koeppl, T. Petrov, in:, Open Publishing Association, 2010, pp. 142–161.
[Submitted Version]
View
| Files available
| arXiv
J. Feret, T.A. Henzinger, H. Koeppl, T. Petrov, in:, Open Publishing Association, 2010, pp. 142–161.
2010 | Published | Journal Article | IST-REx-ID: 3772 |
Understanding adaptation in large populations
N.H. Barton, PLoS Genetics 6 (2010).
[Published Version]
View
| Files available
| DOI
N.H. Barton, PLoS Genetics 6 (2010).
2010 | Published | Journal Article | IST-REx-ID: 3773 |
What role does natural selection play in speciation?
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 1825–1840.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 1825–1840.
2010 | Published | Journal Article | IST-REx-ID: 3774
Phenotypic correlates of hybridisation between red and sika deer (genus Cervus)
H. Senn, G. Swanson, S. Goodman, N.H. Barton, J. Pemberton, Journal of Animal Ecology 79 (2010) 414–425.
View
| DOI
| PubMed | Europe PMC
H. Senn, G. Swanson, S. Goodman, N.H. Barton, J. Pemberton, Journal of Animal Ecology 79 (2010) 414–425.
2010 | Published | Journal Article | IST-REx-ID: 3776 |
Genetic linkage and natural selection
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 2559–2569.
[Submitted Version]
View
| Files available
| DOI
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 2559–2569.
2010 | Published | Journal Article | IST-REx-ID: 3777 |
Mutation and the evolution of recombination
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 1281–1294.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 1281–1294.
2010 | Published | Journal Article | IST-REx-ID: 3779 |
Cryptic variation between species and the basis of hybrid performance
U. Rosas, N.H. Barton, L. Copsey, P. Barbier De Reuille, E. Coen, PLoS Biology 8 (2010).
[Published Version]
View
| Files available
| DOI
U. Rosas, N.H. Barton, L. Copsey, P. Barbier De Reuille, E. Coen, PLoS Biology 8 (2010).
2010 | Published | Conference Paper | IST-REx-ID: 3782
Topology noise removal for curve and surface evolution
C. Chen, D. Freedman, in:, Conference Proceedings MCV 2010, Springer, 2010, pp. 31–42.
View
| DOI
C. Chen, D. Freedman, in:, Conference Proceedings MCV 2010, Springer, 2010, pp. 31–42.
2010 | Published | Journal Article | IST-REx-ID: 3783
Microsatelight – Pipeline to expedite microsatellite analysis
F. Palero, F. González Candelas, M. Pascual, Journal of Heredity 102 (2010) 247–249.
View
| DOI
F. Palero, F. González Candelas, M. Pascual, Journal of Heredity 102 (2010) 247–249.