B. Chazelle, H. Edelsbrunner, L. Guibas, and M. Sharir, “Algorithms for bichromatic line-segment problems and polyhedral terrains,” Algorithmica, vol. 11, no. 2. Springer, pp. 116–132, 1994.

H. Edelsbrunner and E. Mücke, “Three-dimensional alpha shapes,” ACM Transactions on Graphics, vol. 13, no. 1. ACM, pp. 43–72, 1994.

E. Von Kitzing, P. M. Jonas, and B. Sakmann, “Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-C pyramidal cell synapse,” Molecular and cellular mechanisms of neurotransmitter release, vol. 29. Raven Press, pp. 235–260, 1994.

M. Turelli and N. H. Barton, “Genetic and statistical analyses of strong selection on polygenic traits: What, me normal?,” Genetics, vol. 138, no. 3. Genetics Society of America, pp. 913–941, 1994.

N. H. Barton, “The reduction in fixation probability caused by substitutions at linked loci,” Genetical Research, vol. 64, no. 3. Cambridge University Press, pp. 199–208, 1994.

B. Chazelle, H. Edelsbrunner, L. Guibas, J. Hershberger, R. Seidel, and M. Sharir, “Selecting heavily covered points,” SIAM Journal on Computing, vol. 23, no. 6. SIAM, pp. 1138–1151, 1994.

T. Dey and H. Edelsbrunner, “Counting triangle crossings and halving planes,” Discrete &; Computational Geometry, vol. 12, no. 1. Springer, pp. 281–289, 1994.

A. Leingärtner, C.-P. J. Heisenberg, R. Kolbeck, H. Thoenen, and D. Lindholm, “Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons,” Journal of Biological Chemistry, vol. 269, no. 2. American Society for Biochemistry and Molecular Biology, pp. 828–830, 1994.

C.-P. J. Heisenberg, J. Cooper, J. Berke, and M. Sofroniew, “NMDA potentiates NGF-induced sprouting of septal cholinergic fibres,” Neuroreport, vol. 5, no. 4. Lippincott, Williams &; Wilkins, pp. 413–416, 1994.

A. Kapur, T. A. Henzinger, Z. Manna, and A. Pnueli, “Proving safety properties of hybrid systems,” in 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lübeck, Germany, 1994, vol. 863, pp. 431–454.

T. A. Henzinger and P. Kopke, “Verification methods for the divergent runs of clock systems,” in 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lübeck, Gernany, 1994, vol. 863, pp. 351–372.

T. A. Henzinger, Z. Manna, and A. Pnueli, “Temporal proof methodologies for timed transition systems,” Information and Computation, vol. 112, no. 2. Elsevier, pp. 273–337, 1994.

T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, “Symbolic model checking for real-time systems,” Information and Computation, vol. 111, no. 2. Elsevier, pp. 193–244, 1994.

R. Alur and T. A. Henzinger, “Finitary fairness,” in Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, Paris, France, 1994, pp. 52–61.

R. Alur and T. A. Henzinger, “Real-time system = discrete system + clock variables,” in Theories and Experiences for Real-Time System Development, vol. 2, T. Rus and C. Rattray, Eds. World Scientific Publishing, 1994, pp. 1–29.

R. Alur and T. A. Henzinger, “A really temporal logic,” Journal of the ACM, vol. 41, no. 1. ACM, pp. 181–204, 1994.

R. Alur, C. Courcoubetis, and T. A. Henzinger, “The observational power of clocks,” in 5th International Conference on Concurrency Theory, Uppsala, Sweden, 1994, vol. 836, pp. 162–177.

R. Alur, L. Fix, and T. A. Henzinger, “A determinizable class of timed automata,” in International Conference on Computer Aided Verification, Stanford, CA, United States of America, 1994, vol. 818, pp. 1–13.

R. Alur et al., “The algorithmic analysis of hybrid systems,” in 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, Sophia-Antipolis, France, 1994, vol. 199, pp. 331–351.

D. Zarkower, M. de Bono, R. Aronoff, and J. Hodgkin, “Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1,” Developmental Genetics, vol. 15, no. 3. Wiley, pp. 240–250, 1994.

L. A. Sazanov and J. Jackson, “Activation and inhibition of mitochondrial transhydrogenase by metal ions,” Biochimica et Biophysica Acta - Bioenergetics, vol. 1144, no. 2. Elsevier, pp. 225–228, 1993.

L. A. Sazanov and J. Jackson, “Possible functions of the NADP-linked isocitrate dehydrogenase and H+ -transhydrogenase in heart mitochondria ,” Biochemical Society Transactions, vol. 21, no. 3. Portland Press, p. 260, 1993.

J. Jackson et al., “Proton-translocating transhydrogenase in bacteria,” Biochemical Society Transactions, vol. 21, no. 4. Portland Press, pp. 1010–1013, 1993.

H. Ohishi, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Distribution of the mRNA for a metabotropic glutamate receptor (mGlu) in the rat brain: An in situ hybridization study,” Journal of Comparative Neurology, vol. 335, no. 2. Wiley-Blackwell, pp. 252–266, 1993.

Y. Nakajima et al., “Molecular characterization of a novel retinal metabotropic glutamate receptor mGlu 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, pp. 11868–11873, 1993.

Y. Tanabe, A. Nomura, M. Masu, R. Shigemoto, N. Mizuno, and S. Nakanishi, “Signal transduction, pharmacological properties, and expression patterns of two rat metabotropic glutamate receptors, mGlu and mGlu,” Journal of Neuroscience, vol. 13, no. 4. Society for Neuroscience, pp. 1372–1378, 1993.

T. Ishii 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, pp. 2836–2843, 1993.

H. Ohishi, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Distribution of the messenger RNA for a metabotropic glutamate receptor, mGlu, in the central nervous system of the rat,” Neuroscience, vol. 53, no. 4. Elsevier, pp. 1009–1018, 1993.

M. Iwai, S. Hori, R. Shigemoto, H. Kanzaki, T. Mori, and S. Nakanishi, “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, pp. 675–680, 1993.

Y. Hayashi et al., “Role of a metabotropic glutamate receptor in synaptic modulation in the accessory olfactory bulb,” Nature, vol. 366, no. 6456. Nature Publishing Group, pp. 687–690, 1993.

H. Hashimoto, T. Ishihara, R. Shigemoto, K. Mori, and S. Nagata, “Molecular cloning and tissue distribution of a receptor for pituitary adenylate cyclase-activating polypeptide,” Neuron, vol. 11, no. 2. Elsevier, pp. 333–342, 1993.

R. Shigemoto, S. Nomura, H. Ohishi, H. Sugihara, S. Nakanishi, and N. Mizuno, “Immunohistochemical localization of a metabotropic glutamate receptor, mGlu, in the rat brain,” Neuroscience Letters, vol. 163, no. 1. Elsevier, pp. 53–57, 1993.

R. Shigemoto et al., “Immunocytochemical localization of rat substance P receptor in the striatum,” Neuroscience Letters, vol. 153, no. 2. Elsevier, pp. 157–160, 1993.

T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Substance P receptor-immunoreactive neurons in the rat neostriatum are segregated into somatostatinergic and cholinergic aspiny neurons,” Brain Research, vol. 631, no. 2. Elsevier, pp. 297–303, 1993.

L. Erdös, “Ground-state density of the Pauli operator in the large field limit,” Letters in Mathematical Physics, vol. 29, no. 3. Springer, pp. 219–240, 1993.

P. M. Jonas, G. Major, and B. Sakmann, “Quantal components of unitary EPSCs at the mossy fibre synapse on C pyramidal cells of rat hippocampus,” Journal of Physiology, vol. 472. Wiley-Blackwell, pp. 615–663, 1993.

P. Ruppersberg, M. Ermler, M. Knopf, W. Kues, P. M. Jonas, and M. Koenen, “Properties of Shaker-homologous potassium channels expressed in the mammalian brain.,” Cellular Physiology and Biochemistry, vol. 3. S. Karger AG, pp. 250–269, 1993.

H. Edelsbrunner, “Computational geometry,” in Current Trends in Theoretical Computer Science, Essays and Tutorials, World Scientific Publishing, 1993, pp. 1–48.

H. Edelsbrunner, “Geometric algorithms,” in Handbook of Convex Geometry, North Holland, 1993, pp. 699–735.

H. Edelsbrunner, R. Seidel, and M. Sharir, “On the zone theorem for hyperplane arrangements,” SIAM Journal on Computing, vol. 22, no. 2. SIAM, pp. 418–429, 1993.

B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, and J. Snoeyink, “Computing a face in an arrangement of line segments and related problems,” SIAM Journal on Computing, vol. 22, no. 6. SIAM, pp. 1286–1302, 1993.

H. Edelsbrunner and T. Tan, “An upper bound for conforming Delaunay triangulations,” Discrete &; Computational Geometry, vol. 10, no. 1. Springer, pp. 197–213, 1993.

N. H. Barton, “The probability of fixation of a favoured allele in a subdivided population,” Genetics Research, vol. 62, no. 2. Cambridge University Press, pp. 149–158, 1993.

N. H. Barton, “Review of &;quot;The causes of molecular evolution&;quot; by J.H. Gillespie,” Genetical Research, vol. 62, no. 1. Cambridge University Press, pp. 77–85, 1993.

N. H. Barton and K. Gale, “Genetic analysis of hybrid zones,” in Hybrid zones and the evolutionary process, R. Harrison, Ed. Oxford University Press, 1993, pp. 13–45.

N. H. Barton, “Why species and subspecies?,” Current Biology, vol. 3, no. 11. Cell Press, pp. 797–799, 1993.

P. M. Jonas, “AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS,” in Nonselective cation channels: Pharmacology, Physiology and Biophysics., vol. 66, D. Siemen, Ed. Birkhäuser, 1993, pp. 61–76.

T. Sziranyi and J. 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, pp. 223–231, 1993.

P. M. Jonas, “Glutamate receptors in the central nervous system,” in 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–135.

S. Rouhani and N. H. Barton, “Group selection and the ‘shifting balance,’” Genetical Research, vol. 61, no. 2. Cambridge University Press, pp. 127–136, 1993.

N. H. Barton and S. Rouhani, “Adaptation and the ‘shifting balance,’” Genetical Research, vol. 61, no. 1. Cambridge University Press, pp. 57–74, 1993.

M. Bern, H. Edelsbrunner, D. Eppstein, S. Mitchell, and T. Tan, “Edge insertion for optimal triangulations,” Discrete &; Computational Geometry, vol. 10, no. 1. Springer, pp. 47–65, 1993.

B. Chazelle, H. Edelsbrunner, L. Guibas, and M. Sharir, “Diameter, width, closest line pair, and parametric searching,” Discrete &; Computational Geometry, vol. 10, no. 1. Springer, pp. 183–196, 1993.

H. Edelsbrunner and T. Tan, “A quadratic time algorithm for the minmax length triangulation,” SIAM Journal on Computing, vol. 22, no. 3. SIAM, pp. 527–551, 1993.

D. Lindholm 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, pp. 443–450, 1993.

D. Lindholm, G. Dechant, C.-P. J. Heisenberg, and H. 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, vol. 5, no. 11. Wiley-Blackwell, pp. 1455–1464, 1993.

L. Partridge and N. H. Barton, “Evolution of aging: Testing the theory using Drosophila,” Genetica, vol. 91, no. 1–3. Springer, pp. 89–98, 1993.

L. Partridge and N. H. Barton, “Optimality, mutation and the evolution of ageing,” Nature, vol. 362. Nature Publishing Group, pp. 305–311, 1993.

T. A. Henzinger, Z. Manna, and A. Pnueli, “Towards refining temporal specifications into hybrid systems,” in International Hybrid Systems Workshop, 1993, vol. 736, pp. 60–76.

R. Alur and T. A. Henzinger, “Real-time logics: Complexity and expressiveness,” Information and Computation, vol. 104, no. 1. Elsevier, pp. 35–77, 1993.

R. Alur, C. Courcoubetis, T. A. Henzinger, and P. Ho, “Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems,” in Hybrid Systems, 1993, vol. 736, pp. 209–229.

R. Alur, T. A. Henzinger, and P. Ho, “Automatic symbolic verification of embedded systems,” in 1993 Proceedings Real-Time Systems Symposium, Raleigh, NC, United States of America, 1993, pp. 2–11.

R. Alur, C. Courcoubetis, and T. A. Henzinger, “Computing accumulated delays in real-time systems,” in 5th International Conference on Computer Aided Verification, Elounda, Greece, 1993, vol. 697, pp. 181–193.

R. Alur, T. A. Henzinger, and M. Vardi, “Parametric real-time reasoning,” in Proceedings of the 25th annual ACM symposium on Theory of Computing, San Diego, CA, United States of America, 1993, pp. 592–601.

L. A. Sazanov and S. Za0tsev, “Effect of superlow doses (10(-18)-10-(-14) M) of biologically active substances: general rules, features, and possible mechanisms,” Biochemistry (Moscow), vol. 57, no. 10. Izdatel’stvo Nauka, pp. 1443–1460, 1992.

R. Shigemoto, S. Nakanishi, and N. Mizuno, “Distribution of the mRNA for a metabotropic glutamate receptor (mGlu) 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, pp. 121–135, 1992.

S. Hori, Y. Komatsu, R. Shigemoto, N. Mizuno, and S. Nakanishi, “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, pp. 1885–1895, 1992.

Y. Tanabe, M. Masu, T. Ishii, R. Shigemoto, and S. Nakanishi, “A family of metabotropic glutamate receptors,” Neuron, vol. 8, no. 1. Elsevier, pp. 169–179, 1992.

T. Abe, H. Sugihara, H. Nawa, R. Shigemoto, N. Mizuno, and S. Nakanishi, “Molecular characterization of a novel metabotropic glutamate receptor mGlu coupled to inositol phosphate/C+ signal transduction,” Journal of Biological Chemistry, vol. 267, no. 19. American Society for Biochemistry and Molecular Biology, pp. 13361–13368, 1992.

Y. Sasai, R. Kageyama, Y. Tagawa, R. Shigemoto, and S. Nakanishi, “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, pp. 2620–2634, 1992.

T. Nishioka et al., “Distribution of the glucose transporters in human brain tumors,” Cancer Research, vol. 52, no. 14. American Association for Cancer Research, pp. 3972–3979, 1992.

T. Ishihara, R. Shigemoto, K. Mori, K. Takahashi, and S. Nagata, “Functional expression and tissue distribution of a novel receptor for vasoactive intestinal polypeptide,” Neuron, vol. 8, no. 4. Elsevier, pp. 811–819, 1992.

R. Shigemoto, H. Ohishi, S. Nakanishi, and N. Mizuno, “Expression of the mRNA for the rat NMDA receptor (NMDA) in the sensory and autonomic ganglion neurons,” Neuroscience Letters, vol. 144, no. 1–2. Elsevier, pp. 229–232, 1992.

L. Erdös, “On some problems of P. Turán concerning power sums of complex numbers,” Acta Mathematica Hungarica, vol. 59, no. 1–2. Springer, pp. 11–24, 1992.

L. Erdös and D. Tuyen, “Central limit theorems for the one-dimensional Rayleigh gas with semipermeable barriers,” Communications in Mathematical Physics, vol. 143, no. 3. Springer, pp. 451–466, 1992.

P. M. Jonas and B. Sakmann, “Glutamate receptor channels in isolated patches from C and C pyramidal cells of rat hippocampal slices,” Journal of Physiology, vol. 455. Wiley-Blackwell, pp. 143–171, 1992.

D. Colquhoun, P. M. Jonas, and B. Sakmann, “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, pp. 261–287, 1992.

D. Koh, P. M. Jonas, M. Bräu, and W. Vogel, “A TEA-insensitive flickering potassium channel active around the resting potential in myelinated nerve,” Journal of Membrane Biology, vol. 130. Springer, pp. 149–162, 1992.

B. Aronov, H. Edelsbrunner, L. Guibas, and M. Sharir, “The number of edges of many faces in a line segment arrangement,” Combinatorica, vol. 12, no. 3. Springer, pp. 261–274, 1992.

H. Edelsbrunner, “Guest editor’s foreword,” Discrete &; Computational Geometry, vol. 8, no. 1. Springer, pp. 217–217, 1992.

C.-P. J. Heisenberg, H. Thoenen, and D. Lindholm, “Triiodothyronine Regulates Survival and Differentiation of Rat Cerebellar Granule Neurons,” Neuroreport, vol. 3, no. 8. Lippincott, Williams &; Wilkins, pp. 685–688, 1992.

T. Hatfield, N. H. Barton, and J. Searle, “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, pp. 1129–1145, 1992.

N. H. Barton, “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, pp. 551–557, 1992.

N. H. Barton, “The genetic consequences of dispersal,” in Animal dispersal: small mammals as a model, N. Stenseth and W. Lidicker, Eds. Chapman Hall, 1992, pp. 37–60.

N. H. Barton and N. Goldman, “Genetics and geography,” Nature, vol. 357. Nature Publishing Group, pp. 440–441, 1992.

N. Burnashev et al., “Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells.,” Science, vol. 256, no. 5063. American Association for the Advancement of Science, pp. 1566–1570, 1992.

B. Chazelle et al., “Counting and cutting cycles of lines and rods in space,” Computational Geometry: Theory and Applications, vol. 1, no. 6. Elsevier, pp. 305–323, 1992.

N. Sanderson, J. Szymura, and N. H. Barton, “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, pp. 595–607, 1992.

M. Bern, H. Edelsbrunner, D. Eppstein, S. Mitchell, and T. Tan, “Edge insertion for optimal triangulations,” in 1st Latin American Symposium on Theoretical Informatics, São Paulo, Brazil, 1992, vol. 583, pp. 46–60.

H. Edelsbrunner, L. Guibas, J. Pach, R. Pollack, R. Seidel, and M. Sharir, “Arrangements of curves in the plane - topology, combinatorics, and algorithms,” Theoretical Computer Science, vol. 92, no. 2. Elsevier, pp. 319–336, 1992.

B. Chazelle and H. Edelsbrunner, “An optimal algorithm for intersecting line segments in the plane,” Journal of the ACM, vol. 39, no. 1. ACM, pp. 1–54, 1992.

H. Edelsbrunner, T. Tan, and R. Waupotitsch, “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 , pp. 994–1008, 1992.

A. Aggarwal, H. Edelsbrunner, P. Raghavan, and P. Tiwari, “Optimal time bounds for some proximity problems in the plane,” Information Processing Letters, vol. 42, no. 1. Elsevier, pp. 55–60, 1992.

T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, “Symbolic model checking for real-time systems,” in Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, CA, United States of America, 1992, pp. 394–406.

T. A. Henzinger, Z. Manna, and A. Pnueli, “What good are digital clocks?,” in 19th International Colloquium on Automata, Languages and Programming, Vienna, Austria, 1992, vol. 623, pp. 545–558.

T. A. Henzinger, Z. Manna, and A. Pnueli, “Timed transition systems,” in Real Time: Theory in Practice, vol. 600, Springer, 1992, pp. 226–251.

T. A. Henzinger, “Sooner Is Safer Than Later,” Information Processing Letters, vol. 43, no. 3. Elsevier, pp. 135–141, 1992.

R. Alur and T. A. Henzinger, “Logics and models of real time: A survey,” in REX Workshop on Real Time: Theory in Practice, Mook, The Netherlands, 1992, vol. 600, pp. 74–106.

R. Alur and T. A. Henzinger, “Back to the future: Towards a theory of timed regular languages,” in Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, Pittsburgh, PA, United States of America, 1992, pp. 177–186.

S. Za0tsev, L. A. Sazanov, A. Koshkin, G. Sud’Ina, and S. Varfolomeev, “Respiratory burst inhibition in human neutrophils by ultra-low doses of [D-Al] methionine enkephalinamide,” FEBS Letters, vol. 291, no. 1. Elsevier, pp. 84–86, 1991.