Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

106 Publications


2002 | Published | Journal Article | IST-REx-ID: 2352 | OA
Hainzl C, Seiringer R. General decomposition of radial functions on ℝn and applications to N-body quantum systems. Letters in Mathematical Physics. 2002;61(1):75-84. doi:10.1023/A:1020204818938
View | DOI | Download (ext.)
 

2002 | Published | Journal Article | IST-REx-ID: 2353 | OA
Lieb É, Seiringer R, Yngvason J. Superfluidity in dilute trapped Bose gases. Physical Review B - Condensed Matter and Materials Physics. 2002;66(13). doi:10.1103/PhysRevB.66.134529
View | DOI | Download None (ext.) | arXiv
 

2002 | Published | Journal Article | IST-REx-ID: 2420
Wagner U. On the number of corner cuts. Advances in Applied Mathematics. 2002;29(2):152-161. doi:10.1016/S0196-8858(02)00014-3
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 2421
Ambühl C, Wagner U. On the Clique problem in intersection graphs of ellipses. In: Proceedings of the 13th International Symposium on Algorithms and Computation. Vol 2518. Springer; 2002:489-500. doi:10.1007/3-540-36136-7_43
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4562
Chakrabarti A, De Alfaro L, Henzinger TA, Mang F. Synchronous and bidirectional component interfaces. In: Proceedings of the 14th International Conference on Computer Aided Verification. Vol 2404. Springer; 2002:414-427. doi:10.1007/3-540-45657-0_34
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4563
Chakrabarti A, De Alfaro L, Henzinger TA, Jurdziński M, Mang F. Interface compatibility checking for software modules. In: Proceedings of the 14th International Conference on Computer Aided Verification. Vol 2404. Springer; 2002:428-441. doi:10.1007/3-540-45657-0_35
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4565
Cassez F, Henzinger TA, Raskin J. A comparison of control problems for timed and hybrid systems. In: Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control. Vol 2289. Springer; 2002:134-148. doi:10.1007/3-540-45873-5_13
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 4595
Alur R, Henzinger TA, Kupferman O. Alternating-time temporal logic. Journal of the ACM. 2002;49(5):672-713. doi:10.1145/585265.585270
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4631
De Alfaro L, Henzinger TA, Stoelinga M. Timed interfaces. In: Proceedings of the 2nd International Conference on Embedded Software. Vol 2491. ACM; 2002:108-122. doi:10.1007/3-540-45828-X_9
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 6158
Coates JC, de Bono M. Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. Nature. 2002;419(6910):925-929. doi:10.1038/nature01170
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 6159
de Bono M, Tobin DM, Davis MW, Avery L, Bargmann CI. Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. 2002;419(6910):899-903. doi:10.1038/nature01169
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 1451 | OA
Hausel T, Sturmfels B. Toric hyperkähler varieties. Documenta Mathematica. 2002;7(1):495-534. doi:10.4171/DM/130
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2002 | Published | Journal Article | IST-REx-ID: 13438 | OA
Fürst J, Ritter M, Rudzki J, et al. ICln Ion channel splice variants in Caenorhabditis elegans. Journal of Biological Chemistry. 2002;277(6):4435-4445. doi:10.1074/jbc.m107372200
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 12659 | OA
Burlando P, Pellicciotti F, Strasser U. Modelling mountainous water systems between learning and speculating looking for challenges. Hydrology Research. 2002;33(1):47-74. doi:10.2166/nh.2002.0004
[Published Version] View | DOI | Download Published Version (ext.)
 

2002 | Published | Journal Article | IST-REx-ID: 3421
Mueller D, Janovjak HL, Lehto T, Kuerschner L, Anderson K. Observing structure, function and assembly of single proteins by AFM. Progress in Biophysics and Molecular Biology. 2002;79(1-3):1-43. doi:10.1016/S0079-6107(02)00009-3
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 3422
Müller P, Janovjak HL, Miserez A, Dobbie Z. Processing of gene expression data generated by quantitative real-time RT-PCR. Biotechniques. 2002;32(6):1372-1379.
View | PubMed | Europe PMC
 

2002 | Published | Conference Paper | IST-REx-ID: 3423
Bauer W, Bollenbach MT, Kleine Berkenbusch M, Harreis H. The percolation interpretation of the nuclear fragmentation phase transition. In: Proceedings of the 18th Winter Workshop on Nuclear Dynamics. EP Systema; 2002:111-118.
View
 

2002 | Published | Conference Paper | IST-REx-ID: 3424
Bollenbach MT, Bauer W. 3d supernovae collapse calculations. In: Vol 644. American Institute of Physics; 2002:219-232. doi:10.1063/1.1523196
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 3448
Mallick S, Chatterjee K, Merchant A, Dasgupta P. Implementation of shape grammar for plan analysis. In: Elsevier; 2002.
View
 

2002 | Published | Journal Article | IST-REx-ID: 3497
Geiger J, Bischofberger J, Vida I, et al. Patch-clamp recording in brain slices with improved slicer technology. Pflugers Archiv : European Journal of Physiology. 2002;443(3):491-501. doi:10.1007/s00424-001-0735-3
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=2002

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed