DOI,IST REx ID,Title of publication
10.1006/inco.2001.3085,4474,Fair simulation
10.1145/503272.503279,4476,Lazy abstraction
10.1007/3-540-45657-0_34,4562,Synchronous and bidirectional component interfaces
10.1007/3-540-45657-0_35,4563,Interface compatibility checking for software modules
10.1007/3-540-45873-5_13,4565,A comparison of control problems for timed and hybrid systems
10.1145/585265.585270,4595,Alternating-time temporal logic
10.1007/3-540-45828-X_9,4631,Timed interfaces
10.1016/S0168-9525(01)02376-9,841,Footprints of primordial introns on the eukaryotic genome: still no clear traces 
10.1002/1098-1004(200102)17:2<83::AID-HUMU1>3.0.CO;2-E,851,Use of mutation spectra analysis software
10.1090/s1079-6762-01-00091-9,8521,A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms II
10.1090/s1079-6762-01-00090-7,8522,A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I
10.1007/s00039-001-8222-8,8524,Diophantine properties of elements of SO(3)
10.1093/bioinformatics/17.10.890,855,"Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a 'weak'context of the start codon"
10.1093/hmg/10.23.2661,867,Origin of alternative splicing by tandem exon duplication
10.1073/pnas.211214298,874,Multidimensional epistasis and the disadvantage of sex
10.1186/gb-2001-2-12-research0053,888,"Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins "
10.1016/S0764-4442(01)02057-2,1452,Examples of mirror partners arising from integrable systems
10.1016/S0370-2693(01)00821-8,1453,Geometric construction of new Yang-Mills instantons over Taub-NUT space
10.1016/S0393-0440(00)00040-1,1454,Geometric interpretation of Schwarzschild instantons
10.1126/science.1059745,9444,Requirement of CHROMOMETHYLASE3 for maintenance of CpXpG methylation