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.

7408 Publications


1995 | Journal Article | IST-REx-ID: 2558
Mick G, Shigemoto R, Kitahama K. 1995. Localization of substance P receptors in central neural structures controlling daily rhythms in nocturnal rodents. Comptes Rendus de l’Academie des Sciences - Series III. 318(2), 209–217.
View | Download None (ext.) | PubMed | Europe PMC
 

1995 | Journal Article | IST-REx-ID: 2556
Ding Y, Takada M, Shigemoto R, Mizuno N. 1995. Spinoparabrachial tract neurons showing substance P receptor-like immunoreactivity in the lumbar spinal cord of the rat. Brain Research. 674(2), 336–340.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1995 | Book Chapter | IST-REx-ID: 2465
Morris D, Friml J, Zažímalová E. 1995.Auxin transport. In: Plant Hormones: Biosynthesis, Signal Transduction, Action! , 451–484.
View | DOI | Download None (ext.)
 

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
 

1994 | Conference Paper | IST-REx-ID: 2548
Hirano T, Kasono K, Shigemoto R, Nakanishi S. 1994. Induction mechanism of long term depression in cultured Purkinje neurons. Unknown (0388-6107), Biomedical Research, vol. 15, 79–81.
View
 

1994 | Conference Paper | IST-REx-ID: 4615
Alur R, Fix L, Henzinger TA. 1994. A determinizable class of timed automata. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 818, 1–13.
View | DOI | Download None (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4617
Alur R, Courcoubetis C, Henzinger TA, Ho P, Nicollin X, Olivero A, Sifakis J, Yovine S. 1994. The algorithmic analysis of hybrid systems. 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems, LNCIS, vol. 199, 331–351.
View | DOI | Download None (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4614
Alur R, Courcoubetis C, Henzinger TA. 1994. The observational power of clocks. 5th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 836, 162–177.
View | DOI | Download None (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4440
Henzinger TA, Kopke P. 1994. Verification methods for the divergent runs of clock systems. 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, vol. 863, 351–372.
View | DOI | Download None (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4420
Kapur A, Henzinger TA, Manna Z, Pnueli A. 1994. Proving safety properties of hybrid systems. 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, vol. 863, 431–454.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4501 | OA
Henzinger TA, Manna Z, Pnueli A. 1994. Temporal proof methodologies for timed transition systems. Information and Computation. 112(2), 273–337.
View | DOI | Download None (ext.)
 

1994 | Book Chapter | IST-REx-ID: 4590
Alur R, Henzinger TA. 1994.Real-time system = discrete system + clock variables. In: Theories and Experiences for Real-Time System Development. AMAST Series in Computing, vol. 2, 1–29.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4503
Henzinger TA, Nicollin X, Sifakis J, Yovine S. 1994. Symbolic model checking for real-time systems. Information and Computation. 111(2), 193–244.
View | DOI | Download None (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4586
Alur R, Henzinger TA. 1994. Finitary fairness. Proceedings 9th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 52–61.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4591
Alur R, Henzinger TA. 1994. A really temporal logic. Journal of the ACM. 41(1), 181–204.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4179 | OA
Leingärtner A, Heisenberg C-PJ, Kolbeck R, Thoenen H, Lindholm D. 1994. Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons. Journal of Biological Chemistry. 269(2), 828–830.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4202
Heisenberg C-PJ, Cooper J, Berke J, Sofroniew M. 1994. NMDA potentiates NGF-induced sprouting of septal cholinergic fibres. Neuroreport. 5(4), 413–416.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4038
Chazelle B, Edelsbrunner H, Guibas L, Sharir M. 1994. Algorithms for bichromatic line-segment problems and polyhedral terrains. Algorithmica. 11(2), 116–132.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4037 | OA
Edelsbrunner H, Mücke E. 1994. Three-dimensional alpha shapes. ACM Transactions on Graphics. 13(1), 43–72.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4039
Chazelle B, Edelsbrunner H, Grigni M, Guibas L, Hershberger J, Sharir M, Snoeyink J. 1994. Ray shooting in polygons using geodesic triangulations. Algorithmica. 12(1), 54–68.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4032
Dey T, Edelsbrunner H. 1994. Counting triangle crossings and halving planes. Discrete & Computational Geometry. 12(1), 281–289.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4033
Chazelle B, Edelsbrunner H, Guibas L, Hershberger J, Seidel R, Sharir M. 1994. Selecting heavily covered points. SIAM Journal on Computing. 23(6), 1138–1151.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 3642 | OA
Turelli M, Barton NH. 1994. Genetic and statistical analyses of strong selection on polygenic traits: What, me normal? Genetics. 138(3), 913–941.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 3476 | OA
Major G, Larkman A, Jonas PM, Sakmann B, Jack J. 1994. Detailed passive cable models of whole-cell recorded CA3 pyramidal neurons in rat hippocampal slices. Journal of Neuroscience. 14(8), 4613–4638.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 3641
Barton NH. 1994. The reduction in fixation probability caused by substitutions at linked loci. Genetical Research. 64(3), 199–208.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 3477
Jonas PM, Racca C, Sakmann B, Seeburg P, Monyer H. 1994. Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression. Neuron. 12(6), 1281–1289.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Conference Paper | IST-REx-ID: 3550
Edelsbrunner H. 1994. Modeling with simplicial complexes (topology, geometry and algorithms). Proceedings of the 6th Canadian Conference on Computational Geometry. CCCG: Canadian Conference on Computational Geometry, 36–44.
View
 

1994 | Journal Article | IST-REx-ID: 3475 | OA
Koh D, Jonas PM, Vogel W. 1994. Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus. Journal of Physiology. 479, 183–197.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 3460
Jonas PM, Spruston N. 1994. Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS. Current Opinion in Neurobiology. 4(3), 366–372.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Book Review | IST-REx-ID: 3453
Von Kitzing E, Jonas PM, Sakmann B. 1994. Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-CA3 pyramidal cell synapse. Molecular and cellular mechanisms of neurotransmitter release. 29, 235–260.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2713
Erdös L. 1994. Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator. Duke Mathematical Journal. 76(2), 541–566.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 2555
Shigemoto R, Abe T, Nomura S, Nakanishi S, Hirano T. 1994. Antibodies inactivating mGluR1 metabotropic glutamate receptor block long-term depression in cultured Purkinje cells. Neuron. 12(6), 1245–1255.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2554
Nomura A, Shigemoto R, Nakamura Y, Okamoto N, Mizuno N, Nakanishi S. 1994. Developmentally regulated postsynaptic localization of a metabotropic glutamate receptor in rat rod bipolar cells. Cell. 77(3), 361–369.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2553
Sugimoto Y, Namba T, Shigemoto R, Negishi M, Ichikawa A, Narumiya S. 1994. Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney. American Journal of Physiology. 266(5), F823–F828.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2557
Ohishi H, Ogawa Meguro R, Shigemoto R, Kaneko T, Nakanishi S, Mizuno N. 1994. Immunohistochemical localization of metabotropic glutamate receptors, mGluR2 and mGluR3, in rat cerebellar cortex. Neuron. 13(1), 55–66.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2550 | OA
Okamoto N, Hori S, Akazawa C, Hayashi Y, Shigemoto R, Mizuno N, Nakanishi S. 1994. Molecular characterization of a new metabotropic glutamate receptor mGluR7 coupled to inhibitory cyclic AMP signal transduction. Journal of Biological Chemistry. 269(2), 1231–1236.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2552
Ogawa Meguro R, Shigemoto R, Itoh K, Konishi A, Mizuno N. 1994. Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat. Neuroscience Letters. 166(2), 135–138.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2551
Akazawa C, Ohishi H, Nakajima Y, Okamoto N, Shigemoto R, Nakanishi S, Mizuno N. 1994. Expression of mRNAs of l-AP4-sensitive metabotropic glutamate receptors (mGluR4, mGluR6, mGluR7) in the rat retina. Neuroscience Letters. 171(1–2), 52–54.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Book Chapter | IST-REx-ID: 2545
Nakanishi S, Masu M, Bessho Y, Nakajima Y, Hayashi Y, Shigemoto R. 1994.Molecular diversity of glutamate receptors and their physiological functions. In: Experientia Supplementum. vol. 71, 71–80.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2549
Nakaya Y, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1994. Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat. Journal of Comparative Neurology. 347(2), 249–274.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2490
Sugimoto Y, Shigemoto R, Namba T, Negishi M, Mizuno N, Narumiya S, Ichikawa A. 1994. Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system. Neuroscience. 62(3), 919–928.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 1949 | OA
Sazanov LA, Jackson J. 1994. 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(2–3), 109–116.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2488
Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. 1994. Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex. Neuroscience. 60(1), 199–211.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 2489
Akazawa C, Shigemoto R, Bessho Y, Nakanishi S, Mizuno N. 1994. Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats. Journal of Comparative Neurology. 347(1), 150–160.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1994 | Journal Article | IST-REx-ID: 1953 | OA
Efanov A, Koshkin A, Sazanov LA, Borodulina OI, Varfolomeev S, Zaǐtsev S. 1994. 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(2), 114–116.
View | DOI | Download Published Version (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 | OA
Alur R, Henzinger TA. 1993. Real-time logics: Complexity and expressiveness. Information and Computation. 104(1), 35–77.
View | DOI | Download Published Version (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: 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: 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.)
 

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 | Journal Article | IST-REx-ID: 2536 | OA
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.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 2537 | OA
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.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 2538 | OA
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.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1993 | Journal Article | IST-REx-ID: 2539 | OA
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.
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: 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: 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: 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: 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: 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: 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 | 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: 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 | Journal Article | IST-REx-ID: 3474 | OA
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.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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 | 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 | 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: 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: 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: 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: 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: 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: 4177 | OA
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: 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 | 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 | 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 | Journal Article | IST-REx-ID: 4303 | OA
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 | 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 | 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: 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: 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: 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
 

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 | 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 | 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.)
 

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: 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: 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: 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.
View | DOI | Download Published Version (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
 

Search

Filter Publications