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

Henzinger TA, Krishnan S, Kupferman O, Mang F. 2002. Synthesis of uninitialized systems. Proceedings of the 29th International Colloquium on Automata, Languages and Programming. ICALP: Automata, Languages and Programming, LNCS, vol. 2380, 644–656.

Henzinger TA, Kupferman O, Rajamani S. 2002. Fair simulation. Information and Computation. 173(1), 64–81.

Chakrabarti A, De Alfaro L, Henzinger TA, Jurdziski M, Mang F. 2002. Interface compatibility checking for software modules. Proceedings of the 14th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 428–441.

Henzinger TA, Necula G, Jhala R, Sutre G, Majumdar R, Weimer W. 2002. Temporal safety proofs for systems code. Proceedings of the 14th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 526–538.

Henzinger TA, Kirsch C, Majumdar R, Matic S. 2002. Time-safety checking for embedded programs. Proceedings of the 2nd International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2491, 76–92.

Henzinger TA, Kirsch C. 2002. The embedded machine: predictable, portable real-time code. Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation. PLDI: Programming Languages Design and Implementation, 315–326.

Henzinger TA, Jhala R, Majumdar R, Sutre G. 2002. Lazy abstraction. Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL: Principles of Programming Languages, 58–70.

Henzinger TA, Qadeer S, Rajamani S, Tasiran S. 2002. An assume-guarantee rule for checking simulation. ACM Transactions on Programming Languages and Systems (TOPLAS). 24(1), 51–64.

Horowitz B, Liebman J, Ma C, Koo TJ, Henzinger TA, Sangiovanni Vincentelli A, Sastry S. 2002. Embedded software design and system integration for rotorcraft UAV using platforms. Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control. IFAC: World Congress on Automatic Control vol. 15.

Kirsch C, Sanvido M, Henzinger TA, Pree W. 2002. A Giotto-based helicopter control system. Proceedings of the 2nd International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2491, 46–60.

Jurdziski M, Kupferman O, Henzinger TA. 2002. Trading probability for fairness. Proceedings of the 16th International Workshop on Computer Science Logic. CSL: Computer Science Logic, LNCS, vol. 2471, 292–305.

Passerone R, De Alfaro L, Henzinger TA, Sangiovanni Vincentelli A. 2002. Convertibility verification and converter synthesis: Two faces of the same coin. Proceedings of the 11th IEEE/ACM international conference on Computer-aided design. ICCAD: Computer-Aided Design, 132–139.

Barton NH, Navarro A. 2002. Extending the coalescent to multilocus systems: the case of balancing selection. Genetical Research. 79(2), 129–139.

Johnson T, Barton NH. 2002. The effect of deleterious alleles on adaptation in asexual populations. Genetics. 162(1), 395–411.

Bollback JP. 2002. Bayesian model adequacy and choice in phylogenetics. Molecular Biology and Evolution. 19(7), 1171–80.

Barton NH, Depaulis F, Etheridge A. 2002. Neutral evolution in spatially continuous populations. Theoretical Population Biology. 61(1), 31–48.

Barton NH, Keightley P. 2002. Understanding quantitative genetic variation. Nature Reviews Genetics. 3, 11–21.

Huelsenbeck J, Bollback JP, Levine A. 2002. Inferring the root of a phylogenetic tree. Systematic Biology. 51(1), 32–43.

Raskin J, Schobbens P, Henzinger TA. 2002. Axioms for real-time logics. Theoretical Computer Science. 274(1–2), 151–182.

Navarro A, Barton NH. 2002. The effects of multilocus balancing selection on neutral variability. Genetics. 161(2), 849–863.

Orive M, Barton NH. 2002. Associations between cytoplasmic and nuclear loci in hybridizing populations. Genetics. 162(3), 1469–1485.

Hannus M, Feiguin F, Heisenberg C-PJ, Eaton S. 2002. Planar cell polarization requires Widerborst, a B regulatory subunit of protein phosphatase 2A. Development. 129(14), 3493–3503.

Heisenberg C-PJ. 2002. Wnt signalling: Refocusing on Strabismus. Current Biology. 12(19), 7–9.

Houart C, Caneparo L, Heisenberg C-PJ, Barth KA, Take Uchi M, Wilson S. 2002. Establishment of the telencephalon during gastrulation by local antagonism of Wnt signaling. Neuron. 35(2), 255–265.

Tada M, Concha M, Heisenberg C-PJ. 2002. Non-canonical Wnt signalling and regulation of gastrulation movements. Seminars in Cell &; Developmental Biology. 13(3), 251–260.

Heisenberg C-PJ, Tada M. 2002. Zebrafish gastrulation movements: bridging cell and developmental biology. Seminars in Cell &; Developmental Biology. 13(6), 471–479.

Heisenberg C-PJ, Tada M. 2002. Wnt signalling: A moving picture emerges from van gogh. Current Biology. 12(4), 6–8.

Polechova J, Stopka P. 2002. Geometry of social relationships in the Old World wood mouse, Apodemus sylvaticus. Canadian Journal of Zoology. 80(8), 1383–1388.

Agarwal P, Edelsbrunner H, Wang Y. 2002. Computing the writhing number of a polygonal knot. Proceedings of the 13th annual ACM-SIAM symposium on Discrete algorithms. SODA: Symposium on Discrete Algorithms, 791–799.

Agarwal P, Guibas L, Edelsbrunner H, Erickson J, Isard M, Har Peled S, Hershberger J, Jensen C, Kavraki L, Koehl P, Lin M, Manocha D, Metaxas D, Mirtich B, Mount D, Muthukrishnan S, Pai D, Sacks E, Snoeyink J, Suri S, Wolefson O. 2002. Algorithmic issues in modeling motion. ACM Computing Surveys. 34(4), 550–572.

Zomorodian A, Edelsbrunner H. 2002. Fast software for box intersections. International Journal of Computational Geometry and Applications. 12(1–2), 143–172.

Edelsbrunner H, Guoy D. 2002. An experimental study of sliver exudation. Engineering with Computers. 18(3), 229–240.

Bischofberger J, Geiger J, Jonas PM. 2002. Timing and efficacy of Ca(2+) channel activation in hippocampal mossy fiber boutons. Journal of Neuroscience. 22(24), 10593–10602.

Cremer S, Heinze J. 2002. Adaptive production of fighter males: queens of the ant Cardiocondyla adjust the sex ratio under local mate competition. Proceedings of the Royal Society of London Series B Biological Sciences. 269(1489), 417–422.

Cremer S, Lautenschläger B, Heinze J. 2002. A transitional stage between the ergatoid and winged male morph in the ant Cardiocondyla obscurior. Insectes Sociaux. 49(3), 221–228.

Cremer S, Sledge M, Heinze J. 2002. Chemical mimicry: Male ants disguised by the queen’s bouquet. Nature. 419, 897–897.

Edelsbrunner H, Letscher D, Zomorodian A. 2002. Topological persistence and simplification. Discrete &; Computational Geometry. 28(4), 511–533.

Turillazzi S, Sledge M, Cremer S, Heinze J. 2002. A method for analysing small-size specimens in GC-MS. Insect Social Life. 4, 169–175.

Bartos M, Vida I, Frotscher M, Meyer A, Monyer H, Geiger J, Jonas PM. 2002. Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks. PNAS. 99(20), 13222–13227.

Bischofberger J, Jonas PM. 2002. TwoB or not twoB: differential transmission at glutamatergic mossy fiber-interneuron synapses in the hippocampus. Trends in Neurosciences. 25(12), 600–603.

Hefft S, Kraushaar U, Geiger J, Jonas PM. 2002. Presynaptic short-term depression is maintained during regulation of transmitter release at a GABAergic synapse in rat hippocampus. Journal of Physiology. 539(Pt 1), 201–8.

Lien C, Martina M, Schultz J, Ehmke H, Jonas PM. 2002. Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus. Journal of Physiology. 538(Pt 2), 405–419.

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

Guet CC, Elowitz M, Hsing W, Leibler S. 2002. Combinatorial synthesis of genetic networks. Science. 296(5572), 1466–1470.

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

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

Bollenbach MT, Bauer W. 2002. 3d supernovae collapse calculations. CRIS: Catania Relativistic Ion Studies , Exotic Clustering, American Institute of Physics Conference Proceedings, vol. 644, 219–232.

Grebe M, Friml J, Swarup R, Ljung K, Sandberg G, Terlou M, Palme K, Bennett M, Scheres B. 2002. Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway. Current Biology. 12(4), 329–334.

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

Friml J, Benková E, Blilou I, Wibniewska J, Hamann T, Ljung K, Woody S, Sandberg G, Scheres B, Jürgens G, Palme K. 2002. AtPIN4 mediates sink-driven auxin gradients and root patterning in Arabidopsis. Cell. 108(5), 661–673.

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

Hippenmeyer S, Shneider N, Birchmeier C, Burden S, Jessell T, Arber S. 2002. A role for Neuregulin1 signaling in muscle spindle differentiation. Neuron. 36(6), 1035–1049.

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

Friml J, Wibniewska J, Benková E, Mendgen K, Palme K. 2002. Lateral relocation of auxin efflux regulator PIN3 mediates tropism in Arabidopsis. Nature. 415(6873), 806–809.

Souter M, Topping J, Pullen M, Friml J, Palme K, Hackett R, Grierson D, Lindsey K. 2002. Hydra mutants of Arabidopsis are defective in sterol profiles and auxin and ethylene signaling. Plant Cell. 14(5), 1017–1031.

Hamann T, Benková E, Bäurle I, Kientz M, Jürgens G. 2002. The Arabidopsis BODENLOS gene encodes an auxin response protein inhibiting MONOPTEROS-mediated embryo patterning. Genes and Development. 16(13), 1610–1615.

Kolmogorov V, Zabih R. 2002. Multi-camera scene reconstruction via graph cuts. Proceedings of the 7th European Conference on Computer Vision. ECCV: European Conference on Computer Vision, 65–81.

Erdös L, Vougalter V. 2002. Pauli operator and Aharonov–Casher theorem¶ for measure valued magnetic fields. Communications in Mathematical Physics. 225(2), 399–421.

Erdös L. 2002. Linear Boltzmann equation as the long time dynamics of an electron weakly coupled to a phonon field. Journal of Statistical Physics. 107(5–6), 1043–1127.

Erdös L. 2002. Spectral shift and multiplicity of the first eigenvalue of the magnetic Schrödinger operator in two dimensions. Annales de l’Institut Fourier. 52(6), 1833–1874.

Bardos C, Erdös L, Golse F, Mauser N, Yau H. 2002. Derivation of the Schrödinger-Poisson equation from the quantum N-body problem. Comptes Rendus Mathematique. 334(6), 515–520.

Kulik Á, Nakadate K, Nyíri G, Notomi T, Malitschek B, Bettler B, Shigemoto R. 2002. Distinct localization of GABAB receptors relative to synaptic sites in the rat cerebellum and ventrobasal thalamus. European Journal of Neuroscience. 15(2), 291–307.

Erdös L. 2002.Scaling limits of Schrödinger quantum mechanics. In: Dynamics of Dissipation. LNP, , 487–506.

López Bendito G, Shigemoto R, Kulik Á, Paulsen O, Fairén A, Luján R. 2002. Expression and distribution of metabotropic GABA receptor subtypes GABAB and GABAB during rat neocortical development. European Journal of Neuroscience. 15(11), 1766–1778.

Millán C, Luján R, Shigemoto R, Sánchez Prieto J. 2002. Subtype-specific expression of Group III metabotropic glutamate receptors and C+ channels in single nerve terminals. Journal of Biological Chemistry. 277(49), 47796–47803.

Lörincz A, Notomi T, Tamás G, Shigemoto R, Nusser Z. 2002. Polarized and compartment-dependent distribution of HCN1 in pyramidal cell dendrites. Nature Neuroscience. 5(11), 1185–1193.

Millán C, Luján R, Shigemoto R, Sánchez Prieto J. 2002. The inhibition of glutamate release by metabotropic glutamate receptor 7 affects both [C+]c and cAMP. Evidence for a strong reduction of C+ entry in single nerve terminals. Journal of Biological Chemistry. 277(16), 14092–14101.

Kitano J, Kimura K, Yamazaki Y, Soda T, Shigemoto R, Nakajima Y, Nakanishi S. 2002. Tamalin, a PDZ domain-containing protein, links a protein complex formation of group 1 metabotropic glutamate receptors and the guanine nucleotide exchange factor cytohesins. Journal of Neuroscience. 22(4), 1280–1289.

López Bendito G, Shigemoto R, Fairén A, Luján R. 2002. Differential distribution of group I metabotropic glutamate receptors during rat cortical development. Cerebral Cortex. 12(6), 625–638.

Dalezios Y, Luján R, Shigemoto R, Roberts J, Somogyi P. 2002. Enrichment of mGlua in the Presynaptic active zones of GABAergic and Non-GABAergic terminals on interneurons in the rat somatosensory cortex. Cerebral Cortex. 12(9), 961–974.

Toyono T, Seta Y, Sataoka S, Harada H, Morotomi T, Kawano S, Shigemoto R, Toyoshima K. 2002. Expression of the metabotropic glutamate receptor, mGlua, in the taste hairs of taste buds in rat gustatory papillae. Archives of Histology and Cytology. 65(1), 91–96.

Nunzi M, Shigemoto R, Mugnaini E. 2002. Differential expression of calretinin and metabotropic glutamate receptor mGlu;1 defines subsets of unipolar brush cells in mouse cerebellum. Journal of Comparative Neurology. 451(2), 189–199.

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

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

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

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

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

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

Kondrashov A, Sunyaev S, Kondrashov F. 2002. Dobzhansky-Muller incompatibilities in protein evolution. PNAS. 99(23), 14878–14883.

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

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

Kondrashov F, Rogozin I, Wolf Y, Koonin E. 2002. Selection in the evolution of gene duplications . Genome Biology. 3(2).

Perelygin A, Kondrashov F, Rogozin I, Brinton M. 2002. Evolution of the mouse polyubiquitin C gene. Journal of Molecular Evolution. 55(2), 202–210.

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

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