Henzinger, Monika H. “Fully Dynamic Cycle-Equivalence in Graphs.”10.1109/sfcs.1994.365718__35th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1994, pp. 744–55, doi:10.1109/sfcs.1994.365718.
LibreCat: https://research-explorer.ista.ac.at/record/11857
DOI: 10.1109/sfcs.1994.365718

Sazanov, Leonid A., and Julie Jackson. “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.”10.1016/0014-5793(94)00370-X__FEBS Letters, vol. 344, no. 2–3, Elsevier, 1994, pp. 109–16, doi:10.1016/0014-5793(94)00370-X.
LibreCat: https://research-explorer.ista.ac.at/record/1949
DOI: 10.1016/0014-5793(94)00370-X
PMID: 8187868

Efanov, Alexander, et al. “Inhibition of the Respiratory Burst in Mouse Macrophages by Ultra-Low Doses of an Opioid Peptide Is Consistent with a Possible Adaptation Mechanism.”10.1016/0014-5793(94)01109-5__FEBS Letters, vol. 355, no. 2, Elsevier, 1994, pp. 114–16, doi:10.1016/0014-5793(94)01109-5.
LibreCat: https://research-explorer.ista.ac.at/record/1953
DOI: 10.1016/0014-5793(94)01109-5
PMID: 7982481

Kaneko, Takeshi, et al. “Morphological and Chemical Characteristics of Substance P Receptor Immunoreactive Neurons in the Rat Neocortex.”10.1016/0306-4522(94)90215-1__Neuroscience, vol. 60, no. 1, Elsevier, 1994, pp. 199–211, doi:10.1016/0306-4522(94)90215-1.
LibreCat: https://research-explorer.ista.ac.at/record/2488
DOI: 10.1016/0306-4522(94)90215-1
PMID: 8052413

Akazawa, Chihiro, et al. “Differential Expression of Five N-Methyl-D-Aspartate Receptor Subunit MRNAs in the Cerebellum of Developing and Adult Rats.”10.1002/cne.903470112__Journal of Comparative Neurology, vol. 347, no. 1, Wiley-Blackwell, 1994, pp. 150–60, doi:10.1002/cne.903470112.
LibreCat: https://research-explorer.ista.ac.at/record/2489
DOI: 10.1002/cne.903470112
PMID: 7798379

Sugimoto, Yukihiko, et al. “Distribution of the Messenger Rna for the Prostaglandin e Receptor Subtype E in the Mouse Nervous System.”10.1016/0306-4522(94)90483-9__Neuroscience, vol. 62, no. 3, Elsevier, 1994, pp. 919–28, doi:10.1016/0306-4522(94)90483-9.
LibreCat: https://research-explorer.ista.ac.at/record/2490
DOI: 10.1016/0306-4522(94)90483-9
PMID: 7870313

Nakanishi, Shigetada, et al. “Molecular Diversity of Glutamate Receptors and Their Physiological Functions.”10.1007/978-3-0348-7330-7_8__Experientia Supplementum, vol. 71, Birkhäuser, 1994, pp. 71–80, doi:10.1007/978-3-0348-7330-7_8.
LibreCat: https://research-explorer.ista.ac.at/record/2545
DOI: 10.1007/978-3-0348-7330-7_8
PMID: 8032174

Nakaya, Yoshifumi, et al. “Immunohistochemical Localization of Substance P Receptor in the Central Nervous System of the Adult Rat.”10.1002/cne.903470208__Journal of Comparative Neurology, vol. 347, no. 2, Wiley-Blackwell, 1994, pp. 249–74, doi:10.1002/cne.903470208.
LibreCat: https://research-explorer.ista.ac.at/record/2549
DOI: 10.1002/cne.903470208
PMID: 7814667

Okamoto, Naoyuki, et al. “Molecular Characterization of a New Metabotropic Glutamate Receptor MGlu Coupled to Inhibitory Cyclic AMP Signal Transduction.”10.1016/S0021-9258(17)42247-2__Journal of Biological Chemistry, vol. 269, no. 2, American Society for Biochemistry and Molecular Biology, 1994, pp. 1231–36, doi:10.1016/S0021-9258(17)42247-2.
LibreCat: https://research-explorer.ista.ac.at/record/2550
DOI: 10.1016/S0021-9258(17)42247-2
PMID: 8288585

Sugimoto, Yukihiko, et al. “Distinct Cellular Localization of MRNAs for Three Subtypes of Prostaglandin E Receptor in Kidney.”10.1152/ajprenal.1994.266.5.F823__American Journal of Physiology, vol. 266, no. 5, American Physiological Society, 1994, pp. 3–28, doi:10.1152/ajprenal.1994.266.5.F823.
LibreCat: https://research-explorer.ista.ac.at/record/2553
DOI: 10.1152/ajprenal.1994.266.5.F823
PMID: 8203567

Ogawa Meguro, Reiko, et al. “Immunohistochemical Localization of Substance P Receptor in the Superior Colliculus. A Light and Electron Microscope Study in the Rat.”10.1016/0304-3940(94)90469-3__Neuroscience Letters, vol. 166, no. 2, Elsevier, 1994, pp. 135–38, doi:10.1016/0304-3940(94)90469-3.
LibreCat: https://research-explorer.ista.ac.at/record/2552
DOI: 10.1016/0304-3940(94)90469-3
PMID: 8177489

Akazawa, Chihiro, et al. “Expression of MRNAs of L-A-Sensitive Metabotropic Glutamate Receptors (MGlu, MGlu, MGlu) in the Rat Retina.”10.1016/0304-3940(94)90602-5__Neuroscience Letters, vol. 171, no. 1–2, Elsevier, 1994, pp. 52–54, doi:10.1016/0304-3940(94)90602-5.
LibreCat: https://research-explorer.ista.ac.at/record/2551
DOI: 10.1016/0304-3940(94)90602-5
PMID: 8084499

Hirano, Tomoo, et al. Induction Mechanism of Long Term Depression in Cultured Purkinje Neurons. Vol. 15, no. SUPPL. 1, Biomedical Research Foundation, 1994, pp. 79–81.
LibreCat: https://research-explorer.ista.ac.at/record/2548

Shigemoto, Ryuichi, et al. “Antibodies Inactivating MGlu Metabotropic Glutamate Receptor Block Long-Term Depression in Cultured Purkinje Cells.”10.1016/0896-6273(94)90441-3__Neuron, vol. 12, no. 6, Elsevier, 1994, pp. 1245–55, doi:10.1016/0896-6273(94)90441-3.
LibreCat: https://research-explorer.ista.ac.at/record/2555
DOI: 10.1016/0896-6273(94)90441-3
PMID: 7912091 

Nomura, Akinori, et al. “Developmentally Regulated Postsynaptic Localization of a Metabotropic Glutamate Receptor in Rat Rod Bipolar Cells.”10.1016/0092-8674(94)90151-1__Cell, vol. 77, no. 3, Cell Press, 1994, pp. 361–69, doi:10.1016/0092-8674(94)90151-1.
LibreCat: https://research-explorer.ista.ac.at/record/2554
DOI: 10.1016/0092-8674(94)90151-1
PMID: 8181056

Ohishi, Hitoshi, et al. “Immunohistochemical Localization of Metabotropic Glutamate Receptors, MGlu and MGlu, in Rat Cerebellar Cortex.”10.1016/0896-6273(94)90459-6__Neuron, vol. 13, no. 1, Elsevier, 1994, pp. 55–66, doi:10.1016/0896-6273(94)90459-6.
LibreCat: https://research-explorer.ista.ac.at/record/2557
DOI: 10.1016/0896-6273(94)90459-6
PMID: 8043281

Erdös, László. “Estimates on Stochastic Oscillatory Integrals and on the Heat Kernel of the Magnetic Schrödinger Operator.”10.1215/S0012-7094-94-07619-9__Duke Mathematical Journal, vol. 76, no. 2, Duke University Press, 1994, pp. 541–66, doi:10.1215/S0012-7094-94-07619-9.
LibreCat: https://research-explorer.ista.ac.at/record/2713
DOI: 10.1215/S0012-7094-94-07619-9

Jonas, Peter M., and Nelson Spruston. “Mechanisms Shaping Glutamate-Mediated Excitatory Postsynaptic Currents in the CNS.”10.1016/0959-4388(94)90098-1__Current Opinion in Neurobiology, vol. 4, no. 3, Elsevier, 1994, pp. 366–72, doi:10.1016/0959-4388(94)90098-1.
LibreCat: https://research-explorer.ista.ac.at/record/3460
DOI: 10.1016/0959-4388(94)90098-1
PMID: 7522678 

Major, Guy, et al. “Detailed Passive Cable Models of Whole-Cell Recorded C Pyramidal Neurons in Rat Hippocampal Slices.”10.1523/JNEUROSCI.14-08-04613.1994__Journal of Neuroscience, vol. 14, no. 8, Society for Neuroscience, 1994, pp. 4613–38, doi:10.1523/JNEUROSCI.14-08-04613.1994.
LibreCat: https://research-explorer.ista.ac.at/record/3476
DOI: 10.1523/JNEUROSCI.14-08-04613.1994
PMID: 8046439 

