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.




5242 Publications

2010 | Published | Conference Paper | IST-REx-ID: 488 | OA
Expressiveness of streaming string transducers
R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12.
[Published Version] View | Files available | DOI
 
2010 | Published | Conference Paper | IST-REx-ID: 489 | OA
How do we remember the past in randomised strategies?
J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.
[Published Version] View | DOI | Download Published Version (ext.)
 
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
 
2010 | Published | Technical Report | IST-REx-ID: 5388 | OA
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
 
2010 | Published | Technical Report | IST-REx-ID: 5389 | OA
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, Simulation Distances, IST Austria, 2010.
[Published Version] View | Files available | DOI
 
2010 | Published | Technical Report | IST-REx-ID: 5390 | OA
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
 
2010 | Published | Technical Report | IST-REx-ID: 5391 | OA
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
 
2010 | Published | Journal Article | IST-REx-ID: 9452
Genome-wide evolutionary analysis of eukaryotic DNA methylation
A. Zemach, I.E. McDaniel, P. Silva, D. Zilberman, Science 328 (2010) 916–919.
View | DOI | PubMed | Europe PMC
 
2010 | Published | Journal Article | IST-REx-ID: 9485 | OA
Local DNA hypomethylation activates genes in rice endosperm
A. Zemach, M.Y. Kim, P. Silva, J.A. Rodrigues, B. Dotson, M.D. Brooks, D. Zilberman, Proceedings of the National Academy of Sciences 107 (2010) 18729–18734.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2010 | Published | Journal Article | IST-REx-ID: 9489 | OA
Evolution of eukaryotic DNA methylation and the pursuit of safer sex
A. Zemach, D. Zilberman, Current Biology 20 (2010) R780–R785.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2010 | Research Data Reference | IST-REx-ID: 9764
Heterosis and the drift load
U. Rosas, N.H. Barton, L. Copsey, P. Barbier De Reuille, E. Coen, (2010).
[Published Version] View | Files available | DOI
 
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
 
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
 
2010 | Published | Conference Paper | IST-REx-ID: 10908 | OA
ABC: Algebraic Bound Computation for loops
R. Blanc, T.A. Henzinger, T. Hottelier, L. Kovács, in:, E.M. Clarke, A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning, Springer Nature, Berlin, Heidelberg, 2010, pp. 103–118.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2010 | Published | Conference Paper | IST-REx-ID: 10909
Hardness results for homology localization
C. Chen, D. Freedman, in:, Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2010, pp. 1594–1604.
View | Files available | DOI
 
2010 | Published | Journal Article | IST-REx-ID: 3303 | OA
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.)
 
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
 
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
 
2010 | Published | Conference Paper | IST-REx-ID: 3719 | OA
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
 
2010 | Published | Journal Article | IST-REx-ID: 3772 | OA
Understanding adaptation in large populations
N.H. Barton, PLoS Genetics 6 (2010).
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed