A stretched exponential bound on the rate of growth of the number of periodic points for prevalent diffeomorphisms I
V. Kaloshin, B.R. Hunt, Electronic Research Announcements of the American Mathematical Society 7 (2001) 17–27.

Diophantine properties of elements of SO(3)
V. Kaloshin, I. Rodnianski, Geometric And Functional Analysis 11 (2001) 953–970.

Presence of ATG triplets in 5 untranslated regions of eukaryotic cDNAs correlates with a 'weak'context of the start codon
I. Rogozin, A. Kochetov, F. Kondrashov, E. Koonin, L. Milanesi, Bioinformatics 17 (2001) 890–900.

Origin of alternative splicing by tandem exon duplication
F. Kondrashov, E. Koonin, Human Molecular Genetics 10 (2001) 2661–2669.

Multidimensional epistasis and the disadvantage of sex
F. Kondrashov, A. Kondrashov, PNAS 98 (2001) 12089–12092.

Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins 
I. Jordan, F. Kondrashov, I. Rogozin, R. Tatusov, Y. Wolf, E. Koonin, Genome Biology 2 (2001).

Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula
R. Seiringer, in:, M. Demuth, B. Schultze (Eds.), Birkhäuser, 2001, pp. 307–314.

Atoms with bosonic &quot;electrons&quot; in strong magnetic fields
B. Baumgartner, R. Seiringer, Annales Henri Poincare 2 (2001) 41–76.

On the maximal ionization of atoms in strong magnetic fields
R. Seiringer, Journal of Physics A: Mathematical and General 34 (2001) 1943–1948.

Bounds on one-dimensional exchange energies with application to lowest Landau band quantum mechanics
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 55 (2001) 133–142.

A rigorous derivation of the Gross-Pitaevskii energy functional for a two-dimensional Bose gas
É. Lieb, R. Seiringer, J. Yngvason, Communications in Mathematical Physics 224 (2001) 17–31.

A discrete density matrix theory for atoms in strong magnetic fields
C. Hainzl, R. Seiringer, Communications in Mathematical Physics 217 (2001) 229–248.

A continuous analogue of the Upper Bound Theorem
U. Wagner, E. Welzl, Discrete &; Computational Geometry 26 (2001) 205–219.

A reusable and platform-independent framework for distributed control systems
T. Brown, A. Pasetti, W. Pree, T.A. Henzinger, C. Kirsch, in:, Proceedings of the 20th Digital Avionics Systems Conference, IEEE, 2001, pp. 1–11.

Partial-order reduction in symbolic state-space exploration
R. Alur, R. Brayton, T.A. Henzinger, S. Qadeer, S. Rajamani, Formal Methods in System Design 18 (2001) 97–116.

jMocha: A model-checking tool that exploits design structure
R. Alur, L. De Alfaro, R. Grosu, T.A. Henzinger, M. Kang, C. Kirsch, R. Majumdar, F. Mang, B. Wang, in:, Proceedings of the 23rd International Conference on Software Engineering, IEEE, 2001, pp. 835–836.

Interface automata
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 8th European Software Engineering Conference, ACM, 2001, pp. 109–120.

Interface theories for component-based design
L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 148–165.

Compositional methods for probabilistic systems
L. De Alfaro, T.A. Henzinger, R. Jhala, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–365.

Symbolic algorithms for infinite-state games
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Proceedings of the 12th International Conference on on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–550.