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.

6702 Publications


1996 | Journal Article | IST-REx-ID: 4219
Brand, Michael, et al. “Mutations in Zebrafish Genes Affecting the Formation of the Boundary between Midbrain and Hindbrain.” Development, vol. 123, Company of Biologists, 1996, pp. 179–90.
View
 

1996 | Journal Article | IST-REx-ID: 4220
Van Eeden, Fredericus, et al. “Genetic Analysis of Fin Formation in the Zebrafish, Danio Rerio.” Development, vol. 123, Company of Biologists, 1996, pp. 255–62.
View
 

1996 | Journal Article | IST-REx-ID: 4222
Van Eeden, Fredericus, et al. “Mutations Affecting Somite Formation and Patterning in the Zebrafish, Danio Rerio.” Development, vol. 123, Company of Biologists, 1996, pp. 153–64.
View
 

1996 | Journal Article | IST-REx-ID: 4292
Partridge, Linda, and Nicholas H. Barton. “On Measuring the Rate of Ageing.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 263, no. 1375, Royal Society, The, 1996, pp. 1365–71, doi:10.1098/rspb.1996.0200.
View | DOI
 

1996 | Book Chapter | IST-REx-ID: 4294
Barton, Nicholas H., and I. Wilson. “Genealogies and Geography.” New Uses for New Phylogenies, Oxford University Press, 1996, pp. 23–56.
View
 

1996 | Book Review | IST-REx-ID: 4295
Barton, Nicholas H. “Speciation: More than the Sum of Its Parts.” Current Biology, vol. 6, no. 10, Cell Press, 1996, pp. 1244–46, doi:10.1016/S0960-9822(02)70707-0.
View | DOI
 

1996 | Thesis | IST-REx-ID: 4419
Kopke, Peter. The Theory of Rectangular Hybrid Automata. Cornell University, 1996.
View
 

1996 | Book Chapter | IST-REx-ID: 4426
Henzinger, Thomas A., and Howard Wong Toi. “Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.” Hybrid Systems III: Verification and Control, edited by Rajeev Alur et al., vol. 1066, Springer, 1996, pp. 377–88, doi:10.1007/BFb0020961.
View | DOI
 

1996 | Book Chapter | IST-REx-ID: 4427
Henzinger, Thomas A., and Howard Wong Toi. “Using HyTech to Synthesize Control Parameters for a Steam Boiler.” Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, vol. 1165, Springer, 1996, pp. 265–82, doi:10.1007/BFb0027241.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4443
Henzinger, Thomas A., and Peter Kopke. State Equivalences for Rectangular Hybrid Automata. Vol. 1119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–45, doi:10.1007/3-540-61604-7_74.
View | DOI
 

Search

Filter Publications