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.
52 Publications
1995 | Journal Article | IST-REx-ID: 4029
C. Delfinado and H. Edelsbrunner, “An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere,” Computer Aided Geometric Design, vol. 12, no. 7. Elsevier, pp. 771–784, 1995.
View
| DOI
| Download None (ext.)
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, vol. 49, no. 1. Wiley-Blackwell, pp. 9–36, 1995.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 4296 |
L. Partridge, B. Barrie, N. H. Barton, K. Fowler, and V. French, “Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature,” Evolution, vol. 49, no. 3. Wiley-Blackwell, pp. 538–544, 1995.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1995 | Journal Article | IST-REx-ID: 4298 |
N. H. Barton, “Appendix to ‘A simulation study of multilocus clines’ by S J E Baird,” Evolution, vol. 49, no. 6. Wiley, pp. 1038–1045, 1995.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1995 | Thesis | IST-REx-ID: 4428 |
P. Ho, “Automatic analysis of hybrid systems,” Cornell University, 1995.
[Published Version]
View
| Download Published Version (ext.)
1995 | Conference Paper | IST-REx-ID: 4450
T. A. Henzinger and P. Ho, “Algorithmic analysis of nonlinear hybrid systems,” in 7th International Conference on Computer Aided Verification, Liege, Belgium, 1995, vol. 939, pp. 225–238.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4448
T. A. Henzinger and P. Ho, “A note on abstract-interpretation strategies for hybrid automata,” in 3rd International Hybrid Systems Workshop, Ithaca, NY, United States of America, 1995, vol. 999, pp. 252–264.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4447
T. A. Henzinger and P. Ho, “HyTech: The Cornell Hybrid Technology Tool,” in 4th International Hybrid Systems Workshop, New Brunswick, NJ, United States of America, 1995, vol. 999, pp. 265–293.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4497
T. A. Henzinger, P. Ho, and H. Wong Toi, “A user guide to HyTech,” in 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Aarhus, Denmark, 1995, vol. 1019, pp. 41–71.
View
| DOI
| Download None (ext.)
1995 | Conference Paper | IST-REx-ID: 4499
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: The next generation,” in Proceedings 16th IEEE Real-Time Systems Symposium, Pisa, Italy, 1995, pp. 56–65.
View
| DOI
| Download None (ext.)