_id,doi,title
4634,10.1007/3-540-44685-0_38,"The control of synchronous systems, Part II"
4635,,MCWEB: A model-checking tool for web-site debugging
4636,10.1109/LICS.2001.932504,From verification to control: dynamic programs for omega-regular objectives
1452,10.1016/S0764-4442(01)02057-2,Examples of mirror partners arising from integrable systems
1453,10.1016/S0370-2693(01)00821-8,Geometric construction of new Yang-Mills instantons over Taub-NUT space
1454,10.1016/S0393-0440(00)00040-1,Geometric interpretation of Schwarzschild instantons
9444,10.1126/science.1059745,Requirement of CHROMOMETHYLASE3 for maintenance of CpXpG methylation
11892,10.1137/s0097539797327209,Maintaining minimum spanning forests in dynamic graphs
11914,10.1109/ICDM.2001.989500,Who links to whom: Mining linkage between Web sites
3434,10.1002/9780470061619.ch15,Application of the likelihood function in phylogenetic analysis
3438,10.1126/science.1065889,Bayesian inference of phylogeny and its impact on evolutionary biology
3439, 10.1046/j.1471-8278.2001.00078.x,Isolation of polymorphic microsatellite markers from the malaria vector Anopheles darlingi
3440,10.1080/10635150119871,Empirical and hierarchical Bayesian estimation of ancestral states
3447,,Weighted quantified computation tree logic
3493,10.1016/S0006-3495(01)75909-7 ,Microscopic kinetics and energetics distinguish GABAA receptor agonists from antagonists
3494,10.1523/JNEUROSCI.21-08-02687.2001,Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network.
3495,10.1016/S0169-328X(01)00221-2,Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive NR1 (N598R) expression
3496,10.1073/pnas.251610898 ,PTP and LTP at a hippocampal mossy fiber-interneuron synapse
3507,,Molecular classification for property prediction
3517,10.1016/S0165-0270(00)00362-9,The application of printed circuit board technology for fabrication of multi-channel micro-drives