Koh, D., Burnashev, N., &; Jonas, P. M. (1995). Block of native Ca(2+)-permeable AMPA receptors in rat brain by intracellular polyamines generates double rectification. Journal of Physiology. Wiley-Blackwell.https://doi.org/10.1113/jphysiol.1995.sp020813 

Geiger, J., Melcher, T., Koh, D., Sakmann, B., Seeburg, P., Jonas, P. M., &; Monyer, H. (1995). Relative abundance of subunit mRNAs determines gating and Ca(2+) permeability of AMPA receptors in principal neurons and interneurons in rat CNS. Neuron. Elsevier.https://doi.org/10.1016/0896-6273(95)90076-4 

Kirkpatrick, M., &; Barton, N. H. (1995). Déjà vu all over again. Nature. Nature Publishing Group.https://doi.org/10.1038/377388a0 

Barton, N. H. (1995). Linkage and the limits to natural selection. Genetics. Genetics Society of America.http://www.genetics.org/content/140/2/821.long 

Edelsbrunner, H. (1995). The union of balls and its dual shape. Discrete &; Computational Geometry. Springer.https://doi.org/10.1007/BF02574053 

Delfinado, C., &; Edelsbrunner, H. (1995). An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere. Computer Aided Geometric Design. Elsevier.https://doi.org/10.1016/0167-8396(95)00016-Y 

Sites, J., Barton, N. H., &; Reed, K. (1995). The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico. Evolution. Wiley-Blackwell.https://doi.org/10.1111/j.1558-5646.1995.tb05955.x 

Partridge, L., Barrie, B., Barton, N. H., Fowler, K., &; French, V. (1995). Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature. Evolution. Wiley-Blackwell.https://doi.org/10.1111/j.1558-5646.1995.tb02285.x 

Barton, N. H. (1995). Appendix to “A simulation study of multilocus clines”https://doi.org/10.1111/j.1558-5646.1995.tb04431.x__by S J E Baird. Evolution. Wiley.https://doi.org/10.1111/j.1558-5646.1995.tb04431.x 

Ho, P. (1995). Automatic analysis of hybrid systems. Cornell University.

Henzinger, T. A., &; Ho, P. (1995). Algorithmic analysis of nonlinear hybrid systems. In 7th International Conference on Computer Aided Verification (Vol. 939, pp. 225–238). Liege, Belgium: Springer.https://doi.org/10.1007/3-540-60045-0_53 

Henzinger, T. A., &; Ho, P. (1995). A note on abstract-interpretation strategies for hybrid automata. In A. Panos, W. Kohn, A. Nerode, &; S. Sastry (Eds.), 3rd International Hybrid Systems Workshop (Vol. 999, pp. 252–264). Ithaca, NY, United States of America: Springer.https://doi.org/10.1007/3-540-60472-3_13 

Henzinger, T. A., &; Ho, P. (1995). HyTech: The Cornell Hybrid Technology Tool. In A. Panos, W. Kohn, A. Nerode, &; S. Sastry (Eds.), 4th International Hybrid Systems Workshop (Vol. 999, pp. 265–293).https://doi.org/10.1007/3-540-60472-3_14__New Brunswick, NJ, United States of America: Springer.https://doi.org/10.1007/3-540-60472-3_14 

Henzinger, T. A., Ho, P., &; Wong Toi, H. (1995). A user guide to HyTech. In 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1019, pp. 41–71). Aarhus, Denmark: Springer.https://doi.org/10.1007/3-540-60630-0_3 

Henzinger, T. A., Ho, P., &; Wong Toi, H. (1995). HyTech: The next generation. In Proceedings 16th IEEE Real-Time Systems Symposium (pp. 56–65). Pisa, Italy: IEEE.https://doi.org/10.1109/REAL.1995.495196  

Henzinger, M. H., Henzinger, T. A., &; Kopke, P. (1995). Computing simulations on finite and infinite graphs. In Proceedings of IEEE 36th Annual Foundations of Computer Science (pp. 453–462). Milwaukee, WI, United States of America: IEEE.https://doi.org/10.1109/SFCS.1995.492576 

Henzinger, T. A., Kopke, P., Puri, A., &; Varaiya, P. (1995). What’s decidable about hybrid automata? In Proceedings of the 27th annual ACM symposium on Theory of computing (pp. 373–382). Las Vegas, NV, United States of America: ACM.https://doi.org/10.1145/225058.225162 

Henzinger, T. A., Kopke, P., &; Wong Toi, H. (1995). The expressive power of clocks. In 22nd International Colloquium on Automata, Languages and Programming  (Vol. 944, pp. 417–428). Szeged, Hungary: Springer.https://doi.org/10.1007/3-540-60084-1_93 

Henzinger, T. A. (1995). Hybrid automata with finite bisimulations. In 22nd International Colloquium on Automata, Languages and Programming  (Vol. 944, pp. 324–335). Szeged, Hungary: Springer.https://doi.org/10.1007/3-540-60084-1_85 

Alur, R., &; Henzinger, T. A. (1995). Local liveness for compositional modeling of fair reactive systems. In 7th International Conference on Computer Aided Verification (Vol. 939, pp. 166–179). Liege, Belgium: Springer.https://doi.org/10.1007/3-540-60045-0_49