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.

5694 Publications


2001 | Conference Paper | IST-REx-ID: 4633
L. De Alfaro, T. A. Henzinger, and R. Majumdar, “Symbolic algorithms for infinite-state games,” presented at the CONCUR: Concurrency Theory, 2001, vol. 2154, pp. 536–550.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 851
I. Rogozin, F. Kondrashov, and G. Glazko, “Use of mutation spectra analysis software,” Human Mutation, vol. 17, no. 2, pp. 83–102, 2001.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 1736
G. Katsaros, P. Lane, and M. Murphy, “Comparison of the impact of FWM on binary, duobinary and dicode modulation in DWDM systems,” presented at the Lasers and Electro Optics Society Annual Meeting, 2000, vol. 1, pp. 27–28.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 1957
L. A. Sazanov and J. Walker, “Cryo-electron crystallography of two sub-complexes of bovine complex I reveals the relationship between the membrane and peripheral arms,” Journal of Molecular Biology, vol. 302, no. 2, pp. 455–464, 2000.
View | DOI
 

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

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

2000 | Conference Paper | IST-REx-ID: 2342   OA
R. Seiringer, É. Lieb, and J. Yngvason, “The ground state energy and density of interacting bosons in a trap,” presented at the ISQTS: Quantum Theory and Symmetries, 2000, pp. 101–110.
View | Download (ext.)
 

2000 | Conference Paper | IST-REx-ID: 2710
L. Erdös, “The kernel of Dirac operators on S3 and R3,” presented at the Differential Equations and Mathematical Physics, 2000, vol. 16, pp. 111–119.
View
 

2000 | Journal Article | IST-REx-ID: 3542
J. L. Csicsvari, H. Hirase, A. Mamiya, and G. Buzsáki, “Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events,” Neuron, vol. 28, no. 2, pp. 585–594, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3624
N. H. Barton, “Estimating multilocus linkage disequilibria,” Heredity, vol. 84, no. 3, pp. 373–389, 2000.
View | DOI
 

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

2000 | Journal Article | IST-REx-ID: 3491
M. Martina, I. Vida, and P. M. Jonas, “Distal initiation and active propagation of action potentials in interneuron dendrites,” Science, vol. 287, no. 5451, pp. 295–300, 2000.
View | DOI
 

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

2000 | Conference Paper | IST-REx-ID: 4482
T. A. Henzinger, R. Majumdar, F. Mang, and J. Raskin, “Abstract interpretation of game properties,” presented at the SAS: Static Analysis Symposium, 2000, vol. 1824, pp. 220–239.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4627
L. De Alfaro and T. A. Henzinger, “Concurrent omega-regular games,” presented at the LICS: Logic in Computer Science, 2000, pp. 141–154.
View | DOI
 

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

2000 | Journal Article | IST-REx-ID: 2343   OA
B. Baumgartner and R. Seiringer, “On the ordering of energy levels in homogeneous magnetic fields,” Letters in Mathematical Physics, vol. 54, no. 3, pp. 213–226, 2000.
View | DOI | Download (ext.)
 

2000 | Conference Paper | IST-REx-ID: 2418
U. Wagner and E. Welzl, “Origin-embracing distributions or a continuous analogue of the Upper Bound Theorem,” presented at the SCG: Symposium on Computational Geometry, 2000, pp. 50–56.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2603
H. Boudin et al., “Presynaptic clustering of mGluR7a requires the PICK1 PDZ domain binding site,” Neuron, vol. 28, no. 2, pp. 485–497, 2000.
View | DOI
 

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

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed