Brain-derived neurotrophic factor increases neurotrophin-3 expression in cerebellar granule neurons
A. Leingärtner, C.-P.J. Heisenberg, R. Kolbeck, H. Thoenen, D. Lindholm, Journal of Biological Chemistry 269 (1994) 828–830.
LibreCat: https://research-explorer.ista.ac.at/record/4179
DOI: 10.1016/s0021-9258(17)42186-7

Proving safety properties of hybrid systems
A. Kapur, T.A. Henzinger, Z. Manna, A. Pnueli, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 431–454.
LibreCat: https://research-explorer.ista.ac.at/record/4420
DOI: 10.1007/3-540-58468-4_177

Verification methods for the divergent runs of clock systems
T.A. Henzinger, P. Kopke, in:, 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1994, pp. 351–372.
LibreCat: https://research-explorer.ista.ac.at/record/4440
DOI: 10.1007/3-540-58468-4_173

A determinizable class of timed automata
R. Alur, L. Fix, T.A. Henzinger, in:, International Conference on Computer Aided Verification, Springer, 1994, pp. 1–13.
LibreCat: https://research-explorer.ista.ac.at/record/4615
DOI: 10.1007/3-540-58179-0_39

The algorithmic analysis of hybrid systems
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine, in:, 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, Springer, 1994, pp. 331–351.
LibreCat: https://research-explorer.ista.ac.at/record/4617
DOI: 10.1007/BFb0033565

Immunocytochemical localization of rat substance P receptor in the striatum
R. Shigemoto, Y. Nakaya, S. Nomura, R. Ogawa Meguro, H. Ohishi, T. Kaneko, S. Nakanishi, N. Mizuno, Neuroscience Letters 153 (1993) 157–160.
LibreCat: https://research-explorer.ista.ac.at/record/2541
DOI: 10.1016/0304-3940(93)90311-8
PMID: 8392153 

Quantal components of unitary EPSCs at the mossy fibre synapse on C pyramidal cells of rat hippocampus
P.M. Jonas, G. Major, B. Sakmann, Journal of Physiology 472 (1993) 615–663.
LibreCat: https://research-explorer.ista.ac.at/record/3474
DOI: 10.1113/jphysiol.1993.sp019965
PMID: 7908327

On the zone theorem for hyperplane arrangements
H. Edelsbrunner, R. Seidel, M. Sharir, SIAM Journal on Computing 22 (1993) 418–429.
LibreCat: https://research-explorer.ista.ac.at/record/4041
DOI: 10.1137/0222031

AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS
P.M. Jonas, in:, D. Siemen (Ed.), Nonselective Cation Channels: Pharmacology, Physiology and Biophysics., Birkhäuser, 1993, pp. 61–76.
LibreCat: https://research-explorer.ista.ac.at/record/3452
DOI: 10.1007/978-3-0348-7327-7_4
PMID: 7505664

Diameter, width, closest line pair, and parametric searching
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, Discrete &; Computational Geometry 10 (1993) 183–196.
LibreCat: https://research-explorer.ista.ac.at/record/4045
DOI: 10.1007/BF02573973

Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation
D. Lindholm, E. Castrén, P. Tsoulfas, R. Kolbeck, M. Berzaghi, A. Leingärtner, C.-P.J. Heisenberg, L. Tesarollo, L. Parada, H. Thoenen, Journal of Cell Biology 122 (1993) 443–450.
LibreCat: https://research-explorer.ista.ac.at/record/4177
DOI: 10.1083/jcb.122.2.443
PMID: 8320266

Brain-derived neurotrophic factor is a survival factor for cultured rat cerebellar granule neurons and protects them against glutamate-induced neurotoxicity
D. Lindholm, G. Dechant, C.-P.J. Heisenberg, H. Thoenen, European Journal of Neuroscience 5 (1993) 1455–1464.
LibreCat: https://research-explorer.ista.ac.at/record/4175
DOI: 10.1111/j.1460-9568.1993.tb00213.x
PMID: 7904521 

Towards refining temporal specifications into hybrid systems
T.A. Henzinger, Z. Manna, A. Pnueli, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), International Hybrid Systems Workshop, Springer, 1993, pp. 60–76.
LibreCat: https://research-explorer.ista.ac.at/record/4506
DOI: 10.1007/3-540-57318-6_24

Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
R. Alur, C. Courcoubetis, T.A. Henzinger, P. Ho, in:, R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), Hybrid Systems, Springer, 1993, pp. 209–229.
LibreCat: https://research-explorer.ista.ac.at/record/4618
DOI: 10.1007/3-540-57318-6_30

Computing accumulated delays in real-time systems
R. Alur, C. Courcoubetis, T.A. Henzinger, in:, 5th International Conference on Computer Aided Verification, Springer, 1993, pp. 181–193.
LibreCat: https://research-explorer.ista.ac.at/record/4620
DOI: 10.1007/3-540-56922-7_16

Molecular characterization of a novel metabotropic glutamate receptor mGlu coupled to inositol phosphate/C+ signal transduction
T. Abe, H. Sugihara, H. Nawa, R. Shigemoto, N. Mizuno, S. Nakanishi, Journal of Biological Chemistry 267 (1992) 13361–13368.
LibreCat: https://research-explorer.ista.ac.at/record/2533
DOI: 10.1016/S0021-9258(18)42219-3
PMID: 1320017

Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split
Y. Sasai, R. Kageyama, Y. Tagawa, R. Shigemoto, S. Nakanishi, Genes and Development 6 (1992) 2620–2634.
LibreCat: https://research-explorer.ista.ac.at/record/2535
DOI: 10.1101/gad.6.12b.2620
PMID: 1340473

Distribution of the glucose transporters in human brain tumors
T. Nishioka, Y. Oda, Y. Seino, T. Yamamoto, N. Inagaki, H. Yano, H. Imura, R. Shigemoto, H. Kikuchi, Cancer Research 52 (1992) 3972–3979.
LibreCat: https://research-explorer.ista.ac.at/record/2532
PMID: 1617673

Glutamate receptor channels in isolated patches from C and C pyramidal cells of rat hippocampal slices
P.M. Jonas, B. Sakmann, Journal of Physiology 455 (1992) 143–171.
LibreCat: https://research-explorer.ista.ac.at/record/3470
DOI: 10.1113/jphysiol.1992.sp019294 
PMID: 1282929 

Action of brief pulses of glutamate on AMPA/kainate receptors in patches from different neurones of rat hippocampal slices
D. Colquhoun, P.M. Jonas, B. Sakmann, Journal of Physiology 458 (1992) 261–287.
LibreCat: https://research-explorer.ista.ac.at/record/3471
DOI: 10.1113/jphysiol.1992.sp019417
PMID: 1338788