_id,doi,title
4588,10.1109/LICS.1996.561320,Reactive modules
4610,10.1145/227595.227602,The benefits of relaxing punctuality
4611,10.1109/32.489079,Automatic symbolic verification of embedded systems
4612,10.1007/BFb0020931,Hybrid Systems III: Verification and Control
6161,,Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences
11804,10.1007/3-540-61422-2_117,Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning
11910,10.1007/3-540-61440-0_136,Improved sampling with applications to dynamic graph algorithms
11927,,"Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology"
3462,10.1016/0197-0186(95)00077-1,Analysis of molecular determinants in native AMPA receptors
3553,10.1145/3304181.3304190,Geometric modeling in CAVE
3634,10.1098/rstb.1996.0073,Natural selection and random genetic drift as causes of evolution on islands
3635,10.1017/S0016672300033450,Recombination load associated with selection for increased recombination
3756,doi: 10.1083/jcb.133.1.125 ,Influence of M-phase chromatin on the anisotropy of microtubule asters
4024,10.1109/38.511855,Viewing geometric protein structures from inside a CAVE
4025,10.1016/S0166-218X(96)00054-6,Triangulating the surface of a molecule
4026,10.1007/BF01975867,Incremental topological flipping works for regular triangulations
4027,10.1007/BF01955043,Lines in space: Combinatorics and algorithms
4030,10.1016/S0006-3495(96)79664-9,Effects of molecular shape representations on boundary element method for protein electrostatics computations
4031,10.1016/S0006-3495(96)79670-4,"Analytical method for molecular shapes: Area, volume, cavities, interface and pockets"
4142,10.1242/dev.123.1.241,Mutations affecting development of the zebrafish inner ear and lateral line