Henzinger TA, Kopke P. 1994. Verification methods for the divergent runs of clock systems. 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT: Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS, vol. 863, 351–372.

Alur R, Fix L, Henzinger TA. 1994. A determinizable class of timed automata. International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 818, 1–13.

Alur R, Courcoubetis C, Henzinger TA, Ho P, Nicollin X, Olivero A, Sifakis J, Yovine S. 1994. The algorithmic analysis of hybrid systems. 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. ICAOS: Analysis and Optimization of Systems - Discrete-Event Systems, LNCIS, vol. 199, 331–351.

Shigemoto R, Nakaya Y, Nomura S, Ogawa Meguro R, Ohishi H, Kaneko T, Nakanishi S, Mizuno N. 1993. Immunocytochemical localization of rat substance P receptor in the striatum. Neuroscience Letters. 153(2), 157–160.

Jonas PM, Major G, Sakmann B. 1993. Quantal components of unitary EPSCs at the mossy fibre synapse on C pyramidal cells of rat hippocampus. Journal of Physiology. 472, 615–663.

Edelsbrunner H, Seidel R, Sharir M. 1993. On the zone theorem for hyperplane arrangements. SIAM Journal on Computing. 22(2), 418–429.

Jonas PM. 1993.AMPA-type glutamate receptors - nonselective cation channels mediating fast excitatory transmission in the CNS. In: Nonselective cation channels: Pharmacology, Physiology and Biophysics. EXS, vol. 66, 61–76.

Chazelle B, Edelsbrunner H, Guibas L, Sharir M. 1993. Diameter, width, closest line pair, and parametric searching. Discrete &; Computational Geometry. 10(1), 183–196.

Lindholm D, Castrén E, Tsoulfas P, Kolbeck R, Berzaghi M, Leingärtner A, Heisenberg C-PJ, Tesarollo L, Parada L, Thoenen H. 1993. Neurotrophin-3 induced by tri-iodothyronine in cerebellar granule cells promotes Purkinje cell differentiation. Journal of Cell Biology. 122(2), 443–450.

Lindholm D, Dechant G, Heisenberg C-PJ, Thoenen H. 1993. 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. 5(11), 1455–1464.

Henzinger TA, Manna Z, Pnueli A. 1993. Towards refining temporal specifications into hybrid systems. International Hybrid Systems Workshop. International Hybrid Systems Workshop, LNCS, vol. 736, 60–76.

Alur R, Courcoubetis C, Henzinger TA, Ho P. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems. , LNCS, vol. 736, 209–229.

Alur R, Courcoubetis C, Henzinger TA. 1993. Computing accumulated delays in real-time systems. 5th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 697, 181–193.

Abe T, Sugihara H, Nawa H, Shigemoto R, Mizuno N, Nakanishi S. 1992. Molecular characterization of a novel metabotropic glutamate receptor mGlu coupled to inositol phosphate/C+ signal transduction. Journal of Biological Chemistry. 267(19), 13361–13368.

Sasai Y, Kageyama R, Tagawa Y, Shigemoto R, Nakanishi S. 1992. Two mammalian helix-loop-helix factors structurally related to Drosophila hairy and Enhancer of split. Genes and Development. 6(12 B), 2620–2634.

Nishioka T, Oda Y, Seino Y, Yamamoto T, Inagaki N, Yano H, Imura H, Shigemoto R, Kikuchi H. 1992. Distribution of the glucose transporters in human brain tumors. Cancer Research. 52(14), 3972–3979.

Jonas PM, Sakmann B. 1992. Glutamate receptor channels in isolated patches from C and C pyramidal cells of rat hippocampal slices. Journal of Physiology. 455, 143–171.

Colquhoun D, Jonas PM, Sakmann B. 1992. Action of brief pulses of glutamate on AMPA/kainate receptors in patches from different neurones of rat hippocampal slices. Journal of Physiology. 458, 261–287.

Aronov B, Edelsbrunner H, Guibas L, Sharir M. 1992. The number of edges of many faces in a line segment arrangement. Combinatorica. 12(3), 261–274.

Burnashev N, Khodorova A, Jonas PM, Helm P, Wisden W, Monyer H, Seeburg P, Sakmann B. 1992. Calcium-permeable AMPA-kainate receptors in fusiform cerebellar glial cells. Science. 256(5063), 1566–1570.