Selection for short introns in highly expressed genes
C. Castillo Davis, S. Mekhedov, D. Hartl, E. Koonin, F. Kondrashov, Nature Genetics 31 (2002) 415–418.

A solvent-free composite polymer/inorganic oxide electrolyte for high efficiency solid-state dye-sensitized solar cells
G. Katsaros, T. Stergiopoulos, I. Arabatzis, K. Papadokostaki, P. Falaras, Journal of Photochemistry and Photobiology A: Chemistry 149 (2002) 191–198.

Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes
P. Falaras, K. Chryssou, T. Stergiopoulos, I. Arabatzis, G. Katsaros, V. Catalano, R. Kurtaran, A. Hugot Le Goff, M. Bernard, in:, SPIE, 2002, pp. 125–135.

Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells
T. Stergiopoulos, I. Arabatzis, G. Katsaros, P. Falaras, Nano Letters 2 (2002) 1259–1261.

Equal Sums of Two kth Powers
T.D. Browning, Journal of Number Theory 96 (2002) 293–318.

The ground state of the Bose gas
É. Lieb, J. Solovej, R. Seiringer, J. Yngvason, in:, Current Developments in Mathematics, 2001, International Press, 2002, pp. 131–178.

Symmetry breaking in a model of a rotating Bose gas
R. Seiringer, in:, R. Weder, P. Exner, B. Grébert (Eds.), World Scientific Publishing, 2002, pp. 281–286.

Proof of Bose-Einstein condensation for dilute trapped gases
É. Lieb, R. Seiringer, Physical Review Letters 88 (2002) 1704091–1704094.

Mass renormalization and energy level shift in non-relativistic QED
C. Hainzl, R. Seiringer, Advances in Theoretical and Mathematical Physics 6 (2002) 847–871.

Gross-Pitaevskii theory of the rotating Bose gas
R. Seiringer, Communications in Mathematical Physics 229 (2002) 491–509.

General decomposition of radial functions on dn and applications to N-body quantum systems
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 61 (2002) 75–84.

Superfluidity in dilute trapped Bose gases
É. Lieb, R. Seiringer, J. Yngvason, Physical Review B - Condensed Matter and Materials Physics 66 (2002).

On the number of corner cuts
U. Wagner, Advances in Applied Mathematics 29 (2002) 152–161.

On the Clique problem in intersection graphs of ellipses
C. Ambühl, U. Wagner, in:, Proceedings of the 13th International Symposium on Algorithms and Computation, Springer, 2002, pp. 489–500.

Synchronous and bidirectional component interfaces
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 414–427.

Interface compatibility checking for software modules
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Jurdziski, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 428–441.

A comparison of control problems for timed and hybrid systems
F. Cassez, T.A. Henzinger, J. Raskin, in:, Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Springer, 2002, pp. 134–148.

Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, Journal of the ACM 49 (2002) 672–713.

Timed interfaces
L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 108–122.

Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans
J.C. Coates, M. de Bono, Nature 419 (2002) 925–929.