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.

6694 Publications


1996 | Journal Article | IST-REx-ID: 4215
Chen, J., Haffter, P., Odenthal, J., Vogelsang, E., Brand, M., Van Eeden, F., … Nüsslein Volhard, C. (1996). Mutations affecting the cardiovascular system and other internal organs in zebrafish. Development. Company of Biologists.
View
 

1996 | Journal Article | IST-REx-ID: 4216
Brand, M., Heisenberg, C.-P. J., Warga, R., Pelegri, F., Karlstrom, R., Beuchle, D., … Nüsslein Volhard, C. (1996). Mutations affecting development of the midline and general body shape during zebrafish embryogenesis. Development. Company of Biologists.
View
 

1996 | Journal Article | IST-REx-ID: 4219
Brand, M., Heisenberg, C.-P. J., Jiang, Y., Beuchle, D., Lun, K., Furutani Seiki, M., … Nüsslein Volhard, C. (1996). Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain. Development. Company of Biologists.
View
 

1996 | Journal Article | IST-REx-ID: 4220
Van Eeden, F., Granato, M., Schach, U., Brand, M., Furutani Seiki, M., Haffter, P., … Nüsslein Volhard, C. (1996). Genetic analysis of fin formation in the zebrafish, Danio rerio. Development. Company of Biologists.
View
 

1996 | Journal Article | IST-REx-ID: 4222
Van Eeden, F., Granato, M., Schach, U., Brand, M., Furutani Seiki, M., Haffter, P., … Nüsslein Volhard, C. (1996). Mutations affecting somite formation and patterning in the zebrafish, Danio rerio. Development. Company of Biologists.
View
 

1996 | Journal Article | IST-REx-ID: 4292
Partridge, L., & Barton, N. H. (1996). On measuring the rate of ageing. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.1996.0200
View | DOI
 

1996 | Book Chapter | IST-REx-ID: 4294
Barton, N. H., & Wilson, I. (1996). Genealogies and geography. In New uses for new phylogenies (pp. 23–56). Oxford University Press.
View
 

1996 | Book Review | IST-REx-ID: 4295
Barton, N. H. (1996). Speciation: more than the sum of its parts. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(02)70707-0
View | DOI
 

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

1996 | Book Chapter | IST-REx-ID: 4426
Henzinger, T. A., & Wong Toi, H. (1996). Linear phase-portrait approximations for nonlinear hybrid systems. In R. Alur, T. A. Henzinger, & E. Sontag (Eds.), Hybrid Systems III: Verification and Control (Vol. 1066, pp. 377–388). Springer. https://doi.org/10.1007/BFb0020961
View | DOI
 

1996 | Book Chapter | IST-REx-ID: 4427
Henzinger, T. A., & Wong Toi, H. (1996). Using HyTech to synthesize control parameters for a steam boiler. In Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Vol. 1165, pp. 265–282). Springer. https://doi.org/10.1007/BFb0027241
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4443
Henzinger, T. A., & Kopke, P. (1996). State equivalences for rectangular hybrid automata (Vol. 1119, pp. 530–545). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-61604-7_74
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4495
Henzinger, T. A., Kupferman, O., & Vardi, M. (1996). A space-efficient on-the-fly algorithm for real-time model checking (Vol. 1119, pp. 514–529). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-61604-7_73
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4519
Henzinger, T. A. (1996). The theory of hybrid automata (pp. 278–292). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.1996.561342
View | DOI
 

1996 | Conference (Editor) | IST-REx-ID: 4585
Alur, R., & Henzinger, T. A. (1996). CAV: Computer Aided Verification. CAV: Computer Aided Verification (Vol. 1102). Springer. https://doi.org/1075
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4588
Alur, R., & Henzinger, T. A. (1996). Reactive modules (pp. 207–218). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.1996.561320
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3462
Melcher, T., Geiger, J., Jonas, P. M., & Monyer, H. (1996). Analysis of molecular determinants in native AMPA receptors. Neurochemistry International. Elsevier. https://doi.org/10.1016/0197-0186(95)00077-1
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 3553
Edelsbrunner, H., Fu, P., & Quian, J. (1996). Geometric modeling in CAVE (pp. 35-41 and-193–194). Presented at the VRST: Symposium on Virtual Reality Software and Technology, ACM.
View | Download (ext.)
 

1996 | Journal Article | IST-REx-ID: 3634
Barton, N. H., & Mallet, J. (1996). Natural selection and random genetic drift as causes of evolution on islands. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.1996.0073
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3635
Charlesworth, B., & Barton, N. H. (1996). Recombination load associated with selection for increased recombination. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672300033450
View | DOI
 

Search

Filter Publications