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.

6284 Publications


2000 | Journal Article | IST-REx-ID: 4271
Barton, N. H., & Shpak, M. (2000). The effects of epistasis on the structure of hybrid zones. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672399004334
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4272
Barton, N. H., & Shpak, M. (2000). The stability of symmetrical solutions to polygenic models. Theoretical Population Biology. Academic Press. https://doi.org/10.1006/tpbi.2000.1455
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4273
Barton, N. H., & Partridge, L. (2000). Limits to natural selection. Bioessays : News and Reviews in Molecular, Cellular and Developmental Biology. Wiley-Blackwell. https://doi.org/10.1002/1521-1878(200012)22:12<1075::AID-BIES5>3.0.CO;2-M
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4274 | OA
Barton, N. H. (2000). Genetic hitchhiking. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The. https://doi.org/10.1098/rstb.2000.0716
View | DOI | Download (ext.)
 

2000 | Book Chapter | IST-REx-ID: 4275
Barton, N. H. (2000). Differentiation. In Encyclopedia of Biodiversity (pp. 85–94). Academic Press. https://doi.org/10.1016/B0-12-226865-2/00070-5
View | DOI
 

2000 | Book Review | IST-REx-ID: 4276
Barton, N. H. (2000). Population genetics of multiple loci. Genetical Research. Cambridge University Press.
View
 

2000 | Conference Paper | IST-REx-ID: 4433
Henzinger, T. A., & Rajamani, S. (2000). Fair bisimulation (Vol. 1785, pp. 299–314). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/3-540-46419-0_21
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
Henzinger, T. A., & Raskin, J. (2000). Robust undecidability of timed and hybrid systems (Vol. 1790, pp. 145–159). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/3-540-46430-1_15
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, T. A., & Majumdar, R. (2000). Symbolic model checking for rectangular hybrid systems (Vol. 1785, pp. 142–156). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/3-540-46419-0_11
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
Henzinger, T. A., & Majumdar, R. (2000). A classification of symbolic transition systems (Vol. 1770, pp. 13–34). Presented at the STACS: Theoretical Aspects of Computer Science, Springer. https://doi.org/10.1007/3-540-46541-3_2
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
Henzinger, T. A., Horowitz, B., Majumdar, R., & Wong Toi, H. (2000). Beyond HyTech: Hybrid systems analysis using interval numerical methods (Vol. 1790, pp. 130–144). Presented at the HSCC: Hybrid Systems - Computation and Control, Springer. https://doi.org/10.1007/3-540-46430-1_14
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4482
Henzinger, T. A., Majumdar, R., Mang, F., & Raskin, J. (2000). Abstract interpretation of game properties (Vol. 1824, pp. 220–239). Presented at the SAS: Static Analysis Symposium, Springer. https://doi.org/10.1007/978-3-540-45099-3_12
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
Henzinger, T. A., Qadeer, S., & Rajamani, S. (2000). Decomposing refinement proofs using assume-guarantee reasoning (pp. 245–252). Presented at the ICCAD: Computer-Aided Design, IEEE. https://doi.org/10.1109/ICCAD.2000.896481
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
Henzinger, T. A. (2000). Masaccio: A formal model for embedded components (Vol. 1872, pp. 549–563). Presented at the TCS: Theoretical Computer Science, Springer. https://doi.org/10.1007/3-540-44929-9_38
View | DOI
 

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

2000 | Journal Article | IST-REx-ID: 4598
Alur, R., Henzinger, T. A., Lafferriere, G., & Pappas, G. (2000). Discrete abstractions of hybrid systems. Proceedings of the IEEE. IEEE. https://doi.org/10.1109/5.871304
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3149
Hwang, J., Siekhaus, D. E., 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. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M000032200
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3489
Kraushaar, U., & Jonas, P. M. (2000). Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse. Journal of Neuroscience. Society for Neuroscience.
View | Download (ext.)
 

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

2000 | Journal Article | IST-REx-ID: 3491
Martina, M., Vida, I., & Jonas, P. M. (2000). Distal initiation and active propagation of action potentials in interneuron dendrites. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.287.5451.295
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3492
Geiger, J., & Jonas, P. M. (2000). Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(00)00164-1
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3532
Henze, D., Borhegyi, Z., Csicsvari, J. L., Mamiya, A., Harris, K., & Buzsáki, G. (2000). Intracellular features predicted by extracellular recordings in the hippocampus in vivo. Journal of Neurophysiology. American Physiological Society.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3542
Csicsvari, J. L., Hirase, H., Mamiya, A., & Buzsáki, G. (2000). Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(00)00135-5
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3548
Harris, K., Henze, D., Csicsvari, J. L., Hirase, H., & Buzsáki, G. (2000). Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements. Journal of Neurophysiology. American Physiological Society.
View
 

2000 | Conference Paper | IST-REx-ID: 3555
Edelsbrunner, H., Li, X., Miller, G., Stathopoulos, A., Talmor, D., Teng, S., … Walkington, N. (2000). Smoothing and cleaning up slivers (pp. 273–277). Presented at the STOC: Symposium on the Theory of Computing, ACM. https://doi.org/10.1145/335305.335338
View | DOI | Download (ext.)
 

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

