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.

6021 Publications


1995 | Journal Article | IST-REx-ID: 4297
The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico
J. Sites, N.H. Barton, K. Reed, Evolution; International Journal of Organic Evolution 49 (1995) 9–36.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 4298
Appendix to "The mixing of genotypes in hybrid zones: a simulation study of multilocus clines", by S J E Baird
N.H. Barton, Evolution; International Journal of Organic Evolution 49 (1995) 1038–1045.
View
 

1995 | Book Chapter | IST-REx-ID: 4447
HyTech: The Cornell Hybrid Technology Tool
T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), Hybrid Systems II, Springer, 1995, pp. 265–293.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 4448
A note on abstract-interpretation strategies for hybrid automata
T.A. Henzinger, P. Ho, in:, A. Panos, W. Kohn, A. Nerode, S. Sastry (Eds.), Hybrid Systems II, Springer, 1995, pp. 252–264.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4450
Algorithmic analysis of nonlinear hybrid systems
T.A. Henzinger, P. Ho, in:, Springer, 1995, pp. 225–238.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4497
A user guide to HyTech
T.A. Henzinger, P. Ho, H. Wong Toi, in:, Springer, 1995, pp. 41–71.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
Computing simulations on finite and infinite graphs
M. Henzinger, T.A. Henzinger, P. Kopke, in:, IEEE, 1995, pp. 453–462.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4499
HyTech: The next generation
T.A. Henzinger, P. Ho, H. Wong Toi, in:, IEEE, 1995, pp. 56–65.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
The expressive power of clocks
T.A. Henzinger, P. Kopke, H. Wong Toi, in:, Springer, 1995, pp. 417–428.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4502
What's decidable about hybrid automata?
T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, in:, ACM, 1995, pp. 373–382.
View | DOI
 

Search

Filter Publications