_id,doi,title
8522,10.1090/s1079-6762-01-00090-7,A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I
8524,10.1007/s00039-001-8222-8,Diophantine properties of elements of SO(3)
855,10.1093/bioinformatics/17.10.890,"Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a 'weak'context of the start codon"
867,10.1093/hmg/10.23.2661,Origin of alternative splicing by tandem exon duplication
874,10.1073/pnas.211214298,Multidimensional epistasis and the disadvantage of sex
888,10.1186/gb-2001-2-12-research0053,"Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins "
2340,10.1007/978-3-0348-8231-6,Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula
2341,10.1007/PL00001032,Atoms with bosonic "electrons" in strong magnetic fields
2345,10.1088/0305-4470/34/9/311,On the maximal ionization of atoms in strong magnetic fields
2346,10.1023/A:1010951905548,Bounds on one-dimensional exchange energies with application to lowest Landau band quantum mechanics
2347,10.1007/s002200100533,A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas
2348,10.1007/s002200100373,A discrete density matrix theory for atoms in strong magnetic fields
2419,10.1007/s00454-001-0028-9,A continuous analogue of the Upper Bound Theorem
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