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.
230 Publications
2006 | Published | Book Review | IST-REx-ID: 4250
Evolutionary Biology: How did the human species form?
N.H. Barton, Current Biology 16 (2006) 647–650.
View
| DOI
N.H. Barton, Current Biology 16 (2006) 647–650.
2006 | Published | Journal Article | IST-REx-ID: 4351
SIMMAP: stochastic character mapping of discrete traits on phylogenies
J.P. Bollback, BMC Bioinformatics 7 (2006).
View
| DOI
J.P. Bollback, BMC Bioinformatics 7 (2006).
2006 | Published | Journal Article | IST-REx-ID: 4352
Population structure of the malaria vector Anopheles darlingi in a malaria-endemic region of eastern Amazonian Brazil
J. Conn, J. Vineis, J.P. Bollback, D. Onyabe, R. Wilkerson, M. Povoa, The American Journal of Tropical Medicine and Hygiene 74 (2006) 798–806.
View
| Download (ext.)
J. Conn, J. Vineis, J.P. Bollback, D. Onyabe, R. Wilkerson, M. Povoa, The American Journal of Tropical Medicine and Hygiene 74 (2006) 798–806.
2006 | Published | Conference Paper | IST-REx-ID: 4406
Antichains: A new algorithm for checking universality of finite automata
M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2006, pp. 17–30.
View
| DOI
M. De Wulf, L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2006, pp. 17–30.
2006 | Published | Conference Paper | IST-REx-ID: 4431
The embedded systems design challenge
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.
View
| DOI
T.A. Henzinger, J. Sifakis, in:, Springer, 2006, pp. 1–15.
2006 | Published | Conference Paper | IST-REx-ID: 4432
Timed alternating-time temporal logic
T.A. Henzinger, V. Prabhu, in:, Springer, 2006, pp. 1–17.
View
| DOI
T.A. Henzinger, V. Prabhu, in:, Springer, 2006, pp. 1–17.
2006 | Published | Conference Paper | IST-REx-ID: 4436
An interface algebra for real-time components
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.
View
| DOI
T.A. Henzinger, S. Matic, in:, IEEE, 2006, pp. 253–266.
2006 | Published | Conference Paper | IST-REx-ID: 4437
Solving games without determinization
T.A. Henzinger, N. Piterman, in:, Springer, 2006, pp. 395–410.
View
| DOI
T.A. Henzinger, N. Piterman, in:, Springer, 2006, pp. 395–410.
2006 | Published | Journal Article | IST-REx-ID: 4451
On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.
View
| DOI
T.A. Henzinger, O. Kupferman, R. Majumdar, Theoretical Computer Science 354 (2006) 173–186.
2006 | Published | Conference Paper | IST-REx-ID: 4523
Synergy: A new algorithm for property checking
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.
View
| DOI
B. Gulavani, T.A. Henzinger, Y. Kannan, A. Nori, S. Rajamani, in:, ACM, 2006, pp. 117–127.