_id,doi,title
4564,10.1109/DASC.2001.964169,A reusable and platform-independent framework for distributed control systems
4599,10.1023/A:1008767206905,Partial-order reduction in symbolic state-space exploration
4600,10.1109/ICSE.2001.919196,jMocha: A model-checking tool that exploits design structure
4622,10.1145/503209.503226,Interface automata
4623,10.1007/3-540-45449-7_11,Interface theories for component-based design
4632,10.1007/3-540-44685-0_24,Compositional methods for probabilistic systems
4633,10.1007/3-540-44685-0_36,Symbolic algorithms for infinite-state games
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