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, Christian, and Robert Seiringer. “General Decomposition of Radial Functions on ℝn and Applications to N-Body Quantum Systems.” Letters in Mathematical Physics. Springer, 2002. https://doi.org/10.1023/A:1020204818938.
View | DOI | Download (ext.)
 

2002 | Published | Journal Article | IST-REx-ID: 2353 | OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Superfluidity in Dilute Trapped Bose Gases.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2002. https://doi.org/10.1103/PhysRevB.66.134529.
View | DOI | Download None (ext.) | arXiv
 

2002 | Published | Journal Article | IST-REx-ID: 2420
Wagner, Uli. “On the Number of Corner Cuts.” Advances in Applied Mathematics. ACM, 2002. https://doi.org/10.1016/S0196-8858(02)00014-3.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 2421
Ambühl, Christoph, and Uli Wagner. “On the Clique Problem in Intersection Graphs of Ellipses.” In Proceedings of the 13th International Symposium on Algorithms and Computation, 2518:489–500. Springer, 2002. https://doi.org/10.1007/3-540-36136-7_43.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4562
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Synchronous and Bidirectional Component Interfaces.” In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:414–27. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_34.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4563
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, Marcin Jurdziński, and Freddy Mang. “Interface Compatibility Checking for Software Modules.” In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:428–41. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_35.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4565
Cassez, Franck, Thomas A Henzinger, and Jean Raskin. “A Comparison of Control Problems for Timed and Hybrid Systems.” In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, 2289:134–48. Springer, 2002. https://doi.org/10.1007/3-540-45873-5_13.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 4595
Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.” Journal of the ACM. ACM, 2002. https://doi.org/10.1145/585265.585270.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4631
De Alfaro, Luca, Thomas A Henzinger, and Mariëlle Stoelinga. “Timed Interfaces.” In Proceedings of the 2nd International Conference on Embedded Software, 2491:108–22. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_9.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 6158
Coates, Juliet C., and Mario de Bono. “Antagonistic Pathways in Neurons Exposed to Body Fluid Regulate Social Feeding in Caenorhabditis Elegans.” Nature. Springer Nature, 2002. https://doi.org/10.1038/nature01170.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 6159
Bono, Mario de, David M. Tobin, M. Wayne Davis, Leon Avery, and Cornelia I. Bargmann. “Social Feeding in Caenorhabditis Elegans Is Induced by Neurons That Detect Aversive Stimuli.” Nature. Springer Nature, 2002. https://doi.org/10.1038/nature01169.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 1451 | OA
Hausel, Tamás, and Bernd Sturmfels. “Toric Hyperkähler Varieties.” Documenta Mathematica. Deutsche Mathematiker Vereinigung, 2002. https://doi.org/10.4171/DM/130.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2002 | Published | Journal Article | IST-REx-ID: 13438 | OA
Fürst, Johannes, Markus Ritter, Jakob Rudzki, Johann G Danzl, Martin Gschwentner, Elke Scandella, Martin Jakab, et al. “ICln Ion Channel Splice Variants in Caenorhabditis Elegans.” Journal of Biological Chemistry. Elsevier, 2002. https://doi.org/10.1074/jbc.m107372200.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 12659 | OA
Burlando, Paolo, Francesca Pellicciotti, and Ulrich Strasser. “Modelling Mountainous Water Systems between Learning and Speculating Looking for Challenges.” Hydrology Research. IWA Publishing, 2002. https://doi.org/10.2166/nh.2002.0004.
[Published Version] View | DOI | Download Published Version (ext.)
 

2002 | Published | Journal Article | IST-REx-ID: 3421
Mueller, Daniel, Harald L Janovjak, Tiina Lehto, Lars Kuerschner, and Kurt Anderson. “Observing Structure, Function and Assembly of Single Proteins by AFM.” Progress in Biophysics and Molecular Biology. Elsevier, 2002. https://doi.org/10.1016/S0079-6107(02)00009-3.
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 3422
Müller, Patrick, Harald L Janovjak, Andre Miserez, and Zuzana Dobbie. “Processing of Gene Expression Data Generated by Quantitative Real-Time RT-PCR.” Biotechniques. Informa Healthcare, 2002.
View | PubMed | Europe PMC
 

2002 | Published | Conference Paper | IST-REx-ID: 3423
Bauer, Wolfgang, Mark Tobias Bollenbach, Marko Kleine Berkenbusch, and Holger Harreis. “The Percolation Interpretation of the Nuclear Fragmentation Phase Transition.” In Proceedings of the 18th Winter Workshop on Nuclear Dynamics, 111–18. EP Systema, 2002.
View
 

2002 | Published | Conference Paper | IST-REx-ID: 3424
Bollenbach, Mark Tobias, and Wolfgang Bauer. “3d Supernovae Collapse Calculations,” 644:219–32. American Institute of Physics, 2002. https://doi.org/10.1063/1.1523196 .
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 3448
Mallick, Sanhita, Krishnendu Chatterjee, Arif Merchant, and Pallab Dasgupta. “Implementation of Shape Grammar for Plan Analysis.” Elsevier, 2002.
View
 

2002 | Published | Journal Article | IST-REx-ID: 3497
Geiger, Jörg, Joseph Bischofberger, Imre Vida, Ulrich Fröbe, S Pfitzinger, H. Weber, Klaus Haverkampf, and Peter M Jonas. “Patch-Clamp Recording in Brain Slices with Improved Slicer Technology.” Pflugers Archiv : European Journal of Physiology. Springer, 2002. https://doi.org/10.1007/s00424-001-0735-3.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=2002

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed