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.

5703 Publications


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
 

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

2000 | Journal Article | IST-REx-ID: 3548
K. Harris, D. Henze, J. L. Csicsvari, H. Hirase, and G. Buzsáki, “Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements,” Journal of Neurophysiology, vol. 84, no. 1, pp. 401–414, 2000.
View
 

2000 | Conference Paper | IST-REx-ID: 3555
H. Edelsbrunner et al., “Smoothing and cleaning up slivers,” presented at the STOC: Symposium on the Theory of Computing, 2000, pp. 273–277.
View | DOI | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3492
J. Geiger and P. M. Jonas, “Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons,” Neuron, vol. 28, no. 3, pp. 927–939, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3923
S. Cremer, “Paternity analysis with AFLPs in Cardiocondyla ants,” B.I.F. Futura, vol. 15, no. 1, pp. 68–71, 2000.
View
 

2000 | Conference Paper | IST-REx-ID: 4008
H. Edelsbrunner, D. Letscher, and A. Zomorodian, “Topological persistance and simplification,” presented at the FOCS: Foundations of Computer Science, 2000, pp. 454–463.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4010
S. Cheng, T. Dey, H. Edelsbrunner, M. Facello, and S. Teng, “Sliver exudation,” Journal of the ACM, vol. 47, no. 5, pp. 883–904, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4147
P. Sordino et al., “A mutational approach to the study of development of the protochordate Ciona intestinalis (Tunicata, Chordata),” Sarsia, vol. 85, no. 2, pp. 173–176, 2000.
View
 

2000 | Journal Article | IST-REx-ID: 4197
C. Heisenberg et al., “Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation,” Nature, vol. 405, no. 6782, pp. 76–81, 2000.
View | DOI
 

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

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
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed