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.

5483 Publications


1997 | Journal Article | IST-REx-ID: 4493
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems.” Software Tools For Technology Transfer 1, no. 1–2 (1997): 110–22. https://doi.org/10.1007/s100090050008.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4520
Gupta, Vineet, Thomas A Henzinger, and Radha Jagadeesan. “Robust Timed Automata,” 1201:331–45. Springer, 1997. https://doi.org/10.1007/BFb0014736.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 1952
Bizouarn, Tania, Leonid A Sazanov, Sébastien Aubourg, and Julie Jackson. “Estimation of the H+/H- Ratio of the Reaction Catalysed by the Nicotinamide Nucleotide Transhydrogenase in Chromatophores from over-Expressing Strains of Rhodospirillum Rubrum and in Liposomes Inlaid with the Purified Bovine Enzyme.” Biochimica et Biophysica Acta - Bioenergetics 1273, no. 1 (1996): 4–12. https://doi.org/10.1016/0005-2728(95)00125-5.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2568
Kinoshita, Ayae, Hitoshi Ohishi, Sakashi Nomura, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Presynaptic Localization of a Metabotropic Glutamate Receptor, MGluR4a, in the Cerebellar Cortex: A Light and Electron Microscope Study in the Rat.” Neuroscience Letters 207, no. 3 (1996): 199–202. https://doi.org/10.1016/0304-3940(96)12519-2.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2570
Shigemoto, Ryuichi, Ákos Kulik, John Roberts, Hitoshi Ohishi, Zoltán Nusser, Takeshi Kaneko, and Péter Somogyi. “Target-Cell-Specific Concentration of a Metabotropic Glutamate Receptor in the Presynaptic Active Zone.” Nature 381, no. 6582 (1996): 523–25. https://doi.org/10.1038/381523a0.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 3756
Dogterom, Marileen, M. Felix, Calin C Guet, and Stanislas Leibler. “Influence of M-Phase Chromatin on the Anisotropy of Microtubule Asters.” Journal of Cell Biology 133, no. 1 (1996): 125–40. https://doi.org/doi: 10.1083/jcb.133.1.125 .
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4026
Edelsbrunner, Herbert, and Nimish Shah. “Incremental Topological Flipping Works for Regular Triangulations.” Algorithmica 15, no. 3 (1996): 223–41. https://doi.org/10.1007/BF01975867.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 4189
Kane, Donald, Hans Maischein, Michael Brand, Fredericus Van Eeden, Makoto Furutani Seiki, Michael Granato, Pascal Haffter, et al. “The Zebrafish Early Arrest Mutants.” Development 123 (1996): 57–66.
View
 

1996 | Journal Article | IST-REx-ID: 4191
Jiang, Yunjin, Michael Brand, Carl Heisenberg, Dirk Beuchle, Makoto Furutani Seiki, Robert Kelsh, Rachel Warga, et al. “Mutations Affecting Neurogenesis and Brain Morphology in the Zebrafish, Danio Rerio.” Development 123 (1996): 205–16.
View
 

1996 | Journal Article | IST-REx-ID: 4211
Hammerschmidt, Matthias, Francisco Pelegri, Mary Mullins, Donald Kane, Fredericus Van Eeden, Michael Granato, Michael Brand, et al. “Dino and Mercedes, Two Genes Regulating Dorsal Development in the Zebrafish Embryo.” Development 123 (1996): 95–102.
View
 

1996 | Journal Article | IST-REx-ID: 4216
Brand, Michael, Carl Heisenberg, Rachel Warga, Francisco Pelegri, Rolf Karlstrom, Dirk Beuchle, Alexander Picker, et al. “Mutations Affecting Development of the Midline and General Body Shape during Zebrafish Embryogenesis.” Development 123 (1996): 129–42.
View
 

1996 | Journal Article | IST-REx-ID: 4292
Partridge, Linda, and Nicholas H Barton. “On Measuring the Rate of Ageing.” Proceedings of the Royal Society of London Series B Biological Sciences 263, no. 1375 (1996): 1365–71. https://doi.org/10.1098/rspb.1996.0200.
View | DOI
 

1996 | Conference Paper | IST-REx-ID: 4519
Henzinger, Thomas A. “The Theory of Hybrid Automata,” 278–92. IEEE, 1996. https://doi.org/10.1109/LICS.1996.561342 .
View | DOI
 

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
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed