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.

5685 Publications


1996 | Book Review | IST-REx-ID: 2571
Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2
M. Yokoi, K. Kobayashi, T. Manabe, T. Takahashi, I. Sakaguchi, G. Katsuura, R. Shigemoto, H. Ohishi, S. Nomura, K. Nakamura, K. Nakao, M. Katsuki, S. Nakanishi, Science 273 (1996) 645–647.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4027
Lines in space: Combinatorics and algorithms
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, J. Stolfi, Algorithmica 15 (1996) 428–447.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4142
Mutations affecting development of the zebrafish inner ear and lateral line
T. Whitfield, M. Granato, F. Van Eeden, U. Schach, M. Brand, M. Furutani Seiki, P. Haffter, M. Hammerschmidt, C. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, J. Odenthal, C. Nüsslein Volhard, Development 123 (1996) 241–254.
View
 

1996 | Journal Article | IST-REx-ID: 4154
Characterization of zebrafish mutants with defects in embryonic hematopoiesis
D. Ransom, P. Haffter, J. Odenthal, A. Brownlie, E. Vogelsang, R. Kelsh, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C. Heisenberg, Y. Jiang, D. Kane, M. Mullins, C. Nüsslein Volhard, Development 123 (1996) 311–319.
View
 

1996 | Journal Article | IST-REx-ID: 4166
Mutations affecting the formation of the notochord in the zebrafish, Danio rerio
J. Odenthal, P. Haffter, E. Vogelsang, M. Brand, F. Van Eeden, M. Furutani Seiki, M. Granato, M. Hammerschmidt, C. Heisenberg, Y. Jiang, D. Kane, R. Kelsh, M. Mullins, R. Warga, M. Allende, E. Weinberg, C. Nüsslein Volhard, Development 123 (1996) 103–115.
View
 

1996 | Journal Article | IST-REx-ID: 4212
The identification of genes with unique and essential functions in the development of the zebrafish, Danio rerio
P. Haffter, M. Granato, M. Brand, M. Mullins, M. Hammerschmidt, D. Kane, J. Odenthal, F. Van Eeden, Y. Jiang, C. Heisenberg, R. Kelsh, M. Furutani Seiki, E. Vogelsang, D. Beuchle, U. Schach, C. Fabian, C. Nüsslein Volhard, Development 123 (1996) 1–36.
View
 

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: 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
 

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:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–529.
View | DOI
 

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

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

1996 | Journal Article | IST-REx-ID: 2565 View | DOI
 

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
 

Search

Filter Publications

Display / Sort

Export / Embed