Koh, Duk, et al. “Na+-Activated K+ Channels Localized in the Nodal Region of Myelinated Axons of Xenopus.”10.1113/jphysiol.1994.sp020287__Journal of Physiology, vol. 479, Wiley-Blackwell, 1994, pp. 183–97, doi:10.1113/jphysiol.1994.sp020287.
LibreCat: https://research-explorer.ista.ac.at/record/3475
DOI: 10.1113/jphysiol.1994.sp020287
PMID: 7799220 

Jonas, Peter M., et al. “Differences in Ca(2+) Permeability of AMPA-Type Glutamate Receptor Channels in Neocortical Neurons Caused by Differential GluR-B Subunit Expression.”10.1016/0896-6273(94)90444-8__Neuron, vol. 12, no. 6, Elsevier, 1994, pp. 1281–89, doi:10.1016/0896-6273(94)90444-8.
LibreCat: https://research-explorer.ista.ac.at/record/3477
DOI: 10.1016/0896-6273(94)90444-8
PMID: 8011338 

Edelsbrunner, Herbert. “Modeling with Simplicial Complexes (Topology, Geometry and Algorithms).” Proceedings of the 6th Canadian Conference on Computational Geometry, 1994, pp. 36–44.
LibreCat: https://research-explorer.ista.ac.at/record/3550

Chazelle, Bernard, et al. “Ray Shooting in Polygons Using Geodesic Triangulations.”10.1007/BF01377183__Algorithmica, vol. 12, no. 1, Springer, 1994, pp. 54–68, doi:10.1007/BF01377183.
LibreCat: https://research-explorer.ista.ac.at/record/4039
DOI: 10.1007/BF01377183

Chazelle, Bernard, et al. “Algorithms for Bichromatic Line-Segment Problems and Polyhedral Terrains.”10.1007/BF01182771__Algorithmica, vol. 11, no. 2, Springer, 1994, pp. 116–32, doi:10.1007/BF01182771.
LibreCat: https://research-explorer.ista.ac.at/record/4038
DOI: 10.1007/BF01182771

Edelsbrunner, Herbert, and Ernst Mücke. “Three-Dimensional Alpha Shapes.”10.1145/174462.156635__ACM Transactions on Graphics, vol. 13, no. 1, ACM, 1994, pp. 43–72, doi:10.1145/174462.156635.
LibreCat: https://research-explorer.ista.ac.at/record/4037
DOI: 10.1145/174462.156635

Von Kitzing, Eberhard, et al. “Quantal Analysis of Excitatory Postsynaptic Currents at the Hippocampal Mossy Fiber-C Pyramidal Cell Synapse.”10.1016/0166-2236(95)90088-8__Molecular and Cellular Mechanisms of Neurotransmitter Release, vol. 29, Raven Press, 1994, pp. 235–60, doi:10.1016/0166-2236(95)90088-8.
LibreCat: https://research-explorer.ista.ac.at/record/3453
DOI: 10.1016/0166-2236(95)90088-8
PMID: 7848714 

Turelli, Michael, and Nicholas H. Barton. “Genetic and Statistical Analyses of Strong Selection on Polygenic Traits: What, Me Normal?”10.1093/genetics/138.3.913__Genetics, vol. 138, no. 3, Genetics Society of America, 1994, pp. 913–41, doi:10.1093/genetics/138.3.913.
LibreCat: https://research-explorer.ista.ac.at/record/3642
DOI: 10.1093/genetics/138.3.913
PMID: 7851785

Barton, Nicholas H. “The Reduction in Fixation Probability Caused by Substitutions at Linked Loci.”10.1017/S0016672300032857 __Genetical Research, vol. 64, no. 3, Cambridge University Press, 1994, pp. 199–208, doi:10.1017/S0016672300032857 .
LibreCat: https://research-explorer.ista.ac.at/record/3641
DOI: 10.1017/S0016672300032857 

Chazelle, Bernard, et al. “Selecting Heavily Covered Points.”10.1137/S0097539790179919 __SIAM Journal on Computing, vol. 23, no. 6, SIAM, 1994, pp. 1138–51, doi:10.1137/S0097539790179919 .
LibreCat: https://research-explorer.ista.ac.at/record/4033
DOI: 10.1137/S0097539790179919 

Dey, Tamal, and Herbert Edelsbrunner. “Counting Triangle Crossings and Halving Planes.”10.1007/BF02574381__Discrete &; Computational Geometry, vol. 12, no. 1, Springer, 1994, pp. 281–89, doi:10.1007/BF02574381.
LibreCat: https://research-explorer.ista.ac.at/record/4032
DOI: 10.1007/BF02574381

Leingärtner, Axel, et al. “Brain-Derived Neurotrophic Factor Increases Neurotrophin-3 Expression in Cerebellar Granule Neurons.”10.1016/s0021-9258(17)42186-7__Journal of Biological Chemistry, vol. 269, no. 2, American Society for Biochemistry and Molecular Biology, 1994, pp. 828–30, doi:10.1016/s0021-9258(17)42186-7.
LibreCat: https://research-explorer.ista.ac.at/record/4179
DOI: 10.1016/s0021-9258(17)42186-7

Heisenberg, Carl-Philipp J., et al. “NMDA Potentiates NGF-Induced Sprouting of Septal Cholinergic Fibres.”10.1097/00001756-199401120-00010 __Neuroreport, vol. 5, no. 4, Lippincott, Williams &; Wilkins, 1994, pp. 413–16, doi:10.1097/00001756-199401120-00010 .
LibreCat: https://research-explorer.ista.ac.at/record/4202
DOI: 10.1097/00001756-199401120-00010 

Kapur, Arjun, et al. “Proving Safety Properties of Hybrid Systems.”10.1007/3-540-58468-4_177__3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, vol. 863, Springer, 1994, pp. 431–54, doi:10.1007/3-540-58468-4_177.
LibreCat: https://research-explorer.ista.ac.at/record/4420
DOI: 10.1007/3-540-58468-4_177

Henzinger, Thomas A., and Peter Kopke. “Verification Methods for the Divergent Runs of Clock Systems.”10.1007/3-540-58468-4_173__3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, vol. 863, Springer, 1994, pp. 351–72, doi:10.1007/3-540-58468-4_173.
LibreCat: https://research-explorer.ista.ac.at/record/4440
DOI: 10.1007/3-540-58468-4_173

Henzinger, Thomas A., et al. “Temporal Proof Methodologies for Timed Transition Systems.”10.1006/inco.1994.1060__Information and Computation, vol. 112, no. 2, Elsevier, 1994, pp. 273–337, doi:10.1006/inco.1994.1060.
LibreCat: https://research-explorer.ista.ac.at/record/4501
DOI: 10.1006/inco.1994.1060

Henzinger, Thomas A., et al. “Symbolic Model Checking for Real-Time Systems.”10.1006/inco.1994.1045__Information and Computation, vol. 111, no. 2, Elsevier, 1994, pp. 193–244, doi:10.1006/inco.1994.1045.
LibreCat: https://research-explorer.ista.ac.at/record/4503
DOI: 10.1006/inco.1994.1045

Alur, Rajeev, and Thomas A. Henzinger. “Finitary Fairness.”10.1109/LICS.1994.316087 __Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1994, pp. 52–61, doi:10.1109/LICS.1994.316087 .
LibreCat: https://research-explorer.ista.ac.at/record/4586
DOI: 10.1109/LICS.1994.316087 

Alur, Rajeev, and Thomas A. Henzinger. “Real-Time System = Discrete System + Clock Variables.”10.1142/9789812831583_0001__Theories and Experiences for Real-Time System Development, edited by Teodor Rus and Charles Rattray, vol. 2, World Scientific Publishing, 1994, pp. 1–29, doi:10.1142/9789812831583_0001.
LibreCat: https://research-explorer.ista.ac.at/record/4590
DOI: 10.1142/9789812831583_0001

Alur, Rajeev, and Thomas A. Henzinger. “A Really Temporal Logic.”10.1145/174644.174651__Journal of the ACM, vol. 41, no. 1, ACM, 1994, pp. 181–204, doi:10.1145/174644.174651.
LibreCat: https://research-explorer.ista.ac.at/record/4591
DOI: 10.1145/174644.174651

Alur, Rajeev, et al. “The Observational Power of Clocks.”10.1007/BFb0015008__5th International Conference on Concurrency Theory, vol. 836, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–77, doi:10.1007/BFb0015008.
LibreCat: https://research-explorer.ista.ac.at/record/4614
DOI: 10.1007/BFb0015008

Alur, Rajeev, et al. “A Determinizable Class of Timed Automata.”10.1007/3-540-58179-0_39__International Conference on Computer Aided Verification, vol. 818, Springer, 1994, pp. 1–13, doi:10.1007/3-540-58179-0_39.
LibreCat: https://research-explorer.ista.ac.at/record/4615
DOI: 10.1007/3-540-58179-0_39

Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.”10.1007/BFb0033565__11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, vol. 199, Springer, 1994, pp. 331–51, doi:10.1007/BFb0033565.
LibreCat: https://research-explorer.ista.ac.at/record/4617
DOI: 10.1007/BFb0033565

Zarkower, David, et al. “Regulatory Rearrangements and Smg-Sensitive Allels of the C. Elegans Sex-Determining Gene Tra-1.”10.1002/dvg.1020150306__Developmental Genetics, vol. 15, no. 3, Wiley, 1994, pp. 240–50, doi:10.1002/dvg.1020150306.
LibreCat: https://research-explorer.ista.ac.at/record/6167
DOI: 10.1002/dvg.1020150306
PMID: 7520378