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.
6978 Publications
2002 |Published| Journal Article | IST-REx-ID: 1739
T. Stergiopoulos, I. Arabatzis, G. Katsaros, and P. Falaras, “Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells,” Nano Letters, vol. 2, no. 11. American Chemical Society, pp. 1259–1261, 2002.
View
| DOI
2002 |Published| Journal Article | IST-REx-ID: 2351 | 
R. Seiringer, “Gross-Pitaevskii theory of the rotating Bose gas,” Communications in Mathematical Physics, vol. 229, no. 3. Springer, pp. 491–509, 2002.
View
| DOI
| Download (ext.)
2002 |Published| Journal Article | IST-REx-ID: 2349 |
É. Lieb and R. Seiringer, “Proof of Bose-Einstein condensation for dilute trapped gases,” Physical Review Letters, vol. 88, no. 17. American Physical Society, pp. 1704091–1704094, 2002.
View
| DOI
| Download (ext.)
2002 |Published| Journal Article | IST-REx-ID: 2352 |
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: 2617 |
A. Losonczy, L. Zhang, R. Shigemoto, P. Somogyi, and Z. Nusser, “Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones,” Journal of Physiology, vol. 542, no. 1. Wiley-Blackwell, pp. 193–210, 2002.
View
| DOI
| Download (ext.)
2002 | Patent | IST-REx-ID: 3508 |
H. Edelsbrunner and P. Fu, “Methods of generating three-dimensional digital models of objects by wrapping point cloud data points.” 2002.
[Published Version]
View
| Download Published Version (ext.)
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| Thesis | IST-REx-ID: 4414
F. Mang, “Games in open systems verification and synthesis,” University of California, Berkeley, 2002.
View
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| 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: 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