Please note that IST 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.
3024 Publications
2011 | Conference Paper | IST-REx-ID: 3365 |

Chatterjee K, Henzinger TA, Jobstmann B, Singh R. 2011. QUASY: quantitative synthesis tool. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 6605, 267–271.
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3384 |

Tkačik G, Garrigan P, Ratliff C, Milcinski G, Klein J, Seyfarth L, Sterling P, Brainard D, Balasubramanian V. 2011. Natural images from the birthplace of the human eye. PLoS One. 6(6), e20409.
View
| Files available
| DOI