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.
5328 Publications
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| Journal Article | IST-REx-ID: 3867 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure properties for quantitative languages,” Logical Methods in Computer Science, vol. 6, no. 3. International Federation of Computational Logic, pp. 1–23, 2010.
[Published 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| 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| 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| Conference Paper | IST-REx-ID: 4390 |
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, and R. Alur, “Model checking of linearizability of concurrent list implementations,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 465–479.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4388 |
K. Chatterjee, T. A. Henzinger, B. Jobstmann, and A. Radhakrishna, “GIST: A solver for probabilistic games,” presented at the CAV: Computer Aided Verification, Edinburgh, UK, 2010, vol. 6174, pp. 665–669.
[Submitted Version]
View
| Files available
| DOI
| arXiv
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| 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| Conference Paper | IST-REx-ID: 3857
K. Chatterjee and T. A. Henzinger, “Probabilistic Automata on infinite words: decidability and undecidability results,” presented at the ATVA: Automated Technology for Verification and Analysis, Singapore, Singapore, 2010, vol. 6252, pp. 1–16.
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3855 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Qualitative analysis of partially-observable Markov Decision Processes,” presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic, 2010, vol. 6281, pp. 258–269.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 9485 |
A. Zemach et al., “Local DNA hypomethylation activates genes in rice endosperm,” Proceedings of the National Academy of Sciences, vol. 107, no. 43. National Academy of Sciences, pp. 18729–18734, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 9489 |
A. Zemach and D. Zilberman, “Evolution of eukaryotic DNA methylation and the pursuit of safer sex,” Current Biology, vol. 20, no. 17. Elsevier, pp. R780–R785, 2010.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 9452
A. Zemach, I. E. McDaniel, P. Silva, and D. Zilberman, “Genome-wide evolutionary analysis of eukaryotic DNA methylation,” Science, vol. 328, no. 5980. American Association for the Advancement of Science, pp. 916–919, 2010.
View
| DOI
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 3779 |
U. Rosas, N. H. Barton, L. Copsey, P. Barbier De Reuille, and E. Coen, “Cryptic variation between species and the basis of hybrid performance,” PLoS Biology, vol. 8, no. 7. Public Library of Science, 2010.
[Published Version]
View
| Files available
| DOI
2010 | Research Data Reference | IST-REx-ID: 9764
U. Rosas, N. H. Barton, L. Copsey, P. Barbier De Reuille, and E. Coen, “Heterosis and the drift load.” Public Library of Science, 2010.
[Published Version]
View
| Files available
| DOI