DOI,IST REx ID,Title of publication
null,4034,Algebraic decomposition of non-convex polyhedra
10.1007/BF02574025,4035,Improved bounds on weak ε-nets for convex sets
null,4153,Hematopoietic mutants identified in a saturation screen of the zebrafish genome
10.1111/j.1558-5646.1995.tb02285.x,4296,Rapid laboratory evolution of adult life history traits in Drosophila melanogaster in response to temperature
10.1111/j.1558-5646.1995.tb05955.x,4297,"The genetic structure of a mosaic hybrid zone between two chromosome races of the Sceloporus grammicus complex (Sauria, Phrynosomatidae) in central Mexico"
10.1111/j.1558-5646.1995.tb04431.x,4298,"Appendix to ""A simulation study of multilocus clines"" by S J E Baird"
null,4428,Automatic analysis of hybrid systems
10.1007/3-540-60472-3_14,4447,HyTech: The Cornell Hybrid Technology Tool
10.1007/3-540-60472-3_13,4448,A note on abstract-interpretation strategies for hybrid automata
10.1007/3-540-60045-0_53,4450,Algorithmic analysis of nonlinear hybrid systems
10.1007/3-540-60630-0_3,4497,A user guide to HyTech
10.1109/SFCS.1995.492576,4498,Computing simulations on finite and infinite graphs
10.1109/REAL.1995.495196 ,4499,HyTech: The next generation
10.1007/3-540-60084-1_93,4500,The expressive power of clocks
10.1145/225058.225162,4502,What's decidable about hybrid automata?
10.1007/3-540-60084-1_85,4518,Hybrid automata with finite bisimulations
10.1007/3-540-60045-0_49,4587,Local liveness for compositional modeling of fair reactive systems
10.1016/0304-3975(94)00202-T,4613,The algorithmic analysis of hybrid systems
10.1016/0014-5793(94)00370-X,1949,Proton translocating transhydrogenase and NAD- and NADP-linked isocitrate dehydrogenases operate in a substrate cycle which contributes to fine regulation of the tricarboxylic acid cycle activity in mitochondria
10.1016/0014-5793(94)01109-5,1953,Inhibition of the respiratory burst in mouse macrophages by ultra-low doses of an opioid peptide is consistent with a possible adaptation mechanism