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.

5315 Publications


1994 | Journal Article | IST-REx-ID: 4501
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Temporal Proof Methodologies for Timed Transition Systems.” Information and Computation 112, no. 2 (1994): 273–337. https://doi.org/10.1006/inco.1994.1060.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4614
Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “The Observational Power of Clocks,” 836:162–77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994. https://doi.org/10.1007/BFb0015008.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2537
Tanabe, Yasuto, Akinori Nomura, Masayuki Masu, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Signal Transduction, Pharmacological Properties, and Expression Patterns of Two Rat Metabotropic Glutamate Receptors, MGluR3 and MGluR4.” Journal of Neuroscience 13, no. 4 (1993): 1372–78.
View
 

1993 | Journal Article | IST-REx-ID: 2544
Hayashi, Yasunori, Akiko Momiyama, Tomoyuki Takahashi, Hitoshi Ohishi, Reiko Ogawa Meguro, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Role of a Metabotropic Glutamate Receptor in Synaptic Modulation in the Accessory Olfactory Bulb.” Nature 366, no. 6456 (1993): 687–90. https://doi.org/10.1038/366687a0.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3446
Sziranyi, Tamas, and Jozsef L Csicsvari. “High-Speed Character Recognition Using a Dual Cellular Neural Network Architecture (CNND).” IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing 40, no. 3 (1993): 223–31. https://doi.org/10.1109/82.222823.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3643
Rouhani, Shahin, and Nicholas H Barton. “Group Selection and the ‘Shifting Balance.’” Genetical Research 61, no. 2 (1993): 127–36. https://doi.org/10.1017/S0016672300031232.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4040
Edelsbrunner, Herbert, and Tiow Tan. “An Upper Bound for Conforming Delaunay Triangulations.” Discrete & Computational Geometry 10, no. 1 (1993): 197–213. https://doi.org/10.1007/BF02573974.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4045
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, and Micha Sharir. “Diameter, Width, Closest Line Pair, and Parametric Searching.” Discrete & Computational Geometry 10, no. 1 (1993): 183–96. https://doi.org/10.1007/BF02573973.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4177
Lindholm, Dan, Eero Castrén, Pantelis Tsoulfas, Roland Kolbeck, Maria Berzaghi, Axel Leingärtner, Carl Heisenberg, Lino Tesarollo, Luis Parada, and Hans Thoenen. “Neurotrophin-3 Induced by Tri-Iodothyronine in Cerebellar Granule Cells Promotes Purkinje Cell Differentiation.” Journal of Cell Biology 122, no. 2 (1993): 443–50. https://doi.org/10.1083/jcb.122.2.443.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4300
Partridge, Linda, and Nicholas H Barton. “Optimality, Mutation and the Evolution of Ageing.” Nature 362 (1993): 305–11. https://doi.org/10.1038/362305a0.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2538
Iwai, Masazumi, Seiji Hori, Ryuichi Shigemoto, Hideharu Kanzaki, Takahide Mori, and Shigetada Nakanishi. “Localization of Endothelin Receptor Messenger Ribonucleic Acid in the Rat Ovary and Fallopian Tube by in Situ Hybridization.” Biology of Reproduction 49, no. 4 (1993): 675–80.
View
 

1993 | Journal Article | IST-REx-ID: 2540
Ohishi, Hitoshi, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Distribution of the Messenger RNA for a Metabotropic Glutamate Receptor, MGluR2, in the Central Nervous System of the Rat.” Neuroscience 53, no. 4 (1993): 1009–18. https://doi.org/10.1016/0306-4522(93)90485-X.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2487
Ohishi, Hitoshi, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “ Distribution of the MRNA for a Metabotropic Glutamate Receptor (MGluR3) in the Rat Brain: An in Situ Hybridization Study.” Journal of Comparative Neurology 335, no. 2 (1993): 252–66. https://doi.org/10.1002/cne.903350209.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2723
Erdös, László. “Ground-State Density of the Pauli Operator in the Large Field Limit.” Letters in Mathematical Physics 29, no. 3 (1993): 219–40. https://doi.org/10.1007/BF00761110.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3644
Barton, Nicholas H, and Shahin Rouhani. “Adaptation and the ‘Shifting Balance.’” Genetical Research 61, no. 1 (1993): 57–74. https://doi.org/10.1017/S0016672300031098 .
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3473
Ruppersberg, Peter, Mamfred Ermler, Martin Knopf, Wilfried Kues, Peter M Jonas, and Michael Koenen. “Properties of Shaker-Homologous Potassium Channels Expressed in the Mammalian Brain.” Cellular Physiology and Biochemistry 3 (1993): 250–69. https://doi.org/10.1159/000154691.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4041
Edelsbrunner, Herbert, Raimund Seidel, and Micha Sharir. “On the Zone Theorem for Hyperplane Arrangements.” SIAM Journal on Computing 22, no. 2 (1993): 418–29. https://doi.org/10.1137/0222031.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4301
Barton, Nicholas H, and Katherine Gale. “Genetic Analysis of Hybrid Zones.” In Hybrid Zones and the Evolutionary Process, edited by Richard Harrison, 13–45. Oxford University Press, 1993.
View
 

1993 | Journal Article | IST-REx-ID: 4589
Alur, Rajeev, and Thomas A Henzinger. “Real-Time Logics: Complexity and Expressiveness.” Information and Computation 104, no. 1 (1993): 35–77. https://doi.org/10.1006/inco.1993.1025.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4616
Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems,” 2–11. IEEE, 1993. https://doi.org/10.1109/REAL.1993.393520 .
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed