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.

5684 Publications


2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro L, Henzinger TA, Majumdar R. 2001. Symbolic algorithms for infinite-state games. CONCUR: Concurrency Theory, LNCS, vol. 2154. 536–550.
View | DOI
 

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

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

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

2000 | Journal Article | IST-REx-ID: 2602
Perroy J, Prezèau L, De Waard M, Shigemoto R, Bockaërt J, Fagni L. 2000. 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. 20(21), 7896–7904.
View
 

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

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

2000 | Conference Paper | IST-REx-ID: 2710
Erdös L. 2000. The kernel of Dirac operators on S3 and R3. Differential Equations and Mathematical Physics, AMS/IP Studies in Advanced Mathematics, vol. 16. 111–119.
View
 

2000 | Journal Article | IST-REx-ID: 3542
Csicsvari JL, Hirase H, Mamiya A, Buzsáki G. 2000. Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events. Neuron. 28(2), 585–594.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3624
Barton NH. 2000. Estimating multilocus linkage disequilibria. Heredity. 84(3), 373–389.
View | DOI
 

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

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

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

2000 | Conference Paper | IST-REx-ID: 4482
Henzinger TA, Majumdar R, Mang F, Raskin J. 2000. Abstract interpretation of game properties. SAS: Static Analysis Symposium, LNCS, vol. 1824. 220–239.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4627
De Alfaro L, Henzinger TA. 2000. Concurrent omega-regular games. LICS: Logic in Computer Science 141–154.
View | DOI
 

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

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

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

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

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

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

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

2000 | Conference Paper | IST-REx-ID: 3555
Edelsbrunner H, Li X, Miller G, Stathopoulos A, Talmor D, Teng S, Üngör A, Walkington N. 2000. Smoothing and cleaning up slivers. STOC: Symposium on the Theory of Computing 273–277.
View | DOI | Download (ext.)
 

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

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

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

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

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

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

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

2000 | Conference Paper | IST-REx-ID: 4433
Henzinger TA, Rajamani S. 2000. Fair bisimulation. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1785. 299–314.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
Henzinger TA, Qadeer S, Rajamani S. 2000. Decomposing refinement proofs using assume-guarantee reasoning. ICCAD: Computer-Aided Design 245–252.
View | DOI
 

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

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

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

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

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

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

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

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

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

2000 | Book Chapter | IST-REx-ID: 4275
Barton NH. 2000. Differentiation. Encyclopedia of Biodiversity. 85–94.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
Henzinger TA, Raskin J. 2000. Robust undecidability of timed and hybrid systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 1790. 145–159.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
Henzinger TA, Majumdar R. 2000. A classification of symbolic transition systems. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 1770. 13–34.
View | DOI
 

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

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

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

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

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

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

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed