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 | Journal Article | IST-REx-ID: 3756 | 
Dogterom, M., Felix, M., Guet, C. C., & Leibler, S. (1996). Influence of M-phase chromatin on the anisotropy of microtubule asters. Journal of Cell Biology. Rockefeller University Press. https://doi.org/doi: 10.1083/jcb.133.1.125
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4027
Chazelle, B., Edelsbrunner, H., Guibas, L., Sharir, M., & Stolfi, J. (1996). Lines in space: Combinatorics and algorithms. Algorithmica. Springer. https://doi.org/10.1007/BF01955043
View
| DOI
1996 | Journal Article | IST-REx-ID: 4026
Edelsbrunner, H., & Shah, N. (1996). Incremental topological flipping works for regular triangulations. Algorithmica. Springer. https://doi.org/10.1007/BF01975867
View
| DOI
1996 | Conference Poster | IST-REx-ID: 4030 |
Liang, J., Edelsbrunner, H., & Subramaniam, S. (1996). Effects of molecular shape representations on boundary element method for protein electrostatics computations. Fortieth Annual Meeting (Vol. 70, pp. A224–A224). Cell Press. https://doi.org/10.1016/S0006-3495(96)79664-9
View
| DOI
| Download None (ext.)
1996 | Conference Poster | IST-REx-ID: 4031 |
Liang, J., Edelsbrunner, H., Pamidghantam, S., & Subramaniam, S. (1996). Analytical method for molecular shapes: Area, volume, cavities, interface and pockets. Fortieth Annual Meeting (Vol. 70, pp. A377–A377). Cell Press. https://doi.org/10.1016/S0006-3495(96)79670-4
View
| DOI
| Download None (ext.)
1996 | Journal Article | IST-REx-ID: 4142
Whitfield, T., Granato, M., Van Eeden, F., Schach, U., Brand, M., Furutani Seiki, M., … Nüsslein Volhard, C. (1996). Mutations affecting development of the zebrafish inner ear and lateral line. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.241
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4154
Ransom, D., Haffter, P., Odenthal, J., Brownlie, A., Vogelsang, E., Kelsh, R., … Nüsslein Volhard, C. (1996). Characterization of zebrafish mutants with defects in embryonic hematopoiesis. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.311
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4156
Piotrowski, T., Schilling, T., Brand, M., Jiang, Y., Heisenberg, C.-P. J., Beuchle, D., … Nüsslein Volhard, C. (1996). Jaw and branchial arch mutants in zebrafish II: Anterior arches and cartilage differentiation. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.345
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4191
Jiang, Y., Brand, M., Heisenberg, C.-P. J., Beuchle, D., Furutani Seiki, M., Kelsh, R., … Nüsslein Volhard, C. (1996). Mutations affecting neurogenesis and brain morphology in the zebrafish, Danio rerio. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.205
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4186
Kelsh, R., Brand, M., Jiang, Y., Heisenberg, C.-P. J., Lin, S., Haffter, P., … Nüsslein Volhard, C. (1996). Zebrafish pigmentation mutations and the processes of neural crest development. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.369
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4189
Kane, D., Maischein, H., Brand, M., Van Eeden, F., Furutani Seiki, M., Granato, M., … Nüsslein Volhard, C. (1996). The zebrafish early arrest mutants. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.57
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4188
Kane, D., Hammerschmidt, M., Mullins, M., Maischein, H., Brand, M., Van Eeden, F., … Nüsslein Volhard, C. (1996). The zebrafish epiboly mutants. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.47
View
| DOI
| PubMed | Europe PMC
1996 | Journal Article | IST-REx-ID: 4203
Heisenberg, C.-P. J., Brand, M., Jiang, Y., Warga, R., Beuchle, D., Van Eeden, F., … Nüsslein Volhard, C. (1996). Genes involved in forebrain development in the zebrafish, Danio rerio. Development. Company of Biologists. https://doi.org/10.1242/dev.123.1.191
View
| DOI
| PubMed | Europe PMC
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. https://doi.org/10.1242/dev.123.1.129
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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. https://doi.org/10.1242/dev.123.1.179
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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. https://doi.org/10.1242/dev.123.1.153
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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. https://doi.org/10.1242/dev.123.1.255
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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. https://doi.org/10.1098/rstb.1995.0090
View
| DOI
| PubMed | Europe PMC
1996 | 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 | Thesis | IST-REx-ID: 4419
Kopke, P. (1996). The Theory of Rectangular Hybrid Automata. Cornell University.
View
1996 | 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 | 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 | 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 | 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 | 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.)
1996 | Conference (Editor) | IST-REx-ID: 4585
Henzinger, T. A., & Alur, R. (Eds.). (1996). 8th International Conference on Computer Aided Verification (Vol. 1102). Presented at the CAV: Computer Aided Verification, New Brunswick, NJ, United States of America: Springer. https://doi.org/10.1007/3-540-61474-5
View
| DOI
| Download None (ext.)
1996 | Conference Paper | IST-REx-ID: 4588
Alur, R., & Henzinger, T. A. (1996). Reactive modules. In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science (pp. 207–218). New Brunswick, NJ, USA: IEEE. https://doi.org/10.1109/LICS.1996.561320
View
| DOI
| Download None (ext.)
1996 | Journal Article | IST-REx-ID: 4611 |
Alur, R., Henzinger, T. A., & Ho, P. (1996). Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. IEEE. https://doi.org/10.1109/32.489079
[Published Version]
View
| DOI
| Download Published Version (ext.)
1996 | Journal Article | IST-REx-ID: 4610
Alur, R., Feder, T., & Henzinger, T. A. (1996). The benefits of relaxing punctuality. Journal of the ACM. ACM. https://doi.org/10.1145/227595.227602
View
| DOI
| Download None (ext.)
1996 | Book (Editor) | IST-REx-ID: 4612
Alur, R., Henzinger, T. A., & Sontag, E. D. (Eds.). (1996). Hybrid Systems III: Verification and Control (Vol. 1066). Berlin ; Heidelberg: Springer. https://doi.org/10.1007/BFb0020931
View
| DOI
1996 | Journal Article | IST-REx-ID: 6161 |
de Bono, M., & Hodgkin, J. (1996). Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences. Genetics. Genetics Society of America.
[Published Version]
View
| Download Published Version (ext.)
| PubMed | Europe PMC