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.
43 Publications
1994 | Conference Paper | IST-REx-ID: 11857
Henzinger, Monika H. “Fully Dynamic Cycle-Equivalence in Graphs.” 35th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1994, pp. 744–55, doi:10.1109/sfcs.1994.365718.
View
| DOI
1994 | Journal Article | IST-REx-ID: 1949 | 
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.” FEBS Letters, vol. 344, no. 2–3, Elsevier, 1994, pp. 109–16, doi:10.1016/0014-5793(94)00370-X.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 1953 |
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.” FEBS Letters, vol. 355, no. 2, Elsevier, 1994, pp. 114–16, doi:10.1016/0014-5793(94)01109-5.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2488
Kaneko, Takeshi, et al. “Morphological and Chemical Characteristics of Substance P Receptor Immunoreactive Neurons in the Rat Neocortex.” Neuroscience, vol. 60, no. 1, Elsevier, 1994, pp. 199–211, doi:10.1016/0306-4522(94)90215-1.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2489
Akazawa, Chihiro, et al. “Differential Expression of Five N-Methyl-D-Aspartate Receptor Subunit MRNAs in the Cerebellum of Developing and Adult Rats.” Journal of Comparative Neurology, vol. 347, no. 1, Wiley-Blackwell, 1994, pp. 150–60, doi:10.1002/cne.903470112.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2490
Sugimoto, Yukihiko, et al. “Distribution of the Messenger Rna for the Prostaglandin e Receptor Subtype Ep3 in the Mouse Nervous System.” Neuroscience, vol. 62, no. 3, Elsevier, 1994, pp. 919–28, doi:10.1016/0306-4522(94)90483-9.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Book Chapter | IST-REx-ID: 2545
Nakanishi, Shigetada, et al. “Molecular Diversity of Glutamate Receptors and Their Physiological Functions.” Experientia Supplementum, vol. 71, Birkhäuser, 1994, pp. 71–80, doi:10.1007/978-3-0348-7330-7_8.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2549
Nakaya, Yoshifumi, et al. “Immunohistochemical Localization of Substance P Receptor in the Central Nervous System of the Adult Rat.” Journal of Comparative Neurology, vol. 347, no. 2, Wiley-Blackwell, 1994, pp. 249–74, doi:10.1002/cne.903470208.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2550 |
Okamoto, Naoyuki, et al. “Molecular Characterization of a New Metabotropic Glutamate Receptor MGluR7 Coupled to Inhibitory Cyclic AMP Signal Transduction.” 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.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2553
Sugimoto, Yukihiko, et al. “Distinct Cellular Localization of MRNAs for Three Subtypes of Prostaglandin E Receptor in Kidney.” American Journal of Physiology, vol. 266, no. 5, American Physiological Society, 1994, pp. F823–28, doi:10.1152/ajprenal.1994.266.5.F823.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2552
Ogawa Meguro, Reiko, et al. “Immunohistochemical Localization of Substance P Receptor in the Superior Colliculus. A Light and Electron Microscope Study in the Rat.” Neuroscience Letters, vol. 166, no. 2, Elsevier, 1994, pp. 135–38, doi:10.1016/0304-3940(94)90469-3.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2551
Akazawa, Chihiro, et al. “Expression of MRNAs of L-AP4-Sensitive Metabotropic Glutamate Receptors (MGluR4, MGluR6, MGluR7) in the Rat Retina.” Neuroscience Letters, vol. 171, no. 1–2, Elsevier, 1994, pp. 52–54, doi:10.1016/0304-3940(94)90602-5.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Conference Paper | IST-REx-ID: 2548
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.
View
1994 | Journal Article | IST-REx-ID: 2555
Shigemoto, Ryuichi, et al. “Antibodies Inactivating MGluR1 Metabotropic Glutamate Receptor Block Long-Term Depression in Cultured Purkinje Cells.” Neuron, vol. 12, no. 6, Elsevier, 1994, pp. 1245–55, doi:10.1016/0896-6273(94)90441-3.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2554
Nomura, Akinori, et al. “Developmentally Regulated Postsynaptic Localization of a Metabotropic Glutamate Receptor in Rat Rod Bipolar Cells.” Cell, vol. 77, no. 3, Cell Press, 1994, pp. 361–69, doi:10.1016/0092-8674(94)90151-1.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2557
Ohishi, Hitoshi, et al. “Immunohistochemical Localization of Metabotropic Glutamate Receptors, MGluR2 and MGluR3, in Rat Cerebellar Cortex.” Neuron, vol. 13, no. 1, Elsevier, 1994, pp. 55–66, doi:10.1016/0896-6273(94)90459-6.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 2713
Erdös, László. “Estimates on Stochastic Oscillatory Integrals and on the Heat Kernel of the Magnetic Schrödinger Operator.” Duke Mathematical Journal, vol. 76, no. 2, Duke University Press, 1994, pp. 541–66, doi:10.1215/S0012-7094-94-07619-9.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 3460
Jonas, Peter M., and Nelson Spruston. “Mechanisms Shaping Glutamate-Mediated Excitatory Postsynaptic Currents in the CNS.” Current Opinion in Neurobiology, vol. 4, no. 3, Elsevier, 1994, pp. 366–72, doi:10.1016/0959-4388(94)90098-1.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3476 |
Major, Guy, et al. “Detailed Passive Cable Models of Whole-Cell Recorded CA3 Pyramidal Neurons in Rat Hippocampal Slices.” Journal of Neuroscience, vol. 14, no. 8, Society for Neuroscience, 1994, pp. 4613–38, doi:10.1523/JNEUROSCI.14-08-04613.1994.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3475 |
Koh, Duk, et al. “Na+-Activated K+ Channels Localized in the Nodal Region of Myelinated Axons of Xenopus.” Journal of Physiology, vol. 479, Wiley-Blackwell, 1994, pp. 183–97, doi:10.1113/jphysiol.1994.sp020287.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3477
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.” Neuron, vol. 12, no. 6, Elsevier, 1994, pp. 1281–89, doi:10.1016/0896-6273(94)90444-8.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Conference Paper | IST-REx-ID: 3550
Edelsbrunner, Herbert. “Modeling with Simplicial Complexes (Topology, Geometry and Algorithms).” Proceedings of the 6th Canadian Conference on Computational Geometry, 1994, pp. 36–44.
View
1994 | Journal Article | IST-REx-ID: 4039
Chazelle, Bernard, et al. “Ray Shooting in Polygons Using Geodesic Triangulations.” Algorithmica, vol. 12, no. 1, Springer, 1994, pp. 54–68, doi:10.1007/BF01377183.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4038
Chazelle, Bernard, et al. “Algorithms for Bichromatic Line-Segment Problems and Polyhedral Terrains.” Algorithmica, vol. 11, no. 2, Springer, 1994, pp. 116–32, doi:10.1007/BF01182771.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4037 |
Edelsbrunner, Herbert, and Ernst Mücke. “Three-Dimensional Alpha Shapes.” ACM Transactions on Graphics, vol. 13, no. 1, ACM, 1994, pp. 43–72, doi:10.1145/174462.156635.
View
| DOI
| Download None (ext.)
1994 | Book Review | IST-REx-ID: 3453
Von Kitzing, Eberhard, et al. “Quantal Analysis of Excitatory Postsynaptic Currents at the Hippocampal Mossy Fiber-CA3 Pyramidal Cell Synapse.” Molecular and Cellular Mechanisms of Neurotransmitter Release, vol. 29, Raven Press, 1994, pp. 235–60, doi:10.1016/0166-2236(95)90088-8.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3642 |
Turelli, Michael, and Nicholas H. Barton. “Genetic and Statistical Analyses of Strong Selection on Polygenic Traits: What, Me Normal?” Genetics, vol. 138, no. 3, Genetics Society of America, 1994, pp. 913–41, doi:10.1093/genetics/138.3.913.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1994 | Journal Article | IST-REx-ID: 3641
Barton, Nicholas H. “The Reduction in Fixation Probability Caused by Substitutions at Linked Loci.” Genetical Research, vol. 64, no. 3, Cambridge University Press, 1994, pp. 199–208, doi:10.1017/S0016672300032857 .
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4033
Chazelle, Bernard, et al. “Selecting Heavily Covered Points.” SIAM Journal on Computing, vol. 23, no. 6, SIAM, 1994, pp. 1138–51, doi:10.1137/S0097539790179919 .
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4032
Dey, Tamal, and Herbert Edelsbrunner. “Counting Triangle Crossings and Halving Planes.” Discrete & Computational Geometry, vol. 12, no. 1, Springer, 1994, pp. 281–89, doi:10.1007/BF02574381.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4179 |
Leingärtner, Axel, et al. “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, 1994, pp. 828–30, doi:10.1016/s0021-9258(17)42186-7.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4202
Heisenberg, Carl-Philipp J., et al. “NMDA Potentiates NGF-Induced Sprouting of Septal Cholinergic Fibres.” Neuroreport, vol. 5, no. 4, Lippincott, Williams & Wilkins, 1994, pp. 413–16, doi:10.1097/00001756-199401120-00010 .
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4420
Kapur, Arjun, et al. “Proving Safety Properties of Hybrid Systems.” 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.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4440
Henzinger, Thomas A., and Peter Kopke. “Verification Methods for the Divergent Runs of Clock Systems.” 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.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4501 |
Henzinger, Thomas A., et al. “Temporal Proof Methodologies for Timed Transition Systems.” Information and Computation, vol. 112, no. 2, Elsevier, 1994, pp. 273–337, doi:10.1006/inco.1994.1060.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4503
Henzinger, Thomas A., et al. “Symbolic Model Checking for Real-Time Systems.” Information and Computation, vol. 111, no. 2, Elsevier, 1994, pp. 193–244, doi:10.1006/inco.1994.1045.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4586
Alur, Rajeev, and Thomas A. Henzinger. “Finitary Fairness.” Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1994, pp. 52–61, doi:10.1109/LICS.1994.316087 .
View
| DOI
| Download None (ext.)
1994 | Book Chapter | IST-REx-ID: 4590
Alur, Rajeev, and Thomas A. Henzinger. “Real-Time System = Discrete System + Clock Variables.” 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.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 4591
Alur, Rajeev, and Thomas A. Henzinger. “A Really Temporal Logic.” Journal of the ACM, vol. 41, no. 1, ACM, 1994, pp. 181–204, doi:10.1145/174644.174651.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4614
Alur, Rajeev, et al. “The Observational Power of Clocks.” 5th International Conference on Concurrency Theory, vol. 836, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994, pp. 162–77, doi:10.1007/BFb0015008.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4615
Alur, Rajeev, et al. “A Determinizable Class of Timed Automata.” International Conference on Computer Aided Verification, vol. 818, Springer, 1994, pp. 1–13, doi:10.1007/3-540-58179-0_39.
View
| DOI
| Download None (ext.)
1994 | Conference Paper | IST-REx-ID: 4617
Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.” 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, vol. 199, Springer, 1994, pp. 331–51, doi:10.1007/BFb0033565.
View
| DOI
| Download None (ext.)
1994 | Journal Article | IST-REx-ID: 6167
Zarkower, David, et al. “Regulatory Rearrangements and Smg-Sensitive Allels of the C. Elegans Sex-Determining Gene Tra-1.” Developmental Genetics, vol. 15, no. 3, Wiley, 1994, pp. 240–50, doi:10.1002/dvg.1020150306.
View
| DOI
| PubMed | Europe PMC