DOI,IST REx ID,Title of publication
10.1046/j.1460-9568.1999.00446.x,3519,"Sustained activation of hippocampal pyramidal cells by ‘space clamping' in a running wheel"
10.1523/JNEUROSCI.19-01-00274.1999,3524,Oscillatory coupling of hippocampal pyramidal cells and interneurons in the behaving rat
10.1046/j.1460-9568.1999.00853.x,3539,"Firing rate and theta-phase coding by hippocampal pyramidal neurons during ‘space clamping’"
null,3554,Mesh association: formulation and algorithms
null,3571,Computational topology
null,3582,Topology preserving edge contraction
10.1017/S001667239900422X,3625,Clines in polygenic traits
10.1093/genetics/153.4.1959,3626,A comparison of multilocus clines maintained by environmental adaptation or by selection against hybrids
10.1007/PL00009412,4014,Deformable smooth surface design
10.1242/dev.126.10.2129,4204,Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development
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