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.

6113 Publications


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

1995 | Conference Paper | IST-REx-ID: 4497
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “A User Guide to HyTech,” 1019:41–71. Springer, 1995. https://doi.org/10.1007/3-540-60630-0_3.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4498
Henzinger, Monika, Thomas A Henzinger, and Peter Kopke. “Computing Simulations on Finite and Infinite Graphs,” 453–62. IEEE, 1995. https://doi.org/10.1109/SFCS.1995.492576.
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4499
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: The next Generation,” 56–65. IEEE, 1995. https://doi.org/10.1109/REAL.1995.495196 .
View | DOI
 

1995 | Conference Paper | IST-REx-ID: 4500
Henzinger, Thomas A, Peter Kopke, and Howard Wong Toi. “The Expressive Power of Clocks,” 944:417–28. Springer, 1995. https://doi.org/10.1007/3-540-60084-1_93.
View | DOI
 

1995 | Journal Article | IST-REx-ID: 6162
Bono, Mario de, D. Zarkower, and J. Hodgkin. “Dominant Feminizing Mutations Implicate Protein-Protein Interactions as the Main Mode of Regulation of the Nematode Sex-Determining Gene Tra-1.” Genes and Development. CSH Press, 1995. https://doi.org/10.1101/gad.9.2.155.
View | DOI | PubMed | Europe PMC
 

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. Elsevier, 1994. https://doi.org/10.1016/0014-5793(94)00370-X.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 1953
Efanov, Alexander, Aleksei Koshkin, Leonid A Sazanov, O I Borodulina, Sergei Varfolomeev, and Sergei Zaǐtsev. “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. Elsevier, 1994. https://doi.org/10.1016/0014-5793(94)01109-5.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2488
Kaneko, Takeshi, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Morphological and Chemical Characteristics of Substance P Receptor Immunoreactive Neurons in the Rat Neocortex.” Neuroscience. Elsevier, 1994. https://doi.org/10.1016/0306-4522(94)90215-1.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2489
Akazawa, Chihiro, Ryuichi Shigemoto, Yasumasa Bessho, Shigetada Nakanishi, and Noboru Mizuno. “Differential Expression of Five N-Methyl-D-Aspartate Receptor Subunit MRNAs in the Cerebellum of Developing and Adult Rats.” Journal of Comparative Neurology. Wiley-Blackwell, 1994. https://doi.org/10.1002/cne.903470112.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2490
Sugimoto, Yukihiko, Ryuichi Shigemoto, Tsunehisa Namba, Manabu Negishi, Noboru Mizuno, Shuh Narumiya, and Atsushi Ichikawa. “Distribution of the Messenger Rna for the Prostaglandin e Receptor Subtype Ep3 in the Mouse Nervous System.” Neuroscience. Elsevier, 1994. https://doi.org/10.1016/0306-4522(94)90483-9.
View | DOI
 

1994 | Book Review | IST-REx-ID: 2545
Nakanishi, Shigetada, Masayuki Masu, Yasumasa Bessho, Yoshiaki Nakajima, Yasunori Hayashi, and Ryuichi Shigemoto. “Molecular Diversity of Glutamate Receptors and Their Physiological Functions.” Experientia Supplementum. Birkhäuser, 1994. https://doi.org/10.1007/978-3-0348-7330-7_8.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2547
Sugimoto, Yukihiko, T Hamba, Ryuichi Shigemoto, Manabu Negishi, Atsushi Ichikawa, and Shuh Narumiya. “Distinct Cellular Localization of MRNAs for Three Subtypes of Prostaglandin E Receptor in Kidney.” American Journal of Physiology. American Physiological Society, 1994.
View
 

1994 | Conference Paper | IST-REx-ID: 2548
Hirano, Tomoo, Keizo Kasono, Ryuichi Shigemoto, and Shigetada Nakanishi. “Induction Mechanism of Long Term Depression in Cultured Purkinje Neurons,” 15:79–81. Biomedical Research Foundation, 1994.
View
 

1994 | Journal Article | IST-REx-ID: 2549
Nakaya, Yoshifumi, Takeshi Kaneko, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Immunohistochemical Localization of Substance P Receptor in the Central Nervous System of the Adult Rat.” Journal of Comparative Neurology. Wiley-Blackwell, 1994. https://doi.org/10.1002/cne.903470208.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2550
Okamoto, Naoyuki, Seiji Hori, Chihiro Akazawa, Yasunori Hayashi, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Molecular Characterization of a New Metabotropic Glutamate Receptor MGluR7 Coupled to Inhibitory Cyclic AMP Signal Transduction.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 1994.
View
 

1994 | Journal Article | IST-REx-ID: 2551
Akazawa, Chihiro, Hitoshi Ohishi, Yoshiaki Nakajima, Naoyuki Okamoto, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Expression of MRNAs of L-AP4-Sensitive Metabotropic Glutamate Receptors (MGluR4, MGluR6, MGluR7) in the Rat Retina.” Neuroscience Letters. Elsevier, 1994. https://doi.org/10.1016/0304-3940(94)90602-5.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2552
Ogawa Meguro, Reiko, Ryuichi Shigemoto, Kazuo Itoh, Akira Konishi, and Noboru Mizuno. “Immunohistochemical Localization of Substance P Receptor in the Superior Colliculus. A Light and Electron Microscope Study in the Rat.” Neuroscience Letters. Elsevier, 1994. https://doi.org/10.1016/0304-3940(94)90469-3.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2553
Sugimoto, Yukihiko, Tsunehisa Namba, Ryuichi Shigemoto, Manabu Negishi, Atsushi Ichikawa, and Shuh Narumiya. “Distinct Cellular Localization of MRNAs for Three Subtypes of Prostaglandin E Receptor in Kidney.” American Journal of Physiology. American Physiological Society, 1994.
View
 

1994 | Journal Article | IST-REx-ID: 2554
Nomura, Akinori, Ryuichi Shigemoto, Yasuhisa Nakamura, Naoyuki Okamoto, Noboru Mizuno, and Shigetada Nakanishi. “Developmentally Regulated Postsynaptic Localization of a Metabotropic Glutamate Receptor in Rat Rod Bipolar Cells.” Cell. Cell Press, 1994. https://doi.org/10.1016/0092-8674(94)90151-1.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2555
Shigemoto, Ryuichi, Takaaki Abe, Sakashi Nomura, Shigetada Nakanishi, and Tomoo Hirano. “Antibodies Inactivating MGluR1 Metabotropic Glutamate Receptor Block Long-Term Depression in Cultured Purkinje Cells.” Neuron. Elsevier, 1994. https://doi.org/10.1016/0896-6273(94)90441-3.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 2557
Ohishi, Hitoshi, Reiko Ogawa Meguro, Ryuichi Shigemoto, Takeshi Kaneko, Shigetada Nakanishi, and Noboru Mizuno. “Immunohistochemical Localization of Metabotropic Glutamate Receptors, MGluR2 and MGluR3, in Rat Cerebellar Cortex.” Neuron. Elsevier, 1994. https://doi.org/10.1016/0896-6273(94)90459-6.
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. Duke University Press, 1994. https://doi.org/10.1215/S0012-7094-94-07619-9.
View | DOI
 

1994 | Book Chapter | IST-REx-ID: 3453
Von Kitzing, Eberhard, Peter M Jonas, and Bert Sakmann. “Quantal Analysis of Excitatory Postsynaptic Currents at the Hippocampal Mossy Fiber-CA3 Pyramidal Cell Synapse.” In Molecular and Cellular Mechanisms of Neurotransmitter Release, edited by Lennart Stjärne, Paul Greengard, Sten Grillner, Tomas Hökfelt, and David Ottoson, 29:235–60. Raven Press, 1994. https://doi.org/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. Elsevier, 1994. https://doi.org/10.1016/0959-4388(94)90098-1.
View | DOI
 

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

1994 | Journal Article | IST-REx-ID: 3475 | OA
Koh, Duk, Peter M Jonas, and Werner Vogel. “Na+-Activated K+ Channels Localized in the Nodal Region of Myelinated Axons of Xenopus.” Journal of Physiology. Wiley-Blackwell, 1994. https://doi.org/10.1113/jphysiol.1994.sp020287.
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 3476
Major, Guy, Alan Larkman, Peter M Jonas, Bert Sakmann, and Julian Jack. “Detailed Passive Cable Models of Whole-Cell Recorded CA3 Pyramidal Neurons in Rat Hippocampal Slices.” Journal of Neuroscience. Society for Neuroscience, 1994.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 3477
Jonas, Peter M, Claudia Racca, Bert Sakmann, Peter Seeburg, and Hannah Monyer. “Differences in Ca(2+) Permeability of AMPA-Type Glutamate Receptor Channels in Neocortical Neurons Caused by Differential GluR-B Subunit Expression.” Neuron. Elsevier, 1994. https://doi.org/10.1016/0896-6273(94)90444-8.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4614
Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “The Observational Power of Clocks,” 836:162–77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994. https://doi.org/10.1007/BFb0015008.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4615
Alur, Rajeev, Limor Fix, and Thomas A Henzinger. “A Determinizable Class of Timed Automata,” 818:1–13. Springer, 1994. https://doi.org/10.1007/3-540-58179-0_39.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4617
Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems,” 199:331–51. Springer, 1994. https://doi.org/10.1007/BFb0033565.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4586
Alur, Rajeev, and Thomas A Henzinger. “Finitary Fairness,” 52–61. IEEE, 1994. https://doi.org/10.1109/LICS.1994.316087 .
View | DOI
 

1994 | Book Chapter | IST-REx-ID: 4590
Alur, Rajeev, and Thomas A Henzinger. “Real-Time System = Discrete System + Clock Variables.” In Theories and Experiences for Real-Time System Development, edited by Teodor Rus and Charles Rattray, 2:1–29. World Scientific Publishing, 1994.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4591
Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.” Journal of the ACM. ACM, 1994. https://doi.org/10.1145/174644.174651.
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 3641
Barton, Nicholas H. “The Reduction in Fixation Probability Caused by Substitutions at Linked Loci.” Genetical Research. Cambridge University Press, 1994. https://doi.org/10.1017/S0016672300032857 .
View | DOI
 

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. Genetics Society of America, 1994.
View | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4032
Dey, Tamal, and Herbert Edelsbrunner. “Counting Triangle Crossings and Halving Planes.” Discrete & Computational Geometry. Springer, 1994. https://doi.org/10.1007/BF02574381.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4033
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, John Hershberger, Raimund Seidel, and Micha Sharir. “Selecting Heavily Covered Points.” SIAM Journal on Computing. SIAM, 1994. https://doi.org/10.1137/S0097539790179919 .
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4037
Edelsbrunner, Herbert, and Ernst Mücke. “Three-Dimensional Alpha Shapes.” ACM Transactions on Graphics. ACM, 1994. https://doi.org/10.1145/174462.156635.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4038
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, and Micha Sharir. “Algorithms for Bichromatic Line-Segment Problems and Polyhedral Terrains.” Algorithmica. Springer, 1994. https://doi.org/10.1007/BF01182771.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4039
Chazelle, Bernard, Herbert Edelsbrunner, Michelangelo Grigni, Leonidas Guibas, John Hershberger, Micha Sharir, and Jack Snoeyink. “Ray Shooting in Polygons Using Geodesic Triangulations.” Algorithmica. Springer, 1994. https://doi.org/10.1007/BF01377183.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 4179
Leingärtner, Axel, Carl-Philipp J Heisenberg, Roland Kolbeck, Hans Thoenen, and Dan Lindholm. “Brain-Derived Neurotrophic Factor Increases Neurotrophin-3 Expression in Cerebellar Granule Neurons.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 1994.
View
 

1994 | Journal Article | IST-REx-ID: 4202
Heisenberg, Carl-Philipp J, John Cooper, J Berke, and Michael Sofroniew. “NMDA Potentiates NGF-Induced Sprouting of Septal Cholinergic Fibres.” Neuroreport. Lippincott, Williams & Wilkins, 1994.
View
 

1994 | Journal Article | IST-REx-ID: 4299
Partridge, Linda, and Nicholas H Barton. “Evolution of Aging: Testing the Theory Using Drosophila.” Genetica. Springer, 1994. https://doi.org/10.1007/BF01435990.
View | DOI
 

1994 | Conference Paper | IST-REx-ID: 4420
Kapur, Arjun, Thomas A Henzinger, Zohar Manna, and Amir Pnueli. “Proving Safety Properties of Hybrid Systems,” 863:431–54. Springer, 1994. https://doi.org/10.1007/3-540-58468-4_177.
View | DOI
 

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

1994 | Journal Article | IST-REx-ID: 4503
Henzinger, Thomas A, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. “Symbolic Model Checking for Real-Time Systems.” Information and Computation. Elsevier, 1994. https://doi.org/10.1006/inco.1994.1045.
View | DOI | Download (ext.)
 

1994 | Journal Article | IST-REx-ID: 4501
Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Temporal Proof Methodologies for Timed Transition Systems.” Information and Computation. Elsevier, 1994. https://doi.org/10.1006/inco.1994.1060.
View | DOI
 

1994 | Journal Article | IST-REx-ID: 6167
Zarkower, David, Mario de Bono, Rachel Aronoff, and Jonathan Hodgkin. “Regulatory Rearrangements and Smg-Sensitive Allels of the C. Elegans Sex-Determining Gene Tra-1.” Developmental Genetics. Wiley, 1994. https://doi.org/10.1002/dvg.1020150306.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications