Please note that ISTA 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.
9114 Publications
1994 | Journal Article | IST-REx-ID: 6167
Zarkower D, de Bono M, Aronoff R, Hodgkin J. 1994. Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1. Developmental Genetics. 15(3), 240–250.
View
| DOI
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 1947
Sazanov LA, Jackson J. 1993. Activation and inhibition of mitochondrial transhydrogenase by metal ions. Biochimica et Biophysica Acta - Bioenergetics. 1144(2), 225–228.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 1948
Sazanov LA, Jackson J. 1993. Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria . Biochemical Society Transactions. 21(3), 260.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 1950
Jackson J, Cotton NPJ, Williams R, Bizouarn T, Hutton M, Sazanov LA, Thomas C. 1993. Proton-translocating transhydrogenase in bacteria. Biochemical Society Transactions. 21(4), 1010–1013.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2487
Ohishi H, Shigemoto R, Nakanishi S, Mizuno N. 1993. Distribution of the mRNA for a metabotropic glutamate receptor (mGluR3) in the rat brain: An in situ hybridization study. Journal of Comparative Neurology. 335(2), 252–266.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2536 | 
Nakajima Y, Iwakabe H, Akazawa C, Nawa H, Shigemoto R, Mizuno N, Nakanishi S. 1993. 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(16), 11868–11873.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2537 |
Tanabe Y, Nomura A, Masu M, Shigemoto R, Mizuno N, Nakanishi S. 1993. Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGluR3 and mGluR4. Journal of Neuroscience. 13(4), 1372–1378.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2539 |
Ishii T, Moriyoshi K, Sugihara H, Sakurada K, Kadotani H, Yokoi M, Akazawa C, Shigemoto R, Mizuno N, Masu M, Nakanishi S. 1993. Molecular characterization of the family of the N-methyl-D-aspartate receptor subunits. Journal of Biological Chemistry. 268(4), 2836–2843.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2540
Ohishi H, Shigemoto R, Nakanishi S, Mizuno N. 1993. Distribution of the messenger RNA for a metabotropic glutamate receptor, mGluR2, in the central nervous system of the rat. Neuroscience. 53(4), 1009–1018.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2538 |
Iwai M, Hori S, Shigemoto R, Kanzaki H, Mori T, Nakanishi S. 1993. Localization of endothelin receptor messenger ribonucleic acid in the rat ovary and fallopian tube by in situ hybridization. Biology of Reproduction. 49(4), 675–680.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2544
Hayashi Y, Momiyama A, Takahashi T, Ohishi H, Ogawa Meguro R, Shigemoto R, Mizuno N, Nakanishi S. 1993. Role of a metabotropic glutamate receptor in synaptic modulation in the accessory olfactory bulb. Nature. 366(6456), 687–690.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2543
Hashimoto H, Ishihara T, Shigemoto R, Mori K, Nagata S. 1993. Molecular cloning and tissue distribution of a receptor for pituitary adenylate cyclase-activating polypeptide. Neuron. 11(2), 333–342.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2542
Shigemoto R, Nomura S, Ohishi H, Sugihara H, Nakanishi S, Mizuno N. 1993. Immunohistochemical localization of a metabotropic glutamate receptor, mGluR5, in the rat brain. Neuroscience Letters. 163(1), 53–57.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2541
Shigemoto R, Nakaya Y, Nomura S, Ogawa Meguro R, Ohishi H, Kaneko T, Nakanishi S, Mizuno N. 1993. Immunocytochemical localization of rat substance P receptor in the striatum. Neuroscience Letters. 153(2), 157–160.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2546
Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1993. Substance P receptor-immunoreactive neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic aspiny neurons. Brain Research. 631(2), 297–303.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 2723
Erdös L. 1993. Ground-state density of the Pauli operator in the large field limit. Letters in Mathematical Physics. 29(3), 219–240.
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 3474 |
Jonas PM, Major G, Sakmann B. 1993. Quantal components of unitary EPSCs at the mossy fibre synapse on CA3 pyramidal cells of rat hippocampus. Journal of Physiology. 472, 615–663.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 3473
Ruppersberg P, Ermler M, Knopf M, Kues W, Jonas PM, Koenen M. 1993. Properties of Shaker-homologous potassium channels expressed in the mammalian brain. Cellular Physiology and Biochemistry. 3, 250–269.
View
| DOI
| Download None (ext.)
1993 | Book Chapter | IST-REx-ID: 3569
Edelsbrunner H. 1993.Computational geometry. In: Current Trends in Theoretical Computer Science, Essays and Tutorials. , 1–48.
View
| Download None (ext.)
1993 | Book Chapter | IST-REx-ID: 3568
Edelsbrunner H. 1993.Geometric algorithms. In: Handbook of Convex Geometry. , 699–735.
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4041
Edelsbrunner H, Seidel R, Sharir M. 1993. On the zone theorem for hyperplane arrangements. SIAM Journal on Computing. 22(2), 418–429.
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4036
Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Snoeyink J. 1993. Computing a face in an arrangement of line segments and related problems. SIAM Journal on Computing. 22(6), 1286–1302.
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4040
Edelsbrunner H, Tan T. 1993. An upper bound for conforming Delaunay triangulations. Discrete & Computational Geometry. 10(1), 197–213.
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4303 |
Barton NH. 1993. The probability of fixation of a favoured allele in a subdivided population. Genetics Research. 62(2), 149–158.
View
| DOI
| Download None (ext.)
1993 | Book Review | IST-REx-ID: 4302
Barton NH. 1993. Review of "The causes of molecular evolution" by J.H. Gillespie. Genetical Research. 62(1), 77–85.
View
| DOI
| Download None (ext.)
1993 | Book Chapter | IST-REx-ID: 4301
Barton NH, Gale K. 1993.Genetic analysis of hybrid zones. In: Hybrid zones and the evolutionary process. , 13–45.
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4304
Barton NH. 1993. Why species and subspecies? Current Biology. 3(11), 797–799.
View
| DOI
| Download None (ext.)
1993 | Book Chapter | IST-REx-ID: 3452
Jonas PM. 1993.AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. In: Nonselective cation channels: Pharmacology, Physiology and Biophysics. EXS, vol. 66, 61–76.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 3446
Sziranyi T, Csicsvari JL. 1993. 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(3), 223–231.
View
| DOI
| Download None (ext.)
1993 | Book Chapter | IST-REx-ID: 3451
Jonas PM. 1993.Glutamate receptors in the central nervous system. In: Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction. Annals of the New York Academy of Sciences , vol. 707, 126–135.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 3643
Rouhani S, Barton NH. 1993. Group selection and the ‘shifting balance’. Genetical Research. 61(2), 127–136.
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 3644
Barton NH, Rouhani S. 1993. Adaptation and the ‘shifting balance’. Genetical Research. 61(1), 57–74.
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4044
Bern M, Edelsbrunner H, Eppstein D, Mitchell S, Tan T. 1993. Edge insertion for optimal triangulations. Discrete & Computational Geometry. 10(1), 47–65.
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4045
Chazelle B, Edelsbrunner H, Guibas L, Sharir M. 1993. Diameter, width, closest line pair, and parametric searching. Discrete & Computational Geometry. 10(1), 183–196.
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4042
Edelsbrunner H, Tan T. 1993. A quadratic time algorithm for the minmax length triangulation. SIAM Journal on Computing. 22(3), 527–551.
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4177 |
Lindholm D, Castrén E, Tsoulfas P, Kolbeck R, Berzaghi M, Leingärtner A, Heisenberg C-PJ, Tesarollo L, Parada L, Thoenen H. 1993. Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation. Journal of Cell Biology. 122(2), 443–450.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 4175
Lindholm D, Dechant G, Heisenberg C-PJ, Thoenen H. 1993. 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(11), 1455–1464.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 4299
Partridge L, Barton NH. 1993. Evolution of aging: Testing the theory using Drosophila. Genetica. 91(1–3), 89–98.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Journal Article | IST-REx-ID: 4300
Partridge L, Barton NH. 1993. Optimality, mutation and the evolution of ageing. Nature. 362, 305–311.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1993 | Conference Paper | IST-REx-ID: 4506
Henzinger TA, Manna Z, Pnueli A. 1993. Towards refining temporal specifications into hybrid systems. International Hybrid Systems Workshop. International Hybrid Systems Workshop, LNCS, vol. 736, 60–76.
View
| DOI
| Download None (ext.)
1993 | Journal Article | IST-REx-ID: 4589 |
Alur R, Henzinger TA. 1993. Real-time logics: Complexity and expressiveness. Information and Computation. 104(1), 35–77.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1993 | Conference Paper | IST-REx-ID: 4618
Alur R, Courcoubetis C, Henzinger TA, Ho P. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems. , LNCS, vol. 736, 209–229.
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4616
Alur R, Henzinger TA, Ho P. 1993. Automatic symbolic verification of embedded systems. 1993 Proceedings Real-Time Systems Symposium. RTSS: Real-Time Systems Symposium, 2–11.
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4620
Alur R, Courcoubetis C, Henzinger TA. 1993. Computing accumulated delays in real-time systems. 5th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 697, 181–193.
View
| DOI
| Download None (ext.)
1993 | Conference Paper | IST-REx-ID: 4619
Alur R, Henzinger TA, Vardi M. 1993. Parametric real-time reasoning. Proceedings of the 25th annual ACM symposium on Theory of Computing. STOC: Symposium on the Theory of Computing, 592–601.
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 1945
Sazanov LA, Zaǐtsev S. 1992. Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms. Biochemistry (Moscow). 57(10), 1443–1460.
View
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2486
Shigemoto R, Nakanishi S, Mizuno N. 1992. 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(1), 121–135.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2485
Hori S, Komatsu Y, Shigemoto R, Mizuno N, Nakanishi S. 1992. Distinct tissue distribution and cellular localization of two messenger ribonucleic acids encoding different subtypes of rat endothelin receptors. Endocrinology. 130(4), 1885–1895.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2484
Tanabe Y, Masu M, Ishii T, Shigemoto R, Nakanishi S. 1992. A family of metabotropic glutamate receptors. Neuron. 8(1), 169–179.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2533 |
Abe T, Sugihara H, Nawa H, Shigemoto R, Mizuno N, Nakanishi S. 1992. Molecular characterization of a novel metabotropic glutamate receptor mGluR5 coupled to inositol phosphate/Ca2+ signal transduction. Journal of Biological Chemistry. 267(19), 13361–13368.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2535 |
Sasai Y, Kageyama R, Tagawa Y, Shigemoto R, Nakanishi S. 1992. Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split. Genes and Development. 6(12 B), 2620–2634.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2532
Nishioka T, Oda Y, Seino Y, Yamamoto T, Inagaki N, Yano H, Imura H, Shigemoto R, Kikuchi H. 1992. Distribution of the glucose transporters in human brain tumors. Cancer Research. 52(14), 3972–3979.
View
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2534
Ishihara T, Shigemoto R, Mori K, Takahashi K, Nagata S. 1992. Functional expression and tissue distribution of a novel receptor for vasoactive intestinal polypeptide. Neuron. 8(4), 811–819.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2531
Shigemoto R, Ohishi H, Nakanishi S, Mizuno N. 1992. Expression of the mRNA for the rat NMDA receptor (NMDAR1) in the sensory and autonomic ganglion neurons. Neuroscience Letters. 144(1–2), 229–232.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 2714
Erdös L. 1992. On some problems of P. Turán concerning power sums of complex numbers. Acta Mathematica Hungarica. 59(1–2), 11–24.
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 2722 |
Erdös L, Tuyen D. 1992. Central limit theorems for the one-dimensional Rayleigh gas with semipermeable barriers. Communications in Mathematical Physics. 143(3), 451–466.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1992 | Journal Article | IST-REx-ID: 3470 |
Jonas PM, Sakmann B. 1992. Glutamate receptor channels in isolated patches from CA1 and CA3 pyramidal cells of rat hippocampal slices. Journal of Physiology. 455, 143–171.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 3471 |
Colquhoun D, Jonas PM, Sakmann B. 1992. Action of brief pulses of glutamate on AMPA/kainate receptors in patches from different neurones of rat hippocampal slices. Journal of Physiology. 458, 261–287.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 3472
Koh D, Jonas PM, Bräu M, Vogel W. 1992. A TEA-insensitive flickering potassium channel active around the resting potential in myelinated nerve. Journal of Membrane Biology. 130, 149–162.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 4053
Aronov B, Edelsbrunner H, Guibas L, Sharir M. 1992. The number of edges of many faces in a line segment arrangement. Combinatorica. 12(3), 261–274.
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4050
Edelsbrunner H. 1992. Guest editor’s foreword. Discrete & Computational Geometry. 8(1), 217–217.
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4195
Heisenberg C-PJ, Thoenen H, Lindholm D. 1992. Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons. Neuroreport. 3(8), 685–688.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 4305
Hatfield T, Barton NH, Searle J. 1992. A model of a hybrid zone between two chromosomal races of the common shrew (Sorex araneus). Evolution; International Journal of Organic Evolution. 46(4), 1129–1145.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 4308
Barton NH. 1992. On the spread of new gene combinations in the third phase of Wright’s shifting balance. Evolution; International Journal of Organic Evolution. 46(2), 551–557.
View
| Download None (ext.)
1992 | Book Chapter | IST-REx-ID: 4307
Barton NH. 1992.The genetic consequences of dispersal. In: Animal dispersal: small mammals as a model. , 37–60.
View
| DOI
| Download None (ext.)
1992 | Book Review | IST-REx-ID: 4306
Barton NH, Goldman N. 1992. Genetics and geography. Nature. 357, 440–441.
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 3469
Burnashev N, Khodorova A, Jonas PM, Helm P, Wisden W, Monyer H, Seeburg P, Sakmann B. 1992. Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells. Science. 256(5063), 1566–1570.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Journal Article | IST-REx-ID: 3581 |
Chazelle B, Edelsbrunner H, Guibas L, Pollack R, Seidel R, Sharir M, Snoeyink J. 1992. Counting and cutting cycles of lines and rods in space. Computational Geometry: Theory and Applications. 1(6), 305–323.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1992 | Journal Article | IST-REx-ID: 3645
Sanderson N, Szymura J, Barton NH. 1992. Variation in mating call across the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata. Evolution. 46(3), 595–607.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1992 | Conference Paper | IST-REx-ID: 4049
Bern M, Edelsbrunner H, Eppstein D, Mitchell S, Tan T. 1992. Edge insertion for optimal triangulations. 1st Latin American Symposium on Theoretical Informatics. LATIN: Latin American Symposium on Theoretical Informatics , LNCS, vol. 583, 46–60.
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4047 |
Edelsbrunner H, Guibas L, Pach J, Pollack R, Seidel R, Sharir M. 1992. Arrangements of curves in the plane - topology, combinatorics, and algorithms. Theoretical Computer Science. 92(2), 319–336.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1992 | Journal Article | IST-REx-ID: 4046
Chazelle B, Edelsbrunner H. 1992. An optimal algorithm for intersecting line segments in the plane. Journal of the ACM. 39(1), 1–54.
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4043
Edelsbrunner H, Tan T, Waupotitsch R. 1992. An O(n^2 log n) time algorithm for the MinMax angle triangulation. SIAM Journal on Scientific Computing. 13(4), 994–1008.
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4048
Aggarwal A, Edelsbrunner H, Raghavan P, Tiwari P. 1992. Optimal time bounds for some proximity problems in the plane. Information Processing Letters. 42(1), 55–60.
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4505
Henzinger TA, Nicollin X, Sifakis J, Yovine S. 1992. Symbolic model checking for real-time systems. Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 394–406.
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4504
Henzinger TA, Manna Z, Pnueli A. 1992. What good are digital clocks? 19th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 623, 545–558.
View
| DOI
| Download None (ext.)
1992 | Book Chapter | IST-REx-ID: 4507
Henzinger TA, Manna Z, Pnueli A. 1992.Timed transition systems. In: Real Time: Theory in Practice. LNCS, vol. 600, 226–251.
View
| DOI
| Download None (ext.)
1992 | Journal Article | IST-REx-ID: 4517
Henzinger TA. 1992. Sooner Is Safer Than Later. Information Processing Letters. 43(3), 135–141.
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4593
Alur R, Henzinger TA. 1992. Logics and models of real time: A survey. REX Workshop on Real Time: Theory in Practice. Workshop/School/Symposium of the REX Project, LNCS, vol. 600, 74–106.
View
| DOI
| Download None (ext.)
1992 | Conference Paper | IST-REx-ID: 4594
Alur R, Henzinger TA. 1992. Back to the future: Towards a theory of timed regular languages. Proceedings of the 33rd Annual Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science, 177–186.
View
| DOI
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 1946
Zaǐtsev S, Sazanov LA, Koshkin A, Sud’Ina G, Varfolomeev S. 1991. Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Ala2] methionine enkephalinamide. FEBS Letters. 291(1), 84–86.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Journal Article | IST-REx-ID: 2483
Moriyoshi K, Masu M, Ishii T, Shigemoto R, Mizuno N, Nakanishi S. 1991. Molecular cloning and characterization of the rat NMDA receptor. Nature. 353(6348), 31–37.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Journal Article | IST-REx-ID: 2482
Masu M, Tanabe Y, Tsuchida K, Shigemoto R, Nakanishi S. 1991. Sequence and expression of a metabotropic glutamate receptor. Nature. 349(6312), 760–765.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Journal Article | IST-REx-ID: 2529
Yasui Y, Itoh K, Kaneko T, Shigemoto R, Mizuno N. 1991. Topographical projections from the cerebral cortex to the nucleus of the solitary tract in the cat. Experimental Brain Research. 85(1), 75–84.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Book Chapter | IST-REx-ID: 2530
Nakanishi S, Ohkubo H, Kakizuka A, Yokota Y, Shigemoto R, Sasai Y, Takumi T. 1991.Molecular characterization of mammalian tachykinin receptors and a possible epithelial potassium channel. In: Recent Progress in Hormone Research. vol. 46, 59–83.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Book Chapter | IST-REx-ID: 3566
Edelsbrunner H, Sharir M. 1991.A hyperplane incidence problem with applications to counting distances. In: Applied Geometry and Discrete Mathematics: The Victor Klee Festschrift. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 4, 253–263.
View
| Download None (ext.)
1991 | Book Chapter | IST-REx-ID: 3567
Edelsbrunner H. 1991.Lines in space – A collection of results. In: Discrete & Computational Geometry: Papers from the Dimacs Special Year. DIAMCS Series in Discrete Mathematics and Theoretical Computer Science, vol. 6, 77–93.
View
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4052 |
Chazelle B, Edelsbrunner H, Guibas L, Sharir M. 1991. A singly exponential stratification scheme for real semi-algebraic varieties and its applications. Theoretical Computer Science. 84(1), 77–105.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1991 | Journal Article | IST-REx-ID: 4056 |
Edelsbrunner H, Hajnal P. 1991. A lower bound on the number of unit distances between the vertices of a convex polygon. Journal of Combinatorial Theory Series A. 56(2), 312–316.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1991 | Conference Paper | IST-REx-ID: 4054
Edelsbrunner H, Seidel R, Sharir M. 1991. On the zone theorem for hyperplane arrangements. New Results and New Trends in Computer Science , LNCS, vol. 555, 108–123.
View
| DOI
| Download None (ext.)
1991 | Conference Paper | IST-REx-ID: 4058
Chazelle B, Edelsbrunner H, Guibas L, Sharir M, Snoeyink J. 1991. Computing a face in an arrangement of line segments. Proceedings of the 2nd annual ACM-SIAM symposium on Discrete algorithms. SODA: Symposium on Discrete Algorithms, 441–448.
View
| Download None (ext.)
1991 | Conference Paper | IST-REx-ID: 4055
Edelsbrunner H, Tan T. 1991. A quadratic time algorithm for the minmax length triangulation. 32nd Annual Symposium of Foundations of Computer Science. FOCS: Foundations of Computer Science, 414–423.
View
| DOI
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4051
Edelsbrunner H, Shi W. 1991. An O(n log^2 h) time algorithm for the three-dimensional convex hull problem. SIAM Journal on Computing. 20(2), 259–269.
View
| DOI
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4057 |
Edelsbrunner H. 1991. Corrigendum. Journal of Computer and System Sciences. 42(2), 249–251.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1991 | Journal Article | IST-REx-ID: 3468
Jonas PM, Koh D, Kampe K, Hermsteiner M, Vogel W. 1991. ATP-sensitive and Ca-activated K channels in vertebrate axons: novel links between metabolism and excitability. Pflügers Archiv : European Journal of Physiology. 418(1–2), 68–73.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Journal Article | IST-REx-ID: 3646
Szymura J, Barton NH. 1991. The genetic structure of the hybrid zone between the fire-bellied toads Bombina bombina and B. variegata: comparisons between transects and between loci. Evolution. 45(2), 237–261.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Journal Article | IST-REx-ID: 3647
Barton NH, Turelli M. 1991. Natural and sexual selection on many loci. Genetics. 127(1), 229–255.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Journal Article | IST-REx-ID: 3648
Barton NH, Rouhani S. 1991. The probability of fixation of a new karyotype in a continuous population. Evolution. 45(3), 499–517.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1991 | Conference Paper | IST-REx-ID: 4059
Chazelle B, Edelsbrunner H, Grigni M, Guibas L, Hershberger J, Sharir M, Snoeyink J. 1991. Ray shooting in polygons using geodesic triangulations. 18th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 510, 661–673.
View
| DOI
| Download None (ext.)
1991 | Journal Article | IST-REx-ID: 4061 |
Agarwal P, Edelsbrunner H, Schwarzkopf O, Welzl E. 1991. Euclidean minimum spanning trees and bichromatic closest pairs. Discrete & Computational Geometry. 6(1), 407–422.
[Published Version]
View
| DOI
| Download Published Version (ext.)