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
C. Hainzl and R. Seiringer, “General decomposition of radial functions on ℝn and applications to N-body quantum systems,” Letters in Mathematical Physics, vol. 61, no. 1. Springer, pp. 75–84, 2002.
View | DOI | Download (ext.)
 

2002 | Published | Journal Article | IST-REx-ID: 2353 | OA
É. Lieb, R. Seiringer, and J. Yngvason, “Superfluidity in dilute trapped Bose gases,” Physical Review B - Condensed Matter and Materials Physics, vol. 66, no. 13. American Physical Society, 2002.
View | DOI | Download None (ext.) | arXiv
 

2002 | Published | Journal Article | IST-REx-ID: 2420
U. Wagner, “On the number of corner cuts,” Advances in Applied Mathematics, vol. 29, no. 2. ACM, pp. 152–161, 2002.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 2421
C. Ambühl and U. Wagner, “On the Clique problem in intersection graphs of ellipses,” in Proceedings of the 13th International Symposium on Algorithms and Computation, Vancouver, Canada, 2002, vol. 2518, pp. 489–500.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4562
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and F. Mang, “Synchronous and bidirectional component interfaces,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 414–427.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4563
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, M. Jurdziński, and F. Mang, “Interface compatibility checking for software modules,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 428–441.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4565
F. Cassez, T. A. Henzinger, and J. Raskin, “A comparison of control problems for timed and hybrid systems,” in Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Stanford, CA, USA, 2002, vol. 2289, pp. 134–148.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 4595
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” Journal of the ACM, vol. 49, no. 5. ACM, pp. 672–713, 2002.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4631
L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Timed interfaces,” in Proceedings of the 2nd International Conference on Embedded Software, Grenoble, France, 2002, vol. 2491, pp. 108–122.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 6158
J. C. Coates and M. de Bono, “Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans,” Nature, vol. 419, no. 6910. Springer Nature, pp. 925–929, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 6159
M. de Bono, D. M. Tobin, M. W. Davis, L. Avery, and C. I. Bargmann, “Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli,” Nature, vol. 419, no. 6910. Springer Nature, pp. 899–903, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 1451 | OA
T. Hausel and B. Sturmfels, “Toric hyperkähler varieties,” Documenta Mathematica, vol. 7, no. 1. Deutsche Mathematiker Vereinigung, pp. 495–534, 2002.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2002 | Published | Journal Article | IST-REx-ID: 13438 | OA
J. Fürst et al., “ICln Ion channel splice variants in Caenorhabditis elegans,” Journal of Biological Chemistry, vol. 277, no. 6. Elsevier, pp. 4435–4445, 2002.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 12659 | OA
P. Burlando, F. Pellicciotti, and U. Strasser, “Modelling mountainous water systems between learning and speculating looking for challenges,” Hydrology Research, vol. 33, no. 1. IWA Publishing, pp. 47–74, 2002.
[Published Version] View | DOI | Download Published Version (ext.)
 

2002 | Published | Journal Article | IST-REx-ID: 3421
D. Mueller, H. L. Janovjak, T. Lehto, L. Kuerschner, and K. Anderson, “Observing structure, function and assembly of single proteins by AFM,” Progress in Biophysics and Molecular Biology, vol. 79, no. 1–3. Elsevier, pp. 1–43, 2002.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 3422
P. Müller, H. L. Janovjak, A. Miserez, and Z. Dobbie, “Processing of gene expression data generated by quantitative real-time RT-PCR,” Biotechniques, vol. 32, no. 6. Informa Healthcare, pp. 1372–1379, 2002.
View | PubMed | Europe PMC
 

2002 | Published | Conference Paper | IST-REx-ID: 3423
W. Bauer, M. T. Bollenbach, M. Kleine Berkenbusch, and H. Harreis, “The percolation interpretation of the nuclear fragmentation phase transition,” in Proceedings of the 18th Winter Workshop on Nuclear Dynamics, Nassau, Bahamas, 2002, pp. 111–118.
View
 

2002 | Published | Conference Paper | IST-REx-ID: 3424
M. T. Bollenbach and W. Bauer, “3d supernovae collapse calculations,” presented at the CRIS: Catania Relativistic Ion Studies , Catania, Italy, 2002, vol. 644, pp. 219–232.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 3448
S. Mallick, K. Chatterjee, A. Merchant, and P. Dasgupta, “Implementation of shape grammar for plan analysis,” presented at the IT-Built: Information Technology For Built Environment, 2002.
View
 

2002 | Published | Journal Article | IST-REx-ID: 3497
J. Geiger et al., “Patch-clamp recording in brain slices with improved slicer technology,” Pflugers Archiv : European Journal of Physiology, vol. 443, no. 3. Springer, pp. 491–501, 2002.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=2002

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed