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.

5685 Publications


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
 

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

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

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

2000 | Conference Paper | IST-REx-ID: 4512
Henzinger TA. 2000. Masaccio: A formal model for embedded components. TCS: Theoretical Computer Science, LNCS, vol. 1872. 549–563.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro L, Henzinger TA, Mang F. 2000. The control of synchronous systems. CONCUR: Concurrency Theory, LNCS, vol. 1877. 458–473.
View | DOI
 

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

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

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

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

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

2000 | Journal Article | IST-REx-ID: 3623
Barton NH, Patridge L. 2000. Measuring fitness by means of balancer chromosomes. Genetical Research. 75(3), 297–314.
View | DOI
 

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

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

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

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

2000 | Book Chapter | IST-REx-ID: 4513
Henzinger TA. 2000. The theory of hybrid automata. Verification of Digital and Hybrid Systems. , NATO ASI Series F: Computer and Systems Sciences, vol. 170. 265–292.
View
 

2000 | Conference Paper | IST-REx-ID: 4638
De Alfaro L, Henzinger TA, Mang F. 2000. Detecting errors before reaching them. CAV: Computer-Aided Verification, LNCS, vol. 1855. 186–201.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2594
Ding Y, Zheng H, Wang D, Xu J, Gong L, Lü Y, Qin B, Shi J, Li H, Li J, Shigemoto R, Kaneko T, Mizuno N. 1999. The distribution of substance P receptor (NK1)-like immunoreactive neurons in the newborn and adult human spinal cord. Neuroscience Letters. 266(2), 133–136.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3148
Siekhaus DE, Fuller R. 1999. A role for amontillado the Drosophila homolog of the neuropeptide precursor processing protease PC2 in triggering hatching behavior. Journal of Neuroscience. 19(16), 6942–6954.
View
 

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

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

1999 | Journal Article | IST-REx-ID: 4204
Heisenberg C, Brennan C, Wilson S. 1999. Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development. Development. 126(10), 2129–2140.
View
 

1999 | Conference Paper | IST-REx-ID: 4487
Henzinger TA, Qadeer S, Rajamani S. 1999. Assume-guarantee refinement between different time scales. CAV: Computer Aided Verification, LNCS, vol. 1633. 208–221.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 883
Kondrashov A, Kondrashov F. 1999. Interactions among quantitative traits in the course of sympatric speciation. Nature. 400(6742), 351–354.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2595
Lafon Cazal M, Viennois G, Kühn R, Malitschek B, Pin J, Shigemoto R, Bockaërt J. 1999. mGluR7-like receptor and GABA(B) receptor activation enhance neurotoxic effects of N-methyl-D-aspartate in cultured mouse striatal GABAergic neurones. Neuropharmacology. 38(10), 1631–1640.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2730
Erdös L, Solovej J. 1999. Semiclassical eigenvalue estimates for the Pauli operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type estimate. Duke Mathematical Journal. 96(1), 127–173.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 2711
Erdös L. 1999. Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation. QMath: Mathematical Results in Quantum Physics, Operator Theory: Advances and Applications, vol. 108. 233–242.
View | DOI
 

1999 | Book | IST-REx-ID: 3137
Jonas PM, Monyer H eds. 1999. Ionotropic Glutamate Receptors in the CNS, Springer,p.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3625
Barton NH. 1999. Clines in polygenic traits. Genetical Research. 74(3), 223–236.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3524
Csicsvari JL, Hirase H, Czurkó A, Mamiya A, Buzsáki G. 1999. Oscillatory coupling of hippocampal pyramidal cells and interneurons in the behaving rat. Journal of Neuroscience. 19(1), 274–287.
View | Download (ext.)
 

1999 | Journal Article | IST-REx-ID: 3531
Dragoi G, Carpi D, Recce M, Csicsvari JL, Buzsáki G. 1999. Interactions between hippocampus and medial septum during sharp waves and theta oscillation in the behaving rat. Journal of Neuroscience. 19(14), 6191–6199.
View
 

1999 | Journal Article | IST-REx-ID: 4279
Goodman S, Barton NH, Swanson G, Abernethy K, Pemberton J. 1999. Introgression through rare hybridisation: A genetic study of a hybrid zone between red and sika deer (genus Cervus), in Argyll, Scotland. Genetics. 152(1), 355–371.
View
 

1999 | Journal Article | IST-REx-ID: 2591
Kummer W, Shigemoto R, Haberberger R. 1999. Smooth muscle cells are the site of neurokinin-1 receptor localization in the arterial supply of the rat sciatic nerve. Neuroscience Letters. 259(2), 119–122.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2596
Bischoff S, Leonhard S, Reymann N, Schuler V, Shigemoto R, Kaupmann K, Bettler B. 1999. Spatial distribution of GABA(B)R1 receptor mRNA and binding sites in the rat brain^. Journal of Comparative Neurology. 412(1), 1–16.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 3626
Kruuk L, Baird S, Gale K, Barton NH. 1999. A comparison of multilocus clines maintained by environmental adaptation or by selection against hybrids. Genetics. 153(4), 1959–1971.
View
 

1999 | Journal Article | IST-REx-ID: 3518
Nádasdy Z, Hirase H, Czurkó A, Csicsvari JL, Buzsáki G. 1999. Replay and time compression of recurring spike sequences in the hippocampus. Journal of Neuroscience. 19(21), 9497–9507.
View
 

1999 | Journal Article | IST-REx-ID: 3582
Dey T, Edelsbrunner H, Guha S, Nekhayev D. 1999. Topology preserving edge contraction. Publications de l’Institut Mathématique. 66, 23–45.
View | Download (ext.)
 

1999 | Conference Paper | IST-REx-ID: 4484
Henzinger TA, Qadeer S, Rajamani S. 1999. Verifying sequential consistency on shared-memory multiprocessor systems. CAV: Computer Aided Verification, LNCS, vol. 1633. 301–315.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2592
Masugi M, Yokoi M, Shigemoto R, Muguruma K, Watanabe Y, Sansig G, Van Der Putten H, Nakanishi S. 1999. Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion. Journal of Neuroscience. 19(3), 955–963.
View
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed