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 .

Edelsbrunner, Herbert. “Modeling with Simplicial Complexes (Topology, Geometry and Algorithms).” In Proceedings of the 6th Canadian Conference on Computational Geometry, 36–44, 1994.

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 .

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 .

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 .

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 .

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 .

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  .

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  .

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 .

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 .

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  .

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 .

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 .

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 .

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 .

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  .

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 .

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 .

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 .