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.

6207 Publications


1997 | Journal Article | IST-REx-ID: 4607
R. Alur, C. Courcoubetis, and T. A. Henzinger, “Computing accumulated delays in real-time systems,” Formal Methods in System Design, vol. 11, no. 2. Springer, pp. 137–156, 1997.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4608
R. Alur, R. Brayton, T. A. Henzinger, S. Qadeer, and S. Rajamani, “Partial-order reduction in symbolic state-space exploration,” presented at the CAV: Computer Aided Verification, 1997, vol. 1254, pp. 340–351.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” presented at the FOCS: Foundations of Computer Science, 1997, pp. 100–109.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4018
H. Edelsbrunner and N. Shah, “Triangulating topological spaces,” International Journal of Computational Geometry and Applications, vol. 7, no. 4. World Scientific Publishing, pp. 365–378, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4021
H. Edelsbrunner and R. Waupotitsch, “A combinatorial approach to cartograms,” Computational Geometry: Theory and Applications, vol. 7, no. 5–6. Elsevier, pp. 343–360, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4022
H. Edelsbrunner, P. Valtr, and E. Welzl, “Cutting dense point sets in half,” Discrete & Computational Geometry, vol. 17, no. 3. Springer, pp. 243–255, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4023
H. Edelsbrunner and E. Ramos, “Inclusion-exclusion complexes for pseudodisk collections,” Discrete & Computational Geometry, vol. 17, no. 3. Springer, pp. 287–306, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4174
I. Masai, C.-P. J. Heisenberg, K. A. Barth, R. Macdonald, S. Adamek, and S. Wilson, “Floating head and masterblind regulate neuronal patterning in the roof of the forebrain,” Neuron, vol. 18, no. 1. Elsevier, pp. 43–57, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4201
C.-P. J. Heisenberg and C. Nüsslein Volhard, “The function of silberblick in the positioning of the eye anlage in the zebrafish embryo,” Developmental Biology, vol. 184, no. 1. Elsevier, pp. 85–94, 1997.
View | DOI
 

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

1997 | Journal Article | IST-REx-ID: 4285
S. Otto and N. H. Barton, “The evolution of recombination: Removing the limits to natural selection,” Genetics, vol. 147, no. 2. Genetics Society of America, pp. 879–906, 1997.
View
 

1997 | Journal Article | IST-REx-ID: 4286
J. Piálek and N. H. Barton, “The spread of an advantageous allele across a barrier: the effects of random drift and selection against heterozygotes,” Genetics, vol. 145, no. 2. Genetics Society of America, pp. 493–504, 1997.
View
 

1997 | Book Review | IST-REx-ID: 4287
J. Coyne, N. H. Barton, and M. Turelli, “Perspective: A critique of Sewall Wright’s shifting balance theory of evolutionight’s shifting balance theory of evolution,” Evolution; International Journal of Organic Evolution, vol. 51, no. 3. Wiley-Blackwell, pp. 643–671, 1997.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 4288 | OA
K. Fowler, C. Semple, N. H. Barton, and L. Partridge, “Genetic variation for total fitness in Drosophila melanogaster,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 264, no. 1379. Royal Society, The, pp. 191–199, 1997.
View | DOI | Download (ext.)
 

1997 | Book Review | IST-REx-ID: 4289
N. H. Barton, “Population genetics: A new apportionment of human diversity,” Current Biology, vol. 7, no. 12. Cell Press, pp. 757–758, 1997.
View | DOI
 

1997 | Book Review | IST-REx-ID: 4290
N. H. Barton, “Natural hybridization and evolution,” Genetical Research, vol. 70, no. 2. Cambridge University Press, pp. 178–180, 1997.
View
 

1997 | Book Review | IST-REx-ID: 4291
N. H. Barton, “The ccological detective: Confronting models with data,” Genetical Research, vol. 70, no. 2. Cambridge University Press, pp. 180–181, 1997.
View
 

1997 | Book Chapter | IST-REx-ID: 4293
N. H. Barton and M. Whitlock, “The evolution of metapopulations,” in Metapopulation Biology, Academic Press, 1997, pp. 183–210.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4438
T. A. Henzinger and O. Kupferman, “From quantity to quality,” presented at the HART: Hybrid and Real-Time Systems, 1997, vol. 1201, pp. 48–62.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4441
T. A. Henzinger and P. Kopke, “Discrete-time control for rectangular hybrid automata,” presented at the ICALP: Automata, Languages and Programming, 1997, vol. 1256, pp. 582–593.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4493
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” Software Tools For Technology Transfer, vol. 1, no. 1–2. Springer, pp. 110–122, 1997.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4494
T. A. Henzinger, P. Ho, and H. Wong Toi, “HyTech: A model checker for hybrid systems,” presented at the CAV: Computer Aided Verification, 1997, vol. 1254, pp. 460–463.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4496
T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” presented at the CONCUR: Concurrency Theory, 1997, vol. 1243, pp. 273–287.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4520
V. Gupta, T. A. Henzinger, and R. Jagadeesan, “Robust timed automata,” presented at the HART: Hybrid and Real-Time Systems, 1997, vol. 1201, pp. 331–345.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4583
R. Alur and T. A. Henzinger, “Modularity for timed and hybrid systems,” presented at the CONCUR: Concurrency Theory, 1997, vol. 1243, pp. 74–88.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4584
R. Alur and T. A. Henzinger, “Real-time system = discrete system + clock variables,” Software Tools For Technology Transfer, vol. 1, no. 1–2. Springer, pp. 86–109, 1997.
View | DOI
 

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

1997 | Journal Article | IST-REx-ID: 3483
K. Ceranik et al., “A novel type of GABAergic interneuron connecting the input and the output regions of the hippocampus.,” Journal of Neuroscience, vol. 17, no. 14. Society for Neuroscience, pp. 5380–5394, 1997.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 3484
J. Geiger, J. Lubke, A. Roth, M. Frotscher, and P. M. Jonas, “Submillisecond AMPA receptor-mediated signaling at a principal neuron-interneuron synapse,” Neuron, vol. 18, no. 6. Elsevier, pp. 1009–1023, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3485
M. Martina and P. M. Jonas, “Functional differences in Na+ channel gating between fast-spiking interneurones and principal neurones in rat hippocampus,” Journal of Physiology, vol. 505, no. 3. Wiley-Blackwell, pp. 593–603, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3486
J. Bischofberger and P. M. Jonas, “Action potential propagation into the presynaptic dendrites of rat mitral cells,” Journal of Physiology, vol. 504, no. Pt 2. Wiley-Blackwell, pp. 359–365, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3541
A. Bragin, J. L. Csicsvari, M. Penttonen, and G. Buzsáki, “Epileptic afterdischarge in the hippocampal-entorhinal system: Current source density and unit studies,” Neuroscience, vol. 76, no. 4. Elsevier, pp. 1187–1203, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3630
M. Whitlock and N. H. Barton, “The effective size of a subdivided population,” Genetics, vol. 146, no. 1. Genetics Society of America, pp. 427–441, 1997.
View
 

1997 | Journal Article | IST-REx-ID: 3631
T. Kawecki, N. H. Barton, and J. Fry, “Mutational collapse of fitness in marginal habitats and the evolution of ecological specialisation,” Journal of Evolutionary Biology, vol. 10, no. 3. Wiley-Blackwell, pp. 407–430, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3632
M. Kirkpatrick and N. H. Barton, “The strength of indirect selection on female mating preferences,” PNAS, vol. 94, no. 4. National Academy of Sciences, pp. 1282–1286, 1997.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3633
M. Kirkpatrick and N. H. Barton, “Evolution of a species’ range,” American Naturalist, vol. 150, no. 1. University of Chicago Press, pp. 1–23, 1997.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2492
A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Metabotropic glutamate receptors mGluR2 and mGluR5 are expressed in two non-overlapping populations of Golgi cells in the rat cerebellum,” Neuroscience, vol. 75, no. 3. Elsevier, pp. 815–826, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2562
A. Neki, H. Ohishi, T. Kaneko, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Pre- and postsynaptic localization of a metabotropic glutamate receptor, mGluR2, in the rat brain: An immunohistochemical study with a monoclonal antibody,” Neuroscience Letters, vol. 202, no. 3. Elsevier, pp. 197–200, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2564
Y. Ding, R. Shigemoto, M. Takada, H. Ohishi, S. Nakanishi, and N. Mizuno, “Localization of the neuromedin K receptor (NK3) in the central nervous system of the rat,” Journal of Comparative Neurology, vol. 364, no. 2. Wiley-Blackwell, pp. 290–310, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2565
J. Li et al., “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, vol. 204, no. 1–2. Elsevier, pp. 9–12, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2566
A. Kinoshita et al., “Presynaptic localization of a metabotropic glutamate receptor, mGluR8, in the rhinencephalic areas: A light and electron microscope study in the rat,” Neuroscience Letters, vol. 207, no. 1. Elsevier, pp. 61–64, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2567
J. Li, Y. Ding, R. Shigemoto, and N. Mizuno, “Distribution of trigeminothalamic and spinothalamic-tract neurons showing substance P receptor-like immunoreactivity in the rat,” Brain Research, vol. 719, no. 1–2. Elsevier, pp. 207–212, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2568
A. Kinoshita, H. Ohishi, S. Nomura, R. Shigemoto, S. Nakanishi, and N. Mizuno, “Presynaptic localization of a metabotropic glutamate receptor, mGluR4a, in the cerebellar cortex: A light and electron microscope study in the rat,” Neuroscience Letters, vol. 207, no. 3. Elsevier, pp. 199–202, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2569
H. Jia et al., “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, vol. 210, no. 1. Elsevier, pp. 49–52, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2570
R. Shigemoto et al., “Target-cell-specific concentration of a metabotropic glutamate receptor in the presynaptic active zone,” Nature, vol. 381, no. 6582. Nature Publishing Group, pp. 523–525, 1996.
View | DOI
 

1996 | Book Review | IST-REx-ID: 2571
M. Yokoi et al., “Impairment of hippocampal mossy fiber LTD in mice lacking mGluR2,” Science, vol. 273, no. 5275. American Association for the Advancement of Science, pp. 645–647, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2572
H. Hashimoto et al., “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, vol. 371, no. 4. Wiley-Blackwell, pp. 567–577, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2573
H. Tokuno, M. Takada, T. Kaneko, R. Shigemoto, and N. Mizuno, “Patchy distribution of substance P receptor immunoreactivity in the developing rat striatum,” Developmental Brain Research, vol. 95, no. 1. Elsevier, pp. 107–117, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2574
R. Luján, Z. Nusser, J. Roberts, R. Shigemoto, and P. Somogyi, “ Perisynaptic location of metabotropic glutamate receptors mGluR1 and mGluR5 on dendrites and dendritic spines in the rat hippocampus,” European Journal of Neuroscience, vol. 8, no. 7. Wiley-Blackwell, pp. 1488–1500, 1996.
View | DOI
 

1996 | Journal Article | IST-REx-ID: 2725
L. Erdös, “Rayleigh-type isoperimetric inequality with a homogeneous magnetic field,” Calculus of Variations and Partial Differential Equations, vol. 4, no. 3. Springer, pp. 283–292, 1996.
View | DOI
 

Search

Filter Publications