DOI,IST REx ID,Title of publication
10.1042/bst0240739,1951,Detection and characterization of a complex I-like NADH-specific dehydrogenase from pea thylakoids
10.1016/0005-2728(95)00125-5,1952,Estimation of the H+/H- ratio of the reaction catalysed by the nicotinamide nucleotide transhydrogenase in chromatophores from over-expressing strains of Rhodospirillum rubrum and in liposomes inlaid with the purified bovine enzyme
null,4419,The Theory of Rectangular Hybrid Automata
10.1007/BFb0020961,4426,Linear phase-portrait approximations for nonlinear hybrid systems
10.1007/BFb0027241,4427,Using HyTech to synthesize control parameters for a steam boiler
10.1007/3-540-61604-7_74,4443,State equivalences for rectangular hybrid automata
10.1007/3-540-61604-7_73,4495,A space-efficient on-the-fly algorithm for real-time model checking
10.1109/LICS.1996.561342 ,4519,The theory of hybrid automata
10.1007/3-540-61474-5,4585, 8th International Conference on Computer Aided Verification
10.1109/LICS.1996.561320,4588,Reactive modules
10.1145/227595.227602,4610,The benefits of relaxing punctuality
10.1109/32.489079,4611,Automatic symbolic verification of embedded systems
10.1007/BFb0020931,4612,Hybrid Systems III: Verification and Control
null,6161,Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences
10.1016/0197-0186(95)00077-1,3462,Analysis of molecular determinants in native AMPA receptors
10.1145/3304181.3304190,3553,Geometric modeling in CAVE
10.1098/rstb.1996.0073,3634,Natural selection and random genetic drift as causes of evolution on islands
10.1017/S0016672300033450,3635,Recombination load associated with selection for increased recombination
doi: 10.1083/jcb.133.1.125 ,3756,Influence of M-phase chromatin on the anisotropy of microtubule asters
10.1109/38.511855,4024,Viewing geometric protein structures from inside a CAVE