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.

Properties of Shaker-homologous potassium channels expressed in the mammalian brain.
P. Ruppersberg, M. Ermler, M. Knopf, W. Kues, P.M. Jonas, M. Koenen, Cellular Physiology and Biochemistry 3 (1993) 250–269.

Computational geometry
H. Edelsbrunner, in:, Current Trends in Theoretical Computer Science, Essays and Tutorials, World Scientific Publishing, 1993, pp. 1–48.

Geometric algorithms
H. Edelsbrunner, in:, Handbook of Convex Geometry, North Holland, 1993, pp. 699–735.

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

Computing a face in an arrangement of line segments and related problems
B. Chazelle, H. Edelsbrunner, L. Guibas, M. Sharir, J. Snoeyink, SIAM Journal on Computing 22 (1993) 1286–1302.

An upper bound for conforming Delaunay triangulations
H. Edelsbrunner, T. Tan, Discrete &; Computational Geometry 10 (1993) 197–213.

The probability of fixation of a favoured allele in a subdivided population
N.H. Barton, Genetics Research 62 (1993) 149–158.

Review of &quot;The causes of molecular evolution&quot; by J.H. Gillespie
N.H. Barton, Genetical Research 62 (1993) 77–85.

Genetic analysis of hybrid zones
N.H. Barton, K. Gale, in:, R. Harrison (Ed.), Hybrid Zones and the Evolutionary Process, Oxford University Press, 1993, pp. 13–45.

Why species and subspecies?
N.H. Barton, Current Biology 3 (1993) 797–799.

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.

High-speed character recognition using a dual cellular neural network architecture (CNND)
T. Sziranyi, J.L. Csicsvari, IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing 40 (1993) 223–231.

Glutamate receptors in the central nervous system
P.M. Jonas, in:, Molecular Basis of Ion Channels and Receptors Involved in Nerve Excitation, Synaptic Transmission, and Muscle Contraction, New York Academy of Sciences, 1993, pp. 126–135.

Group selection and the 'shifting balance'
S. Rouhani, N.H. Barton, Genetical Research 61 (1993) 127–136.

Adaptation and the 'shifting balance'
N.H. Barton, S. Rouhani, Genetical Research 61 (1993) 57–74.

Edge insertion for optimal triangulations
M. Bern, H. Edelsbrunner, D. Eppstein, S. Mitchell, T. Tan, Discrete &; Computational Geometry 10 (1993) 47–65.

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

A quadratic time algorithm for the minmax length triangulation
H. Edelsbrunner, T. Tan, SIAM Journal on Computing 22 (1993) 527–551.

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.

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.

Evolution of aging: Testing the theory using Drosophila
L. Partridge, N.H. Barton, Genetica 91 (1993) 89–98.

Optimality, mutation and the evolution of ageing
L. Partridge, N.H. Barton, Nature 362 (1993) 305–311.

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.

Real-time logics: Complexity and expressiveness
R. Alur, T.A. Henzinger, Information and Computation 104 (1993) 35–77.

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.

Automatic symbolic verification of embedded systems
R. Alur, T.A. Henzinger, P. Ho, in:, 1993 Proceedings Real-Time Systems Symposium, IEEE, 1993, pp. 2–11.

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.

Parametric real-time reasoning
R. Alur, T.A. Henzinger, M. Vardi, in:, Proceedings of the 25th Annual ACM Symposium on Theory of Computing, ACM, 1993, pp. 592–601.