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. 31(4), 415–418.
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. 149(1–3), 191–198.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 1738
Falaras P, Chryssou K, Stergiopoulos T, Arabatzis I, Katsaros G, Catalano V, Kurtaran R, Hugot Le Goff A, Bernard M. 2002. Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes. Organic Photovoltaics vol. 4801, 125–135.
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. 2(11), 1259–1261.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 204
Browning TD. 2002. Equal Sums of Two kth Powers. Journal of Number Theory. 96(2), 293–318.
[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. Current Developments in Mathematics, , 131–178.
[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. QMath: Mathematical Results in Quantum Physics, Contemporary Mathematics, vol. 307, 281–286.
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. 88(17), 1704091–1704094.
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. 6(5), 847–871.
[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. 229(3), 491–509.
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. 61(1), 75–84.
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. 66(13).
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. 29(2), 152–161.
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. Proceedings of the 13th International Symposium on Algorithms and Computation. ISAAC: International Symposium on Algorithms and Computation, LNCS, vol. 2518, 489–500.
View | DOI
 

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

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

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

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

2002 | Published | Conference Paper | IST-REx-ID: 4631
De Alfaro L, Henzinger TA, Stoelinga M. 2002. Timed interfaces. Proceedings of the 2nd International Conference on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2491, 108–122.
View | DOI
 

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

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed