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


2001 | Journal Article | IST-REx-ID: 2345   OA
R. Seiringer, “On the maximal ionization of atoms in strong magnetic fields,” Journal of Physics A: Mathematical and General, vol. 34, no. 9, pp. 1943–1948, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2605
F. Geurts, J. Timmermans, R. Shigemoto, and E. De Schutter, “Morphological and neurochemical differentiation of large granular layer interneurons in the adult rat cerebellum,” Neuroscience, vol. 104, no. 2, pp. 499–512, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2612
J. Li et al., “Immunocytochemical localization of GABAB receptors in mesencephalic trigeminal nucleus neurons in the rat,” Neuroscience Letters, vol. 315, no. 1–2, pp. 93–97, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2984
R. Swarup et al., “Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex,” Genes and Development, vol. 15, no. 20, pp. 2648–2653, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3622
M. Gardner, K. Fowler, L. Patridge, and N. H. Barton, “Genetic variation for preadult viability in Drosophila melanogaster,” Evolution, vol. 55, no. 8, pp. 1609–1620, 2001.
View | Download (ext.)
 

2001 | Patent | IST-REx-ID: 3507
J. Liang and H. Edelsbrunner, “Molecular classification for property prediction.” Elsevier, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3540
H. Hirase, X. Leinekugel, A. Czurkó, J. L. Csicsvari, and G. Buzsáki, “Firing rates of hippocampal neurons are preserved during subsequent sleep episodes and modified by novel awake experience,” PNAS, vol. 98, no. 16, pp. 9386–9390, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3494
M. Bartos, I. Vida, M. Frotscher, J. Geiger, and P. M. Jonas, “Rapid signaling at inhibitory synapses in a dentate gyrus interneuron network.,” Journal of Neuroscience, vol. 21, no. 8, pp. 2687–2698, 2001.
View
 

2001 | Conference Paper | IST-REx-ID: 4005
H. Cheng, T. Dey, H. Edelsbrunner, and J. Sullivan, “Dynamic skin triangulation,” presented at the SODA: Symposium on Discrete Algorithms, 2001, pp. 47–56.
View
 

2001 | Journal Article | IST-REx-ID: 4264
M. Turelli, N. H. Barton, and J. Coyne, “Theory and speciation,” Trends in Ecology and Evolution, vol. 16, no. 7, pp. 330–343, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Embedded control systems development with Giotto,” presented at the LCTES: Languages, Compilers, and Tools for Embedded Systems, 2001, pp. 64–72.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
L. De Alfaro, T. A. Henzinger, and R. Jhala, “Compositional methods for probabilistic systems,” presented at the CONCUR: Concurrency Theory, 2001, vol. 2154, pp. 351–365.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 874
F. Kondrashov and A. Kondrashov, “Multidimensional epistasis and the disadvantage of sex,” PNAS, vol. 98, no. 21, pp. 12089–12092, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 855
I. Rogozin, A. Kochetov, F. Kondrashov, E. Koonin, and L. Milanesi, “Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a ’weak’context of the start codon,” Bioinformatics, vol. 17, no. 10, pp. 890–900, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 867
F. Kondrashov and E. Koonin, “Origin of alternative splicing by tandem exon duplication,” Human Molecular Genetics, vol. 10, no. 23, pp. 2661–2669, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2606
G. Martínez, G. López Bendito, R. Luján, R. Shigemoto, A. Fairén, and M. Valdeolmillos, “Cajal-Retzius cells in early postnatal mouse cortex selectively express functional metabotropic glutamate receptors,” European Journal of Neuroscience, vol. 13, no. 6, pp. 1147–1154, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2341   OA
B. Baumgartner and R. Seiringer, “Atoms with bosonic "electrons" in strong magnetic fields,” Annales Henri Poincare, vol. 2, no. 1, pp. 41–76, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2346   OA
C. Hainzl and R. Seiringer, “Bounds on one-dimensional exchange energies with application to lowest Landau band quantum mechanics,” Letters in Mathematical Physics, vol. 55, no. 2, pp. 133–142, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2985
L. Trnková, J. Friml, and O. Dračka, “Elimination voltammetry of adenine and cytosine mixtures,” Bioelectrochemistry, vol. 54, no. 2, pp. 131–136, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3438
J. Huelsenbeck, F. Ronquist, R. Nielsen, and J. P. Bollback, “Bayesian inference of phylogeny and its impact on evolutionary biology,” Science, vol. 294, no. 5550, pp. 2310–2314, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3440
J. Huelsenbeck and J. P. Bollback, “Empirical and hierarchical Bayesian estimation of ancestral states,” Systematic Biology, vol. 50, no. 3, pp. 351–366, 2001.
View | DOI
 

2001 | Book Review | IST-REx-ID: 3596
N. H. Barton, “Mendel and mathematics,” Trends in Genetics, vol. 17. Elsevier, pp. 420–420, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3546
H. Hirase, X. Leinekugel, J. L. Csicsvari, A. Czurkó, and G. Buzsáki, “Behavior-dependent states of the hippocampal network affect functional clustering of neurons,” Journal of Neuroscience, vol. 21, no. 10, 2001.
View
 

2001 | Journal Article | IST-REx-ID: 3495
J. Jerecic, C. Schulze, P. M. Jonas, R. Sprengel, P. Seeburg, and J. Bischofberger, “Impaired NMDA receptor function in mouse olfactory bulb neurons by tetracycline-sensitive NR1 (N598R) expression,” Molecular brain research, vol. 94, no. 1–2, pp. 96–104, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4001
H. Cheng, H. Edelsbrunner, and P. Fu, “Shape space from deformation,” Computational Geometry: Theory and Applications, vol. 19, no. 2–3, pp. 191–204, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4006
H. Edelsbrunner, “180 wrapped tubes,” Journal of Universal Computer Science, vol. 7, no. 5, pp. 379–399, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4265
S. Otto and N. H. Barton, “Selection for recombination in small populations,” Evolution; International Journal of Organic Evolution, vol. 55, no. 10, pp. 1921–1931, 2001.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
T. A. Henzinger, B. Horowitz, and C. Kirsch, “Giotto: A time-triggered language for embedded programming,” presented at the EMSOFT: Embedded Software , 2001, vol. 2211, pp. 166–184.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
R. Alur, R. Brayton, T. A. Henzinger, S. Qadeer, and S. Rajamani, “Partial-order reduction in symbolic state-space exploration,” Formal Methods in System Design, vol. 18, no. 2, pp. 97–116, 2001.
View | DOI
 

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
 

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
 

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
 

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

2000 | Journal Article | IST-REx-ID: 4271
N. H. Barton and M. Shpak, “The effects of epistasis on the structure of hybrid zones,” Genetical Research, vol. 75, no. 2, pp. 179–198, 2000.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
T. A. Henzinger and R. Majumdar, “Symbolic model checking for rectangular hybrid systems,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2000, vol. 1785, pp. 142–156.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
T. A. Henzinger, “Masaccio: A formal model for embedded components,” presented at the TCS: Theoretical Computer Science, 2000, vol. 1872, pp. 549–563.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
L. De Alfaro, T. A. Henzinger, and F. Mang, “The control of synchronous systems,” presented at the CONCUR: Concurrency Theory, 2000, vol. 1877, pp. 458–473.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4598
R. Alur, T. A. Henzinger, G. Lafferriere, and G. Pappas, “Discrete abstractions of hybrid systems,” Proceedings of the IEEE, vol. 88, no. 7, pp. 971–984, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2601
T. Ichise et al., “mGluR1 in cerebellar Purkinje cells essential for long-term depression, synapse elimination, and motor coordination,” Science, vol. 288, no. 5472, pp. 1832–1835, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2598
P. Sillevis Smitt et al., “Paraneoplastic cerebellar ataxia due to autoantibodies against a glutamate receptor,” New England Journal of Medicine, vol. 342, no. 1, pp. 21–27, 2000.
View | DOI
 

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

2000 | Journal Article | IST-REx-ID: 3798
P. M. Jonas, “The time course of signaling at central glutamatergic synapses,” Physiology, vol. 15, no. 2, pp. 83–89, 2000.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3623
N. H. Barton and L. Patridge, “Measuring fitness by means of balancer chromosomes,” Genetical Research, vol. 75, no. 3, pp. 297–314, 2000.
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 3572
H. Edelsbrunner, “Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung,” in Zur Kunst des formalen Denkens, Passagen Verlag, 2000, pp. 153–171.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3490
C. Normann, D. Peckys, C. Schulze, J. Walden, P. M. Jonas, and J. Bischofberger, “Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels,” Journal of Neuroscience, vol. 20, no. 22, pp. 8290–8297, 2000.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 4272
N. H. Barton and M. Shpak, “The stability of symmetrical solutions to polygenic models,” Theoretical Population Biology, vol. 57, no. 3, pp. 249–263, 2000.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
T. A. Henzinger, B. Horowitz, R. Majumdar, and H. Wong Toi, “Beyond HyTech: Hybrid systems analysis using interval numerical methods,” presented at the HSCC: Hybrid Systems - Computation and Control, 2000, vol. 1790, pp. 130–144.
View | DOI
 

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

2000 | Conference Paper | IST-REx-ID: 4638
L. De Alfaro, T. A. Henzinger, and F. Mang, “Detecting errors before reaching them,” presented at the CAV: Computer-Aided Verification, 2000, vol. 1855, pp. 186–201.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2594
Y. Ding et al., “The distribution of substance P receptor (NK1)-like immunoreactive neurons in the newborn and adult human spinal cord,” Neuroscience Letters, vol. 266, no. 2, pp. 133–136, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3148
D. E. Siekhaus and R. Fuller, “A role for amontillado the Drosophila homolog of the neuropeptide precursor processing protease PC2 in triggering hatching behavior,” Journal of Neuroscience, vol. 19, no. 16, pp. 6942–6954, 1999.
View
 

1999 | Conference Paper | IST-REx-ID: 3554
X. Jiao, H. Edelsbrunner, and M. Heath, “Mesh association: formulation and algorithms,” presented at the IMR: International Meshing Roundtable, 1999, pp. 75–82.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 4014
H. Edelsbrunner, “Deformable smooth surface design,” Discrete & Computational Geometry, vol. 21, no. 1, pp. 87–115, 1999.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed