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.

6032 Publications


1995 | Journal Article | IST-REx-ID: 4296
Partridge, Linda, Brian Barrie, Nicholas H Barton, Kevin Fowler, and Vernon French. “Rapid Laboratory Evolution of Adult Life History Traits in Drosophila Melanogaster in Response to Temperature.” Evolution; International Journal of Organic Evolution 49, no. 3 (1995): 538–44.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 4297
Sites, Jack, Nicholas H Barton, and Kent Reed. “The Genetic Structure of a Mosaic Hybrid Zone between Two Chromosome Races of the Sceloporus Grammicus Complex (Sauria, Phrynosomatidae) in Central Mexico.” Evolution; International Journal of Organic Evolution 49, no. 1 (1995): 9–36.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 4298
Barton, Nicholas H. “Appendix to "The Mixing of Genotypes in Hybrid Zones: A Simulation Study of Multilocus Clines", by S J E Baird.” Evolution; International Journal of Organic Evolution 49 (1995): 1038–45.
View
 

1995 | Book Chapter | IST-REx-ID: 4447
Henzinger, Thomas A, and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” In Hybrid Systems II, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:265–93. Springer, 1995. https://doi.org/10.1007/3-540-60472-3_14.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 4448
Henzinger, Thomas A, and Pei Ho. “A Note on Abstract-Interpretation Strategies for Hybrid Automata.” In Hybrid Systems II, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:252–64. Springer, 1995. https://doi.org/10.1007/3-540-60472-3_13.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4450
Henzinger, Thomas A, and Pei Ho. “Algorithmic Analysis of Nonlinear Hybrid Systems,” 939:225–38. Springer, 1995. https://doi.org/10.1007/3-540-60045-0_53.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4497
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “A User Guide to HyTech,” 1019:41–71. Springer, 1995. https://doi.org/10.1007/3-540-60630-0_3.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
Henzinger, Monika, Thomas A Henzinger, and Peter Kopke. “Computing Simulations on Finite and Infinite Graphs,” 453–62. IEEE, 1995. https://doi.org/10.1109/SFCS.1995.492576.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4499
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: The next Generation,” 56–65. IEEE, 1995. https://doi.org/10.1109/REAL.1995.495196 .
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
Henzinger, Thomas A, Peter Kopke, and Howard Wong Toi. “The Expressive Power of Clocks,” 944:417–28. Springer, 1995. https://doi.org/10.1007/3-540-60084-1_93.
View | DOI
 

Search

Filter Publications