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.

5260 Publications


1994 | Conference Paper | IST-REx-ID: 4420
Kapur, Arjun, Thomas A Henzinger, Zohar Manna, and Amir Pnueli. “Proving Safety Properties of Hybrid Systems,” 863:431–54. Springer, 1994. https://doi.org/10.1007/3-540-58468-4_177.
View | DOI
 

1994 | Book Chapter | IST-REx-ID: 4590
Alur, Rajeev, and Thomas A Henzinger. “Real-Time System = Discrete System + Clock Variables.” In Theories and Experiences for Real-Time System Development, edited by Teodor Rus and Charles Rattray, 2:1–29. World Scientific Publishing, 1994.
View | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4615
Alur, Rajeev, Limor Fix, and Thomas A Henzinger. “A Determinizable Class of Timed Automata,” 818:1–13. Springer, 1994. https://doi.org/10.1007/3-540-58179-0_39.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 1953
Efanov, Alexander, Aleksei Koshkin, Leonid A Sazanov, O I Borodulina, Sergei Varfolomeev, and Sergei Zaǐtsev. “Inhibition of the Respiratory Burst in Mouse Macrophages by Ultra-Low Doses of an Opioid Peptide Is Consistent with a Possible Adaptation Mechanism.” FEBS Letters 355, no. 2 (1994): 114–16. https://doi.org/10.1016/0014-5793(94)01109-5.
View | DOI
 

1994 | Book Review | IST-REx-ID: 2545
Nakanishi, Shigetada, Masayuki Masu, Yasumasa Bessho, Yoshiaki Nakajima, Yasunori Hayashi, and Ryuichi Shigemoto. “Molecular Diversity of Glutamate Receptors and Their Physiological Functions.” Experientia Supplementum. Birkhäuser, 1994. https://doi.org/10.1007/978-3-0348-7330-7_8.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2552
Ogawa Meguro, Reiko, Ryuichi Shigemoto, Kazuo Itoh, Akira Konishi, and Noboru Mizuno. “Immunohistochemical Localization of Substance P Receptor in the Superior Colliculus. A Light and Electron Microscope Study in the Rat.” Neuroscience Letters 166, no. 2 (1994): 135–38. https://doi.org/10.1016/0304-3940(94)90469-3.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2557
Ohishi, Hitoshi, Reiko Ogawa Meguro, Ryuichi Shigemoto, Takeshi Kaneko, Shigetada Nakanishi, and Noboru Mizuno. “Immunohistochemical Localization of Metabotropic Glutamate Receptors, MGluR2 and MGluR3, in Rat Cerebellar Cortex.” Neuron 13, no. 1 (1994): 55–66. https://doi.org/10.1016/0896-6273(94)90459-6.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 3550
Edelsbrunner, Herbert. “Modeling with Simplicial Complexes (Topology, Geometry and Algorithms),” 36–44. Unknown, 1994.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4039
Chazelle, Bernard, Herbert Edelsbrunner, Michelangelo Grigni, Leonidas Guibas, John Hershberger, Micha Sharir, and Jack Snoeyink. “Ray Shooting in Polygons Using Geodesic Triangulations.” Algorithmica 12, no. 1 (1994): 54–68. https://doi.org/10.1007/BF01377183.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4440
Henzinger, Thomas A, and Peter Kopke. “Verification Methods for the Divergent Runs of Clock Systems,” 863:351–72. Springer, 1994. https://doi.org/10.1007/3-540-58468-4_173.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4591
Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.” Journal of the ACM 41, no. 1 (1994): 181–204. https://doi.org/10.1145/174644.174651.
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4503
Henzinger, Thomas A, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. “Symbolic Model Checking for Real-Time Systems.” Information and Computation 111, no. 2 (1994): 193–244. https://doi.org/10.1006/inco.1994.1045.
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 6167
Zarkower, David, Mario de Bono, Rachel Aronoff, and Jonathan Hodgkin. “Regulatory Rearrangements and Smg-Sensitive Allels of the C. Elegans Sex-Determining Gene Tra-1.” Developmental Genetics 15, no. 3 (1994): 240–50. https://doi.org/10.1002/dvg.1020150306.
View | DOI | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2488
Kaneko, Takeshi, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Morphological and Chemical Characteristics of Substance P Receptor Immunoreactive Neurons in the Rat Neocortex.” Neuroscience 60, no. 1 (1994): 199–211. https://doi.org/10.1016/0306-4522(94)90215-1.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2490
Sugimoto, Yukihiko, Ryuichi Shigemoto, Tsunehisa Namba, Manabu Negishi, Noboru Mizuno, Shuh Narumiya, and Atsushi Ichikawa. “Distribution of the Messenger Rna for the Prostaglandin e Receptor Subtype Ep3 in the Mouse Nervous System.” Neuroscience 62, no. 3 (1994): 919–28. https://doi.org/10.1016/0306-4522(94)90483-9.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2553
Sugimoto, Yukihiko, Tsunehisa Namba, Ryuichi Shigemoto, Manabu Negishi, Atsushi Ichikawa, and Shuh Narumiya. “Distinct Cellular Localization of MRNAs for Three Subtypes of Prostaglandin E Receptor in Kidney.” American Journal of Physiology 266, no. 5 (1994): F823–28.
View
 

1994 | Journal Article | IST-REx-ID: 4299
Partridge, Linda, and Nicholas H Barton. “Evolution of Aging: Testing the Theory Using Drosophila.” Genetica 91, no. 1–3 (1994): 89–98. https://doi.org/10.1007/BF01435990.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4179
Leingärtner, Axel, Carl Heisenberg, Roland Kolbeck, Hans Thoenen, and Dan Lindholm. “Brain-Derived Neurotrophic Factor Increases Neurotrophin-3 Expression in Cerebellar Granule Neurons.” Journal of Biological Chemistry 269, no. 2 (1994): 828–30.
View
 

1994 | Conference Paper | IST-REx-ID: 4617
Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems,” 199:331–51. Springer, 1994. https://doi.org/10.1007/BFb0033565.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2489
Akazawa, Chihiro, Ryuichi Shigemoto, Yasumasa Bessho, Shigetada Nakanishi, and Noboru Mizuno. “Differential Expression of Five N-Methyl-D-Aspartate Receptor Subunit MRNAs in the Cerebellum of Developing and Adult Rats.” Journal of Comparative Neurology 347, no. 1 (1994): 150–60. https://doi.org/10.1002/cne.903470112.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed