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.

6502 Publications


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: 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. Wiley-Blackwell, pp. 306–317, 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. Genetics Society of America, pp. 981–987, 2000.
View
 

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. Cambridge University Press, pp. 179–198, 2000.
View | DOI
 

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. Academic Press, pp. 249–263, 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. Wiley-Blackwell, pp. 1075–1084, 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. Royal Society, The, pp. 1553–1562, 2000.
View | DOI | Download (ext.)
 

2000 | Book Chapter | IST-REx-ID: 4275
N. H. Barton, “Differentiation,” in Encyclopedia of Biodiversity, Academic Press, 2000, pp. 85–94.
View | DOI
 

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 | 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: 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: 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: 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 | 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 | 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: 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 | 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 | 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 | 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. IEEE, pp. 971–984, 2000.
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. American Society for Biochemistry and Molecular Biology, pp. 17886–17893, 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. Society for Neuroscience, pp. 5594–5607, 2000.
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. Society for Neuroscience, pp. 8290–8297, 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. American Association for the Advancement of Science, pp. 295–300, 2000.
View | DOI
 

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. Elsevier, pp. 927–939, 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. American Physiological Society, pp. 390–400, 2000.
View | Download (ext.)
 

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. Elsevier, pp. 585–594, 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. American Physiological Society, 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 | 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: 3583
H. Edelsbrunner, “Triangulations and meshes in computational geometry,” Acta Numerica, vol. 9. Cambridge University Press, pp. 133–213, 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. Cambridge University Press, pp. 297–314, 2000.
View | DOI
 

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

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

1999 | Journal Article | IST-REx-ID: 2592
M. Masugi et al., “Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion,” Journal of Neuroscience, vol. 19, no. 3. Society for Neuroscience, pp. 955–963, 1999.
View
 

1999 | Journal Article | IST-REx-ID: 2593
X. Yu, E. Zhang, A. Craig, R. Shigemoto, A. Ribeiro Da Silva, and Y. De Koninck, “NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord,” Journal of Neuroscience, vol. 19, no. 9. Society for Neuroscience, pp. 3545–3555, 1999.
View
 

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. Elsevier, pp. 133–136, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2595
M. Lafon Cazal et al., “mGluR7-like receptor and GABA(B) receptor activation enhance neurotoxic effects of N-methyl-D-aspartate in cultured mouse striatal GABAergic neurones,” Neuropharmacology, vol. 38, no. 10. Elsevier, pp. 1631–1640, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2596
S. Bischoff et al., “Spatial distribution of GABA(B)R1 receptor mRNA and binding sites in the rat brain^,” Journal of Comparative Neurology, vol. 412, no. 1. Wiley-Blackwell, pp. 1–16, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2597
T. Bushell, C. Lee, R. Shigemoto, and R. Miller, “Modulation of synaptic transmission and differential localisation of mGlus in cultured hippocampal autapses,” Neuropharmacology, vol. 38, no. 10. Elsevier, pp. 1553–1567, 1999.
View | DOI
 

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

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

1999 | Journal Article | IST-REx-ID: 2783
B. Hof, P. Lucas, and T. Mullin, “Flow state multiplicity in convection,” Physics of Fluids, vol. 11, no. 10. American Institute of Physics, pp. 2815–2817, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2864
E. Witters et al., “Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry,” Phytochemical Analysis, vol. 10, no. 3. Wiley-Blackwell, pp. 143–151, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2865
E. Benková et al., “Cytokinins in tobacco and wheat chloroplasts. Occurrence and changes due to light/dark treatment,” Plant Physiology, vol. 121, no. 1. American Society of Plant Biologists, pp. 245–251, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 8526
V. Kaloshin, “An extension of the Artin-Mazur theorem,” The Annals of Mathematics, vol. 150, no. 2. JSTOR, pp. 729–741, 1999.
View | DOI
 

1999 | Journal Article | IST-REx-ID: 883
A. Kondrashov and F. Kondrashov, “Interactions among quantitative traits in the course of sympatric speciation,” Nature, vol. 400, no. 6742. Nature Publishing Group, pp. 351–354, 1999.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4601
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” presented at the COMPOS: Compositionality, 1999, vol. 1536, pp. 23–60.
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4602
R. Alur, L. De Alfaro, T. A. Henzinger, and F. Mang, “Automating modular verification,” presented at the CONCUR: Concurrency Theory, 1999, vol. 1664, pp. 82–97.
View | DOI
 

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

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

Search

Filter Publications