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.
71 Publications
1996 |
Published |
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. https://doi.org/10.1242/dev.123.1.255
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 |
Published |
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. https://doi.org/10.1242/dev.123.1.153
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 |
Published |
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 of London. https://doi.org/10.1098/rspb.1996.0200
View
| DOI
| Download None (ext.)
1996 |
Published |
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. https://doi.org/10.1098/rstb.1995.0090
View
| DOI
| PubMed | Europe PMC
1996 |
Published |
Book Chapter |
IST-REx-ID: 4295 |
Barton, N. H. (1996). Speciation: more than the sum of its parts. In Current Biology (Vol. 6, pp. 1244–1246). Cell Press. https://doi.org/10.1016/S0960-9822(02)70707-0
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 |
Published |
Thesis |
IST-REx-ID: 4419
Kopke, P. (1996). The Theory of Rectangular Hybrid Automata. Cornell University.
View
1996 |
Published |
Conference Paper |
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
| Download None (ext.)
1996 |
Published |
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
| Download None (ext.)
1996 |
Published |
Conference Paper |
IST-REx-ID: 4443
Henzinger, T. A., & Kopke, P. (1996). State equivalences for rectangular hybrid automata. In 7th International Conference on Concurrency Theory (Vol. 1119, pp. 530–545). Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-61604-7_74
View
| DOI
| Download None (ext.)
1996 |
Published |
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. In 7th International Conference on Concurrency Theory (Vol. 1119, pp. 514–529). Pisa, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-61604-7_73
View
| DOI
| Download None (ext.)
1996 |
Published |
Conference Paper |
IST-REx-ID: 4519
Henzinger, T. A. (1996). The theory of hybrid automata. In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (pp. 278–292). New Brunswick, NJ, United States of America: IEEE. https://doi.org/10.1109/LICS.1996.561342
View
| DOI
| Download None (ext.)