Please note that ISTA 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.

68 Publications


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, Berlin ; Heidelberg, 1996.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 1942 View
 
 

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
 

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 None (ext.)
 

1996 | Conference Paper | IST-REx-ID: 4588
Reactive modules
R. Alur, T.A. Henzinger, in:, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 207–218.
View | DOI | Download None (ext.)
 

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

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 | Download None (ext.)
 

1996 | Conference Paper | IST-REx-ID: 4519
The theory of hybrid automata
T.A. Henzinger, in:, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 278–292.
View | DOI | Download None (ext.)
 

1996 | Conference (Editor) | IST-REx-ID: 4585
8th International Conference on Computer Aided Verification
T.A. Henzinger, R. Alur, eds., 8th International Conference on Computer Aided Verification, Springer, 1996.
View | DOI | Download None (ext.)
 

1996 | Conference Paper | IST-REx-ID: 4443
State equivalences for rectangular hybrid automata
T.A. Henzinger, P. Kopke, in:, 7th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–545.
View | DOI | Download None (ext.)
 

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:, 7th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–529.
View | DOI | Download None (ext.)
 

1996 | Conference Paper | 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 | Download None (ext.)
 

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 | Download None (ext.)
 

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: 4295 | OA
Speciation: more than the sum of its parts
N.H. Barton, in:, Current Biology, Cell Press, 1996, pp. 1244–1246.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4216 | OA
Mutations affecting development of the midline and general body shape during zebrafish embryogenesis
M. Brand, C.-P.J. 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 | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4219 | OA
Mutations in zebrafish genes affecting the formation of the boundary between midbrain and hindbrain
M. Brand, C.-P.J. 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 | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4222 | OA
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.-P.J. 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 | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 4215 | OA
Mutations affecting the cardiovascular system and other internal organs in zebrafish
J. Chen, P. Haffter, J. Odenthal, E. Vogelsang, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C.-P.J. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, C. Nüsslein Volhard, Development 123 (1996) 293–302.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

year=1996

Search

Filter Publications