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.

5604 Publications


2000 | Conference Paper | IST-REx-ID: 4433
T. A. Henzinger and S. Rajamani, “Fair bisimulation,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2000, vol. 1785, pp. 299–314.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
T. A. Henzinger, S. Qadeer, and S. Rajamani, “Decomposing refinement proofs using assume-guarantee reasoning,” presented at the ICCAD: Computer-Aided Design, 2000, pp. 245–252.
View | DOI
 

2000 | Book Review | IST-REx-ID: 1031
J. Fürst et al., “Structure and function of the ion channel ICln,” Cellular Physiology and Biochemistry, vol. 10, no. 5–6. S. Karger AG, pp. 329–334, 2000.
View | DOI
 

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

2000 | Conference Paper | IST-REx-ID: 2325
R. Seiringer, “Inequalities for Schrödinger operators and applications to the stability of matter problem ,” presented at the Arizona School of Analysis With Applications, 2000, vol. 529, pp. 53–72.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2731
L. Erdös and H. Yau, “Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation,” Communications on Pure and Applied Mathematics, vol. 53, no. 6, pp. 667–735, 2000.
View | DOI
 

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

2000 | Journal Article | IST-REx-ID: 4004
H. Edelsbrunner and D. Grayson, “Edgewise subdivision of a simplex,” Discrete & Computational Geometry, vol. 24, no. 4, pp. 707–719, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4009
H. Edelsbrunner and R. Waupotitsch, “Adaptive simplicial grids from cross-sections of monotone complexes,” International Journal of Computational Geometry and Applications, vol. 10, no. 3, pp. 267–284, 2000.
View | DOI
 

2000 | Book Review | IST-REx-ID: 4268
L. Partridge and N. H. Barton, “Evolving evolvability,” Nature, vol. 407, no. 6803. Nature Publishing Group, pp. 457–458, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4270
N. Galtier, F. Depaulis, and N. H. Barton, “Detecting bottlenecks and selective sweeps from DNA sequence polymorphism,” Genetics, vol. 155, no. 2, pp. 981–987, 2000.
View
 

2000 | Book Chapter | IST-REx-ID: 4275
N. H. Barton, “Differentiation,” in Encyclopedia of Biodiversity, Academic Press, 2000, pp. 85–94.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
T. A. Henzinger and J. Raskin, “Robust undecidability of timed and hybrid systems,” presented at the HSCC: Hybrid Systems - Computation and Control, 2000, vol. 1790, pp. 145–159.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
T. A. Henzinger and R. Majumdar, “A classification of symbolic transition systems,” presented at the STACS: Theoretical Aspects of Computer Science, 2000, vol. 1770, pp. 13–34.
View | DOI
 

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

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

2000 | Journal Article | IST-REx-ID: 2600
J. Li, D. Wang, T. Kaneko, R. Shigemoto, S. Nomura, and N. Mizuno, “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, vol. 36, no. 4, pp. 327–334, 2000.
View | DOI
 

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

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

2000 | Book Review | IST-REx-ID: 4276
N. H. Barton, “Population genetics of multiple loci,” Genetical Research, vol. 75, no. 3. Cambridge University Press, pp. 371–373, 2000.
View
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed