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.

6306 Publications


1997 | Conference Paper | IST-REx-ID: 4608
Alur, R., Brayton, R., Henzinger, T. A., Qadeer, S., & Rajamani, S. (1997). Partial-order reduction in symbolic state-space exploration (Vol. 1254, pp. 340–351). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-63166-6_34
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
Alur, R., Henzinger, T. A., & Kupferman, O. (1997). Alternating-time temporal logic (pp. 100–109). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/ 10.1109/SFCS.1997.646098
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4018
Edelsbrunner, H., & Shah, N. (1997). Triangulating topological spaces. International Journal of Computational Geometry and Applications. World Scientific Publishing. https://doi.org/10.1142/S0218195997000223
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4021
Edelsbrunner, H., & Waupotitsch, R. (1997). A combinatorial approach to cartograms. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/387910.1016/S0925-7721(96)00006-5
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4022
Edelsbrunner, H., Valtr, P., & Welzl, E. (1997). Cutting dense point sets in half. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/PL00009291
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4023
Edelsbrunner, H., & Ramos, E. (1997). Inclusion-exclusion complexes for pseudodisk collections. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/PL00009295
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4174
Masai, I., Heisenberg, C.-P. J., Barth, K. A., Macdonald, R., Adamek, S., & Wilson, S. (1997). Floating head and masterblind regulate neuronal patterning in the roof of the forebrain. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(01)80045-3
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4201
Heisenberg, C.-P. J., & Nüsslein Volhard, C. (1997). The function of silberblick in the positioning of the eye anlage in the zebrafish embryo. Developmental Biology. Elsevier. https://doi.org/10.1006/dbio.1997.8511
View | DOI
 

1997 | Book Chapter | IST-REx-ID: 4284
Barton, N. H. (1997). Natural selection and random genetic drift as causes of evolution on islands. In Evolution on islands (pp. 102–123). Oxford University Press.
View
 

1997 | Journal Article | IST-REx-ID: 4285
Otto, S., & Barton, N. H. (1997). The evolution of recombination: Removing the limits to natural selection. Genetics. Genetics Society of America.
View
 

1997 | Journal Article | IST-REx-ID: 4286
Piálek, J., & Barton, N. H. (1997). The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes. Genetics. Genetics Society of America.
View
 

1997 | Book Review | IST-REx-ID: 4287
Coyne, J., Barton, N. H., & Turelli, M. (1997). Perspective: A critique of Sewall Wright’s shifting balance theory of evolutionight’s shifting balance theory of evolution. Evolution; International Journal of Organic Evolution. Wiley-Blackwell.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 4288 | OA
Fowler, K., Semple, C., Barton, N. H., & Partridge, L. (1997). Genetic variation for total fitness in Drosophila melanogaster. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.1997.0027
View | DOI | Download (ext.)
 

1997 | Book Review | IST-REx-ID: 4289
Barton, N. H. (1997). Population genetics: A new apportionment of human diversity. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(06)00397-6
View | DOI
 

1997 | Book Review | IST-REx-ID: 4290
Barton, N. H. (1997). Natural hybridization and evolution. Genetical Research. Cambridge University Press.
View
 

1997 | Book Review | IST-REx-ID: 4291
Barton, N. H. (1997). The ccological detective: Confronting models with data. Genetical Research. Cambridge University Press.
View
 

1997 | Book Chapter | IST-REx-ID: 4293
Barton, N. H., & Whitlock, M. (1997). The evolution of metapopulations. In Metapopulation Biology (pp. 183–210). Academic Press. https://doi.org/10.1016/B978-012323445-2/50012-2
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4438
Henzinger, T. A., & Kupferman, O. (1997). From quantity to quality (Vol. 1201, pp. 48–62). Presented at the HART: Hybrid and Real-Time Systems, Springer. https://doi.org/ 10.1007/BFb0014712
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4441
Henzinger, T. A., & Kopke, P. (1997). Discrete-time control for rectangular hybrid automata (Vol. 1256, pp. 582–593). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/3-540-63165-8_213
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4493
Henzinger, T. A., Ho, P., & Wong Toi, H. (1997). HyTech: A model checker for hybrid systems. Software Tools For Technology Transfer. Springer. https://doi.org/10.1007/s100090050008
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4494
Henzinger, T. A., Ho, P., & Wong Toi, H. (1997). HyTech: A model checker for hybrid systems (Vol. 1254, pp. 460–463). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/3-540-63166-6_48
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4496
Henzinger, T. A., Kupferman, O., & Rajamani, S. (1997). Fair simulation (Vol. 1243, pp. 273–287). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-63141-0_19
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4520
Gupta, V., Henzinger, T. A., & Jagadeesan, R. (1997). Robust timed automata (Vol. 1201, pp. 331–345). Presented at the HART: Hybrid and Real-Time Systems, Springer. https://doi.org/10.1007/BFb0014736
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4583
Alur, R., & Henzinger, T. A. (1997). Modularity for timed and hybrid systems (Vol. 1243, pp. 74–88). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-63141-0_6
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4584
Alur, R., & Henzinger, T. A. (1997). Real-time system = discrete system + clock variables. Software Tools For Technology Transfer. Springer. https://doi.org/10.1007/s100090050007
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3482
Götz, T., Kraushaar, U., Geiger, J., Lubke, J., Berger, T., & Jonas, P. M. (1997). Functional properties of AMPA and NMDA receptors expressed in identified types of basal ganglia neurons. Journal of Neuroscience. Society for Neuroscience.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 3483
Ceranik, K., Bender, R., Geiger, J., Monyer, H., Jonas, P. M., Frotscher, M., & Lubke, J. (1997). A novel type of GABAergic interneuron connecting the input and the output regions of the hippocampus. Journal of Neuroscience. Society for Neuroscience.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 3484
Geiger, J., Lubke, J., Roth, A., Frotscher, M., & Jonas, P. M. (1997). Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(00)80339-6
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3485
Martina, M., & Jonas, P. M. (1997). Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1111/j.1469-7793.1997.593ba.x
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3486
Bischofberger, J., & Jonas, P. M. (1997). Action potential propagation into the presynaptic dendrites of rat mitral cells. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1111/j.1469-7793.1997.359be.x
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3541
Bragin, A., Csicsvari, J. L., Penttonen, M., & Buzsáki, G. (1997). Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies. Neuroscience. Elsevier. https://doi.org/10.1016/S0306-4522(96)00446-0
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3630
Whitlock, M., & Barton, N. H. (1997). The effective size of a subdivided population. Genetics. Genetics Society of America.
View
 

1997 | Journal Article | IST-REx-ID: 3631
Kawecki, T., Barton, N. H., & Fry, J. (1997). Mutational collapse of fitness in marginal habitats and the evolution of ecological specialisation. Journal of Evolutionary Biology. Wiley-Blackwell. https://doi.org/10.1046/j.1420-9101.1997.10030407.x
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3632
Kirkpatrick, M., & Barton, N. H. (1997). The strength of indirect selection on female mating preferences. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.94.4.1282
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3633
Kirkpatrick, M., & Barton, N. H. (1997). Evolution of a species’ range. American Naturalist. University of Chicago Press. https://doi.org/10.1086/286054
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2492
Neki, A., Ohishi, H., Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1996). Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum. Neuroscience. Elsevier. https://doi.org/10.1016/0306-4522(96)00316-8
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2562
Neki, A., Ohishi, H., Kaneko, T., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1996). Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(95)12248-6
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2564
Ding, Y., Shigemoto, R., Takada, M., Ohishi, H., Nakanishi, S., & Mizuno, N. (1996). Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19960108)364:2<290::AID-CNE8>3.0.CO;2-0
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2565
Li, J., Ohishi, H., Kaneko, T., Shigemoto, R., Neki, A., Nakanishi, S., & Mizuno, N. (1996). Immunohistochemical localization of a metabotropic glutamate receptor, mGluR7, in ganglion neurons of the rat; with special reference to the presence in glutamatergic ganglion neurons. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(95)12299-0
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2566
Kinoshita, A., Ohishi, H., Neki, A., Nomura, S., Shigemoto, R., Takada, M., … Mizuno, N. (1996). Presynaptic localization of a metabotropic glutamate receptor, mGluR8, in the rhinencephalic areas: A light and electron microscope study in the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(96)12489-7
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2567
Li, J., Ding, Y., Shigemoto, R., & Mizuno, N. (1996). Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat. Brain Research. Elsevier. https://doi.org/10.1016/0006-8993(96)00064-9
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2568
Kinoshita, A., Ohishi, H., Nomura, S., Shigemoto, R., Nakanishi, S., & Mizuno, N. (1996). Presynaptic localization of a metabotropic glutamate receptor, mGluR4a, in the cerebellar cortex: A light and electron microscope study in the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(96)12519-2
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2569
Jia, H., Wang, B., Rao, Z., Shi, J., Shigemoto, R., Kaneko, T., & Mizuno, N. (1996). GABAergic synapses upon neurons expressing substance P receptors in the nucleus of the solitary tract: An immunocytochemical electron microscope study in the rat. Neuroscience Letters. Elsevier. https://doi.org/10.1016/0304-3940(96)12654-9
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2570
Shigemoto, R., Kulik, Á., Roberts, J., Ohishi, H., Nusser, Z., Kaneko, T., & Somogyi, P. (1996). Target-cell-specific concentration of a metabotropic glutamate receptor in the presynaptic active zone. Nature. Nature Publishing Group. https://doi.org/10.1038/381523a0
View | DOI
 

1996 | Book Review | IST-REx-ID: 2571
Yokoi, M., Kobayashi, K., Manabe, T., Takahashi, T., Sakaguchi, I., Katsuura, G., … Nakanishi, S. (1996). Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.273.5275.645
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2572
Hashimoto, H., Nogi, H., Mori, K., Ohishi, H., Shigemoto, R., Yamamoto, K., … Baba, A. (1996). Distribution of the mRNA for a pituitary adenylate cyclase-activating polypeptide receptor in the rat brain: An in situ hybridization study. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19960805)371:4<567::AID-CNE6>3.3.CO;2-M
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2573
Tokuno, H., Takada, M., Kaneko, T., Shigemoto, R., & Mizuno, N. (1996). Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum. Developmental Brain Research. Elsevier. https://doi.org/10.1016/0165-3806(96)00080-6
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2574
Luján, R., Nusser, Z., Roberts, J., Shigemoto, R., & Somogyi, P. (1996). Perisynaptic location of metabotropic glutamate receptors mGluR1 and mGluR5 on dendrites and dendritic spines in the rat hippocampus. European Journal of Neuroscience. Wiley-Blackwell. https://doi.org/10.1111/j.1460-9568.1996.tb01611.x
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2725
Erdös, L. (1996). Rayleigh-type isoperimetric inequality with a homogeneous magnetic field. Calculus of Variations and Partial Differential Equations. Springer. https://doi.org/10.1007/BF01254348
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2726
Erdös, L. (1996). Gaussian decay of the magnetic eigenfunctions. Geometric and Functional Analysis. Birkhäuser. https://doi.org/10.1007/BF02247886
View | DOI
 

Search

Filter Publications