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.
4969 Publications
2010 | Book Chapter | IST-REx-ID: 4392
Cerny P, Henzinger TA, Radhakrishna A. Quantitative Simulation Games. In: Manna Z, Peled D, eds. Time For Verification: Essays in Memory of Amir Pnueli. Vol 6200. Essays in Memory of Amir Pnueli. Springer; 2010:42-60. doi:10.1007/978-3-642-13754-9_3
View
| DOI
2010 | Conference Paper | IST-REx-ID: 4396 | 
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. Shape refinement through explicit heap analysis. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:263-277. doi:10.1007/978-3-642-12029-9_19
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3867 |
Chatterjee K, Doyen L, Henzinger TA. Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. 2010;6(3):1-23. doi:10.2168/LMCS-6(3:10)2010
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 474
Barton NH, Kelleher J, Etheridge A. A new model for extinction and recolonization in two dimensions: Quantifying phylogeography. Evolution. 2010;64(9):2701-2715. doi:10.1111/j.1558-5646.2010.01019.x
View
| DOI
2010 | Conference Paper | IST-REx-ID: 488 |
Alur R, Cerny P. Expressiveness of streaming string transducers. In: Vol 8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:1-12. doi:10.4230/LIPIcs.FSTTCS.2010.1
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 489 |
Cristau J, David C, Horn F. How do we remember the past in randomised strategies? . In: Proceedings of GandALF 2010. Vol 25. Open Publishing Association; 2010:30-39. doi:10.4204/EPTCS.25.7
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Journal Article | IST-REx-ID: 533
Hoenicke J, Leino K, Podelski A, Schäf M, Wies T. Doomed program points. Formal Methods in System Design. 2010;37(2-3):171-199. doi:10.1007/s10703-010-0102-0
View
| DOI
2010 | Conference Paper | IST-REx-ID: 4393 |
Cerny P, Henzinger TA, Radhakrishna A. Simulation distances. In: Vol 6269. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2010:235-268. doi:10.1007/978-3-642-15375-4_18
[Submitted Version]
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5388 |
Chatterjee K, Cerny P, Henzinger TA, Radhakrishna A, Singh R. Quantitative Synthesis for Concurrent Programs. IST Austria; 2010. doi:10.15479/AT:IST-2010-0004
[Published Version]
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5389 |
Cerny P, Henzinger TA, Radhakrishna A. Simulation Distances. IST Austria; 2010. doi:10.15479/AT:IST-2010-0003
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4390 |
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model checking of linearizability of concurrent list implementations. In: Vol 6174. Springer; 2010:465-479. doi:10.1007/978-3-642-14295-6_41
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4388 |
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. GIST: A solver for probabilistic games. In: Vol 6174. Springer; 2010:665-669. doi:10.1007/978-3-642-14295-6_57
[Submitted Version]
View
| Files available
| DOI
| arXiv
2010 | Technical Report | IST-REx-ID: 5391 |
Cerny P, Radhakrishna A, Zufferey D, Chaudhuri S, Alur R. Model Checking of Linearizability of Concurrent List Implementations. IST Austria; 2010. doi:10.15479/AT:IST-2010-0001
[Published Version]
View
| Files available
| DOI
2010 | Technical Report | IST-REx-ID: 5390 |
Chatterjee K, Fijalkow N. Topological, Automata-Theoretic and Logical Characterization of Finitary Languages. IST Austria; 2010. doi:10.15479/AT:IST-2010-0002
[Published Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3857
Chatterjee K, Henzinger TA. Probabilistic Automata on infinite words: decidability and undecidability results. In: Vol 6252. Springer; 2010:1-16. doi:10.1007/978-3-642-15643-4_1
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3855 |
Chatterjee K, Doyen L, Henzinger TA. Qualitative analysis of partially-observable Markov Decision Processes. In: Vol 6281. Springer; 2010:258-269. doi:10.1007/978-3-642-15155-2_24
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 9485 |
Zemach A, Kim MY, Silva P, et al. Local DNA hypomethylation activates genes in rice endosperm. Proceedings of the National Academy of Sciences. 2010;107(43):18729-18734. doi:10.1073/pnas.1009695107
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 9489 |
Zemach A, Zilberman D. Evolution of eukaryotic DNA methylation and the pursuit of safer sex. Current Biology. 2010;20(17):R780-R785. doi:10.1016/j.cub.2010.07.007
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 9452
Zemach A, McDaniel IE, Silva P, Zilberman D. Genome-wide evolutionary analysis of eukaryotic DNA methylation. Science. 2010;328(5980):916-919. doi:10.1126/science.1186366
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 3779 |
Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. Cryptic variation between species and the basis of hybrid performance. PLoS Biology. 2010;8(7). doi:10.1371/journal.pbio.1000429
[Published Version]
View
| Files available
| DOI
2010 | Research Data Reference | IST-REx-ID: 9764
Rosas U, Barton NH, Copsey L, Barbier De Reuille P, Coen E. Heterosis and the drift load. 2010. doi:10.1371/journal.pbio.1000429.s003
[Published Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 12199
Feng X, Dickinson HG. Tapetal cell fate, lineage and proliferation in the Arabidopsis anther. Development. 2010;137(14):2409-2416. doi:10.1242/dev.049320
View
| DOI
| PubMed | Europe PMC
2010 | Journal Article | IST-REx-ID: 12200
Feng X, Dickinson HG. Cell–cell interactions during patterning of the Arabidopsis anther. Biochemical Society Transactions. 2010;38(2):571-576. doi:10.1042/bst0380571
View
| DOI
| PubMed | Europe PMC
2010 | Conference Paper | IST-REx-ID: 3852 |
Chatterjee K, Majumdar R. Discounting in games across time scales. In: Vol 25. EPTCS; 2010:22-29. doi:10.4204/EPTCS.25.6
[Published Version]
View
| Files available
| DOI
| arXiv
2010 | Thesis | IST-REx-ID: 3962
Pflicke H. Dendritic cell migration across basement membranes in the skin. 2010.
View
2010 | Conference Paper | IST-REx-ID: 4361 |
Wies T, Zufferey D, Henzinger TA. Forward analysis of depth-bounded processes. In: Ong L, ed. Vol 6014. Springer; 2010:94-108. doi:10.1007/978-3-642-12032-9_8
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3785
Palero F, Abello P, Macpherson E, Matthee C, Pascual M. Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata). Journal of Crustacean Biology. 2010;30(4):658-663. doi:10.1651/09-3192.1
View
| DOI
2010 | Book Chapter | IST-REx-ID: 14983
Schlögl A, Vidaurre C, Müller K-R. Adaptive Methods in BCI Research - An Introductory Tutorial. In: Graimann B, Pfurtscheller G, Allison B, eds. Brain-Computer Interfaces. 1st ed. FRONTCOLL. Berlin, Heidelberg: Springer; 2010:331-355. doi:10.1007/978-3-642-02091-9_18
View
| DOI
2009 | Journal Article | IST-REx-ID: 3780 |
Davison A, Barton NH, Clarke B. The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails. Journal of Evolutionary Biology. 2009;22(8):1624-1635. doi:10.1111/j.1420-9101.2009.01770.x
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3843 |
Didier F, Henzinger TA, Mateescu M, Wolf V. Fast adaptive uniformization of the chemical master equation. In: Vol 4. IEEE; 2009:118-127. doi:10.1109/HiBi.2009.23
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3841 |
Henzinger TA, Jobstmann B, Wolf V. Formalisms for specifying Markovian population models. In: Vol 5797. Springer; 2009:3-23. doi:10.1007/978-3-642-04420-5_2
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3844 |
Henzinger TA, Kirsch C, Marques E, Sokolova A. Distributed, modular HTL. In: IEEE; 2009:171-180. doi:10.1109/RTSS.2009.9
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3871 |
Chatterjee K, Doyen L, Henzinger TA. Probabilistic weighted automata. In: Vol 5710. Springer; 2009:244-258. doi:10.1007/978-3-642-04081-8_17
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3870 |
Chatterjee K, Henzinger TA, Horn F. Finitary winning in omega-regular games. ACM Transactions on Computational Logic (TOCL). 2009;11(1). doi:10.1145/1614431.1614432
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 4136 |
Polechova J, Barton NH, Marion G. Species’ range: Adaptation in space and time. American Naturalist. 2009;174(5):E186-E204. doi:10.1086/605958
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 | Journal Article | IST-REx-ID: 4242 |
Barton NH, De Cara M. The evolution of strong reproductive isolation. Evolution; International Journal of Organic Evolution. 2009;63(5):1171-1190. doi:10.1111/j.1558-5646.2009.00622.x
[Submitted Version]
View
| Files available
| DOI
2009 | Book Chapter | IST-REx-ID: 3675
Barton NH. Why sex and recombination? . In: Cold Spring Harbor Symposia on Quantitative Biology. Vol 74. Cold Spring Harbor Laboratory Press; 2009:187-195. doi:10.1101/sqb.2009.74.030
View
| DOI
2009 | Journal Article | IST-REx-ID: 3775 |
Barton NH, Coe J. On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. 2009;259(2):317-324. doi:10.1016/j.jtbi.2009.03.019
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2009 | Conference Paper | IST-REx-ID: 3837 |
Tripakis S, Lickly B, Henzinger TA, Lee E. On relational interfaces. In: EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software. ACM; 2009:67-76. doi:10.1145/1629335.1629346
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3968 |
Edelsbrunner H, Harer J. The persistent Morse complex segmentation of a 3-manifold. In: Vol 5903. Springer; 2009:36-50. doi:10.1007/978-3-642-10470-1_4
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 4231
Barton NH, De Vladar H. Statistical mechanics and the evolution of polygenic quantitative traits. Genetics. 2009;181(3):997-1011. doi:10.1534/genetics.108.099309
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4542 |
Chatterjee K, Doyen L, Henzinger TA. Alternating weighted automata. In: Vol 5699. Springer; 2009:3-13. doi:10.1007/978-3-642-03409-1_2
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4545 |
Chatterjee K, Doyen L, Henzinger TA. A survey of stochastic games with limsup and liminf objectives. In: Vol 5556. Springer; 2009:1-15. doi:10.1007/978-3-642-02930-1_1
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 4543
Chatterjee K, Henzinger TA, Horn F. Stochastic games with finitary objectives. In: Vol 5734. Springer; 2009:34-54. doi:10.1007/978-3-642-03816-7_4
View
| DOI
2009 | Conference Paper | IST-REx-ID: 4569 |
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives. In: Vol 5643. Springer; 2009:140-156. doi:10.1007/978-3-642-02658-4_14
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 | Technical Report | IST-REx-ID: 5393 |
Chatterjee K, Henzinger TA, Jobstmann B, Radhakrishna A. Gist: A Solver for Probabilistic Games. IST Austria; 2009. doi:10.15479/AT:IST-2009-0003
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5394 |
Chatterjee K, Henzinger TA, Horn F. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria; 2009. doi:10.15479/AT:IST-2009-0002
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5392 |
Chatterjee K. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria; 2009. doi:10.15479/AT:IST-2009-0004
[Published Version]
View
| Files available
| DOI
2009 | Technical Report | IST-REx-ID: 5395 |
Chatterjee K, Doyen L, Henzinger TA. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria; 2009. doi:10.15479/AT:IST-2009-0001
[Published Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 9453 |
Hsieh T-F, Ibarra CA, Silva P, et al. Genome-wide demethylation of Arabidopsis endosperm. Science. 2009;324(5933):1451-1454. doi:10.1126/science.1172417
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC