Henzinger MH. Fully dynamic cycle-equivalence in graphs. In: 35th Annual Symposium on Foundations of Computer Science. Institute of Electrical and Electronics Engineers; 1994:744-755. doi:10.1109/sfcs.1994.365718

Sazanov LA, Jackson J. 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. 1994;344(2-3):109-116. doi:10.1016/0014-5793(94)00370-X

Efanov A, Koshkin A, Sazanov LA, Borodulina OI, Varfolomeev S, Za0tsev S. 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. 1994;355(2):114-116. doi:10.1016/0014-5793(94)01109-5

Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex. Neuroscience. 1994;60(1):199-211. doi:10.1016/0306-4522(94)90215-1

Akazawa C, Shigemoto R, Bessho Y, Nakanishi S, Mizuno N. Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats. Journal of Comparative Neurology. 1994;347(1):150-160. doi:10.1002/cne.903470112

Sugimoto Y, Shigemoto R, Namba T, et al. Distribution of the messenger rna for the prostaglandin e receptor subtype e in the mouse nervous system. Neuroscience. 1994;62(3):919-928. doi:10.1016/0306-4522(94)90483-9

Nakanishi S, Masu M, Bessho Y, Nakajima Y, Hayashi Y, Shigemoto R. Molecular diversity of glutamate receptors and their physiological functions. In: Experientia Supplementum. Vol 71. Birkhäuser; 1994:71-80. doi:10.1007/978-3-0348-7330-7_8

Nakaya Y, Kaneko T, Shigemoto R, Nakanishi S, Mizuno N. Immunohistochemical localization of substance P receptor in the central nervous system of the adult rat. Journal of Comparative Neurology. 1994;347(2):249-274. doi:10.1002/cne.903470208

Okamoto N, Hori S, Akazawa C, et al. Molecular characterization of a new metabotropic glutamate receptor mGlu coupled to inhibitory cyclic AMP signal transduction. Journal of Biological Chemistry. 1994;269(2):1231-1236. doi:10.1016/S0021-9258(17)42247-2

Sugimoto Y, Namba T, Shigemoto R, Negishi M, Ichikawa A, Narumiya S. Distinct cellular localization of mRNAs for three subtypes of prostaglandin E receptor in kidney. American Journal of Physiology. 1994;266(5):3-8. doi:10.1152/ajprenal.1994.266.5.F823

Ogawa Meguro R, Shigemoto R, Itoh K, Konishi A, Mizuno N. Immunohistochemical localization of substance P receptor in the superior colliculus. A light and electron microscope study in the rat. Neuroscience Letters. 1994;166(2):135-138. doi:10.1016/0304-3940(94)90469-3

Akazawa C, Ohishi H, Nakajima Y, et al. Expression of mRNAs of l-A-sensitive metabotropic glutamate receptors (mGlu, mGlu, mGlu) in the rat retina. Neuroscience Letters. 1994;171(1-2):52-54. doi:10.1016/0304-3940(94)90602-5

Hirano T, Kasono K, Shigemoto R, Nakanishi S. Induction mechanism of long term depression in cultured Purkinje neurons. In: Vol 15. Biomedical Research Foundation; 1994:79-81.

Shigemoto R, Abe T, Nomura S, Nakanishi S, Hirano T. Antibodies inactivating mGlu metabotropic glutamate receptor block long-term depression in cultured Purkinje cells. Neuron. 1994;12(6):1245-1255. doi:10.1016/0896-6273(94)90441-3

Nomura A, Shigemoto R, Nakamura Y, Okamoto N, Mizuno N, Nakanishi S. Developmentally regulated postsynaptic localization of a metabotropic glutamate receptor in rat rod bipolar cells. Cell. 1994;77(3):361-369. doi:10.1016/0092-8674(94)90151-1

Ohishi H, Ogawa Meguro R, Shigemoto R, Kaneko T, Nakanishi S, Mizuno N. Immunohistochemical localization of metabotropic glutamate receptors, mGlu and mGlu, in rat cerebellar cortex. Neuron. 1994;13(1):55-66. doi:10.1016/0896-6273(94)90459-6

Erdös L. Estimates on stochastic oscillatory integrals and on the heat kernel of the magnetic Schrödinger operator. Duke Mathematical Journal. 1994;76(2):541-566. doi:10.1215/S0012-7094-94-07619-9

Jonas PM, Spruston N. Mechanisms shaping glutamate-mediated excitatory postsynaptic currents in the CNS. Current Opinion in Neurobiology. 1994;4(3):366-372. doi:10.1016/0959-4388(94)90098-1

Major G, Larkman A, Jonas PM, Sakmann B, Jack J. Detailed passive cable models of whole-cell recorded C pyramidal neurons in rat hippocampal slices. Journal of Neuroscience. 1994;14(8):4613-4638. doi:10.1523/JNEUROSCI.14-08-04613.1994

Koh D, Jonas PM, Vogel W. Na+-activated K+ channels localized in the nodal region of myelinated axons of Xenopus. Journal of Physiology. 1994;479:183-197. doi:10.1113/jphysiol.1994.sp020287

Jonas PM, Racca C, Sakmann B, Seeburg P, Monyer H. Differences in Ca(2+) permeability of AMPA-type glutamate receptor channels in neocortical neurons caused by differential GluR-B subunit expression. Neuron. 1994;12(6):1281-1289. doi:10.1016/0896-6273(94)90444-8

Edelsbrunner H. Modeling with simplicial complexes (topology, geometry and algorithms). In: Proceedings of the 6th Canadian Conference on Computational Geometry. ; 1994:36-44.

Chazelle B, Edelsbrunner H, Grigni M, et al. Ray shooting in polygons using geodesic triangulations. Algorithmica. 1994;12(1):54-68. doi:10.1007/BF01377183

Chazelle B, Edelsbrunner H, Guibas L, Sharir M. Algorithms for bichromatic line-segment problems and polyhedral terrains. Algorithmica. 1994;11(2):116-132. doi:10.1007/BF01182771

Edelsbrunner H, Mücke E. Three-dimensional alpha shapes. ACM Transactions on Graphics. 1994;13(1):43-72. doi:10.1145/174462.156635

Von Kitzing E, Jonas PM, Sakmann B. Quantal analysis of excitatory postsynaptic currents at the hippocampal mossy fiber-C pyramidal cell synapse. Molecular and cellular mechanisms of neurotransmitter release. 1994;29:235-260. doi:10.1016/0166-2236(95)90088-8

Turelli M, Barton NH. Genetic and statistical analyses of strong selection on polygenic traits: What, me normal? Genetics. 1994;138(3):913-941. doi:10.1093/genetics/138.3.913

Barton NH. The reduction in fixation probability caused by substitutions at linked loci. Genetical Research. 1994;64(3):199-208. doi:10.1017/S0016672300032857 

Chazelle B, Edelsbrunner H, Guibas L, Hershberger J, Seidel R, Sharir M. Selecting heavily covered points. SIAM Journal on Computing. 1994;23(6):1138-1151. doi:10.1137/S0097539790179919 

Dey T, Edelsbrunner H. Counting triangle crossings and halving planes. Discrete &; Computational Geometry. 1994;12(1):281-289. doi:10.1007/BF02574381

Leingärtner A, Heisenberg C-PJ, Kolbeck R, Thoenen H, Lindholm D. Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons. Journal of Biological Chemistry. 1994;269(2):828-830. doi:10.1016/s0021-9258(17)42186-7

Heisenberg C-PJ, Cooper J, Berke J, Sofroniew M. NMDA potentiates NGF-induced sprouting of septal cholinergic fibres. Neuroreport. 1994;5(4):413-416. doi:10.1097/00001756-199401120-00010 

Kapur A, Henzinger TA, Manna Z, Pnueli A. Proving safety properties of hybrid systems. In: 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. Vol 863. Springer; 1994:431-454. doi:10.1007/3-540-58468-4_177

Henzinger TA, Kopke P. Verification methods for the divergent runs of clock systems. In: 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. Vol 863. Springer; 1994:351-372. doi:10.1007/3-540-58468-4_173

Henzinger TA, Manna Z, Pnueli A. Temporal proof methodologies for timed transition systems. Information and Computation. 1994;112(2):273-337. doi:10.1006/inco.1994.1060

Henzinger TA, Nicollin X, Sifakis J, Yovine S. Symbolic model checking for real-time systems. Information and Computation. 1994;111(2):193-244. doi:10.1006/inco.1994.1045

Alur R, Henzinger TA. Finitary fairness. In: Proceedings 9th Annual IEEE Symposium on Logic in Computer Science. IEEE; 1994:52-61. doi:10.1109/LICS.1994.316087 

Alur R, Henzinger TA. Real-time system = discrete system + clock variables. In: Rus T, Rattray C, eds. Theories and Experiences for Real-Time System Development. Vol 2. AMAST Series in Computing. World Scientific Publishing; 1994:1-29. doi:10.1142/9789812831583_0001

Alur R, Henzinger TA. A really temporal logic. Journal of the ACM. 1994;41(1):181-204. doi:10.1145/174644.174651

Alur R, Courcoubetis C, Henzinger TA. The observational power of clocks. In: 5th International Conference on Concurrency Theory. Vol 836. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1994:162-177. doi:10.1007/BFb0015008

Alur R, Fix L, Henzinger TA. A determinizable class of timed automata. In: International Conference on Computer Aided Verification. Vol 818. Springer; 1994:1-13. doi:10.1007/3-540-58179-0_39

Alur R, Courcoubetis C, Henzinger TA, et al. The algorithmic analysis of hybrid systems. In: 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. Vol 199. Springer; 1994:331-351. doi:10.1007/BFb0033565

Zarkower D, de Bono M, Aronoff R, Hodgkin J. Regulatory rearrangements and smg-sensitive allels of the C. elegans sex-determining gene tra-1. Developmental Genetics. 1994;15(3):240-250. doi:10.1002/dvg.1020150306