Henzinger, Thomas A., and Peter Kopke. “Verification Methods for the Divergent Runs of Clock Systems.”10.1007/3-540-58468-4_173__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.
LibreCat: https://research-explorer.ista.ac.at/record/4440
DOI: 10.1007/3-540-58468-4_173

Alur, Rajeev, et al. “A Determinizable Class of Timed Automata.”10.1007/3-540-58179-0_39__International Conference on Computer Aided Verification, vol. 818, Springer, 1994, pp. 1–13, doi: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, et al. “The Algorithmic Analysis of Hybrid Systems.”10.1007/BFb0033565__11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, vol. 199, Springer, 1994, pp. 331–51, doi:10.1007/BFb0033565.
LibreCat: https://research-explorer.ista.ac.at/record/4617
DOI: 10.1007/BFb0033565

Shigemoto, Ryuichi, et al. “Immunocytochemical Localization of Rat Substance P Receptor in the Striatum.”10.1016/0304-3940(93)90311-8__Neuroscience Letters, vol. 153, no. 2, Elsevier, 1993, pp. 157–60, doi:10.1016/0304-3940(93)90311-8.
LibreCat: https://research-explorer.ista.ac.at/record/2541
DOI: 10.1016/0304-3940(93)90311-8
PMID: 8392153 

Jonas, Peter M., et al. “Quantal Components of Unitary EPSCs at the Mossy Fibre Synapse on C Pyramidal Cells of Rat Hippocampus.”10.1113/jphysiol.1993.sp019965__Journal of Physiology, vol. 472, Wiley-Blackwell, 1993, pp. 615–63, doi:10.1113/jphysiol.1993.sp019965.
LibreCat: https://research-explorer.ista.ac.at/record/3474
DOI: 10.1113/jphysiol.1993.sp019965
PMID: 7908327

Edelsbrunner, Herbert, et al. “On the Zone Theorem for Hyperplane Arrangements.”10.1137/0222031__SIAM Journal on Computing, vol. 22, no. 2, SIAM, 1993, pp. 418–29, doi:10.1137/0222031.
LibreCat: https://research-explorer.ista.ac.at/record/4041
DOI: 10.1137/0222031

Jonas, Peter M. “AMPA-Type Glutamate Receptors - Nonselective Cation Channels Mediating Fast Excitatory Transmission in the CNS.”10.1007/978-3-0348-7327-7_4__Nonselective Cation Channels: Pharmacology, Physiology and Biophysics., edited by Detlef Siemen, vol. 66, Birkhäuser, 1993, pp. 61–76, doi:10.1007/978-3-0348-7327-7_4.
LibreCat: https://research-explorer.ista.ac.at/record/3452
DOI: 10.1007/978-3-0348-7327-7_4
PMID: 7505664

Chazelle, Bernard, et al. “Diameter, Width, Closest Line Pair, and Parametric Searching.”10.1007/BF02573973__Discrete &; Computational Geometry, vol. 10, no. 1, Springer, 1993, pp. 183–96, doi:10.1007/BF02573973.
LibreCat: https://research-explorer.ista.ac.at/record/4045
DOI: 10.1007/BF02573973

Lindholm, Dan, et al. “Neurotrophin-3 Induced by Tri-Iodothyronine in Cerebellar Granule Cells Promotes Purkinje Cell Differentiation.”10.1083/jcb.122.2.443__Journal of Cell Biology, vol. 122, no. 2, Rockefeller University Press, 1993, pp. 443–50, doi:10.1083/jcb.122.2.443.
LibreCat: https://research-explorer.ista.ac.at/record/4177
DOI: 10.1083/jcb.122.2.443
PMID: 8320266

Lindholm, Dan, et al. “Brain-Derived Neurotrophic Factor Is a Survival Factor for Cultured Rat Cerebellar Granule Neurons and Protects Them against Glutamate-Induced Neurotoxicity.”10.1111/j.1460-9568.1993.tb00213.x__European Journal of Neuroscience, vol. 5, no. 11, Wiley-Blackwell, 1993, pp. 1455–64, doi:10.1111/j.1460-9568.1993.tb00213.x.
LibreCat: https://research-explorer.ista.ac.at/record/4175
DOI: 10.1111/j.1460-9568.1993.tb00213.x
PMID: 7904521 

Henzinger, Thomas A., et al. “Towards Refining Temporal Specifications into Hybrid Systems.”10.1007/3-540-57318-6_24__International Hybrid Systems Workshop, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 60–76, doi:10.1007/3-540-57318-6_24.
LibreCat: https://research-explorer.ista.ac.at/record/4506
DOI: 10.1007/3-540-57318-6_24

Alur, Rajeev, et al. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.”10.1007/3-540-57318-6_30__Hybrid Systems, edited by Robert Grossman et al., vol. 736, Springer, 1993, pp. 209–29, doi:10.1007/3-540-57318-6_30.
LibreCat: https://research-explorer.ista.ac.at/record/4618
DOI: 10.1007/3-540-57318-6_30

Alur, Rajeev, et al. “Computing Accumulated Delays in Real-Time Systems.”10.1007/3-540-56922-7_16__5th International Conference on Computer Aided Verification, vol. 697, Springer, 1993, pp. 181–93, doi:10.1007/3-540-56922-7_16.
LibreCat: https://research-explorer.ista.ac.at/record/4620
DOI: 10.1007/3-540-56922-7_16

Abe, Takaaki, et al. “Molecular Characterization of a Novel Metabotropic Glutamate Receptor MGlu Coupled to Inositol Phosphate/C+ Signal Transduction.”10.1016/S0021-9258(18)42219-3__Journal of Biological Chemistry, vol. 267, no. 19, American Society for Biochemistry and Molecular Biology, 1992, pp. 13361–68, doi:10.1016/S0021-9258(18)42219-3.
LibreCat: https://research-explorer.ista.ac.at/record/2533
DOI: 10.1016/S0021-9258(18)42219-3
PMID: 1320017

Sasai, Yoshiki, et al. “Two Mammalian Helix-Loop-Helix Factors Structurally Related to Drosophila Hairy and Enhancer of Split.”10.1101/gad.6.12b.2620__Genes and Development, vol. 6, no. 12 B, Cold Spring Harbor Laboratory Press, 1992, pp. 2620–34, doi:10.1101/gad.6.12b.2620.
LibreCat: https://research-explorer.ista.ac.at/record/2535
DOI: 10.1101/gad.6.12b.2620
PMID: 1340473

Nishioka, Tatsuya, et al. “Distribution of the Glucose Transporters in Human Brain Tumors.” Cancer Research, vol. 52, no. 14, American Association for Cancer Research, 1992, pp. 3972–79.
LibreCat: https://research-explorer.ista.ac.at/record/2532
PMID: 1617673

Jonas, Peter M., and Bert Sakmann. “Glutamate Receptor Channels in Isolated Patches from C and C Pyramidal Cells of Rat Hippocampal Slices.”10.1113/jphysiol.1992.sp019294 __Journal of Physiology, vol. 455, Wiley-Blackwell, 1992, pp. 143–71, doi:10.1113/jphysiol.1992.sp019294 .
LibreCat: https://research-explorer.ista.ac.at/record/3470
DOI: 10.1113/jphysiol.1992.sp019294 
PMID: 1282929 

Colquhoun, D., et al. “Action of Brief Pulses of Glutamate on AMPA/Kainate Receptors in Patches from Different Neurones of Rat Hippocampal Slices.”10.1113/jphysiol.1992.sp019417__Journal of Physiology, vol. 458, Wiley-Blackwell, 1992, pp. 261–87, doi:10.1113/jphysiol.1992.sp019417.
LibreCat: https://research-explorer.ista.ac.at/record/3471
DOI: 10.1113/jphysiol.1992.sp019417
PMID: 1338788

Aronov, Boris, et al. “The Number of Edges of Many Faces in a Line Segment Arrangement.”10.1007/BF01285815__Combinatorica, vol. 12, no. 3, Springer, 1992, pp. 261–74, doi:10.1007/BF01285815.
LibreCat: https://research-explorer.ista.ac.at/record/4053
DOI: 10.1007/BF01285815

Burnashev, Nail, et al. “Calcium-Permeable AMPA-Kainate Receptors in Fusiform Cerebellar Glial Cells.”10.1126/science.1317970__Science, vol. 256, no. 5063, American Association for the Advancement of Science, 1992, pp. 1566–70, doi:10.1126/science.1317970.
LibreCat: https://research-explorer.ista.ac.at/record/3469
DOI: 10.1126/science.1317970
PMID: 1317970