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: 2618
Nunzi M, Shigemoto R, Mugnaini E. 2002. Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum. Journal of Comparative Neurology. 451(2), 189–199.
View | DOI | PubMed | Europe PMC
 

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| 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| 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| 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| 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: 885 | OA
Kondrashov A, Sunyaev S, Kondrashov F. 2002. Dobzhansky-Muller incompatibilities in protein evolution. PNAS. 99(23), 14878–14883.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

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: 871 | OA
Kondrashov F, Rogozin I, Wolf Y, Koonin E. 2002. Selection in the evolution of gene duplications . Genome Biology. 3(2).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 |Published| Journal Article | IST-REx-ID: 859
Perelygin A, Kondrashov F, Rogozin I, Brinton M. 2002. Evolution of the mouse polyubiquitin C gene. Journal of Molecular Evolution. 55(2), 202–210.
View | DOI | PubMed | Europe PMC
 

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| Journal Article | IST-REx-ID: 13438 | OA
Fürst J, Ritter M, Rudzki J, Danzl JG, Gschwentner M, Scandella E, Jakab M, König M, Oehl B, Lang F, Deetjen P, Paulmichl M. 2002. ICln Ion channel splice variants in Caenorhabditis elegans. Journal of Biological Chemistry. 277(6), 4435–4445.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2001 | Patent | IST-REx-ID: 3507 | OA
Liang J, Edelsbrunner H. 2001. Molecular classification for property prediction.
[Published Version] View | Download Published Version (ext.)
 

2001 |Published| Book | IST-REx-ID: 3586
Edelsbrunner H. 2001. Geometry and Topology for Mesh Generation, Cambridge University Press, 190p.
View | Files available | DOI
 

2001 |Published| Conference Paper | IST-REx-ID: 3447
Chatterjee K, Dasgupta P, Chakrabarti P. 2001. Weighted quantified computation tree logic. CIT: Conference on Information Technology.
View
 

2001 |Published| Conference Paper | IST-REx-ID: 4634
De Alfaro L, Henzinger TA, Mang F. 2001. The control of synchronous systems, Part II. Proceedings of the 12th International Conference on on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 2154, 566–581.
View | DOI
 

2001 |Published| Conference Paper | IST-REx-ID: 4633
De Alfaro L, Henzinger TA, Majumdar R. 2001. Symbolic algorithms for infinite-state games. Proceedings of the 12th International Conference on on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 2154, 536–550.
View | DOI
 

2001 |Published| Conference Paper | IST-REx-ID: 4636
De Alfaro L, Henzinger TA, Majumdar R. 2001. From verification to control: dynamic programs for omega-regular objectives. Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 279–290.
View | DOI
 

Filters and Search Terms

supervisor%3D40876CD8-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications