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.

5751 Publications


1998 | Conference Paper | IST-REx-ID: 4489
Henzinger, Thomas A., et al. From Pre-Historic to Post-Modern Symbolic Model Checking. Vol. 1427, Springer, 1998, pp. 195–206, doi:10.1007/BFb0028745.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4490
Henzinger, Thomas A., et al. The Regular Real-Time Languages. Vol. 1443, Springer, 1998, pp. 580–91, doi:10.1007/BFb0055086.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4491
Henzinger, Thomas A., et al. “Algorithmic Analysis of Nonlinear Hybrid Systems.” IEEE Transactions on Automatic Control, vol. 43, no. 4, IEEE, 1998, pp. 540–54, doi:10.1109/9.664156 .
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4492
Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?” Journal of Computer and System Sciences, vol. 57, no. 1, Elsevier, 1998, pp. 94–124, doi:10.1006/jcss.1998.1581.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4515
Henzinger, Thomas A. It’s about Time: Real-Time Logics Reviewed. Vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–54, doi:10.1007/BFb0055640.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4603
Alur, Rajeev, et al. Alternating Refinement Relations. Vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–78, doi:10.1007/BFb0055611.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4604
Alur, Rajeev, et al. Mocha: Modularity in Model Checking. Vol. 1427, Springer, 1998, pp. 521–25, doi:10.1007/BFb0028774.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4606
Alur, Rajeev, et al. Symbolic Exploration of Transition Hierarchies. Vol. 1384, Springer, 1998, pp. 330–44, doi: 10.1007/BFb0054181.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro, Luca, et al. Concurrent Reachability Games. IEEE, 1998, pp. 564–75, doi:10.1109/SFCS.1998.743507  .
View | DOI
 

1998 | Journal Article | IST-REx-ID: 6160
de Bono, Mario, and Cornelia I. Bargmann. “Natural Variation in a Neuropeptide Y Receptor Homolog Modifies Social Behavior and Food Response in C. Elegans.” Cell, vol. 94, no. 5, Elsevier, 1998, pp. 679–89, doi:10.1016/s0092-8674(00)81609-8.
View | DOI | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 3487
Jonas, Peter M., et al. “Corelease of Two Fast Neurotransmitters at a Central Synapse.” Science, vol. 281, no. 5375, American Association for the Advancement of Science, 1998, pp. 419–24, doi:10.1126/science.281.5375.419.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3488
Martina, Marco, et al. “Functional and Molecular Differences between Voltage-Gated K+ Channels of Fast-Spiking Interneurons and Pyramidal Neurons of Rat Hippocampus.” Journal of Neuroscience, vol. 18, no. 20, Society for Neuroscience, 1998, pp. 8111–25.
View | Download (ext.)
 

1998 | Patent | IST-REx-ID: 3506
Edelsbrunner, Herbert, and Ping Fu. Apparatus and Method for Geometric Morphing. Elsevier, 1998, doi:US 5,850,229.
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 3521
Csicsvari, Jozsef L., et al. “Reliability and State Dependence of Pyramidal Cell-Interneuron Synapses in the Hippocampus: An Ensemble Approach in the Behaving Rat.” Neuron, vol. 21, no. 1, Elsevier, 1998, pp. 179–89, doi:10.1016/S0896-6273(00)80525-5.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3525
Nádasdy, Zoltán, et al. “Persistence and Temporal Compression of Spike Sequences during Fast Field Oscillation in the Hippocampus.” European Journal of Neuroscience, vol. 10, no. Suppl. 10, Wiley-Blackwell, 1998, pp. 9409–9409.
View
 

1998 | Journal Article | IST-REx-ID: 3527
Csicsvari, Jozsef L., et al. “Monosynaptic Interactions between CA1 Pyramidal Cells and Interneuron in the Behaving Rat.” European Journal of Neuroscience, vol. 10, no. Suppl. 10, Wiley-Blackwell, 1998, pp. 2553–2553.
View
 

1998 | Journal Article | IST-REx-ID: 3535
Hirase, Hajima, et al. “Hippocampal Pyramidal Neutrons ‘Space-Clamped’ in a Running Wheel Task: Place Cells or Path Integrators?” European Journal of Neuroscience, vol. 10, no. Suppl. 10, Wiley-Blackwell, 1998, pp. 9932–9932.
View
 

1998 | Book Chapter | IST-REx-ID: 3570
Axen, Ulrike, and Herbert Edelsbrunner. “Auditory Morse Analysis of Triangulated Manifolds.” Mathematical Visualization, Springer, 1998, pp. 223–36, doi:10.1007/978-3-662-03567-2_17.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3627
Barton, Nicholas H. “The Effect of Hitch-Hiking on Neutral Genealogies.” Genetical Research, vol. 72, no. 2, Cambridge University Press, 1998, pp. 123–33, doi:10.1017/S0016672398003462.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3628
West, Stuart, et al. “Testing for Epistasis between Deleterious Mutations.” Genetics, vol. 149, no. 1, Genetics Society of America, 1998, pp. 435–44.
View
 

1998 | Journal Article | IST-REx-ID: 3629
Maccallum, Catriona, et al. “Habitat Preference in the Bombina Hybrid Zone in Croatia.” Evolution, vol. 52, no. 1, Wiley-Blackwell, 1998, pp. 227–39.
View | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 3926
Cremer, Sylvia, and Michael Greenfield. “Partitioning the Components of Sexual Selection: Attractiveness and Agonistic Behaviour in Male Wax Moths, Achroia Grisella (Lepidoptera, Pyralidae).” Ethology, vol. 104, no. 1, Wiley-Blackwell, 1998, pp. 1–9, doi:10.1111/j.1439-0310.1998.tb00025.x.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4011
Liang, Jie, et al. “Analytical Shape Computation of Macromolecules: I. Molecular Area and Volume through Alpha Shape.” Proteins: Structure, Function and Bioinformatics, vol. 33, no. 1, Wiley-Blackwell, 1998, pp. 1–17, doi:10.1002/(SICI)1097-0134(19981001)33:1<1::AID-PROT1>3.0.CO;2-O.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4012
Liang, Jie, et al. “Analytical Shape Computation of Macromolecules: II. Inaccessible Cavities in Proteins.” Proteins: Structure, Function and Bioinformatics, vol. 33, no. 1, Wiley-Blackwell, 1998, pp. 18–29, doi:10.1002/(SICI)1097-0134(19981001)33:1<18::AID-PROT2>3.0.CO;2-H.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4013
Edelsbrunner, Herbert, et al. “On the Definition and the Construction of Pockets in Macromolecules.” Discrete Applied Mathematics, vol. 88, no. 1–3, Elsevier, 1998, pp. 83–102, doi:10.1016/S0166-218X(98)00067-5.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4015
Edelsbrunner, Herbert. Shape Reconstruction with Delaunay Complex. Vol. 1380, Springer, 1998, pp. 119–32, doi:10.1007/BFb0054315.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4016
Edelsbrunner, Herbert, et al. Wrapping 3D Scanning Data. Vol. 3313, SPIE, 1998, pp. 148–58, doi:10.1117/12.302448.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4017 | OA
Liang, Jie, et al. “Anatomy of Protein Pockets and Cavities: Measurement of Binding Site Geometry and Implications for Ligand Design.” Protein Science, vol. 7, no. 9, Wiley-Blackwell, 1998, pp. 1884–97, doi:10.1002/pro.5560070905.
View | DOI | Download (ext.)
 

1998 | Conference Paper | IST-REx-ID: 4019
Cheng, Ho, et al. Shape Space from Deformation. IEEE, 1998, pp. 104–13, doi:10.1109/PCCGA.1998.732056.
View | DOI
 

1998 | Book Chapter | IST-REx-ID: 4020
Edelsbrunner, Herbert. “Geometry for Modeling Biomolecules.” Robotics: The Algorithmic Perspective, AK Peters, 1998, pp. 265–77.
View
 

1998 | Journal Article | IST-REx-ID: 1449 | OA
Hausel, Tamas. “Compactification of Moduli of Higgs Bundles.” Journal Fur Die Reine Und Angewandte Mathematik, vol. 1998, no. 503, Walter de Gruyter, 1998, pp. 169–92, doi:10.1515/crll.1998.096.
View | DOI | Download (ext.)
 

1998 | Journal Article | IST-REx-ID: 1450 | OA
Hausel, Tamas. “Vanishing of Intersection Numbers on the Moduli Space of Higgs Bundles.” Advances in Theoretical and Mathematical Physics, vol. 2, no. 5, International Press, 1998, pp. 1011–40, doi:10.4310/ATMP.1998.v2.n5.a3.
View | DOI | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 2493
Acsády, László, et al. “Immunostaining for Substance P Receptor Labels GABAergic Cells with Distinct Termination Patterns in the Hippocampus.” Journal of Comparative Neurology, vol. 378, no. 3, Wiley-Blackwell, 1997, pp. 320–36, doi:10.1002/(SICI)1096-9861(19970217)378:3<320::AID-CNE2>3.0.CO;2-5.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2575
Li, He, et al. “Localization of a Metabotropic Glutamate Receptor, MGluR7, in Axon Terminals of Presumed Nociceptive, Primary Afferent Fibers in the Superficial Layers of the Spinal Dorsal Horn: An Electron Microscope Study in the Rat.” Neuroscience Letters, vol. 223, no. 3, Elsevier, 1997, pp. 153–56, doi:10.1016/S0304-3940(97)13429-2.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2576
Li, Jin, et al. “Distribution of Trigeminohypothalamic and Spinohypothalamic Tract Neurons Displaying Substance P Receptor-like Immunoreactivity in the Rat.” Journal of Comparative Neurology, vol. 378, no. 4, Wiley-Blackwell, 1997, pp. 508–21, doi:10.1002/(SICI)1096-9861(19970224)378:4<508::AID-CNE6>3.0.CO;2-6.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2577
Tone, Yoshinori, et al. “The Regional Distribution and Cellular Localization of MRNA Encoding Rat Prostacyclin Synthase.” European Journal of Cell Biology, vol. 72, no. 3, Elsevier, 1997, pp. 268–77.
View
 

1997 | Journal Article | IST-REx-ID: 2578
Seybold, Virginia, et al. “Relationship of NK3 Receptor-Immunoreactivity to Subpopulations of Neurons in Rat Spinal Cord.” Journal of Comparative Neurology, vol. 381, no. 4, Wiley-Blackwell, 1997, pp. 439–48, doi:10.1002/(SICI)1096-9861(19970519)381:4<439::AID-CNE4>3.0.CO;2-3.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2579
Mann, Patricia, et al. “Localisation of Neurokinin 3 (NK3) Receptor Immunoreactivity in the Rat Gastrointestinal Tract.” Cell and Tissue Research, vol. 289, no. 1, Springer, 1997, pp. 1–9, doi:10.1007/s004410050846.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2580
Luján, Rafael, et al. “Differential Plasma Membrane Distribution of Metabotropic Glutamate Receptors MGluR1α, MGluR2 and MGluR5, Relative to Neurotransmitter Release Sites.” Journal of Chemical Neuroanatomy, vol. 13, no. 4, Elsevier, 1997, pp. 219–41, doi:10.1016/S0891-0618(97)00051-3.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2581
Lee, Teffy, et al. “Collateral Projections from Striatonigral Neurons to Substance P Receptor-Expressing Intrinsic Neurons in the Striatum of the Rat.” Journal of Comparative Neurology, vol. 388, no. 2, Wiley-Blackwell, 1997, pp. 250–64, doi:10.1002/(SICI)1096-9861(19971117)388:2<250::AID-CNE5>3.0.CO;2-0.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2582
Shigemoto, Ryuichi, et al. “Differential Presynaptic Localization of Metabotropic Glutamate Receptor Subtypes in the Rat Hippocampus.” Journal of Neuroscience, vol. 17, no. 19, Society for Neuroscience, 1997, pp. 7503–22.
View
 

1997 | Journal Article | IST-REx-ID: 2727
Erdös, László. “Dia- and Paramagnetism for Nonhomogeneous Magnetic Fields.” Journal of Mathematical Physics, vol. 38, no. 3, American Institute of Physics, 1997, pp. 1289–317, doi:10.1063/1.531909.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 2729
Erdös, László, and Jan Solovej. “Semiclassical Eigenvalue Estimates for the Pauli Operator with Strong Non-Homogeneous Magnetic Fields, II. Leading Order Asymptotic Estimates.” Communications in Mathematical Physics, vol. 188, no. 3, Springer, 1997, pp. 599–656, doi:10.1007/s002200050181.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4174
Masai, Ichiro, et al. “Floating Head and Masterblind Regulate Neuronal Patterning in the Roof of the Forebrain.” Neuron, vol. 18, no. 1, Elsevier, 1997, pp. 43–57, doi:10.1016/S0896-6273(01)80045-3.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4201
Heisenberg, Carl, and Christiane 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, 1997, pp. 85–94, doi:10.1006/dbio.1997.8511.
View | DOI
 

1997 | Book Chapter | IST-REx-ID: 4284
Barton, Nicholas H. “Natural Selection and Random Genetic Drift as Causes of Evolution on Islands.” Evolution on Islands, Oxford University Press, 1997, pp. 102–23.
View
 

1997 | Journal Article | IST-REx-ID: 4285
Otto, Sarah, and Nicholas H. Barton. “The Evolution of Recombination: Removing the Limits to Natural Selection.” Genetics, vol. 147, no. 2, Genetics Society of America, 1997, pp. 879–906.
View
 

1997 | Journal Article | IST-REx-ID: 4286
Piálek, Jaroslav, and Nicholas 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, 1997, pp. 493–504.
View
 

1997 | Book Review | IST-REx-ID: 4287
Coyne, Jerry, et al. “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, 1997, pp. 643–71.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 4288 | OA
Fowler, Kevin, et al. “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, 1997, pp. 191–99, doi:10.1098/rspb.1997.0027.
View | DOI | Download (ext.)
 

Search

Filter Publications