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.
7219 Publications
2006 | 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 | 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 | Conference Paper | IST-REx-ID: 4359
Field Constraint Analysis
T. Wies, V. Kuncak, P. Lam, A. Podelski, M. Rinard, in:, Springer, 2006, pp. 157–173.
View
| DOI
T. Wies, V. Kuncak, P. Lam, A. Podelski, M. Rinard, in:, Springer, 2006, pp. 157–173.
2006 | Conference Paper | IST-REx-ID: 4373
Real Time Temporal Logic: Past, Present, Future
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2006, pp. 2–16.
View
| DOI
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2006, pp. 2–16.
2006 | Conference Paper | IST-REx-ID: 4374
From MITL to Timed Automata
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2006, pp. 274–289.
View
| DOI
O. Maler, D. Nickovic, A. Pnueli, in:, Springer, 2006, pp. 274–289.