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.

5439 Publications


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

1996 | Book Chapter | IST-REx-ID: 4426
Henzinger, Thomas A, and Howard Wong Toi. “Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.” In Hybrid Systems III: Verification and Control, edited by Rajeev Alur, Thomas A Henzinger, and Eduardo Sontag, 1066:377–88. Springer, 1996. https://doi.org/10.1007/BFb0020961.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4495
Henzinger, Thomas A, Orna Kupferman, and Moshe Vardi. “A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking,” 1119:514–29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996. https://doi.org/10.1007/3-540-61604-7_73.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4611
Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems.” IEEE Transactions on Software Engineering 22, no. 3 (1996): 181–201. https://doi.org/10.1109/32.489079.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 1942
Sazanov, Leonid A, P Burrows, and P J Nixon. “Presence of a Large Protein Complex Containing the NdhK Gene Product and Possessing NADH-Specific Dehydrogenase Activity in Thylakoid Membranes of Higher Plant Chloroplasts,” 2:705–8. Kluwer, 1996.
View
 

1996 | Journal Article | IST-REx-ID: 2565
Li, Jin, Hitoshi Ohishi, Takeshi Kaneko, Ryuichi Shigemoto, Akio Neki, Shigetada Nakanishi, and Noboru Mizuno. “Immunohistochemical Localization of a Metabotropic Glutamate Receptor, MGluR7, in Ganglion Neurons of the Rat; with Special Reference to the Presence in Glutamatergic Ganglion Neurons.” Neuroscience Letters 204, no. 1–2 (1996): 9–12. https://doi.org/10.1016/0304-3940(95)12299-0.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2572
Hashimoto, Hitoshi, Hiroyuki Nogi, Kensaku Mori, Hitoshi Ohishi, Ryuichi Shigemoto, Kyohei Yamamoto, Toshio Matsuda, Noboru Mizuno, Shigekazu Nagata, and Akemichi Baba. “Distribution of the MRNA for a Pituitary Adenylate Cyclase-Activating Polypeptide Receptor in the Rat Brain: An in Situ Hybridization Study.” Journal of Comparative Neurology 371, no. 4 (1996): 567–77. https://doi.org/10.1002/(SICI)1096-9861(19960805)371:4<567::AID-CNE6>3.3.CO;2-M.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3462
Melcher, Thorsten, Jörg Geiger, Peter M Jonas, and Hannah Monyer. “Analysis of Molecular Determinants in Native AMPA Receptors.” Neurochemistry International 28, no. 2 (1996): 141–44. https://doi.org/10.1016/0197-0186(95)00077-1.
View | DOI
 

1996 | Conference Poster | IST-REx-ID: 4030
Liang, Jie, Herbert Edelsbrunner, and Shankar Subramaniam. Effects of Molecular Shape Representations on Boundary Element Method for Protein Electrostatics Computations. Fortieth Annual Meeting. Vol. 70. Cell Press, 1996. https://doi.org/10.1016/S0006-3495(96)79664-9.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4186
Kelsh, Robert, Michael Brand, Yunjin Jiang, Carl Heisenberg, Shuo Lin, Pascal Haffter, Jörg Odenthal, et al. “Zebrafish Pigmentation Mutations and the Processes of Neural Crest Development.” Development 123 (1996): 369–89.
View
 

1996 | Journal Article | IST-REx-ID: 4213
Furutani Seiki, Makoto, Yunjin Jiang, Michael Brand, Carl Heisenberg, Corinne Houart, Dirk Beuchle, Fredericus Van Eeden, et al. “Neural Degeneration Mutants in the Zebrafish, Danio Rerio.” Development 123 (1996): 229–39.
View
 

1996 | Journal Article | IST-REx-ID: 4220
Van Eeden, Fredericus, Michael Granato, Ursula Schach, Michael Brand, Makoto Furutani Seiki, Pascal Haffter, Matthias Hammerschmidt, et al. “Genetic Analysis of Fin Formation in the Zebrafish, Danio Rerio.” Development 123 (1996): 255–62.
View
 

1996 | Book Chapter | IST-REx-ID: 4294
Barton, Nicholas H, and I Wilson. “Genealogies and Geography.” In New Uses for New Phylogenies, 23–56. Oxford University Press, 1996.
View
 

1996 | Book Chapter | IST-REx-ID: 4427
Henzinger, Thomas A, and Howard Wong Toi. “Using HyTech to Synthesize Control Parameters for a Steam Boiler.” In Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, 1165:265–82. Springer, 1996. https://doi.org/10.1007/BFb0027241.
View | DOI
 

1996 | Book (Editor) | IST-REx-ID: 4612
Alur, Rajeev, Thomas A Henzinger, and Eduardo D Sontag, eds. Hybrid Systems III: Verification and Control. Vol. 1066. Lecture Notes in Computer Science. Springer, 1996. https://doi.org/10.1007/BFb0020931.
View | DOI
 

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

1996 | Journal Article | IST-REx-ID: 2566
Kinoshita, Ayae, Hitoshi Ohishi, Akio Neki, Sakashi Nomura, Ryuichi Shigemoto, Masahiko Takada, Shigetada Nakanishi, and Noboru Mizuno. “Presynaptic Localization of a Metabotropic Glutamate Receptor, MGluR8, in the Rhinencephalic Areas: A Light and Electron Microscope Study in the Rat.” Neuroscience Letters 207, no. 1 (1996): 61–64. https://doi.org/10.1016/0304-3940(96)12489-7.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2573
Tokuno, Hironobu, Masahiko Takada, Takeshi Kaneko, Ryuichi Shigemoto, and Noboru Mizuno. “Patchy Distribution of Substance P Receptor Immunoreactivity in the Developing Rat Striatum.” Developmental Brain Research 95, no. 1 (1996): 107–17. https://doi.org/10.1016/0165-3806(96)00080-6.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2725
Erdös, László. “Rayleigh-Type Isoperimetric Inequality with a Homogeneous Magnetic Field.” Calculus of Variations and Partial Differential Equations 4, no. 3 (1996): 283–92. https://doi.org/10.1007/BF01254348.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3634
Barton, Nicholas H, and James Mallet. “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, no. 1341 (1996): 785–95. https://doi.org/10.1098/rstb.1996.0073.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed