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.

5625 Publications

2000 | Journal Article | IST-REx-ID: 4274   OA
Barton NH. Genetic hitchhiking. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2000;355(1403):1553-1562. doi:10.1098/rstb.2000.0716
View | DOI | Download (ext.)

2000 | Conference Paper | IST-REx-ID: 4433
Henzinger TA, Rajamani S. Fair bisimulation. In: Vol 1785. Springer; 2000:299-314. doi:10.1007/3-540-46419-0_21
View | DOI

2000 | Conference Paper | IST-REx-ID: 4483
Henzinger TA, Qadeer S, Rajamani S. Decomposing refinement proofs using assume-guarantee reasoning. In: IEEE; 2000:245-252. doi:10.1109/ICCAD.2000.896481
View | DOI

2000 | Book Review | IST-REx-ID: 1031
Fürst J, Jakab M, König M, et al. Structure and function of the ion channel ICln. Cellular Physiology and Biochemistry. 2000;10(5-6):329-334. doi:10.1159/000016374
View | DOI

2000 | Journal Article | IST-REx-ID: 2344   OA
Lieb É, Seiringer R, Yngvason J. Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional. Physical Review A - Atomic, Molecular, and Optical Physics. 2000;61(4):436021-4360213. doi:10.1103/PhysRevA.61.043602
View | DOI | Download (ext.)

2000 | Conference Paper | IST-REx-ID: 2325
Seiringer R. Inequalities for Schrödinger operators and applications to the stability of matter problem . In: Vol 529. American Mathematical Society; 2000:53-72. doi:10.1090/conm/529
View | DOI

2000 | Journal Article | IST-REx-ID: 2731
Erdös L, Yau H. Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation. Communications on Pure and Applied Mathematics. 2000;53(6):667-735. doi:10.1002/(SICI)1097-0312(200006)53:6<667::AID-CPA1>3.0.CO;2-5
View | DOI

2000 | Journal Article | IST-REx-ID: 3532
Henze D, Borhegyi Z, Csicsvari JL, Mamiya A, Harris K, Buzsáki G. Intracellular features predicted by extracellular recordings in the hippocampus in vivo. Journal of Neurophysiology. 2000;84(1):390-400.
View | Download (ext.)

2000 | Journal Article | IST-REx-ID: 4004
Edelsbrunner H, Grayson D. Edgewise subdivision of a simplex. Discrete & Computational Geometry. 2000;24(4):707-719. doi:10.1007/s004540010063
View | DOI

2000 | Journal Article | IST-REx-ID: 4009
Edelsbrunner H, Waupotitsch R. Adaptive simplicial grids from cross-sections of monotone complexes. International Journal of Computational Geometry and Applications. 2000;10(3):267-284. doi:10.1142/S0218195900000164
View | DOI


Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed