DOI,IST REx ID,Title of publication
10.2307/2640907,4277,Hybrid dysfunction in fire-bellied toads (Bombina)
10.1093/genetics/152.1.355,4279,"Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland"
null,4411,Algorithms and Methodology for Scalable Model Checking
10.1016/S0304-3975(99)00038-9,4442,Discrete-time control for rectangular hybrid automata
10.1109/ICCAD.1999.810700,4480,Formal specification and verification of a dataflow processor array
10.1007/3-540-48683-6_27,4484,Verifying sequential consistency on shared-memory multiprocessor systems
10.1007/3-540-48320-9_23,4485,Rectangular hybrid games
10.1007/3-540-48683-6_20,4487,Assume-guarantee refinement between different time scales
10.1023/A:1008739929481,4582,Reactive modules
10.1007/3-540-49213-5_2,4601,Alternating-time temporal logic
10.1007/3-540-48320-9_8,4602,Automating modular verification
10.1016/S0014-5793(98)00573-0,1954,The chloroplast Ndh complex mediates the dark reduction of the plastoquinone pool in response to heat stress in tobacco leaves
10.1093/emboj/17.4.868,1955,Identification of a functional respiratory complex in chloroplasts through analysis of tobacco mutants containing disrupted plastid ndh genes
10.1073/pnas.95.3.1319,1956,The plastid ndh genes code for an NADH-specific dehydrogenase: Isolation of a complex I analogue from pea thylakoid membranes
10.1515/crll.1998.096,1449,Compactification of moduli of Higgs bundles
10.4310/ATMP.1998.v2.n5.a3,1450,Vanishing of intersection numbers on the moduli space of Higgs bundles
10.1016/s0092-8674(00)81609-8,6160,Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans
10.1007/pl00009186,11680,Average-case analysis of dynamic graph algorithms
10.1007/pl00009228,11681,Lower bounds for fully dynamic connectivity problems in graphs
10.1109/SFCS.1998.743510,11682,Parametric and kinetic minimum spanning trees