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 | OA
Henzinger, Thomas A, Christoph Kirsch, Eduardo Marques, and Ana Sokolova. “Distributed, Modular HTL,” 171–80. IEEE, 2009. https://doi.org/10.1109/RTSS.2009.9.
[Submitted Version] View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Probabilistic Weighted Automata,” 5710:244–58. Springer, 2009. https://doi.org/10.1007/978-3-642-04081-8_17.
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL). ACM, 2009. https://doi.org/10.1145/1614431.1614432.
[Submitted Version] View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 4136 | OA
Polechova, Jitka, Nicholas H Barton, and Glenn Marion. “Species’ Range: Adaptation in Space and Time.” American Naturalist. University of Chicago Press, 2009. https://doi.org/10.1086/605958.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 4242 | OA
Barton, Nicholas H, and Maria De Cara. “The Evolution of Strong Reproductive Isolation.” Evolution; International Journal of Organic Evolution. Wiley, 2009. https://doi.org/10.1111/j.1558-5646.2009.00622.x.
[Submitted Version] View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications