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
J. Sites, N. H. Barton, and K. 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, vol. 49, no. 1, pp. 9–36, 1995.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 4298
N. H. Barton, “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, vol. 49, pp. 1038–1045, 1995.
View
 

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

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

1995 | Conference Paper | IST-REx-ID: 4450
T. A. Henzinger and P. Ho, “Algorithmic analysis of nonlinear hybrid systems,” presented at the CAV: Computer Aided Verification, 1995, vol. 939, pp. 225–238.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4497
T. A. Henzinger, P. Ho, and H. Wong Toi, “A user guide to HyTech,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 1995, vol. 1019, pp. 41–71.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
M. Henzinger, T. A. Henzinger, and P. Kopke, “Computing simulations on finite and infinite graphs,” presented at the FOCS: Foundations of Computer Science, 1995, pp. 453–462.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4499
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: The next generation,” presented at the RTSS: Real-Time Systems Symposium, 1995, pp. 56–65.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
T. A. Henzinger, P. Kopke, and H. Wong Toi, “The expressive power of clocks,” presented at the ICALP: Automata, Languages and Programming, 1995, vol. 944, pp. 417–428.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4502
T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” presented at the STOC: Symposium on the Theory of Computing, 1995, pp. 373–382.
View | DOI
 

Search

Filter Publications