Seiringer R. 2002. Symmetry breaking in a model of a rotating Bose gas. QMath: Mathematical Results in Quantum Physics, Contemporary Mathematics, vol. 307, 281–286.
LibreCat: https://research-explorer.ista.ac.at/record/2339
DOI: 10.1090/conm/307

Seiringer R. 2002. Gross-Pitaevskii theory of the rotating Bose gas. Communications in Mathematical Physics. 229(3), 491–509.
LibreCat: https://research-explorer.ista.ac.at/record/2351
DOI: 10.1007/s00220-002-0695-2

Lieb É, Seiringer R. 2002. Proof of Bose-Einstein condensation for dilute trapped gases. Physical Review Letters. 88(17), 1704091–1704094.
LibreCat: https://research-explorer.ista.ac.at/record/2349
DOI: 10.1103/PhysRevLett.88.170409

Hainzl C, Seiringer R. 2002. General decomposition of radial functions on dn and applications to N-body quantum systems. Letters in Mathematical Physics. 61(1), 75–84.
LibreCat: https://research-explorer.ista.ac.at/record/2352
DOI: 10.1023/A:1020204818938

Losonczy A, Zhang L, Shigemoto R, Somogyi P, Nusser Z. 2002. Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones. Journal of Physiology. 542(1), 193–210.
LibreCat: https://research-explorer.ista.ac.at/record/2617
DOI: 10.1113/jphysiol.2002.020024

Erdös L. 2002. Two dimensional Pauli operator via scalar potential. QMath: Mathematical Results in Quantum Physics, Contemporary Mathematics, vol. 307, 129–133.
LibreCat: https://research-explorer.ista.ac.at/record/2708
DOI: 10.1090/conm/307

Friml J, Palme K. 2002. Polar auxin transport - Old questions and new concepts? Plant Molecular Biology. 49(3–4), 273–284.
LibreCat: https://research-explorer.ista.ac.at/record/2991
DOI: 10.1023/A:1015248926412

Edelsbrunner H, Fu P. 2002. Methods of generating three-dimensional digital models of objects by wrapping point cloud data points.
LibreCat: https://research-explorer.ista.ac.at/record/3508

Mallick S, Chatterjee K, Merchant A, Dasgupta P. 2002. Implementation of shape grammar for plan analysis. IT-Built: Information Technology For Built Environment.
LibreCat: https://research-explorer.ista.ac.at/record/3448

Mang F. 2002. Games in open systems verification and synthesis. University of California, Berkeley.
LibreCat: https://research-explorer.ista.ac.at/record/4414

Coates JC, de Bono M. 2002. Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. Nature. 419(6910), 925–929.
LibreCat: https://research-explorer.ista.ac.at/record/6158
DOI: 10.1038/nature01170
PMID: 12410311

de Bono M, Tobin DM, Davis MW, Avery L, Bargmann CI. 2002. Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. 419(6910), 899–903.
LibreCat: https://research-explorer.ista.ac.at/record/6159
DOI: 10.1038/nature01169
PMID: 12410303

De Alfaro L, Henzinger TA, Stoelinga M. 2002. Timed interfaces. Proceedings of the 2nd International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2491, 108–122.
LibreCat: https://research-explorer.ista.ac.at/record/4631
DOI: 10.1007/3-540-45828-X_9

Chakrabarti A, De Alfaro L, Henzinger TA, Mang F. 2002. Synchronous and bidirectional component interfaces. Proceedings of the 14th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 2404, 414–427.
LibreCat: https://research-explorer.ista.ac.at/record/4562
DOI: 10.1007/3-540-45657-0_34

Cassez F, Henzinger TA, Raskin J. 2002. A comparison of control problems for timed and hybrid systems. Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 2289, 134–148.
LibreCat: https://research-explorer.ista.ac.at/record/4565
DOI: 10.1007/3-540-45873-5_13

Alur R, Henzinger TA, Kupferman O. 2002. Alternating-time temporal logic. Journal of the ACM. 49(5), 672–713.
LibreCat: https://research-explorer.ista.ac.at/record/4595
DOI: 10.1145/585265.585270

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.
LibreCat: https://research-explorer.ista.ac.at/record/4471
DOI: 10.1007/3-540-45465-9_55

Henzinger TA, Kupferman O, Rajamani S. 2002. Fair simulation. Information and Computation. 173(1), 64–81.
LibreCat: https://research-explorer.ista.ac.at/record/4474
DOI: 10.1006/inco.2001.3085

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.
LibreCat: https://research-explorer.ista.ac.at/record/4563
DOI: 10.1007/3-540-45657-0_35

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.
LibreCat: https://research-explorer.ista.ac.at/record/4472
DOI: 10.1007/3-540-45657-0_45