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.

8923 Publications


2002 | Published | Journal Article | IST-REx-ID: 897
Castillo Davis, C., Mekhedov, S., Hartl, D., Koonin, E., & Kondrashov, F. (2002). Selection for short introns in highly expressed genes. Nature Genetics. Nature Publishing Group. https://doi.org/10.1038/ng940
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 1737
Katsaros, G., Stergiopoulos, T., Arabatzis, I., Papadokostaki, K., & Falaras, P. (2002). A solvent-free composite polymer/inorganic oxide electrolyte for high efficiency solid-state dye-sensitized solar cells. Journal of Photochemistry and Photobiology A: Chemistry. Elsevier. https://doi.org/10.1016/S1010-6030(02)00027-8
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 1738
Falaras, P., Chryssou, K., Stergiopoulos, T., Arabatzis, I., Katsaros, G., Catalano, V., … Bernard, M. (2002). Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes (Vol. 4801, pp. 125–135). Presented at the Organic Photovoltaics, SPIE. https://doi.org/10.1117/12.452446
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 1739
Stergiopoulos, T., Arabatzis, I., Katsaros, G., & Falaras, P. (2002). Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells. Nano Letters. American Chemical Society. https://doi.org/10.1021/nl025798u
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 204
Browning, T. D. (2002). Equal Sums of Two kth Powers. Journal of Number Theory. Academic Press. https://doi.org/10.1006/jnth.2002.2800
[Published Version] View | DOI
 

2002 | Published | Book Chapter | IST-REx-ID: 2338 | OA
Lieb, É., Solovej, J., Seiringer, R., & Yngvason, J. (2002). The ground state of the Bose gas. In Current Developments in Mathematics, 2001 (pp. 131–178). International Press. https://doi.org/10.48550/arXiv.math-ph/0204027
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2002 | Published | Conference Paper | IST-REx-ID: 2339
Seiringer, R. (2002). Symmetry breaking in a model of a rotating Bose gas. In R. Weder, P. Exner, & B. Grébert (Eds.) (Vol. 307, pp. 281–286). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1090/conm/307
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 2349 | OA
Lieb, É., & Seiringer, R. (2002). Proof of Bose-Einstein condensation for dilute trapped gases. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.88.170409
View | DOI | Download (ext.)
 

2002 | Published | Journal Article | IST-REx-ID: 2350 | OA
Hainzl, C., & Seiringer, R. (2002). Mass renormalization and energy level shift in non-relativistic QED. Advances in Theoretical and Mathematical Physics. International Press. https://doi.org/10.4310/ATMP.2002.v6.n5.a3
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2002 | Published | Journal Article | IST-REx-ID: 2351 | OA
Seiringer, R. (2002). Gross-Pitaevskii theory of the rotating Bose gas. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-002-0695-2
View | DOI | Download (ext.)
 

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

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

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

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

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

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

2002 | Published | Conference Paper | IST-REx-ID: 4565
Cassez, F., Henzinger, T. A., & Raskin, J. (2002). 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, pp. 134–148). Stanford, CA, USA: Springer. https://doi.org/10.1007/3-540-45873-5_13
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 4595
Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM. ACM. https://doi.org/10.1145/585265.585270
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4631
De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2002). Timed interfaces. In Proceedings of the 2nd International Conference on Embedded Software (Vol. 2491, pp. 108–122). Grenoble, France: ACM. https://doi.org/10.1007/3-540-45828-X_9
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 6158
Coates, J. C., & de Bono, M. (2002). Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. Nature. Springer Nature. https://doi.org/10.1038/nature01170
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed