Seiringer, Robert. Symmetry Breaking in a Model of a Rotating Bose Gas. Edited by Richardo Weder et al., vol. 307, World Scientific Publishing, 2002, pp. 281–86, doi:10.1090/conm/307.

Seiringer, Robert. “Gross-Pitaevskii Theory of the Rotating Bose Gas.”10.1007/s00220-002-0695-2__Communications in Mathematical Physics, vol. 229, no. 3, Springer, 2002, pp. 491–509, doi:10.1007/s00220-002-0695-2.

Lieb, Élliott, and Robert Seiringer. “Proof of Bose-Einstein Condensation for Dilute Trapped Gases.”10.1103/PhysRevLett.88.170409__Physical Review Letters, vol. 88, no. 17, American Physical Society, 2002, pp. 1704091–94, doi:10.1103/PhysRevLett.88.170409.

Hainzl, Christian, and Robert Seiringer. “General Decomposition of Radial Functions on dn and Applications to N-Body Quantum Systems.”10.1023/A:1020204818938__Letters in Mathematical Physics, vol. 61, no. 1, Springer, 2002, pp. 75–84, doi:10.1023/A:1020204818938.

Losonczy, Attila, et al. “Cell Type Dependence and Variability in the Short-Term Plasticity of EPSCs in Identified Mouse Hippocampal Interneurones.”10.1113/jphysiol.2002.020024__Journal of Physiology, vol. 542, no. 1, Wiley-Blackwell, 2002, pp. 193–210, doi:10.1113/jphysiol.2002.020024.

Erdös, László. Two Dimensional Pauli Operator via Scalar Potential. Vol. 307, World Scientific Publishing, 2002, pp. 129–33, doi:10.1090/conm/307.

Friml, Jií, and Klaus Palme. “Polar Auxin Transport - Old Questions and New Concepts?”10.1023/A:1015248926412__Plant Molecular Biology, vol. 49, no. 3–4, Springer, 2002, pp. 273–84, doi:10.1023/A:1015248926412.

Edelsbrunner, Herbert, and Ping Fu. Methods of Generating Three-Dimensional Digital Models of Objects by Wrapping Point Cloud Data Points. 2002.

Mallick, Sanhita, et al. Implementation of Shape Grammar for Plan Analysis. Elsevier, 2002.

Mang, Freddy. Games in Open Systems Verification and Synthesis. University of California, Berkeley, 2002, pp. 1–116.

Coates, Juliet C., and Mario de Bono. “Antagonistic Pathways in Neurons Exposed to Body Fluid Regulate Social Feeding in Caenorhabditis Elegans.”10.1038/nature01170__Nature, vol. 419, no. 6910, Springer Nature, 2002, pp. 925–29, doi:10.1038/nature01170.

de Bono, Mario, et al. “Social Feeding in Caenorhabditis Elegans Is Induced by Neurons That Detect Aversive Stimuli.”10.1038/nature01169__Nature, vol. 419, no. 6910, Springer Nature, 2002, pp. 899–903, doi:10.1038/nature01169.

De Alfaro, Luca, et al. “Timed Interfaces.”10.1007/3-540-45828-X_9__Proceedings of the 2nd International Conference on Embedded Software, vol. 2491, ACM, 2002, pp. 108–22, doi:10.1007/3-540-45828-X_9.

Chakrabarti, Arindam, et al. “Synchronous and Bidirectional Component Interfaces.”10.1007/3-540-45657-0_34__Proceedings of the 14th International Conference on Computer Aided Verification, vol. 2404, Springer, 2002, pp. 414–27, doi:10.1007/3-540-45657-0_34.

Cassez, Franck, et al. “A Comparison of Control Problems for Timed and Hybrid Systems.”10.1007/3-540-45873-5_13__Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, vol. 2289, Springer, 2002, pp. 134–48, doi:10.1007/3-540-45873-5_13.

Alur, Rajeev, et al. “Alternating-Time Temporal Logic.”10.1145/585265.585270__Journal of the ACM, vol. 49, no. 5, ACM, 2002, pp. 672–713, doi:10.1145/585265.585270.

Henzinger, Thomas A., et al. “Synthesis of Uninitialized Systems.”10.1007/3-540-45465-9_55__Proceedings of the 29th International Colloquium on Automata, Languages and Programming, vol. 2380, Springer, 2002, pp. 644–56, doi:10.1007/3-540-45465-9_55.

Henzinger, Thomas A., et al. “Fair Simulation.”10.1006/inco.2001.3085__Information and Computation, vol. 173, no. 1, Elsevier, 2002, pp. 64–81, doi:10.1006/inco.2001.3085.

Chakrabarti, Arindam, et al. “Interface Compatibility Checking for Software Modules.”10.1007/3-540-45657-0_35__Proceedings of the 14th International Conference on Computer Aided Verification, vol. 2404, Springer, 2002, pp. 428–41, doi:10.1007/3-540-45657-0_35.

Henzinger, Thomas A., et al. “Temporal Safety Proofs for Systems Code.”10.1007/3-540-45657-0_45__Proceedings of the 14th International Conference on Computer Aided Verification, vol. 2404, Springer, 2002, pp. 526–38, doi:10.1007/3-540-45657-0_45.