Please note that IST 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.

5625 Publications


1995 | Journal Article | IST-REx-ID: 2559
Masu, Masayuki, et al. “Specific Deficit of the ON Response in Visual Transmission by Targeted Disruption of the MGIuR6 Gene.” Cell, vol. 80, no. 5, Cell Press, 1995, pp. 757–65, doi:10.1016/0092-8674(95)90354-2.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2561
Ohishi, Hitoshi, et al. “Presynaptic Localization of a Metabotropic Glutamate Receptor, MGluR7, in the Primary Afferent Neurons: An Immunohistochemical Study in the Rat.” Neuroscience Letters, vol. 202, no. 1–2, Elsevier, 1995, pp. 85–88, doi:10.1016/0304-3940(95)12207-9.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 2465
Morris, David, et al. “Auxin Transport.” Plant Hormones: Biosynthesis, Signal Transduction, Action!, edited by Peter Davies, Kluwer, 1995, pp. 451–84, doi:10.1007/978-1-4020-2686-7_21.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 2491
Ohishi, Hitoshi, et al. “Distributions of the MRNAs for L-2-Amino-4-Phosphonobutyrate-Sensitive Metabotropic Glutamate Receptors, MGluR4 and MGluR7, in the Rat Brain.” Journal of Comparative Neurology, vol. 360, no. 4, Wiley-Blackwell, 1995, pp. 555–70, doi:10.1002/cne.903600402.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 3639
Barton, Nicholas H. “A General Model for the Evolution of Recombination.” Genetical Research, vol. 65, no. 2, Cambridge University Press, 1995, pp. 123–44, doi:10.1017/S0016672300033140.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 3552
Akkiraju, Nataraj, et al. Alpha Shapes: Definition and Software. Elsevier, 1995, pp. 63–66.
View | Download (ext.)
 

1995 | Journal Article | IST-REx-ID: 4029
Delfinado, Cecil, and Herbert Edelsbrunner. “An Incremental Algorithm for Betti Numbers of Simplicial Complexes on the 3-Sphere.” Computer Aided Geometric Design, vol. 12, no. 7, Elsevier, 1995, pp. 771–84, doi:10.1016/0167-8396(95)00016-Y.
View | DOI
 

1995 | Thesis | IST-REx-ID: 4428
Ho, Pei. Automatic Analysis of Hybrid Systems. Cornell University, 1995, pp. 1–188, doi:CSD-TR95-1536.
View | DOI
 

1995 | Book Chapter | IST-REx-ID: 4447
Henzinger, Thomas A., and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.” Hybrid Systems II, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 265–93, doi:10.1007/3-540-60472-3_14.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4497
Henzinger, Thomas A., et al. A User Guide to HyTech. Vol. 1019, Springer, 1995, pp. 41–71, doi:10.1007/3-540-60630-0_3.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
Henzinger, Thomas A., et al. The Expressive Power of Clocks. Vol. 944, Springer, 1995, pp. 417–28, doi:10.1007/3-540-60084-1_93.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4613
Alur, Rajeev, et al. “The Algorithmic Analysis of Hybrid Systems.” Theoretical Computer Science, vol. 138, no. 1, Elsevier, 1995, pp. 3–34, doi:10.1016/0304-3975(94)00202-T.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 4296
Partridge, Linda, et al. “Rapid Laboratory Evolution of Adult Life History Traits in Drosophila Melanogaster in Response to Temperature.” Evolution; International Journal of Organic Evolution, vol. 49, no. 3, Wiley-Blackwell, 1995, pp. 538–44.
View | Download (ext.)
 

1995 | Book Chapter | IST-REx-ID: 4448
Henzinger, Thomas A., and Pei Ho. “A Note on Abstract-Interpretation Strategies for Hybrid Automata.” Hybrid Systems II, edited by Antsaklis Panos et al., vol. 999, Springer, 1995, pp. 252–64, doi:10.1007/3-540-60472-3_13.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4450
Henzinger, Thomas A., and Pei Ho. Algorithmic Analysis of Nonlinear Hybrid Systems. Vol. 939, Springer, 1995, pp. 225–38, doi:10.1007/3-540-60045-0_53.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4587
Alur, Rajeev, and Thomas A. Henzinger. Local Liveness for Compositional Modeling of Fair Reactive Systems. Vol. 939, Springer, 1995, pp. 166–79, doi:10.1007/3-540-60045-0_49.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
Henzinger, Monika, et al. Computing Simulations on Finite and Infinite Graphs. IEEE, 1995, pp. 453–62, doi:10.1109/SFCS.1995.492576.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4518
Henzinger, Thomas A. Hybrid Automata with Finite Bisimulations. Vol. 944, Springer, 1995, pp. 324–35, doi:0.1007/3-540-60084-1_85.
View | DOI
 

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
 

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
 

1994 | Book Chapter | 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, edited by Lennart Stjärne et al., vol. 29, Raven Press, 1994, pp. 235–60, doi:10.1016/0166-2236(95)90088-8.
View | DOI
 

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
 

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
 

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
 

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
 

1994 | Conference Paper | IST-REx-ID: 4420
Kapur, Arjun, et al. Proving Safety Properties of Hybrid Systems. Vol. 863, Springer, 1994, pp. 431–54, doi:10.1007/3-540-58468-4_177.
View | DOI
 

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.
View | Download (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4615
Alur, Rajeev, et al. A Determinizable Class of Timed Automata. Vol. 818, Springer, 1994, pp. 1–13, doi:10.1007/3-540-58179-0_39.
View | DOI
 

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.
View | DOI
 

1994 | Book Review | 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
 

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
 

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
 

1994 | Conference Paper | IST-REx-ID: 3550
Edelsbrunner, Herbert. Modeling with Simplicial Complexes (Topology, Geometry and Algorithms). Unknown, 1994, pp. 36–44.
View | Download (ext.)
 

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
 

1994 | Conference Paper | IST-REx-ID: 4440
Henzinger, Thomas A., and Peter Kopke. Verification Methods for the Divergent Runs of Clock Systems. Vol. 863, Springer, 1994, pp. 351–72, doi:10.1007/3-540-58468-4_173.
View | DOI
 

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 (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 (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
 

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
 

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
 

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

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

1994 | Journal Article | IST-REx-ID: 4299
Partridge, Linda, and Nicholas H. Barton. “Evolution of Aging: Testing the Theory Using Drosophila.” Genetica, vol. 91, no. 1–3, Springer, 1994, pp. 89–98, doi:10.1007/BF01435990.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4617
Alur, Rajeev, et al. The Algorithmic Analysis of Hybrid Systems. Vol. 199, Springer, 1994, pp. 331–51, doi:10.1007/BFb0033565.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2547
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 part 2, American Physiological Society, 1994, pp. F823–28.
View
 

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
 

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
 

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
 

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
 

1994 | Journal Article | IST-REx-ID: 3475   OA
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.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed