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.

5751 Publications


1996 | Journal Article | IST-REx-ID: 4156
Piotrowski, T., Schilling, T., Brand, M., Jiang, Y., Heisenberg, C., Beuchle, D., … Nüsslein Volhard, C. (1996). Jaw and branchial arch mutants in zebrafish II: Anterior arches and cartilage differentiation. Development, 123, 345–356.
View | Download (ext.)
 

1996 | Journal Article | IST-REx-ID: 4164
Odenthal, J., Rossnagel, K., Haffter, P., Kelsh, R., Vogelsang, E., Brand, M., … Nüsslein Volhard, C. (1996). Mutations affecting xanthophore pigmentation in the zebrafish, Danio rerio. Development, 123, 391–398.
View
 

1996 | Journal Article | IST-REx-ID: 4166
Odenthal, J., Haffter, P., Vogelsang, E., Brand, M., Van Eeden, F., Furutani Seiki, M., … Nüsslein Volhard, C. (1996). Mutations affecting the formation of the notochord in the zebrafish, Danio rerio. Development, 123, 103–115.
View
 

1996 | Journal Article | IST-REx-ID: 4170
Mullins, M., Hammerschmidt, M., Kane, D., Odenthal, J., Brand, M., Van Eeden, F., … Nüsslein Volhard, C. (1996). Genes establishing dorsoventral pattern formation in the zebrafish embryo: The ventral specifying genes. Development, 123, 81–93.
View
 

1996 | Journal Article | IST-REx-ID: 4186
Kelsh, R., Brand, M., Jiang, Y., Heisenberg, C., Lin, S., Haffter, P., … Nüsslein Volhard, C. (1996). Zebrafish pigmentation mutations and the processes of neural crest development. Development, 123, 369–389.
View
 

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, 123, 47–55.
View
 

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, 123, 57–66.
View
 

1996 | Journal Article | IST-REx-ID: 4191
Jiang, Y., Brand, M., Heisenberg, C., Beuchle, D., Furutani Seiki, M., Kelsh, R., … Nüsslein Volhard, C. (1996). Mutations affecting neurogenesis and brain morphology in the zebrafish, Danio rerio. Development, 123, 205–216.
View
 

1996 | Journal Article | IST-REx-ID: 4203
Heisenberg, C., 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, 123, 191–203.
View
 

1996 | Journal Article | IST-REx-ID: 4208
Hammerschmidt, M., Pelegri, F., Mullins, M., Kane, D., Brand, M., Van Eeden, F., … Nüsslein Volhard, C. (1996). Mutations affecting morphogenesis during gastrulation and tail formation in the zebrafish, Danio rerio. Development, 123, 143–151.
View
 

1996 | Journal Article | IST-REx-ID: 4210
Haffter, P., Odenthal, J., Mullins, M., Lin, S., Farrell, M., Vogelsang, E., … Nüsslein Volhard, C. (1996). Mutations affecting pigmentation and shape of the adult zebrafish. Development Genes and Evolution, 206(4), 260–276. https://doi.org/10.1007/s004270050051
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4211
Hammerschmidt, M., Pelegri, F., Mullins, M., Kane, D., Van Eeden, F., Granato, M., … Nüsslein Volhard, C. (1996). dino and mercedes, two genes regulating dorsal development in the zebrafish embryo. Development, 123, 95–102.
View
 

1996 | Journal Article | IST-REx-ID: 4212
Haffter, P., Granato, M., Brand, M., Mullins, M., Hammerschmidt, M., Kane, D., … Nüsslein Volhard, C. (1996). The identification of genes with unique and essential functions in the development of the zebrafish, Danio rerio. Development, 123, 1–36.
View
 

1996 | Journal Article | IST-REx-ID: 4213
Furutani Seiki, M., Jiang, Y., Brand, M., Heisenberg, C., Houart, C., Beuchle, D., … Nüsslein Volhard, C. (1996). Neural degeneration mutants in the zebrafish, Danio rerio. Development, 123, 229–239.
View
 

1996 | Journal Article | IST-REx-ID: 4214
Granato, M., Van Eeden, F., Schach, U., Trowe, T., Brand, M., Furutani Seiki, M., … Nüsslein Volhard, C. (1996). Genes controlling and mediating locomotion behavior of the zebrafish embryo and larva. Development, 123, 399–413.
View
 

1996 | Journal Article | IST-REx-ID: 4215
Chen, J., Haffter, P., Odenthal, J., Vogelsang, E., Brand, M., Van Eeden, F., … Nüsslein Volhard, C. (1996). Mutations affecting the cardiovascular system and other internal organs in zebrafish. Development, 123, 293–302.
View
 

1996 | Journal Article | IST-REx-ID: 4216
Brand, M., Heisenberg, C., 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, 123, 129–142.
View
 

1996 | Journal Article | IST-REx-ID: 4219
Brand, M., Heisenberg, C., 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, 123, 179–190.
View
 

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, 123, 255–262.
View
 

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, 123, 153–164.
View
 

1996 | 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, 263(1375), 1365–1371. https://doi.org/10.1098/rspb.1996.0200
View | DOI
 

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.
View
 

1996 | Book Review | IST-REx-ID: 4295
Barton, N. H. (1996). Speciation: more than the sum of its parts. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(02)70707-0
View | DOI
 

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

1996 | Book Chapter | 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
 

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
 

1996 | Conference Paper | IST-REx-ID: 4443
Henzinger, T. A., & Kopke, P. (1996). State equivalences for rectangular hybrid automata (Vol. 1119, pp. 530–545). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-61604-7_74
View | DOI
 

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 (Vol. 1119, pp. 514–529). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-61604-7_73
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4519
Henzinger, T. A. (1996). The theory of hybrid automata (pp. 278–292). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.1996.561342
View | DOI
 

1996 | Conference (Editor) | IST-REx-ID: 4585
Alur, R., & Henzinger, T. A. (1996). CAV: Computer Aided Verification. CAV: Computer Aided Verification (Vol. 1102). Springer. https://doi.org/1075
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4588
Alur, R., & Henzinger, T. A. (1996). Reactive modules (pp. 207–218). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.1996.561320
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4610
Alur, R., Feder, T., & Henzinger, T. A. (1996). The benefits of relaxing punctuality. Journal of the ACM, 43(1), 116–146. https://doi.org/10.1145/227595.227602
View | DOI | Download (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, 22(3), 181–201. https://doi.org/10.1109/32.489079
View | DOI
 

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). Springer. https://doi.org/10.1007/BFb0020931
View | DOI
 

1996 | Journal Article | IST-REx-ID: 6161 | OA
de Bono, M., & Hodgkin, J. (1996). Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences. Genetics, 144(2), 587–595.
View | Download Published Version (ext.) | PubMed | Europe PMC
 

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

1996 | Conference Paper | IST-REx-ID: 3553
Edelsbrunner, H., Fu, P., & Quian, J. (1996). Geometric modeling in CAVE (pp. 35-41 and-193–194). Presented at the VRST: Symposium on Virtual Reality Software and Technology, ACM.
View | Download (ext.)
 

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

1996 | Journal Article | IST-REx-ID: 3635
Charlesworth, B., & Barton, N. H. (1996). Recombination load associated with selection for increased recombination. Genetical Research, 67(1), 27–41. https://doi.org/10.1017/S0016672300033450
View | DOI
 

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, 133(1), 125–140. https://doi.org/doi: 10.1083/jcb.133.1.125
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4024
Akkiraju, N., Edelsbrunner, H., Fu, P., & Qian, J. (1996). Viewing geometric protein structures from inside a CAVE. IEEE Computer Graphics and Applications, 16(4), 58–61. https://doi.org/10.1109/38.511855
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4025
Akkiraju, N., & Edelsbrunner, H. (1996). Triangulating the surface of a molecule. Discrete Applied Mathematics, 71(1–3), 5–22. https://doi.org/10.1016/S0166-218X(96)00054-6
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4026
Edelsbrunner, H., & Shah, N. (1996). Incremental topological flipping works for regular triangulations. Algorithmica, 15(3), 223–241. https://doi.org/10.1007/BF01975867
View | DOI
 

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, 15(5), 428–447. https://doi.org/10.1007/BF01955043
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
 

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
 

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, 123, 241–254.
View
 

1995 | Journal Article | IST-REx-ID: 1943
Sazanov, L. A., & Jackson, B. (1995). Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation. Biochimica et Biophysica Acta - Bioenergetics, 1231(3), 304–312. https://doi.org/10.1016/0005-2728(95)00096-2
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 2465
Morris, D., Friml, J., & Zažímalová, E. (1995). Auxin transport. In P. Davies (Ed.), Plant Hormones: Biosynthesis, Signal Transduction, Action! (pp. 451–484). Kluwer. https://doi.org/10.1007/978-1-4020-2686-7_21
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2491
Ohishi, H., Akazawa, C., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1995). Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGluR4 and mGluR7, in the rat brain. Journal of Comparative Neurology, 360(4), 555–570. https://doi.org/10.1002/cne.903600402
View | DOI
 

Search

Filter Publications