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.

5633 Publications


1996 | Journal Article | IST-REx-ID: 2572
Distribution of the mRNA for a pituitary adenylate cyclase-activating polypeptide receptor in the rat brain: An in situ hybridization study
H. Hashimoto, H. Nogi, K. Mori, H. Ohishi, R. Shigemoto, K. Yamamoto, T. Matsuda, N. Mizuno, S. Nagata, A. Baba, Journal of Comparative Neurology 371 (1996) 567–577.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3462
Analysis of molecular determinants in native AMPA receptors
T. Melcher, J. Geiger, P.M. Jonas, H. Monyer, Neurochemistry International 28 (1996) 141–144.
View | DOI
 

1996 | Conference Poster | IST-REx-ID: 4030
Effects of molecular shape representations on boundary element method for protein electrostatics computations
J. Liang, H. Edelsbrunner, S. Subramaniam, Effects of Molecular Shape Representations on Boundary Element Method for Protein Electrostatics Computations, Cell Press, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4186
Zebrafish pigmentation mutations and the processes of neural crest development
R. Kelsh, M. Brand, Y. Jiang, C. Heisenberg, S. Lin, P. Haffter, J. Odenthal, M. Mullins, F. Van Eeden, M. Furutani Seiki, M. Granato, M. Hammerschmidt, D. Kane, R. Warga, D. Beuchle, L. Vogelsang, C. Nüsslein Volhard, Development 123 (1996) 369–389.
View
 

1996 | Journal Article | IST-REx-ID: 4213
Neural degeneration mutants in the zebrafish, Danio rerio
M. Furutani Seiki, Y. Jiang, M. Brand, C. Heisenberg, C. Houart, D. Beuchle, F. Van Eeden, M. Granato, P. Haffter, M. Hammerschmidt, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, C. Nüsslein Volhard, Development 123 (1996) 229–239.
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 | 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 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 | 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 | Conference (Editor) | IST-REx-ID: 4585
CAV: Computer Aided Verification
R. Alur, T.A. Henzinger, CAV: Computer Aided Verification, Springer, 1996.
View | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed