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.
5339 Publications
2010 | Published | Conference Paper | IST-REx-ID: 3865
Chatterjee K, De Alfaro L, Raman V, Sánchez C. Analyzing the impact of change in multi-threaded programs. In: Rosenblum D, Taenzer G, eds. Vol 6013. Springer; 2010:293-307. doi:10.1007/978-3-642-12029-9_21
View
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3866 | 
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. Robustness in the presence of liveness. In: Touili T, Cook B, Jackson P, eds. Vol 6174. Springer; 2010:410-424. doi:10.1007/978-3-642-14295-6_36
[Submitted Version]
View
| Files available
| DOI
2010 | Published | 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 | Published | Journal Article | IST-REx-ID: 3868 |
Chatterjee K, De Alfaro L, Majumdar R, Raman V. Algorithms for game metrics. Logical Methods in Computer Science. 2010;6(3):1-27. doi:10.2168/LMCS-6(3:13)2010
[Published Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3901 |
Bendich P, Edelsbrunner H, Kerber M. Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics. 2010;16(6):1251-1260. doi:10.1109/TVCG.2010.139
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Thesis | IST-REx-ID: 3962
Pflicke H. Dendritic cell migration across basement membranes in the skin. 2010.
View
2010 | Published | Journal Article | IST-REx-ID: 4134
Bridle J, Polechova J, Kawata M, Butlin R. Why is adaptation prevented at ecological margins? New insights from individual-based simulations. Ecology Letters. 2010;13(4):485-494. doi:10.1111/j.1461-0248.2010.01442.x
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 4157 |
Papusheva E, Heisenberg C-PJ. Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal. 2010;29(16):2753-2768. doi:10.1038/emboj.2010.182
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 | Published | 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
2009 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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