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.

5879 Publications


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

2000 | Conference Paper | IST-REx-ID: 2418 View | DOI
 

2000 | Book Chapter | IST-REx-ID: 2494
Chapter III Metabotropic glutamate receptors - immunocytochemical and in situ hybridization analyses
R. Shigemoto, N. Mizuno, in:, Glutamate, Elsevier, 2000, pp. 63–98.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2598
Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor
P. Sillevis Smitt, A. Kinoshita, B. De Leeuw, W. Moll, M. Coesmans, D. Jaarsma, S. Henzen Logmans, C. Vecht, C. De Zeeuw, N. Sekiyama, S. Nakanishi, R. Shigemoto, New England Journal of Medicine 342 (2000) 21–27.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2599
Relationship between neurokinin-1 receptor and substance P in the striatum: Light and electron microscopic immunohistochemical study in the rat
J. Li, D. Wang, T. Kaneko, R. Shigemoto, S. Nomura, N. Mizuno, Journal of Comparative Neurology 418 (2000) 156–163.
View | DOI
 

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

2000 | Journal Article | IST-REx-ID: 2601
mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination
T. Ichise, M. Kano, K. Hashimoto, D. Yanagihara, K. Nakao, R. Shigemoto, M. Katsuki, A. Aiba, Science 288 (2000) 1832–1835.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2602
Selective blockade of P/Q-type calcium channels by the metabotropic glutamate receptor type 7 involves a phospholipase C pathway in neurons
J. Perroy, L. Prezèau, M. De Waard, R. Shigemoto, J. Bockaërt, L. Fagni, Journal of Neuroscience 20 (2000) 7896–7904.
View
 

2000 | Journal Article | IST-REx-ID: 2603
Presynaptic clustering of mGluR7a requires the PICK1 PDZ domain binding site
H. Boudin, A. Doan, J. Xia, R. Shigemoto, R. Huganir, P. Worley, A. Craig, Neuron 28 (2000) 485–497.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3923
Paternity analysis with AFLPs in Cardiocondyla ants
S. Cremer, B.I.F. Futura 15 (2000) 68–71.
View
 

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

2000 | Conference Paper | IST-REx-ID: 4008
Topological persistance and simplification
H. Edelsbrunner, D. Letscher, A. Zomorodian, in:, IEEE, 2000, pp. 454–463.
View | DOI
 

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

2000 | Journal Article | IST-REx-ID: 4010
Sliver exudation
S. Cheng, T. Dey, H. Edelsbrunner, M. Facello, S. Teng, Journal of the ACM 47 (2000) 883–904.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4147
A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata)
P. Sordino, C. Heisenberg, P. Cirino, A. Toscano, P. Giuliano, R. Marino, M. Pinto, R. De Santis, Sarsia 85 (2000) 173–176.
View
 

2000 | Journal Article | IST-REx-ID: 4197
Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation
C. Heisenberg, M. Tada, G. Rauch, L. Saúde, M. Concha, R. Geisler, D. Stemple, J. Smith, S. Wilson, Nature 405 (2000) 76–81.
View | DOI
 

2000 | Book Review | IST-REx-ID: 4268
Evolving evolvability
L. Partridge, N.H. Barton, Nature 407 (2000) 457–458.
View | DOI
 

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

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

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

2000 | Journal Article | IST-REx-ID: 4272
The stability of symmetrical solutions to polygenic models
N.H. Barton, M. Shpak, Theoretical Population Biology 57 (2000) 249–263.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4273
Limits to natural selection
N.H. Barton, L. Partridge, Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology 22 (2000) 1075–1084.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4274 | OA
Genetic hitchhiking
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 355 (2000) 1553–1562.
View | DOI | Download (ext.)
 

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

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

2000 | Conference Paper | IST-REx-ID: 4433
Fair bisimulation
T.A. Henzinger, S. Rajamani, in:, Springer, 2000, pp. 299–314.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
Robust undecidability of timed and hybrid systems
T.A. Henzinger, J. Raskin, in:, Springer, 2000, pp. 145–159.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Symbolic model checking for rectangular hybrid systems
T.A. Henzinger, R. Majumdar, in:, Springer, 2000, pp. 142–156.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, in:, Springer, 2000, pp. 13–34.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
Beyond HyTech: Hybrid systems analysis using interval numerical methods
T.A. Henzinger, B. Horowitz, R. Majumdar, H. Wong Toi, in:, Springer, 2000, pp. 130–144.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4482
Abstract interpretation of game properties
T.A. Henzinger, R. Majumdar, F. Mang, J. Raskin, in:, Springer, 2000, pp. 220–239.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
Decomposing refinement proofs using assume-guarantee reasoning
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, IEEE, 2000, pp. 245–252.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
Masaccio: A formal model for embedded components
T.A. Henzinger, in:, Springer, 2000, pp. 549–563.
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
The theory of hybrid automata
T.A. Henzinger, in:, M. Inan, R. Kurshan (Eds.), Verification of Digital and Hybrid Systems, Springer, 2000, pp. 265–292.
View
 

2000 | Journal Article | IST-REx-ID: 4598
Discrete abstractions of hybrid systems
R. Alur, T.A. Henzinger, G. Lafferriere, G. Pappas, Proceedings of the IEEE 88 (2000) 971–984.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4627
Concurrent omega-regular games
L. De Alfaro, T.A. Henzinger, in:, IEEE, 2000, pp. 141–154.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
The control of synchronous systems
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–473.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4638
Detecting errors before reaching them
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Springer, 2000, pp. 186–201.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 2710
The kernel of Dirac operators on S3 and R3
L. Erdös, in:, American Mathematical Society, 2000, pp. 111–119.
View
 

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

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

2000 | Journal Article | IST-REx-ID: 2733
Diamagnetic behavior of sums Dirichlet eigenvalues
L. Erdös, M. Loss, V. Vougalter, Annales de l’Institut Fourier 50 (2000) 891–907.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3149
Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion
J. Hwang, D.E. Siekhaus, R. Fuller, P. Taghert, I. Lindberg, Journal of Biological Chemistry 275 (2000) 17886–17893.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 1736
Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems
G. Katsaros, P. Lane, M. Murphy, in:, IEEE, 2000, pp. 27–28.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 1957 View | DOI
 

2000 | Journal Article | IST-REx-ID: 1958
Resolution of the membrane domain of bovine complex I into subcomplexes: implications for the structural organization of the enzyme
L.A. Sazanov, S. Peak Chew, I. Fearnley, J. Walker, Biochemistry 39 (2000) 7229–7235.
View | DOI
 

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

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

2000 | Book Review | IST-REx-ID: 1031
Structure and function of the ion channel ICln
J. Fürst, M. Jakab, M. König, M. Ritter, M. Gschwentner, J. Rudzki, J. Danzl, M. Mayer, C. Burtscher, J. Schirmer, B. Maier, M. Nairz, S. Chwatal, M. Paulmichl, Cellular Physiology and Biochemistry 10 (2000) 329–334.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3489
Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse
U. Kraushaar, P.M. Jonas, Journal of Neuroscience 20 (2000) 5594–5607.
View | Download (ext.)
 

Search

Filter Publications