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.

5430 Publications


1996 | Conference Paper | IST-REx-ID: 4588
Alur, Rajeev, and Thomas A Henzinger. “Reactive Modules,” 207–18. IEEE, 1996. https://doi.org/10.1109/LICS.1996.561320.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4610
Alur, Rajeev, Tomás Feder, and Thomas A Henzinger. “The Benefits of Relaxing Punctuality.” Journal of the ACM 43, no. 1 (1996): 116–46. https://doi.org/10.1145/227595.227602.
View | DOI | Download (ext.)
 

1996 | Journal Article | IST-REx-ID: 6161   OA
Bono, Mario de, and J. Hodgkin. “Evolution of Sex Determination in Caenorhabditis: Unusually High Divergence of Tra-1 and Its Functional Consequences.” Genetics 144, no. 2 (1996): 587–95.
View | Download (ext.) | PubMed | Europe PMC
 

1996 | Journal Article | IST-REx-ID: 2564
Ding, Yu, Ryuichi Shigemoto, Masahiko Takada, Hitoshi Ohishi, Shigetada Nakanishi, and Noboru Mizuno. “Localization of the Neuromedin K Receptor (NK3) in the Central Nervous System of the Rat.” Journal of Comparative Neurology 364, no. 2 (1996): 290–310. https://doi.org/10.1002/(SICI)1096-9861(19960108)364:2<290::AID-CNE8>3.0.CO;2-0.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2569
Jia, Hong, Bai Wang, Zhi Rao, Ji Shi, Ryuichi Shigemoto, Takeshi Kaneko, and Noboru Mizuno. “GABAergic Synapses upon Neurons Expressing Substance P Receptors in the Nucleus of the Solitary Tract: An Immunocytochemical Electron Microscope Study in the Rat.” Neuroscience Letters 210, no. 1 (1996): 49–52. https://doi.org/10.1016/0304-3940(96)12654-9.
View | DOI
 

1996 | Book Review | IST-REx-ID: 2571
Yokoi, Mineto, Kazuto Kobayashi, Toshiya Manabe, Tomoyuki Takahashi, Isako Sakaguchi, Goro Katsuura, Ryuichi Shigemoto, et al. “Impairment of Hippocampal Mossy Fiber LTD in Mice Lacking MGluR2.” Science. American Association for the Advancement of Science, 1996. https://doi.org/10.1126/science.273.5275.645.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4027
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Jorge Stolfi. “Lines in Space: Combinatorics and Algorithms.” Algorithmica 15, no. 5 (1996): 428–47. https://doi.org/10.1007/BF01955043.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4142
Whitfield, Tanya, Michael Granato, Fredericus Van Eeden, Ursula Schach, Michael Brand, Makoto Furutani Seiki, Pascal Haffter, et al. “Mutations Affecting Development of the Zebrafish Inner Ear and Lateral Line.” Development 123 (1996): 241–54.
View
 

1996 | Journal Article | IST-REx-ID: 4154
Ransom, David, Pascal Haffter, Jörg Odenthal, Alison Brownlie, Elisabeth Vogelsang, Robert Kelsh, Michael Brand, et al. “Characterization of Zebrafish Mutants with Defects in Embryonic Hematopoiesis.” Development 123 (1996): 311–19.
View
 

1996 | Journal Article | IST-REx-ID: 4166
Odenthal, Jörg, Pascal Haffter, Elisabeth Vogelsang, Michael Brand, Fredericus Van Eeden, Makoto Furutani Seiki, Michael Granato, et al. “Mutations Affecting the Formation of the Notochord in the Zebrafish, Danio Rerio.” Development 123 (1996): 103–15.
View
 

1996 | Journal Article | IST-REx-ID: 4212
Haffter, Pascal, Michael Granato, Michael Brand, Mary Mullins, Matthias Hammerschmidt, Donald Kane, Jörg Odenthal, et al. “The Identification of Genes with Unique and Essential Functions in the Development of the Zebrafish, Danio Rerio.” Development 123 (1996): 1–36.
View
 

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
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed