Please note that IST 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.

5484 Publications


2000 | Journal Article | IST-REx-ID: 4269
Coyne, Jerry, Nicholas H Barton, and Michael Turelli. “Is Wright’s Shifting Balance Process Important in Evolution?” Evolution; International Journal of Organic Evolution 54, no. 1 (2000): 306–17. https://doi.org/310.1111/j.0014-3820.2000.tb00033.x.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4271
Barton, Nicholas H, and Max Shpak. “The Effects of Epistasis on the Structure of Hybrid Zones.” Genetical Research 75, no. 2 (2000): 179–98. https://doi.org/10.1017/S0016672399004334.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, Thomas A, and Ritankar Majumdar. “Symbolic Model Checking for Rectangular Hybrid Systems,” 1785:142–56. Springer, 2000. https://doi.org/10.1007/3-540-46419-0_11.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components,” 1872:549–63. Springer, 2000. https://doi.org/10.1007/3-540-44929-9_38.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems,” 1877:458–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000. https://doi.org/10.1007/3-540-44618-4_33.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed