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.

5248 Publications


1994 | Journal Article | IST-REx-ID: 3476
Major, Guy, et al. “Detailed Passive Cable Models of Whole-Cell Recorded CA3 Pyramidal Neurons in Rat Hippocampal Slices.” Journal of Neuroscience, vol. 14, no. 8, Society for Neuroscience, 1994, pp. 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, vol. 12, no. 1, Springer, 1994, pp. 281–89, doi: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, vol. 13, no. 1, ACM, 1994, pp. 43–72, doi:10.1145/174462.156635.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4614
Alur, Rajeev, et al. The Observational Power of Clocks. Vol. 836, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–77, doi:10.1007/BFb0015008.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4501
Henzinger, Thomas A., et al. “Temporal Proof Methodologies for Timed Transition Systems.” Information and Computation, vol. 112, no. 2, Elsevier, 1994, pp. 273–337, doi:10.1006/inco.1994.1060.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2537
Tanabe, Yasuto, et al. “Signal Transduction, Pharmacological Properties, and Expression Patterns of Two Rat Metabotropic Glutamate Receptors, MGluR3 and MGluR4.” Journal of Neuroscience, vol. 13, no. 4, Society for Neuroscience, 1993, pp. 1372–78.
View
 

1993 | Journal Article | IST-REx-ID: 2544
Hayashi, Yasunori, et al. “Role of a Metabotropic Glutamate Receptor in Synaptic Modulation in the Accessory Olfactory Bulb.” Nature, vol. 366, no. 6456, Nature Publishing Group, 1993, pp. 687–90, doi:10.1038/366687a0.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3643
Rouhani, Shahin, and Nicholas H. Barton. “Group Selection and the ‘Shifting Balance.’” Genetical Research, vol. 61, no. 2, Cambridge University Press, 1993, pp. 127–36, doi:10.1017/S0016672300031232.
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, vol. 40, no. 3, IEEE, 1993, pp. 223–31, doi:10.1109/82.222823.
View | DOI
 

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

1993 | Journal Article | IST-REx-ID: 4045
Chazelle, Bernard, et al. “Diameter, Width, Closest Line Pair, and Parametric Searching.” Discrete & Computational Geometry, vol. 10, no. 1, Springer, 1993, pp. 183–96, doi:10.1007/BF02573973.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4177
Lindholm, Dan, et al. “Neurotrophin-3 Induced by Tri-Iodothyronine in Cerebellar Granule Cells Promotes Purkinje Cell Differentiation.” Journal of Cell Biology, vol. 122, no. 2, Rockefeller University Press, 1993, pp. 443–50, doi: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, vol. 362, Nature Publishing Group, 1993, pp. 305–11, doi:10.1038/362305a0.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2538
Iwai, Masazumi, et al. “Localization of Endothelin Receptor Messenger Ribonucleic Acid in the Rat Ovary and Fallopian Tube by in Situ Hybridization.” Biology of Reproduction, vol. 49, no. 4, Society for the Study of Reproduction, 1993, pp. 675–80.
View
 

1993 | Journal Article | IST-REx-ID: 2540
Ohishi, Hitoshi, et al. “Distribution of the Messenger RNA for a Metabotropic Glutamate Receptor, MGluR2, in the Central Nervous System of the Rat.” Neuroscience, vol. 53, no. 4, Elsevier, 1993, pp. 1009–18, doi:10.1016/0306-4522(93)90485-X.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2487
Ohishi, Hitoshi, et al. “ Distribution of the MRNA for a Metabotropic Glutamate Receptor (MGluR3) in the Rat Brain: An in Situ Hybridization Study.” Journal of Comparative Neurology, vol. 335, no. 2, Wiley-Blackwell, 1993, pp. 252–66, doi: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, vol. 29, no. 3, Springer, 1993, pp. 219–40, doi: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, vol. 61, no. 1, Cambridge University Press, 1993, pp. 57–74, doi:10.1017/S0016672300031098 .
View | DOI
 

1993 | Journal Article | IST-REx-ID: 3473
Ruppersberg, Peter, et al. “Properties of Shaker-Homologous Potassium Channels Expressed in the Mammalian Brain.” Cellular Physiology and Biochemistry, vol. 3, S. Karger AG, 1993, pp. 250–69, doi:10.1159/000154691.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4041
Edelsbrunner, Herbert, et al. “On the Zone Theorem for Hyperplane Arrangements.” SIAM Journal on Computing, vol. 22, no. 2, SIAM, 1993, pp. 418–29, doi:10.1137/0222031.
View | DOI
 

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

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

1993 | Conference Paper | IST-REx-ID: 4616
Alur, Rajeev, et al. Automatic Symbolic Verification of Embedded Systems. IEEE, 1993, pp. 2–11, doi: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, vol. 1144, no. 2, Elsevier, 1993, pp. 225–28, doi:10.1016/0005-2728(93)90177-H.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2539
Ishii, Takahiro, et al. “Molecular Characterization of the Family of the N-Methyl-D-Aspartate Receptor Subunits.” Journal of Biological Chemistry, vol. 268, no. 4, American Society for Biochemistry and Molecular Biology, 1993, pp. 2836–43.
View
 

1993 | Journal Article | IST-REx-ID: 2541
Shigemoto, Ryuichi, et al. “Immunocytochemical Localization of Rat Substance P Receptor in the Striatum.” Neuroscience Letters, vol. 153, no. 2, Elsevier, 1993, pp. 157–60, doi:10.1016/0304-3940(93)90311-8.
View | DOI
 

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

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

1993 | Journal Article | IST-REx-ID: 3474   OA
Jonas, Peter M., et al. “Quantal Components of Unitary EPSCs at the Mossy Fibre Synapse on CA3 Pyramidal Cells of Rat Hippocampus.” Journal of Physiology, vol. 472, Wiley-Blackwell, 1993, pp. 615–63, doi: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, vol. 22, no. 3, SIAM, 1993, pp. 527–51, doi: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, vol. 62, no. 1, Cambridge University Press, 1993, pp. 77–85, doi: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, vol. 21, no. 3, Portland Press, 1993.
View
 

1993 | Journal Article | IST-REx-ID: 1950
Jackson, Julie, et al. “Proton-Translocating Transhydrogenase in Bacteria.” Biochemical Society Transactions, vol. 21, no. 4, Portland Press, 1993, pp. 1010–13.
View
 

1993 | Journal Article | IST-REx-ID: 2542
Shigemoto, Ryuichi, et al. “Immunohistochemical Localization of a Metabotropic Glutamate Receptor, MGluR5, in the Rat Brain.” Neuroscience Letters, vol. 163, no. 1, Elsevier, 1993, pp. 53–57, doi:10.1016/0304-3940(93)90227-C.
View | DOI
 

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

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

1993 | Journal Article | IST-REx-ID: 4036
Chazelle, Bernard, et al. “Computing a Face in an Arrangement of Line Segments and Related Problems.” SIAM Journal on Computing, vol. 22, no. 6, SIAM, 1993, pp. 1286–302, doi:10.1137/0222077 .
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, vol. 62, no. 2, Cambridge University Press, 1993, pp. 149–58, doi:10.1017/S0016672300031748.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4175
Lindholm, Dan, et al. “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, vol. 5, no. 11, Wiley-Blackwell, 1993, pp. 1455–64, doi:10.1111/j.1460-9568.1993.tb00213.x.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4618
Alur, Rajeev, et al. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.” Hybrid Systems, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 209–29, doi:10.1007/3-540-57318-6_30.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4620
Alur, Rajeev, et al. Computing Accumulated Delays in Real-Time Systems. Vol. 697, Springer, 1993, pp. 181–93, doi:10.1007/3-540-56922-7_16.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2536
Nakajima, Yoshiaki, et al. “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, vol. 268, no. 16, American Society for Biochemistry and Molecular Biology, 1993, pp. 11868–73.
View
 

1993 | Journal Article | IST-REx-ID: 2543
Hashimoto, Hitoshi, et al. “ Molecular Cloning and Tissue Distribution of a Receptor for Pituitary Adenylate Cyclase-Activating Polypeptide.” Neuron, vol. 11, no. 2, Elsevier, 1993, pp. 333–42, doi: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.” Nonselective Cation Channels: Pharmacology, Physiology and Biophysics., edited by Detlef Siemen, vol. 66, Birkhäuser, 1993, pp. 61–76.
View
 

1993 | Journal Article | IST-REx-ID: 4044
Bern, Marshall, et al. “Edge Insertion for Optimal Triangulations.” Discrete & Computational Geometry, vol. 10, no. 1, Springer, 1993, pp. 47–65, doi:10.1007/BF02573962.
View | DOI
 

1993 | Book Review | IST-REx-ID: 4304
Barton, Nicholas H. “Why Species and Subspecies?” Current Biology, vol. 3, no. 11, Cell Press, 1993, pp. 797–99, doi:10.1016/0960-9822(93)90036-N.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
Alur, Rajeev, et al. Parametric Real-Time Reasoning. ACM, 1993, pp. 592–601, doi:10.1145/167088.167242.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4506
Henzinger, Thomas A., et al. “Towards Refining Temporal Specifications into Hybrid Systems.” Hybrid Systems, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 60–76, doi:10.1007/3-540-57318-6_24.
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, vol. 57, no. 10, Izdatel’stvo Nauka, 1992, pp. 1443–60.
View
 

1992 | Journal Article | IST-REx-ID: 2532
Nishioka, Tatsuya, et al. “Distribution of the Glucose Transporters in Human Brain Tumors.” Cancer Research, vol. 52, no. 14, American Association for Cancer Research, 1992, pp. 3972–79.
View
 

1992 | Journal Article | IST-REx-ID: 2486
Shigemoto, Ryuichi, et al. “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, vol. 322, no. 1, Wiley-Blackwell, 1992, pp. 121–35, doi: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, vol. 143, no. 3, Springer, 1992, pp. 451–66, doi:10.1007/BF02099260.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3472
Koh, Duk, et al. “A TEA-Insensitive Flickering Potassium Channel Active around the Resting Potential in Myelinated Nerve.” Journal of Membrane Biology, vol. 130, Springer, 1992, pp. 149–62, doi:10.1007/BF00231893.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4305
Hatfield, Todd, et al. “A Model of a Hybrid Zone between Two Chromosomal Races of the Common Shrew (Sorex Araneus).” Evolution; International Journal of Organic Evolution, vol. 46, no. 4, Wiley-Blackwell, 1992, pp. 1129–45.
View | Download (ext.)
 

1992 | Book Chapter | IST-REx-ID: 4507
Henzinger, Thomas A., et al. “Timed Transition Systems.” Real Time: Theory in Practice, vol. 600, Springer, 1992, pp. 226–51, doi:10.1007/BFb0031995.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2533
Abe, Takaaki, et al. “Molecular Characterization of a Novel Metabotropic Glutamate Receptor MGluR5 Coupled to Inositol Phosphate/Ca2+ Signal Transduction.” Journal of Biological Chemistry, vol. 267, no. 19, American Society for Biochemistry and Molecular Biology, 1992, pp. 13361–68.
View
 

1992 | Journal Article | IST-REx-ID: 3581
Chazelle, Bernard, et al. “Counting and Cutting Cycles of Lines and Rods in Space.” Computational Geometry: Theory and Applications, vol. 1, no. 6, Elsevier, 1992, pp. 305–23, doi: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, vol. 39, no. 1, ACM, 1992, pp. 1–54, doi:10.1145/147508.147511.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4053
Aronov, Boris, et al. “The Number of Edges of Many Faces in a Line Segment Arrangement.” Combinatorica, vol. 12, no. 3, Springer, 1992, pp. 261–74, doi:10.1007/BF01285815.
View | DOI
 

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

1992 | Journal Article | IST-REx-ID: 2534
Ishihara, Takeshi, et al. “Functional Expression and Tissue Distribution of a Novel Receptor for Vasoactive Intestinal Polypeptide.” Neuron, vol. 8, no. 4, Elsevier, 1992, pp. 811–19, doi:10.1016/0896-6273(92)90101-I.
View | DOI
 

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

1992 | Journal Article | IST-REx-ID: 4047
Edelsbrunner, Herbert, et al. “Arrangements of Curves in the Plane - Topology, Combinatorics, and Algorithms.” Theoretical Computer Science, vol. 92, no. 2, Elsevier, 1992, pp. 319–36, doi:10.1016/0304-3975(92)90319-B.
View | DOI
 

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

1992 | Conference Paper | IST-REx-ID: 4504
Henzinger, Thomas A., et al. What Good Are Digital Clocks? Vol. 623, Springer, 1992, pp. 545–58, doi:10.1007/3-540-55719-9_103.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2484
Tanabe, Yasuto, et al. “A Family of Metabotropic Glutamate Receptors.” Neuron, vol. 8, no. 1, Elsevier, 1992, pp. 169–79, doi:10.1016/0896-6273(92)90118-W.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2535
Sasai, Yoshiki, et al. “Two Mammalian Helix-Loop-Helix Factors Structurally Related to Drosophila Hairy and Enhancer of Split.” Genes and Development, vol. 6, no. 12 B, Cold Spring Harbor Laboratory Press, 1992, pp. 2620–34, doi:10.1101/gad.6.12b.2620.
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, vol. 455, Wiley-Blackwell, 1992, pp. 143–71.
View | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 4043
Edelsbrunner, Herbert, et al. “An O(N^2 Log n) Time Algorithm for the MinMax Angle Triangulation.” SIAM Journal on Scientific Computing, vol. 13, no. 4, Society for Industrial and Applied Mathematics , 1992, pp. 994–1008, doi:10.1137/0913058.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 4048
Aggarwal, Alok, et al. “Optimal Time Bounds for Some Proximity Problems in the Plane.” Information Processing Letters, vol. 42, no. 1, Elsevier, 1992, pp. 55–60, doi: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, vol. 8, no. 1, Springer, 1992, pp. 217–217, doi: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, vol. 46, no. 2, Wiley-Blackwell, 1992, pp. 551–57.
View | Download (ext.)
 

1992 | Conference Paper | IST-REx-ID: 4505
Henzinger, Thomas A., et al. Symbolic Model Checking for Real-Time Systems. IEEE, 1992, pp. 394–406, doi: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, vol. 43, no. 3, Elsevier, 1992, pp. 135–41, doi: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.” Real Time: Theory in Practice, vol. 600, Springer, 1992, pp. 74–106, doi:10.1007/BFb0031984.
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, vol. 59, no. 1–2, Springer, 1992, pp. 11–24, doi:10.1007/BF00052086.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 2485
Hori, Seiji, et al. “Distinct Tissue Distribution and Cellular Localization of Two Messenger Ribonucleic Acids Encoding Different Subtypes of Rat Endothelin Receptors.” Endocrinology, vol. 130, no. 4, The Endocrine Society, 1992, pp. 1885–95, doi:10.1210/en.130.4.1885.
View | DOI
 

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

1992 | Journal Article | IST-REx-ID: 3469
Burnashev, Nail, et al. “Calcium-Permeable AMPA-Kainate Receptors in Fusiform Cerebellar Glial Cells.” Science, vol. 256, no. 5063, American Association for the Advancement of Science, 1992, pp. 1566–70, doi:10.1126/science.1317970.
View | DOI
 

1992 | Journal Article | IST-REx-ID: 3471   OA
Colquhoun, D., et al. “Action of Brief Pulses of Glutamate on AMPA/Kainate Receptors in Patches from Different Neurones of Rat Hippocampal Slices.” Journal of Physiology, vol. 458, Wiley-Blackwell, 1992, pp. 261–87, doi:10.1113/jphysiol.1992.sp019417.
View | DOI | Download (ext.)
 

1992 | Journal Article | IST-REx-ID: 4195
Heisenberg, Carl, et al. “Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons.” Neuroreport, vol. 3, no. 8, Lippincott, Williams & Wilkins, 1992, pp. 685–88.
View
 

1992 | Conference Paper | IST-REx-ID: 4049
Bern, Marshall, et al. Edge Insertion for Optimal Triangulations. Vol. 583, Springer, 1992, pp. 46–60, doi:10.1007/BFb0023816.
View | DOI
 

1992 | Conference Paper | IST-REx-ID: 4594
Alur, Rajeev, and Thomas A. Henzinger. Back to the Future: Towards a Theory of Timed Regular Languages. IEEE, 1992, pp. 177–86, doi:10.1109/SFCS.1992.267774.
View | DOI | Download (ext.)
 

1991 | Book Chapter | IST-REx-ID: 3566
Edelsbrunner, Herbert, and Micha Sharir. “A Hyperplane Incidence Problem with Applications to Counting Distances.” Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift, vol. 4, American Mathematical Society, 1991, pp. 253–63.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 3648
Barton, Nicholas H., and Shahin Rouhani. “The Probability of Fixation of a New Karyotype in a Continuous Population.” Evolution, vol. 45, no. 3, Wiley-Blackwell, 1991, pp. 499–517.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 4052
Chazelle, Bernard, et al. “A Singly Exponential Stratification Scheme for Real Semi-Algebraic Varieties and Its Applications.” Theoretical Computer Science, vol. 84, no. 1, Elsevier, 1991, pp. 77–105, doi:10.1016/0304-3975(91)90261-Y.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4057
Edelsbrunner, Herbert. “Corrigendum.” Journal of Computer and System Sciences, vol. 42, no. 2, Elsevier, 1991, pp. 249–51, doi:10.1016/0022-0000(91)90013-U.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 1946
Zaǐtsev, Sergei, et al. “Respiratory Burst Inhibition in Human Neutrophils by Ultra-Low Doses of [D-Ala2] Methionine Enkephalinamide.” FEBS Letters, vol. 291, no. 1, Elsevier, 1991, pp. 84–86, doi:10.1016/0014-5793(91)81109-L.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 2482
Masu, Masayuki, et al. “Sequence and Expression of a Metabotropic Glutamate Receptor.” Nature, vol. 349, no. 6312, Nature Publishing Group, 1991, pp. 760–65, doi:10.1038/349760a0.
View | DOI
 

1991 | Book Chapter | IST-REx-ID: 3567
Edelsbrunner, Herbert. “Lines in Space – A Collection of Results.” Discrete & Computational Geometry, vol. 6, Springer, 1991, pp. 77–93.
View | Download (ext.)
 

1991 | Conference Paper | IST-REx-ID: 4058
Chazelle, Bernard, et al. Computing a Face in an Arrangement of Line Segments. SIAM, 1991, pp. 441–48.
View
 

1991 | Conference Paper | IST-REx-ID: 4508
Henzinger, Thomas A., et al. Temporal Proof Methodologies for Real-Time Systems. ACM, 1991, pp. 353–66, doi:10.1145/99583.99629.
View | DOI | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 2483
Moriyoshi, Koki, et al. “Molecular Cloning and Characterization of the Rat NMDA Receptor.” Nature, vol. 353, no. 6348, Nature Publishing Group, 1991, pp. 31–37, doi:10.1038/354031a0.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4054
Edelsbrunner, Herbert, et al. On the Zone Theorem for Hyperplane Arrangements. Vol. 555, Springer, 1991, pp. 108–23, doi:10.1007/BFb0038185.
View | DOI
 

1991 | Conference Paper | IST-REx-ID: 4059
Chazelle, Bernard, et al. Ray Shooting in Polygons Using Geodesic Triangulations. Vol. 510, Springer, 1991, pp. 661–73, doi:10.1007/3-540-54233-7_172.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4061
Agarwal, Pankaj, et al. “Euclidean Minimum Spanning Trees and Bichromatic Closest Pairs.” Discrete & Computational Geometry, vol. 6, no. 1, Springer, 1991, pp. 407–22, doi:10.1007/BF02574698.
View | DOI
 

1991 | Journal Article | IST-REx-ID: 4592
Alur, Rajeev, and Thomas A. Henzinger. “Time for Logic.” SIGACT News, vol. 22, no. 3, ACM, 1991, pp. 6–12.
View | Download (ext.)
 

1991 | Thesis | IST-REx-ID: 4516
Henzinger, Thomas A. The Temporal Specification and Verification of Real-Time Systems . Stanford University, 1991.
View | Download (ext.)
 

1991 | Journal Article | IST-REx-ID: 2530
Nakanishi, Shigetada, et al. “Molecular Characterization of Mammalian Tachykinin Receptors and a Possible Epithelial Potassium Channel.” Recent Progress in Hormone Research, vol. 46, no. 1, The Endocrine Society, 1991, pp. 59–83.
View
 

1991 | Journal Article | IST-REx-ID: 3646
Szymura, Jacek, and Nicholas H. Barton. “The Genetic Structure of the Hybrid Zone between the Fire-Bellied Toads Bombina Bombina and B. Variegata: Comparisons between Transects and between Loci.” Evolution, vol. 45, no. 2, Wiley-Blackwell, 1991, pp. 237–61.
View | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed