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.

5883 Publications


1996 | Journal Article | IST-REx-ID: 4216
Mutations affecting development of the midline and general body shape during zebrafish embryogenesis
M. Brand, C. Heisenberg, R. Warga, F. Pelegri, R. Karlstrom, D. Beuchle, A. Picker, Y. Jiang, M. Furutani Seiki, F. Van Eeden, M. Granato, P. Haffter, M. Hammerschmidt, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, C. Nüsslein Volhard, Development 123 (1996) 129–142.
View
 

1996 | Journal Article | IST-REx-ID: 4219
Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain
M. Brand, C. Heisenberg, Y. Jiang, D. Beuchle, K. Lun, M. Furutani Seiki, M. Granato, P. Haffter, M. Hammerschmidt, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, F. Van Eeden, C. Nüsslein Volhard, Development 123 (1996) 179–190.
View
 

1996 | Journal Article | IST-REx-ID: 4220
Genetic analysis of fin formation in the zebrafish, Danio rerio
F. Van Eeden, M. Granato, U. Schach, M. Brand, M. Furutani Seiki, P. Haffter, M. Hammerschmidt, C. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, R. Warga, C. Nüsslein Volhard, Development 123 (1996) 255–262.
View
 

1996 | Journal Article | IST-REx-ID: 4222
Mutations affecting somite formation and patterning in the zebrafish, Danio rerio
F. Van Eeden, M. Granato, U. Schach, M. Brand, M. Furutani Seiki, P. Haffter, M. Hammerschmidt, C. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, R. Warga, M. Allende, E. Weinberg, C. Nüsslein Volhard, Development 123 (1996) 153–164.
View
 

1996 | Journal Article | IST-REx-ID: 4292
On measuring the rate of ageing
L. Partridge, N.H. Barton, Proceedings of the Royal Society of London Series B Biological Sciences 263 (1996) 1365–1371.
View | DOI
 

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

1996 | Book Review | IST-REx-ID: 4295
Speciation: more than the sum of its parts
N.H. Barton, Current Biology 6 (1996) 1244–1246.
View | DOI
 

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

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

1996 | Book Chapter | IST-REx-ID: 4427
Using HyTech to synthesize control parameters for a steam boiler
T.A. Henzinger, H. Wong Toi, in:, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, Springer, 1996, pp. 265–282.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4443
State equivalences for rectangular hybrid automata
T.A. Henzinger, P. Kopke, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–545.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4495
A space-efficient on-the-fly algorithm for real-time model checking
T.A. Henzinger, O. Kupferman, M. Vardi, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–529.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4519
The theory of hybrid automata
T.A. Henzinger, in:, IEEE, 1996, pp. 278–292.
View | DOI
 

1996 | Conference (Editor) | IST-REx-ID: 4585
CAV: Computer Aided Verification
R. Alur, T.A. Henzinger, CAV: Computer Aided Verification, Springer, 1996.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4588
Reactive modules
R. Alur, T.A. Henzinger, in:, IEEE, 1996, pp. 207–218.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4610
The benefits of relaxing punctuality
R. Alur, T. Feder, T.A. Henzinger, Journal of the ACM 43 (1996) 116–146.
View | DOI | Download (ext.)
 

1996 | Journal Article | IST-REx-ID: 4611
Automatic symbolic verification of embedded systems
R. Alur, T.A. Henzinger, P. Ho, IEEE Transactions on Software Engineering 22 (1996) 181–201.
View | DOI
 

1996 | Book (Editor) | IST-REx-ID: 4612
Hybrid Systems III: Verification and Control
R. Alur, T.A. Henzinger, E.D. Sontag, eds., Hybrid Systems III: Verification and Control, Springer, 1996.
View | DOI
 
 

1996 | Journal Article | IST-REx-ID: 2725
Rayleigh-type isoperimetric inequality with a homogeneous magnetic field
L. Erdös, Calculus of Variations and Partial Differential Equations 4 (1996) 283–292.
View | DOI
 

Search

Filter Publications