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.

5340 Publications


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: 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: 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: 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 | 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 | 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: 2547
Sugimoto, Yukihiko, T Hamba, 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 part 2 (1994): F823–28.
View
 

1994 | Journal Article | IST-REx-ID: 2554
Nomura, Akinori, Ryuichi Shigemoto, Yasuhisa Nakamura, Naoyuki Okamoto, Noboru Mizuno, and Shigetada Nakanishi. “Developmentally Regulated Postsynaptic Localization of a Metabotropic Glutamate Receptor in Rat Rod Bipolar Cells.” Cell 77, no. 3 (1994): 361–69. https://doi.org/10.1016/0092-8674(94)90151-1.
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
 

1994 | Journal Article | IST-REx-ID: 2713
Erdös, László. “Estimates on Stochastic Oscillatory Integrals and on the Heat Kernel of the Magnetic Schrödinger Operator.” Duke Mathematical Journal 76, no. 2 (1994): 541–66. https://doi.org/10.1215/S0012-7094-94-07619-9.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3641
Barton, Nicholas H. “The Reduction in Fixation Probability Caused by Substitutions at Linked Loci.” Genetical Research 64, no. 3 (1994): 199–208. https://doi.org/10.1017/S0016672300032857 .
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3475   OA
Koh, Duk, Peter M Jonas, and Werner Vogel. “Na+-Activated K+ Channels Localized in the Nodal Region of Myelinated Axons of Xenopus.” Journal of Physiology 479 (1994): 183–97. https://doi.org/10.1113/jphysiol.1994.sp020287.
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4202
Heisenberg, Carl, John Cooper, J Berke, and Michael Sofroniew. “NMDA Potentiates NGF-Induced Sprouting of Septal Cholinergic Fibres.” Neuroreport 5, no. 4 (1994): 413–16.
View
 

1994 | Conference Paper | IST-REx-ID: 4586
Alur, Rajeev, and Thomas A Henzinger. “Finitary Fairness,” 52–61. IEEE, 1994. https://doi.org/10.1109/LICS.1994.316087 .
View | DOI
 

1994 | Journal Article | IST-REx-ID: 1949
Sazanov, Leonid A, and Julie Jackson. “Proton Translocating Transhydrogenase and NAD- and NADP-Linked Isocitrate Dehydrogenases Operate in a Substrate Cycle Which Contributes to Fine Regulation of the Tricarboxylic Acid Cycle Activity in Mitochondria.” FEBS Letters 344, no. 2–3 (1994): 109–16. https://doi.org/10.1016/0014-5793(94)00370-X.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 2548
Hirano, Tomoo, Keizo Kasono, Ryuichi Shigemoto, and Shigetada Nakanishi. “Induction Mechanism of Long Term Depression in Cultured Purkinje Neurons,” 15:79–81. Biomedical Research Foundation, 1994.
View
 

1994 | Journal Article | IST-REx-ID: 2550
Okamoto, Naoyuki, Seiji Hori, Chihiro Akazawa, Yasunori Hayashi, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Molecular Characterization of a New Metabotropic Glutamate Receptor MGluR7 Coupled to Inhibitory Cyclic AMP Signal Transduction.” Journal of Biological Chemistry 269, no. 2 (1994): 1231–36.
View
 

1994 | Journal Article | IST-REx-ID: 2555
Shigemoto, Ryuichi, Takaaki Abe, Sakashi Nomura, Shigetada Nakanishi, and Tomoo Hirano. “Antibodies Inactivating MGluR1 Metabotropic Glutamate Receptor Block Long-Term Depression in Cultured Purkinje Cells.” Neuron 12, no. 6 (1994): 1245–55. https://doi.org/10.1016/0896-6273(94)90441-3.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 3642
Turelli, Michael, and Nicholas H Barton. “Genetic and Statistical Analyses of Strong Selection on Polygenic Traits: What, Me Normal?” Genetics 138, no. 3 (1994): 913–41.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 3476
Major, Guy, Alan Larkman, Peter M Jonas, Bert Sakmann, and Julian Jack. “Detailed Passive Cable Models of Whole-Cell Recorded CA3 Pyramidal Neurons in Rat Hippocampal Slices.” Journal of Neuroscience 14, no. 8 (1994): 4613–38.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4032
Dey, Tamal, and Herbert Edelsbrunner. “Counting Triangle Crossings and Halving Planes.” Discrete & Computational Geometry 12, no. 1 (1994): 281–89. https://doi.org/10.1007/BF02574381.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4037
Edelsbrunner, Herbert, and Ernst Mücke. “Three-Dimensional Alpha Shapes.” ACM Transactions on Graphics 13, no. 1 (1994): 43–72. https://doi.org/10.1145/174462.156635.
View | DOI
 

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
 

1993 | Journal Article | IST-REx-ID: 1947
Sazanov, Leonid A, and Julie Jackson. “Activation and Inhibition of Mitochondrial Transhydrogenase by Metal Ions.” Biochimica et Biophysica Acta - Bioenergetics 1144, no. 2 (1993): 225–28. https://doi.org/10.1016/0005-2728(93)90177-H.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2539
Ishii, Takahiro, Koki Moriyoshi, Hidemitsu Sugihara, Kazuhir Sakurada, Hiroshi Kadotani, Mineto Yokoi, Chihiro Akazawa, et al. “Molecular Characterization of the Family of the N-Methyl-D-Aspartate Receptor Subunits.” Journal of Biological Chemistry 268, no. 4 (1993): 2836–43.
View
 

1993 | Journal Article | IST-REx-ID: 2541
Shigemoto, Ryuichi, Yoshifumi Nakaya, Sakashi Nomura, Reiko Ogawa Meguro, Hitoshi Ohishi, Takeshi Kaneko, Shigetada Nakanishi, and Noboru Mizuno. “Immunocytochemical Localization of Rat Substance P Receptor in the Striatum.” Neuroscience Letters 153, no. 2 (1993): 157–60. https://doi.org/10.1016/0304-3940(93)90311-8.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2546
Kaneko, Takeshi, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Substance P Receptor-Immunoreactive Neurons in the Rat Neostriatum Are Segregated into Somatostatinergic and Cholinergic Aspiny Neurons.” Brain Research 631, no. 2 (1993): 297–303. https://doi.org/10.1016/0006-8993(93)91548-7.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 3568
Edelsbrunner, Herbert. “Geometric Algorithms.” In Handbook of Convex Geometry, 699–735. North Holland, 1993.
View | Download (ext.)
 

1993 | Journal Article | IST-REx-ID: 3474   OA
Jonas, Peter M, Guy Major, and Bert Sakmann. “Quantal Components of Unitary EPSCs at the Mossy Fibre Synapse on CA3 Pyramidal Cells of Rat Hippocampus.” Journal of Physiology 472 (1993): 615–63. https://doi.org/10.1113/jphysiol.1993.sp019965.
View | DOI | Download (ext.)
 

1993 | Journal Article | IST-REx-ID: 4042
Edelsbrunner, Herbert, and Tiow Tan. “A Quadratic Time Algorithm for the Minmax Length Triangulation.” SIAM Journal on Computing 22, no. 3 (1993): 527–51. https://doi.org/10.1137/0222036 .
View | DOI
 

1993 | Book Review | IST-REx-ID: 4302
Barton, Nicholas H. “Review of "The Causes of Molecular Evolution" by J.H. Gillespie.” Genetical Research. Cambridge University Press, 1993. https://doi.org/10.1017/S001667230003158X .
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1948
Sazanov, Leonid A, and Julie Jackson. “Possible Functions of the NADP-Linked Isocitrate Dehydrogenase and H+ -Transhydrogenase in Heart Mitochondria .” Biochemical Society Transactions 21, no. 3 (1993).
View
 

1993 | Journal Article | IST-REx-ID: 1950
Jackson, Julie, N P J Cotton, Ross Williams, Tania Bizouarn, Mike Hutton, Leonid A Sazanov, and Christopher Thomas. “Proton-Translocating Transhydrogenase in Bacteria.” Biochemical Society Transactions 21, no. 4 (1993): 1010–13.
View
 

1993 | Journal Article | IST-REx-ID: 2542
Shigemoto, Ryuichi, Sakashi Nomura, Hitoshi Ohishi, Hidemitsu Sugihara, Shigetada Nakanishi, and Noboru Mizuno. “Immunohistochemical Localization of a Metabotropic Glutamate Receptor, MGluR5, in the Rat Brain.” Neuroscience Letters 163, no. 1 (1993): 53–57. https://doi.org/10.1016/0304-3940(93)90227-C.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 3451
Jonas, Peter M. “Glutamate Receptors in the Central Nervous System.” In Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction, 707:126–35. New York Academy of Sciences, 1993.
View | Download (ext.)
 

1993 | Book Chapter | IST-REx-ID: 3569
Edelsbrunner, Herbert. “Computational Geometry.” In Current Trends in Theoretical Computer Science, Essays and Tutorials, 1–48. World Scientific Publishing, 1993. https://doi.org/10.1007/978-3-662-04245-8_1.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4036
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Jack Snoeyink. “Computing a Face in an Arrangement of Line Segments and Related Problems.” SIAM Journal on Computing 22, no. 6 (1993): 1286–1302. https://doi.org/10.1137/0222077 .
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4175
Lindholm, Dan, Georg Dechant, Carl Heisenberg, and Hans Thoenen. “Brain-Derived Neurotrophic Factor Is a Survival Factor for Cultured Rat Cerebellar Granule Neurons and Protects Them against Glutamate-Induced Neurotoxicity.” European Journal of Neuroscience 5, no. 11 (1993): 1455–64. https://doi.org/10.1111/j.1460-9568.1993.tb00213.x.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4303
Barton, Nicholas H. “The Probability of Fixation of a Favoured Allele in a Subdivided Population.” Genetical Research 62, no. 2 (1993): 149–58. https://doi.org/10.1017/S0016672300031748.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4618
Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, and Pei Ho. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.” In Hybrid Systems, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:209–29. Springer, 1993. https://doi.org/10.1007/3-540-57318-6_30.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4620
Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated Delays in Real-Time Systems,” 697:181–93. Springer, 1993. https://doi.org/10.1007/3-540-56922-7_16.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2536
Nakajima, Yoshiaki, Hideki Iwakabe, Chihiro Akazawa, Hiroyuki Nawa, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Molecular Characterization of a Novel Retinal Metabotropic Glutamate Receptor MGluR6 with a High Agonist Selectivity for L-2-Amino-4- Phosphonobutyrate.” Journal of Biological Chemistry 268, no. 16 (1993): 11868–73.
View
 

1993 | Journal Article | IST-REx-ID: 2543
Hashimoto, Hitoshi, Takeshi Ishihara, Ryuichi Shigemoto, Kensaku Mori, and Shigekazu Nagata. “ Molecular Cloning and Tissue Distribution of a Receptor for Pituitary Adenylate Cyclase-Activating Polypeptide.” Neuron 11, no. 2 (1993): 333–42. https://doi.org/10.1016/0896-6273(93)90188-W.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 3452
Jonas, Peter M. “AMPA-Type Glutamate Receptors - Nonselective Cation Channels Mediating Fast Excitatory Transmission in the CNS.” In Nonselective Cation Channels: Pharmacology, Physiology and Biophysics., edited by Detlef Siemen, 66:61–76. Birkhäuser, 1993.
View
 

1993 | Journal Article | IST-REx-ID: 4044
Bern, Marshall, Herbert Edelsbrunner, David Eppstein, Stephen Mitchell, and Tiow Tan. “Edge Insertion for Optimal Triangulations.” Discrete & Computational Geometry 10, no. 1 (1993): 47–65. https://doi.org/10.1007/BF02573962.
View | DOI
 

1993 | Book Review | IST-REx-ID: 4304
Barton, Nicholas H. “Why Species and Subspecies?” Current Biology. Cell Press, 1993. https://doi.org/10.1016/0960-9822(93)90036-N.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4506
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Towards Refining Temporal Specifications into Hybrid Systems.” In Hybrid Systems, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:60–76. Springer, 1993. https://doi.org/10.1007/3-540-57318-6_24.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
Alur, Rajeev, Thomas A Henzinger, and Moshe Vardi. “Parametric Real-Time Reasoning,” 592–601. ACM, 1993. https://doi.org/10.1145/167088.167242.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 1945
Sazanov, Leonid A, and Sergei Zaǐtsev. “Effect of Superlow Doses (10(-18)-10-(-14) M) of Biologically Active Substances: General Rules, Features, and Possible Mechanisms.” Biokhimiya 57, no. 10 (1992): 1443–60.
View
 

1992 | Journal Article | IST-REx-ID: 2532
Nishioka, Tatsuya, Yoshifumi Oda, Yutaka Seino, Taizo Yamamoto, Nobuya Inagaki, Hideki Yano, Hiroo Imura, Ryuichi Shigemoto, and Haruhiko Kikuchi. “Distribution of the Glucose Transporters in Human Brain Tumors.” Cancer Research 52, no. 14 (1992): 3972–79.
View
 

1992 | Journal Article | IST-REx-ID: 2486
Shigemoto, Ryuichi, Shigetada Nakanishi, and Noboru Mizuno. “Distribution of the MRNA for a Metabotropic Glutamate Receptor (MGluR1) in the Central Nervous System: An in Situ Hybridization Study in Adult and Developing Rat.” Journal of Comparative Neurology 322, no. 1 (1992): 121–35. https://doi.org/10.1002/cne.903220110.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2722
Erdös, László, and Dao Tuyen. “Central Limit Theorems for the One-Dimensional Rayleigh Gas with Semipermeable Barriers.” Communications in Mathematical Physics 143, no. 3 (1992): 451–66. https://doi.org/10.1007/BF02099260.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3472
Koh, Duk, Peter M Jonas, Michael Bräu, and Werner Vogel. “A TEA-Insensitive Flickering Potassium Channel Active around the Resting Potential in Myelinated Nerve.” Journal of Membrane Biology 130 (1992): 149–62. https://doi.org/10.1007/BF00231893.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4305
Hatfield, Todd, Nicholas H Barton, and Jeremy Searle. “A Model of a Hybrid Zone between Two Chromosomal Races of the Common Shrew (Sorex Araneus).” Evolution; International Journal of Organic Evolution 46, no. 4 (1992): 1129–45.
View | Download (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4507
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Timed Transition Systems.” In Real Time: Theory in Practice, 600:226–51. Springer, 1992. https://doi.org/10.1007/BFb0031995.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2533
Abe, Takaaki, Hidemitsu Sugihara, Hiroyuki Nawa, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Molecular Characterization of a Novel Metabotropic Glutamate Receptor MGluR5 Coupled to Inositol Phosphate/Ca2+ Signal Transduction.” Journal of Biological Chemistry 267, no. 19 (1992): 13361–68.
View
 

1992 | Journal Article | IST-REx-ID: 3581
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, Richard Pollack, Raimund Seidel, Micha Sharir, and Jack Snoeyink. “Counting and Cutting Cycles of Lines and Rods in Space.” Computational Geometry: Theory and Applications 1, no. 6 (1992): 305–23. https://doi.org/10.1016/0925-7721(92)90009-H.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4046
Chazelle, Bernard, and Herbert Edelsbrunner. “An Optimal Algorithm for Intersecting Line Segments in the Plane.” Journal of the ACM 39, no. 1 (1992): 1–54. https://doi.org/10.1145/147508.147511.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4053
Aronov, Boris, Herbert Edelsbrunner, Leonidas Guibas, and Micha Sharir. “The Number of Edges of Many Faces in a Line Segment Arrangement.” Combinatorica 12, no. 3 (1992): 261–74. https://doi.org/10.1007/BF01285815.
View | DOI
 

1992 | Book Review | IST-REx-ID: 4306
Barton, Nicholas H, and Nick Goldman. “Genetics and Geography.” Nature. Nature Publishing Group, 1992. https://doi.org/10.1038/357440a0.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2534
Ishihara, Takeshi, Ryuichi Shigemoto, Kensaku Mori, Kenji Takahashi, and Shigekazu Nagata. “Functional Expression and Tissue Distribution of a Novel Receptor for Vasoactive Intestinal Polypeptide.” Neuron 8, no. 4 (1992): 811–19. https://doi.org/10.1016/0896-6273(92)90101-I.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3645
Sanderson, Neil, Jacek Szymura, and Nicholas H Barton. “Variation in Mating Call across the Hybrid Zone between the Fire-Bellied Toads Bombina Bombina and B. Variegata.” Evolution 46, no. 3 (1992): 595–607.
View | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 4047
Edelsbrunner, Herbert, Leonidas Guibas, János Pach, Richard Pollack, Raimund Seidel, and Micha Sharir. “Arrangements of Curves in the Plane - Topology, Combinatorics, and Algorithms.” Theoretical Computer Science 92, no. 2 (1992): 319–36. https://doi.org/10.1016/0304-3975(92)90319-B.
View | DOI
 

1992 | Book Chapter | IST-REx-ID: 4307
Barton, Nicholas H. “The Genetic Consequences of Dispersal.” In Animal Dispersal: Small Mammals as a Model, edited by Nils Stenseth and William Lidicker, 37–60. Chapman Hall, 1992.
View
 

1992 | Conference Paper | IST-REx-ID: 4504
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “What Good Are Digital Clocks?,” 623:545–58. Springer, 1992. https://doi.org/10.1007/3-540-55719-9_103.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2535
Sasai, Yoshiki, Ryoichiro Kageyama, Yoshiaki Tagawa, Ryuichi Shigemoto, and Shigetada Nakanishi. “Two Mammalian Helix-Loop-Helix Factors Structurally Related to Drosophila Hairy and Enhancer of Split.” Genes and Development 6, no. 12 B (1992): 2620–34. https://doi.org/10.1101/gad.6.12b.2620.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2484
Tanabe, Yasuto, Masayuki Masu, Takahiro Ishii, Ryuichi Shigemoto, and Shigetada Nakanishi. “A Family of Metabotropic Glutamate Receptors.” Neuron 8, no. 1 (1992): 169–79. https://doi.org/10.1016/0896-6273(92)90118-W.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3470
Jonas, Peter M, and Bert Sakmann. “Glutamate Receptor Channels in Isolated Patches from CA1 and CA3 Pyramidal Cells of Rat Hippocampal Slices.” Journal of Physiology 455 (1992): 143–71.
View | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 4043
Edelsbrunner, Herbert, Tiow Tan, and Roman Waupotitsch. “An O(N^2 Log n) Time Algorithm for the MinMax Angle Triangulation.” SIAM Journal on Scientific Computing 13, no. 4 (1992): 994–1008. https://doi.org/10.1137/0913058.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4048
Aggarwal, Alok, Herbert Edelsbrunner, Prabhakar Raghavan, and Prasoon Tiwari. “Optimal Time Bounds for Some Proximity Problems in the Plane.” Information Processing Letters 42, no. 1 (1992): 55–60. https://doi.org/10.1016/0020-0190(92)90133-G.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4050
Edelsbrunner, Herbert. “Guest Editor’s Foreword.” Discrete & Computational Geometry 8, no. 1 (1992): 217–217. https://doi.org/10.1007/BF02293046.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4308
Barton, Nicholas H. “On the Spread of New Gene Combinations in the Third Phase of Wright’s Shifting Balance.” Evolution; International Journal of Organic Evolution 46, no. 2 (1992): 551–57.
View | Download (ext.)
 

1992 | Conference Paper | IST-REx-ID: 4505
Henzinger, Thomas A, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. “Symbolic Model Checking for Real-Time Systems,” 394–406. IEEE, 1992. https://doi.org/10.1109/LICS.1992.185551.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4517
Henzinger, Thomas A. “Sooner Is Safer Than Later.” Information Processing Letters 43, no. 3 (1992): 135–41. https://doi.org/10.1016/0020-0190(92)90005-G.
View | DOI | Download (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4593
Alur, Rajeev, and Thomas A Henzinger. “Logics and Models of Real Time: A Survey.” In Real Time: Theory in Practice, 600:74–106. Springer, 1992. https://doi.org/10.1007/BFb0031984.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2485
Hori, Seiji, Yasato Komatsu, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Distinct Tissue Distribution and Cellular Localization of Two Messenger Ribonucleic Acids Encoding Different Subtypes of Rat Endothelin Receptors.” Endocrinology 130, no. 4 (1992): 1885–95. https://doi.org/10.1210/en.130.4.1885.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2531
Shigemoto, Ryuichi, Hitoshi Ohishi, Shigetada Nakanishi, and Noboru Mizuno. “Expression of the MRNA for the Rat NMDA Receptor (NMDAR1) in the Sensory and Autonomic Ganglion Neurons.” Neuroscience Letters 144, no. 1–2 (1992): 229–32. https://doi.org/10.1016/0304-3940(92)90756-W.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2714
Erdös, László. “On Some Problems of P. Turán Concerning Power Sums of Complex Numbers.” Acta Mathematica Hungarica 59, no. 1–2 (1992): 11–24. https://doi.org/10.1007/BF00052086.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed