Henzinger, Monika H. “Fully Dynamic Cycle-Equivalence in Graphs.”https://doi.org/10.1109/sfcs.1994.365718__In 35th Annual Symposium on Foundations of Computer Science, 744–55. Institute of Electrical and Electronics Engineers, 1994.https://doi.org/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.”https://doi.org/10.1016/0014-5793(94)00370-X__FEBS Letters. Elsevier, 1994.https://doi.org/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, Aleksei Koshkin, Leonid A Sazanov, O I Borodulina, Sergei Varfolomeev, and Sergei Za0tsev. “Inhibition of the Respiratory Burst in Mouse Macrophages by Ultra-Low Doses of an Opioid Peptide Is Consistent with a Possible Adaptation Mechanism.”https://doi.org/10.1016/0014-5793(94)01109-5__FEBS Letters. Elsevier, 1994.https://doi.org/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, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Morphological and Chemical Characteristics of Substance P Receptor Immunoreactive Neurons in the Rat Neocortex.”https://doi.org/10.1016/0306-4522(94)90215-1__Neuroscience. Elsevier, 1994.https://doi.org/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, 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.”https://doi.org/10.1002/cne.903470112__Journal of Comparative Neurology. Wiley-Blackwell, 1994.https://doi.org/10.1002/cne.903470112 .
LibreCat: https://research-explorer.ista.ac.at/record/2489
DOI: 10.1002/cne.903470112
PMID: 7798379

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 E in the Mouse Nervous System.”https://doi.org/10.1016/0306-4522(94)90483-9__Neuroscience. Elsevier, 1994.https://doi.org/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, Masayuki Masu, Yasumasa Bessho, Yoshiaki Nakajima, Yasunori Hayashi, and Ryuichi Shigemoto. “Molecular Diversity of Glutamate Receptors and Their Physiological Functions.”https://doi.org/10.1007/978-3-0348-7330-7_8__In Experientia Supplementum, 71:71–80. Birkhäuser, 1994.https://doi.org/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, Takeshi Kaneko, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Immunohistochemical Localization of Substance P Receptor in the Central Nervous System of the Adult Rat.”https://doi.org/10.1002/cne.903470208__Journal of Comparative Neurology. Wiley-Blackwell, 1994.https://doi.org/10.1002/cne.903470208 .
LibreCat: https://research-explorer.ista.ac.at/record/2549
DOI: 10.1002/cne.903470208
PMID: 7814667

Okamoto, Naoyuki, Seiji Hori, Chihiro Akazawa, Yasunori Hayashi, Ryuichi Shigemoto, Noboru Mizuno, and Shigetada Nakanishi. “Molecular Characterization of a New Metabotropic Glutamate Receptor MGlu Coupled to Inhibitory Cyclic AMP Signal Transduction.”https://doi.org/10.1016/S0021-9258(17)42247-2__Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 1994.https://doi.org/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, 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.”https://doi.org/10.1152/ajprenal.1994.266.5.F823__American Journal of Physiology. American Physiological Society, 1994.https://doi.org/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, 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.”https://doi.org/10.1016/0304-3940(94)90469-3__Neuroscience Letters. Elsevier, 1994.https://doi.org/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, Hitoshi Ohishi, Yoshiaki Nakajima, Naoyuki Okamoto, Ryuichi Shigemoto, Shigetada Nakanishi, and Noboru Mizuno. “Expression of MRNAs of L-A-Sensitive Metabotropic Glutamate Receptors (MGlu, MGlu, MGlu) in the Rat Retina.”https://doi.org/10.1016/0304-3940(94)90602-5__Neuroscience Letters. Elsevier, 1994.https://doi.org/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, Keizo Kasono, Ryuichi Shigemoto, and Shigetada Nakanishi. “Induction Mechanism of Long Term Depression in Cultured Purkinje Neurons,” 15:79–81. Biomedical Research Foundation, 1994.
LibreCat: https://research-explorer.ista.ac.at/record/2548

Shigemoto, Ryuichi, Takaaki Abe, Sakashi Nomura, Shigetada Nakanishi, and Tomoo Hirano. “Antibodies Inactivating MGlu Metabotropic Glutamate Receptor Block Long-Term Depression in Cultured Purkinje Cells.”https://doi.org/10.1016/0896-6273(94)90441-3__Neuron. Elsevier, 1994.https://doi.org/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, 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.”https://doi.org/10.1016/0092-8674(94)90151-1__Cell. Cell Press, 1994.https://doi.org/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, Reiko Ogawa Meguro, Ryuichi Shigemoto, Takeshi Kaneko, Shigetada Nakanishi, and Noboru Mizuno. “Immunohistochemical Localization of Metabotropic Glutamate Receptors, MGlu and MGlu, in Rat Cerebellar Cortex.”https://doi.org/10.1016/0896-6273(94)90459-6__Neuron. Elsevier, 1994.https://doi.org/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.”https://doi.org/10.1215/S0012-7094-94-07619-9__Duke Mathematical Journal. Duke University Press, 1994.https://doi.org/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.”https://doi.org/10.1016/0959-4388(94)90098-1__Current Opinion in Neurobiology. Elsevier, 1994.https://doi.org/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, Alan Larkman, Peter M Jonas, Bert Sakmann, and Julian Jack. “Detailed Passive Cable Models of Whole-Cell Recorded C Pyramidal Neurons in Rat Hippocampal Slices.”https://doi.org/10.1523/JNEUROSCI.14-08-04613.1994__Journal of Neuroscience. Society for Neuroscience, 1994.https://doi.org/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, Peter M Jonas, and Werner Vogel. “Na+-Activated K+ Channels Localized in the Nodal Region of Myelinated Axons of Xenopus.”https://doi.org/10.1113/jphysiol.1994.sp020287__Journal of Physiology. Wiley-Blackwell, 1994.https://doi.org/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, 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.”https://doi.org/10.1016/0896-6273(94)90444-8__Neuron. Elsevier, 1994.https://doi.org/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).” In Proceedings of the 6th Canadian Conference on Computational Geometry, 36–44, 1994.
LibreCat: https://research-explorer.ista.ac.at/record/3550

Chazelle, Bernard, Herbert Edelsbrunner, Michelangelo Grigni, Leonidas Guibas, John Hershberger, Micha Sharir, and Jack Snoeyink. “Ray Shooting in Polygons Using Geodesic Triangulations.”https://doi.org/10.1007/BF01377183__Algorithmica. Springer, 1994.https://doi.org/10.1007/BF01377183 .
LibreCat: https://research-explorer.ista.ac.at/record/4039
DOI: 10.1007/BF01377183

Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, and Micha Sharir. “Algorithms for Bichromatic Line-Segment Problems and Polyhedral Terrains.”https://doi.org/10.1007/BF01182771__Algorithmica. Springer, 1994.https://doi.org/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.”https://doi.org/10.1145/174462.156635__ACM Transactions on Graphics. ACM, 1994.https://doi.org/10.1145/174462.156635 .
LibreCat: https://research-explorer.ista.ac.at/record/4037
DOI: 10.1145/174462.156635

Von Kitzing, Eberhard, Peter M Jonas, and Bert Sakmann. “Quantal Analysis of Excitatory Postsynaptic Currents at the Hippocampal Mossy Fiber-C Pyramidal Cell Synapse.”https://doi.org/10.1016/0166-2236(95)90088-8__Molecular and Cellular Mechanisms of Neurotransmitter Release. Raven Press, 1994.https://doi.org/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?”https://doi.org/10.1093/genetics/138.3.913__Genetics. Genetics Society of America, 1994.https://doi.org/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.”https://doi.org/10.1017/S0016672300032857 __Genetical Research. Cambridge University Press, 1994.https://doi.org/10.1017/S0016672300032857  .
LibreCat: https://research-explorer.ista.ac.at/record/3641
DOI: 10.1017/S0016672300032857 

Chazelle, Bernard, Herbert Edelsbrunner, Leonidas Guibas, John Hershberger, Raimund Seidel, and Micha Sharir. “Selecting Heavily Covered Points.”https://doi.org/10.1137/S0097539790179919 __SIAM Journal on Computing. SIAM, 1994.https://doi.org/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.”https://doi.org/10.1007/BF02574381__Discrete &; Computational Geometry. Springer, 1994.https://doi.org/10.1007/BF02574381 .
LibreCat: https://research-explorer.ista.ac.at/record/4032
DOI: 10.1007/BF02574381

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.”https://doi.org/10.1016/s0021-9258(17)42186-7__Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 1994.https://doi.org/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, John Cooper, J Berke, and Michael Sofroniew. “NMDA Potentiates NGF-Induced Sprouting of Septal Cholinergic Fibres.”https://doi.org/10.1097/00001756-199401120-00010 __Neuroreport. Lippincott, Williams &; Wilkins, 1994.https://doi.org/10.1097/00001756-199401120-00010  .
LibreCat: https://research-explorer.ista.ac.at/record/4202
DOI: 10.1097/00001756-199401120-00010 

Kapur, Arjun, Thomas A Henzinger, Zohar Manna, and Amir Pnueli. “Proving Safety Properties of Hybrid Systems.”https://doi.org/10.1007/3-540-58468-4_177__In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 863:431–54. Springer, 1994.https://doi.org/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.”https://doi.org/10.1007/3-540-58468-4_173__In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 863:351–72. Springer, 1994.https://doi.org/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, Zohar Manna, and Amir Pnueli. “Temporal Proof Methodologies for Timed Transition Systems.”https://doi.org/10.1006/inco.1994.1060__Information and Computation. Elsevier, 1994.https://doi.org/10.1006/inco.1994.1060 .
LibreCat: https://research-explorer.ista.ac.at/record/4501
DOI: 10.1006/inco.1994.1060

Henzinger, Thomas A, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. “Symbolic Model Checking for Real-Time Systems.”https://doi.org/10.1006/inco.1994.1045__Information and Computation. Elsevier, 1994.https://doi.org/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.”https://doi.org/10.1109/LICS.1994.316087 __In Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, 52–61. IEEE, 1994.https://doi.org/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.”https://doi.org/10.1142/9789812831583_0001__In Theories and Experiences for Real-Time System Development, edited by Teodor Rus and Charles Rattray, 2:1–29. AMAST Series in Computing. World Scientific Publishing, 1994.https://doi.org/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.”https://doi.org/10.1145/174644.174651__Journal of the ACM. ACM, 1994.https://doi.org/10.1145/174644.174651 .
LibreCat: https://research-explorer.ista.ac.at/record/4591
DOI: 10.1145/174644.174651

Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “The Observational Power of Clocks.”https://doi.org/10.1007/BFb0015008__In 5th International Conference on Concurrency Theory, 836:162–77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994.https://doi.org/10.1007/BFb0015008 .
LibreCat: https://research-explorer.ista.ac.at/record/4614
DOI: 10.1007/BFb0015008

Alur, Rajeev, Limor Fix, and Thomas A Henzinger. “A Determinizable Class of Timed Automata.”https://doi.org/10.1007/3-540-58179-0_39__In International Conference on Computer Aided Verification, 818:1–13. Springer, 1994.https://doi.org/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, Costas Courcoubetis, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems.”https://doi.org/10.1007/BFb0033565__In 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, 199:331–51. Springer, 1994.https://doi.org/10.1007/BFb0033565 .
LibreCat: https://research-explorer.ista.ac.at/record/4617
DOI: 10.1007/BFb0033565

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.”https://doi.org/10.1002/dvg.1020150306__Developmental Genetics. Wiley, 1994.https://doi.org/10.1002/dvg.1020150306 .
LibreCat: https://research-explorer.ista.ac.at/record/6167
DOI: 10.1002/dvg.1020150306
PMID: 7520378