Please note that IST 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.

5630 Publications


2000 | Journal Article | IST-REx-ID: 842
Wolf Y, Kondrashov F, Koonin E. 2000. No footprints of primordial introns in a eukaryotic genome. Trends in Genetics. 16(8), 333–334.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 1455   OA
Hausel T, Makai E, Szücs A. 2000. Inscribing cubes and covering by rhombic dodecahedra via equivariant topology. Mathematika. 47(1–2), 371–397.
View | DOI | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 2600
Li J, Wang D, Kaneko T, Shigemoto R, Nomura S, Mizuno N. 2000. The relationship between neurokinin-1 receptor and substance P in the medullary dorsal horn: A light and electron microscopic immunohistochemical study in the rat. Neuroscience Research. 36(4), 327–334.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2732
Castella F, Erdös L, Frommlet F, Markowich P. 2000. Fokker-Planck equations as scaling limits of reversible quantum systems. Journal of Statistical Physics. 100(3–4), 543–601.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3583
Edelsbrunner H. 2000. Triangulations and meshes in computational geometry. Acta Numerica. 9, 133–213.
View | Download (ext.)
 

2000 | Book Review | IST-REx-ID: 4276
Barton NH. 2000. Population genetics of multiple loci. Genetical Research. 75(3), 371–373.
View
 

2000 | Journal Article | IST-REx-ID: 4269
Coyne J, Barton NH, Turelli M. 2000. Is Wright’s shifting balance process important in evolution? Evolution; International Journal of Organic Evolution. 54(1), 306–317.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4271
Barton NH, Shpak M. 2000. The effects of epistasis on the structure of hybrid zones. Genetical Research. 75(2), 179–198.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Henzinger TA, Majumdar R. 2000. Symbolic model checking for rectangular hybrid systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1785. 142–156.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
Henzinger TA. 2000. Masaccio: A formal model for embedded components. TCS: Theoretical Computer Science, LNCS, vol. 1872. 549–563.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed