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.

Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli
M. de Bono, D.M. Tobin, M.W. Davis, L. Avery, C.I. Bargmann, Nature 419 (2002) 899–903.

Toric hyperkähler varieties
T. Hausel, B. Sturmfels, Documenta Mathematica 7 (2002) 495–534.

ICln Ion channel splice variants in Caenorhabditis elegans
J. Fürst, M. Ritter, J. Rudzki, J.G. Danzl, M. Gschwentner, E. Scandella, M. Jakab, M. König, B. Oehl, F. Lang, P. Deetjen, M. Paulmichl, Journal of Biological Chemistry 277 (2002) 4435–4445.

Modelling mountainous water systems between learning and speculating looking for challenges
P. Burlando, F. Pellicciotti, U. Strasser, Hydrology Research 33 (2002) 47–74.

Observing structure, function and assembly of single proteins by AFM
D. Mueller, H.L. Janovjak, T. Lehto, L. Kuerschner, K. Anderson, Progress in Biophysics and Molecular Biology 79 (2002) 1–43.

Processing of gene expression data generated by quantitative real-time RT-PCR
P. Müller, H.L. Janovjak, A. Miserez, Z. Dobbie, Biotechniques 32 (2002) 1372–1379.

The percolation interpretation of the nuclear fragmentation phase transition
W. Bauer, M.T. Bollenbach, M. Kleine Berkenbusch, H. Harreis, in:, Proceedings of the 18th Winter Workshop on Nuclear Dynamics, EP Systema, 2002, pp. 111–118.

3d supernovae collapse calculations
M.T. Bollenbach, W. Bauer, in:, American Institute of Physics, 2002, pp. 219–232.

Implementation of shape grammar for plan analysis
S. Mallick, K. Chatterjee, A. Merchant, P. Dasgupta, in:, Elsevier, 2002.

Patch-clamp recording in brain slices with improved slicer technology
J. Geiger, J. Bischofberger, I. Vida, U. Fröbe, S. Pfitzinger, H. Weber, K. Haverkampf, P.M. Jonas, Pflugers Archivf: European Journal of Physiology 443 (2002) 491–501.

Methods of generating three-dimensional digital models of objects by wrapping point cloud data points
H. Edelsbrunner, P. Fu, (2002).

Homeostatic maintenance of neuronal excitability by burst discharges in vivo
G. Buzsáki, J.L. Csicsvari, G. Dragoi, K. Harris, D. Henze, H. Hirase, Cerebral Cortex 12 (2002) 893–899.

General models of multilocus evolution
M. Kirkpatrick, T. Johnson, N.H. Barton, Genetics 161 (2002) 1727–1750.