_id,doi,title
4029,10.1016/0167-8396(95)00016-Y,An incremental algorithm for Betti numbers of simplicial complexes on the 3-sphere
4034,,Algebraic decomposition of non-convex polyhedra
4035,10.1007/BF02574025,Improved bounds on weak ε-nets for convex sets
4153,,Hematopoietic mutants identified in a saturation screen of the zebrafish genome
4296,10.1111/j.1558-5646.1995.tb02285.x,Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature
4297,10.1111/j.1558-5646.1995.tb05955.x,"The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico"
4298,10.1111/j.1558-5646.1995.tb04431.x,"Appendix to ""A simulation study of multilocus clines"" by S J E Baird"
4428,,Automatic analysis of hybrid systems
4447,10.1007/3-540-60472-3_14,HyTech: The Cornell Hybrid Technology Tool
4448,10.1007/3-540-60472-3_13,A note on abstract-interpretation strategies for hybrid automata
4450,10.1007/3-540-60045-0_53,Algorithmic analysis of nonlinear hybrid systems
4497,10.1007/3-540-60630-0_3,A user guide to HyTech
4498,10.1109/SFCS.1995.492576,Computing simulations on finite and infinite graphs
4499,10.1109/REAL.1995.495196 ,HyTech: The next generation
4500,10.1007/3-540-60084-1_93,The expressive power of clocks
4502,10.1145/225058.225162,What's decidable about hybrid automata?
4518,10.1007/3-540-60084-1_85,Hybrid automata with finite bisimulations
2488,10.1016/0306-4522(94)90215-1,Morphological and chemical characteristics of substance P receptor immunoreactive neurons in the rat neocortex
2489,10.1002/cne.903470112,Differential expression of five N-methyl-D-aspartate receptor subunit mRNAs in the cerebellum of developing and adult rats
2490,10.1016/0306-4522(94)90483-9,Distribution of the messenger rna for the prostaglandin e receptor subtype ep3 in the mouse nervous system