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.

6705 Publications


1996 | Journal Article | IST-REx-ID: 4214
Granato M, Van Eeden F, Schach U, et al. Genes controlling and mediating locomotion behavior of the zebrafish embryo and larva. Development. 1996;123:399-413.
View
 

1996 | Journal Article | IST-REx-ID: 4215
Chen J, Haffter P, Odenthal J, et al. Mutations affecting the cardiovascular system and other internal organs in zebrafish. Development. 1996;123:293-302.
View
 

1996 | Journal Article | IST-REx-ID: 4216
Brand M, Heisenberg C-PJ, Warga R, et al. Mutations affecting development of the midline and general body shape during zebrafish embryogenesis. Development. 1996;123:129-142.
View
 

1996 | Journal Article | IST-REx-ID: 4219
Brand M, Heisenberg C-PJ, Jiang Y, et al. Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain. Development. 1996;123:179-190.
View
 

1996 | Journal Article | IST-REx-ID: 4220
Van Eeden F, Granato M, Schach U, et al. Genetic analysis of fin formation in the zebrafish, Danio rerio. Development. 1996;123:255-262.
View
 

1996 | Journal Article | IST-REx-ID: 4222
Van Eeden F, Granato M, Schach U, et al. Mutations affecting somite formation and patterning in the zebrafish, Danio rerio. Development. 1996;123:153-164.
View
 

1996 | Journal Article | IST-REx-ID: 4292
Partridge L, Barton NH. On measuring the rate of ageing. Proceedings of the Royal Society of London Series B Biological Sciences. 1996;263(1375):1365-1371. doi:10.1098/rspb.1996.0200
View | DOI
 

1996 | Book Chapter | IST-REx-ID: 4294
Barton NH, Wilson I. Genealogies and geography. In: New Uses for New Phylogenies. Oxford University Press; 1996:23-56.
View
 

1996 | Book Review | IST-REx-ID: 4295
Barton NH. Speciation: more than the sum of its parts. Current Biology. 1996;6(10):1244-1246. doi:10.1016/S0960-9822(02)70707-0
View | DOI
 

1996 | Thesis | IST-REx-ID: 4419
Kopke P. The Theory of Rectangular Hybrid Automata. 1996.
View
 

1996 | Book Chapter | IST-REx-ID: 4426
Henzinger TA, Wong Toi H. Linear phase-portrait approximations for nonlinear hybrid systems. In: Alur R, Henzinger TA, Sontag E, eds. Hybrid Systems III: Verification and Control. Vol 1066. Springer; 1996:377-388. doi:10.1007/BFb0020961
View | DOI
 

1996 | Book Chapter | IST-REx-ID: 4427
Henzinger TA, Wong Toi H. 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. Springer; 1996:265-282. doi:10.1007/BFb0027241
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4443
Henzinger TA, Kopke P. State equivalences for rectangular hybrid automata. In: Vol 1119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1996:530-545. doi:10.1007/3-540-61604-7_74
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4495
Henzinger TA, Kupferman O, Vardi M. A space-efficient on-the-fly algorithm for real-time model checking. In: Vol 1119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1996:514-529. doi:10.1007/3-540-61604-7_73
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4519
Henzinger TA. The theory of hybrid automata. In: IEEE; 1996:278-292. doi:10.1109/LICS.1996.561342
View | DOI
 

1996 | Conference (Editor) | IST-REx-ID: 4585
Alur R, Henzinger TA. CAV: Computer Aided Verification. Vol 1102. Springer; 1996. doi:1075
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4588
Alur R, Henzinger TA. Reactive modules. In: IEEE; 1996:207-218. doi:10.1109/LICS.1996.561320
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3462
Melcher T, Geiger J, Jonas PM, Monyer H. Analysis of molecular determinants in native AMPA receptors. Neurochemistry International. 1996;28(2):141-144. doi:10.1016/0197-0186(95)00077-1
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 3553
Edelsbrunner H, Fu P, Quian J. Geometric modeling in CAVE. In: ACM; 1996:35-41 and-193-194.
View | Download (ext.)
 

1996 | Journal Article | IST-REx-ID: 3634
Barton NH, Mallet J. Natural selection and random genetic drift as causes of evolution on islands. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 1996;351(1341):785-795. doi:10.1098/rstb.1996.0073
View | DOI
 

Search

Filter Publications