2000 | Journal Article | IST-REx-ID: 3583
Edelsbrunner, H. (2000). Triangulations and meshes in computational geometry. Acta Numerica. Cambridge University Press.
View | Download (ext.)
 

2000 | Journal Article | IST-REx-ID: 3623
Barton, N. H., & Patridge, L. (2000). Measuring fitness by means of balancer chromosomes. Genetical Research. Cambridge University Press. https://doi.org/10.1017/S0016672399004346
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3624
Barton, N. H. (2000). Estimating multilocus linkage disequilibria. Heredity. Nature Publishing Group. https://doi.org/10.1046/j.1365-2540.2000.00683.x
View | DOI
 

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. Elsevier. https://doi.org/10.1016/S0304-3940(98)00926-4
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2592
Masugi, M., Yokoi, M., Shigemoto, R., Muguruma, K., Watanabe, Y., Sansig, G., … Nakanishi, S. (1999). Metabotropic glutamate receptor subtype 7 ablation causes deficit in fear response and conditioned taste aversion. Journal of Neuroscience. Society for Neuroscience.
View
 

1999 | Journal Article | IST-REx-ID: 2593
Yu, X., Zhang, E., Craig, A., Shigemoto, R., Ribeiro Da Silva, A., & De Koninck, Y. (1999). NK-1 receptor immunoreactivity in distinct morphological types of lamina I neurons of the primate spinal cord. Journal of Neuroscience. Society for Neuroscience.
View
 

1999 | Journal Article | IST-REx-ID: 2594
Ding, Y., Zheng, H., Wang, D., Xu, J., Gong, L., Lü, Y., … Mizuno, N. (1999). The distribution of substance P receptor (NK1)-like immunoreactive neurons in the newborn and adult human spinal cord. Neuroscience Letters. Elsevier. https://doi.org/10.1016/S0304-3940(99)00283-9
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. Elsevier. https://doi.org/10.1016/S0028-3908(99)00124-0
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. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19990913)412:1<1::AID-CNE1>3.0.CO;2-D
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2597
Bushell, T., Lee, C., Shigemoto, R., & Miller, R. (1999). Modulation of synaptic transmission and differential localisation of mGlus in cultured hippocampal autapses. Neuropharmacology. Elsevier. https://doi.org/10.1016/S0028-3908(99)00103-3
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 (Vol. 108, pp. 233–242). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1007/978-3-0348-8745-8_20
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. Duke University Press. https://doi.org/10.1215/S0012-7094-99-09604-7
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2783
Hof, B., Lucas, P., & Mullin, T. (1999). Flow state multiplicity in convection. Physics of Fluids. American Institute of Physics. https://doi.org/10.1063/1.870178
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2864
Witters, E., Vanhoutte, K., Dewitte, W., Macháčková, I., Benková, E., Van Dongen, W., … Van Onckelen, H. (1999). Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry. Phytochemical Analysis. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1099-1565(199905/06)10:3<143::AID-PCA441>3.0.CO;2-G
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2865
Benková, E., Witters, E., Van Dongen, W., Kolář, J., Motyka, V., Brzobohatý, B., … Macháčková, I. (1999). Cytokinins in tobacco and wheat chloroplasts. Occurrence and changes due to light/dark treatment. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.​1104/​pp.​121.​1.​245
View | DOI
 

1999 | Journal Article | IST-REx-ID: 8526
Kaloshin, V. (1999). An extension of the Artin-Mazur theorem. The Annals of Mathematics. JSTOR. https://doi.org/10.2307/121093
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. Nature Publishing Group. https://doi.org/10.1038/22514
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4601
Alur, R., Henzinger, T. A., & Kupferman, O. (1999). Alternating-time temporal logic (Vol. 1536, pp. 23–60). Presented at the COMPOS: Compositionality, Springer. https://doi.org/10.1007/3-540-49213-5_2
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4602
Alur, R., De Alfaro, L., Henzinger, T. A., & Mang, F. (1999). Automating modular verification (Vol. 1664, pp. 82–97). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-48320-9_8
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4014
Edelsbrunner, H. (1999). Deformable smooth surface design. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/PL00009412
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4204
Heisenberg, C.-P. J., Brennan, C., & Wilson, S. (1999). Zebrafish aussicht mutant embryos exhibit widespread overexpression of ace (fgf8) and coincident defects in CNS development. Development. Company of Biologists.
View
 

1999 | Journal Article | IST-REx-ID: 4277
Kruuk, L., Gilchrist, J., & Barton, N. H. (1999). Hybrid dysfunction in fire-bellied toads (Bombina). Evolution; International Journal of Organic Evolution. Wiley-Blackwell. https://doi.org/10.2307/2640907
View | DOI
 

1999 | Journal Article | IST-REx-ID: 4279
Goodman, S., Barton, N. H., 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. Genetics Society of America.
View
 

1999 | Thesis | IST-REx-ID: 4411
Qadeer, S. (1999). Algorithms and Methodology for Scalable Model Checking. University of California, Berkeley.
View | Download None (ext.)
 

Search

Filter Publications