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.

6311 Publications


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: 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: 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 | 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 | 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 | 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: 3550
Edelsbrunner, Herbert. “Modeling with Simplicial Complexes (Topology, Geometry and Algorithms),” 36–44. Unknown, 1994.
View | 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.)
 

1993 | Journal Article | IST-REx-ID: 2487
Ohishi, Hitoshi, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “ Distribution of the MRNA for a Metabotropic Glutamate Receptor (MGluR3) in the Rat Brain: An in Situ Hybridization Study.” Journal of Comparative Neurology. Wiley-Blackwell, 1993. https://doi.org/10.1002/cne.903350209.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2536
Nakajima, Yoshiaki, Hideki Iwakabe, Chihiro Akazawa, Hiroyuki Nawa, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Molecular Characterization of a Novel Retinal Metabotropic Glutamate Receptor MGluR6 with a High Agonist Selectivity for L-2-Amino-4- Phosphonobutyrate.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 1993.
View
 

1993 | Journal Article | IST-REx-ID: 2537
Tanabe, Yasuto, Akinori Nomura, Masayuki Masu, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Signal Transduction, Pharmacological Properties, and Expression Patterns of Two Rat Metabotropic Glutamate Receptors, MGluR3 and MGluR4.” Journal of Neuroscience. Society for Neuroscience, 1993.
View
 

1993 | Journal Article | IST-REx-ID: 2538
Iwai, Masazumi, Seiji Hori, Ryuichi Shigemoto, Hideharu Kanzaki, Takahide Mori, and Shigetada Nakanishi. “Localization of Endothelin Receptor Messenger Ribonucleic Acid in the Rat Ovary and Fallopian Tube by in Situ Hybridization.” Biology of Reproduction. Society for the Study of Reproduction, 1993.
View
 

1993 | Journal Article | IST-REx-ID: 2539
Ishii, Takahiro, Koki Moriyoshi, Hidemitsu Sugihara, Kazuhir Sakurada, Hiroshi Kadotani, Mineto Yokoi, Chihiro Akazawa, et al. “Molecular Characterization of the Family of the N-Methyl-D-Aspartate Receptor Subunits.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 1993.
View
 

1993 | Journal Article | IST-REx-ID: 2540
Ohishi, Hitoshi, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Distribution of the Messenger RNA for a Metabotropic Glutamate Receptor, MGluR2, in the Central Nervous System of the Rat.” Neuroscience. Elsevier, 1993. https://doi.org/10.1016/0306-4522(93)90485-X.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2541
Shigemoto, Ryuichi, Yoshifumi Nakaya, Sakashi Nomura, Reiko Ogawa Meguro, Hitoshi Ohishi, Takeshi Kaneko, Shigetada Nakanishi, and Noboru Mizuno. “Immunocytochemical Localization of Rat Substance P Receptor in the Striatum.” Neuroscience Letters. Elsevier, 1993. https://doi.org/10.1016/0304-3940(93)90311-8.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2542
Shigemoto, Ryuichi, Sakashi Nomura, Hitoshi Ohishi, Hidemitsu Sugihara, Shigetada Nakanishi, and Noboru Mizuno. “Immunohistochemical Localization of a Metabotropic Glutamate Receptor, MGluR5, in the Rat Brain.” Neuroscience Letters. Elsevier, 1993. https://doi.org/10.1016/0304-3940(93)90227-C.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2543
Hashimoto, Hitoshi, Takeshi Ishihara, Ryuichi Shigemoto, Kensaku Mori, and Shigekazu Nagata. “ Molecular Cloning and Tissue Distribution of a Receptor for Pituitary Adenylate Cyclase-Activating Polypeptide.” Neuron. Elsevier, 1993. https://doi.org/10.1016/0896-6273(93)90188-W.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2544
Hayashi, Yasunori, Akiko Momiyama, Tomoyuki Takahashi, Hitoshi Ohishi, Reiko Ogawa Meguro, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Role of a Metabotropic Glutamate Receptor in Synaptic Modulation in the Accessory Olfactory Bulb.” Nature. Nature Publishing Group, 1993. https://doi.org/10.1038/366687a0.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2546
Kaneko, Takeshi, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Substance P Receptor-Immunoreactive Neurons in the Rat Neostriatum Are Segregated into Somatostatinergic and Cholinergic Aspiny Neurons.” Brain Research. Elsevier, 1993. https://doi.org/10.1016/0006-8993(93)91548-7.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 2723
Erdös, László. “Ground-State Density of the Pauli Operator in the Large Field Limit.” Letters in Mathematical Physics. Springer, 1993. https://doi.org/10.1007/BF00761110.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1947
Sazanov, Leonid A, and Julie Jackson. “Activation and Inhibition of Mitochondrial Transhydrogenase by Metal Ions.” Biochimica et Biophysica Acta - Bioenergetics. Elsevier, 1993. https://doi.org/10.1016/0005-2728(93)90177-H.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 1948
Sazanov, Leonid A, and Julie Jackson. “Possible Functions of the NADP-Linked Isocitrate Dehydrogenase and H+ -Transhydrogenase in Heart Mitochondria .” Biochemical Society Transactions. Portland Press, 1993.
View
 

1993 | Journal Article | IST-REx-ID: 1950
Jackson, Julie, N P J Cotton, Ross Williams, Tania Bizouarn, Mike Hutton, Leonid A Sazanov, and Christopher Thomas. “Proton-Translocating Transhydrogenase in Bacteria.” Biochemical Society Transactions. Portland Press, 1993.
View
 

1993 | Conference Paper | IST-REx-ID: 4616
Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems,” 2–11. IEEE, 1993. https://doi.org/10.1109/REAL.1993.393520 .
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4618
Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, and Pei Ho. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.” In Hybrid Systems, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:209–29. Springer, 1993. https://doi.org/10.1007/3-540-57318-6_30.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4619
Alur, Rajeev, Thomas A Henzinger, and Moshe Vardi. “Parametric Real-Time Reasoning,” 592–601. ACM, 1993. https://doi.org/10.1145/167088.167242.
View | DOI
 

1993 | Conference Paper | IST-REx-ID: 4620
Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated Delays in Real-Time Systems,” 697:181–93. Springer, 1993. https://doi.org/10.1007/3-540-56922-7_16.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4036
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, Micha Sharir, and Jack Snoeyink. “Computing a Face in an Arrangement of Line Segments and Related Problems.” SIAM Journal on Computing. SIAM, 1993. https://doi.org/10.1137/0222077 .
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4040
Edelsbrunner, Herbert, and Tiow Tan. “An Upper Bound for Conforming Delaunay Triangulations.” Discrete & Computational Geometry. Springer, 1993. https://doi.org/10.1007/BF02573974.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4041
Edelsbrunner, Herbert, Raimund Seidel, and Micha Sharir. “On the Zone Theorem for Hyperplane Arrangements.” SIAM Journal on Computing. SIAM, 1993. https://doi.org/10.1137/0222031.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4042
Edelsbrunner, Herbert, and Tiow Tan. “A Quadratic Time Algorithm for the Minmax Length Triangulation.” SIAM Journal on Computing. SIAM, 1993. https://doi.org/10.1137/0222036 .
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4044
Bern, Marshall, Herbert Edelsbrunner, David Eppstein, Stephen Mitchell, and Tiow Tan. “Edge Insertion for Optimal Triangulations.” Discrete & Computational Geometry. Springer, 1993. https://doi.org/10.1007/BF02573962.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4045
Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, and Micha Sharir. “Diameter, Width, Closest Line Pair, and Parametric Searching.” Discrete & Computational Geometry. Springer, 1993. https://doi.org/10.1007/BF02573973.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4175
Lindholm, Dan, Georg Dechant, Carl-Philipp J Heisenberg, and Hans Thoenen. “Brain-Derived Neurotrophic Factor Is a Survival Factor for Cultured Rat Cerebellar Granule Neurons and Protects Them against Glutamate-Induced Neurotoxicity.” European Journal of Neuroscience. Wiley-Blackwell, 1993. https://doi.org/10.1111/j.1460-9568.1993.tb00213.x.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4177
Lindholm, Dan, Eero Castrén, Pantelis Tsoulfas, Roland Kolbeck, Maria Berzaghi, Axel Leingärtner, Carl-Philipp J Heisenberg, Lino Tesarollo, Luis Parada, and Hans Thoenen. “Neurotrophin-3 Induced by Tri-Iodothyronine in Cerebellar Granule Cells Promotes Purkinje Cell Differentiation.” Journal of Cell Biology. Rockefeller University Press, 1993. https://doi.org/10.1083/jcb.122.2.443.
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4300
Partridge, Linda, and Nicholas H Barton. “Optimality, Mutation and the Evolution of Ageing.” Nature. Nature Publishing Group, 1993. https://doi.org/10.1038/362305a0.
View | DOI
 

1993 | Book Chapter | IST-REx-ID: 4301
Barton, Nicholas H, and Katherine Gale. “Genetic Analysis of Hybrid Zones.” In Hybrid Zones and the Evolutionary Process, edited by Richard Harrison, 13–45. Oxford University Press, 1993.
View
 

1993 | Book Review | IST-REx-ID: 4302
Barton, Nicholas H. “Review of "The Causes of Molecular Evolution" by J.H. Gillespie.” Genetical Research. Cambridge University Press, 1993. https://doi.org/10.1017/S001667230003158X .
View | DOI
 

1993 | Journal Article | IST-REx-ID: 4303
Barton, Nicholas H. “The Probability of Fixation of a Favoured Allele in a Subdivided Population.” Genetical Research. Cambridge University Press, 1993. https://doi.org/10.1017/S0016672300031748.
View | DOI
 

1993 | Book Review | IST-REx-ID: 4304
Barton, Nicholas H. “Why Species and Subspecies?” Current Biology. Cell Press, 1993. https://doi.org/10.1016/0960-9822(93)90036-N.
View | DOI
 

Search

Filter Publications