Please note that ISTA 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.
4959 Publications
2009 | Conference Paper | IST-REx-ID: 3844 | 
Henzinger, Thomas A., et al. Distributed, Modular HTL. IEEE, 2009, pp. 171–80, doi:10.1109/RTSS.2009.9.
[Submitted Version]
View
| Files available
| DOI
2009 | Conference Paper | IST-REx-ID: 3871 |
Chatterjee, Krishnendu, et al. Probabilistic Weighted Automata. Vol. 5710, Springer, 2009, pp. 244–58, doi:10.1007/978-3-642-04081-8_17.
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 3870 |
Chatterjee, Krishnendu, et al. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL), vol. 11, no. 1, 1, ACM, 2009, doi:10.1145/1614431.1614432.
[Submitted Version]
View
| Files available
| DOI
2009 | Journal Article | IST-REx-ID: 4136 |
Polechova, Jitka, et al. “Species’ Range: Adaptation in Space and Time.” American Naturalist, vol. 174, no. 5, University of Chicago Press, 2009, pp. E186–204, 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, Nicholas H., and Maria De Cara. “The Evolution of Strong Reproductive Isolation.” Evolution; International Journal of Organic Evolution, vol. 63, no. 5, Wiley, 2009, pp. 1171–90, doi:10.1111/j.1558-5646.2009.00622.x.
[Submitted Version]
View
| Files available
| DOI