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.

5707 Publications


1995 | Journal Article | IST-REx-ID: 4029
Delfinado, Cecil, and Herbert Edelsbrunner. “An Incremental Algorithm for Betti Numbers of Simplicial Complexes on the 3-Sphere.” Computer Aided Geometric Design, vol. 12, no. 7, Elsevier, 1995, pp. 771–84, doi:10.1016/0167-8396(95)00016-Y.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4034
Edelsbrunner, Herbert. Algebraic Decomposition of Non-Convex Polyhedra. IEEE, 1995, pp. 248–57.
View
 

1995 | Journal Article | IST-REx-ID: 4035
Chazelle, Bernard, et al. “Improved Bounds on Weak ε-Nets for Convex Sets.” Discrete & Computational Geometry, vol. 13, no. 1, Springer, 1995, pp. 1–15, doi:10.1007/BF02574025.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4153
Ransom, D., et al. “Hematopoietic Mutants Identified in a Saturation Screen of the Zebrafish Genome.” Blood, vol. 86, no. 10, American Society of Hematology, 1995, pp. 1912–1912.
View
 

1995 | Journal Article | IST-REx-ID: 4296
Partridge, Linda, et al. “Rapid Laboratory Evolution of Adult Life History Traits in Drosophila Melanogaster in Response to Temperature.” Evolution; International Journal of Organic Evolution, vol. 49, no. 3, Wiley-Blackwell, 1995, pp. 538–44.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 4297
Sites, Jack, et al. “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, Wiley-Blackwell, 1995, pp. 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, vol. 49, Wiley-Blackwell, 1995, pp. 1038–45.
View
 

1995 | Thesis | IST-REx-ID: 4428
Ho, Pei. Automatic Analysis of Hybrid Systems. Cornell University, 1995, pp. 1–188, doi:CSD-TR95-1536.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 4447
Henzinger, Thomas A., and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” Hybrid Systems II, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 265–93, doi: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.” Hybrid Systems II, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 252–64, doi: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. Vol. 939, Springer, 1995, pp. 225–38, doi:10.1007/3-540-60045-0_53.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4497
Henzinger, Thomas A., et al. A User Guide to HyTech. Vol. 1019, Springer, 1995, pp. 41–71, doi:10.1007/3-540-60630-0_3.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
Henzinger, Monika, et al. Computing Simulations on Finite and Infinite Graphs. IEEE, 1995, pp. 453–62, doi:10.1109/SFCS.1995.492576.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4499
Henzinger, Thomas A., et al. HyTech: The next Generation. IEEE, 1995, pp. 56–65, doi:10.1109/REAL.1995.495196 .
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
Henzinger, Thomas A., et al. The Expressive Power of Clocks. Vol. 944, Springer, 1995, pp. 417–28, doi:10.1007/3-540-60084-1_93.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4502
Henzinger, Thomas A., et al. What’s Decidable about Hybrid Automata? ACM, 1995, pp. 373–82, doi:10.1145/225058.225162.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4518
Henzinger, Thomas A. Hybrid Automata with Finite Bisimulations. Vol. 944, Springer, 1995, pp. 324–35, doi:0.1007/3-540-60084-1_85.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 6162
de Bono, Mario, et al. “Dominant Feminizing Mutations Implicate Protein-Protein Interactions as the Main Mode of Regulation of the Nematode Sex-Determining Gene Tra-1.” Genes and Development, vol. 9, no. 2, CSH Press, 1995, pp. 155–67, doi:10.1101/gad.9.2.155.
View | DOI | PubMed | Europe PMC
 

1995 | Conference Paper | IST-REx-ID: 4587
Alur, Rajeev, and Thomas A. Henzinger. Local Liveness for Compositional Modeling of Fair Reactive Systems. Vol. 939, Springer, 1995, pp. 166–79, doi:10.1007/3-540-60045-0_49.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4613
Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.” Theoretical Computer Science, vol. 138, no. 1, Elsevier, 1995, pp. 3–34, doi:10.1016/0304-3975(94)00202-T.
View | DOI
 

Search

Filter Publications