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.
4968 Publications
2010 | Conference Paper | IST-REx-ID: 4361 |
Forward analysis of depth-bounded processes
T. Wies, D. Zufferey, T.A. Henzinger, in:, L. Ong (Ed.), Springer, 2010, pp. 94–108.
[Submitted Version]
View
| Files available
| DOI
T. Wies, D. Zufferey, T.A. Henzinger, in:, L. Ong (Ed.), Springer, 2010, pp. 94–108.
2010 | Journal Article | IST-REx-ID: 3785
Genetic diversity levels in fishery-exploited spiny lobsters of the Genus Palinurus (Decapoda: Achelata)
F. Palero, P. Abello, E. Macpherson, C. Matthee, M. Pascual, Journal of Crustacean Biology 30 (2010) 658–663.
View
| DOI
F. Palero, P. Abello, E. Macpherson, C. Matthee, M. Pascual, Journal of Crustacean Biology 30 (2010) 658–663.
2009 | Journal Article | IST-REx-ID: 3780 |
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
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.
[Submitted Version]
View
| Files available
| DOI
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.
2009 | Conference Paper | IST-REx-ID: 3843 |
Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
[Submitted Version]
View
| Files available
| DOI
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
2009 | Conference Paper | IST-REx-ID: 3841 |
Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
2009 | Conference Paper | IST-REx-ID: 3844 |
Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
[Submitted Version]
View
| Files available
| DOI
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
2009 | Conference Paper | IST-REx-ID: 3871 |
Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
2009 | Journal Article | IST-REx-ID: 3870 |
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
[Submitted Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
2009 | Journal Article | IST-REx-ID: 4136 |
Species' range: Adaptation in space and time
J. Polechova, N.H. Barton, G. Marion, American Naturalist 174 (2009) E186–E204.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Polechova, N.H. Barton, G. Marion, American Naturalist 174 (2009) E186–E204.
2009 | Journal Article | IST-REx-ID: 4242 |
The evolution of strong reproductive isolation
N.H. Barton, M. De Cara, Evolution; International Journal of Organic Evolution 63 (2009) 1171–1190.
[Submitted Version]
View
| Files available
| DOI
N.H. Barton, M. De Cara, Evolution; International Journal of Organic Evolution 63 (2009) 1171–1190.