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.

6113 Publications


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: 4280
Ritchie, Mike, and Nicholas H. Barton. “Hybrids and Hybrid Zones: Reply from M.G. Ritchie and N.H. Barton.” Trends in Ecology and Evolution, vol. 13, no. 7, Cell Press, 1998, pp. 282–83, doi:10.1016/S0169-5347(98)01396-2.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4281
Barton, Nicholas H., and Brian Charlesworth. “Why Sex and Recombination?” Science, vol. 281, no. 5385, American Association for the Advancement of Science, 1998, pp. 1986–90, doi:10.1126/science.281.5385.1986.
View | DOI
 

1998 | Book Review | IST-REx-ID: 4282
Barton, Nicholas H. “Genetics and Analysis of Quantitative Traits.” Genetical Research, vol. 72, no. 1, Cambridge University Press, 1998, pp. 73–73.
View
 

1998 | Book Review | IST-REx-ID: 4283
Barton, Nicholas H. “The Geometry of Adaptation.” Nature, vol. 395, no. 6704, Nature Publishing Group, 1998, pp. 751–52.
View
 

1998 | Conference Paper | IST-REx-ID: 4408
Raskin, Jean, et al. Axioms for Real-Time Logics. Vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 219–36, doi:10.1007/BFb0055625.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4410
Preußig, Jörg, et al. An Algorithm for the Approximative Analysis of Rectangular Automata. Vol. 1486, Springer, 1998, pp. 228–40, doi:10.1007/BFb0055350.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4429
Henzinger, Thomas A., and Vlad Rusu. Reachability Verification for Hybrid Automata. Vol. 1386, Springer, 1998, pp. 190–204, doi:10.1007/3-540-64358-3_40.
View | DOI
 

1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger, Thomas A., and Shankar Sastry. “HSCC: Hybrid Systems—Computation and Control.” HSCC: Hybrid Systems - Computation and Control, vol. 1386, Springer, 1998, doi:1260.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4486
Henzinger, Thomas A., et al. An Assume-Guarantee Rule for Checking Simulation. Vol. 1522, Springer, 1998, pp. 421–32, doi:10.1007/3-540-49519-3_27.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4488
Henzinger, Thomas A., et al. You Assume, We Guarantee: Methodology and Case Studies. Vol. 1427, Springer, 1998, pp. 440–51, doi: 10.1007/BFb0028765.
View | DOI
 

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: 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: 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 | 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
 

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: 3541
Bragin, Anatol, et al. “Epileptic Afterdischarge in the Hippocampal-Entorhinal System: Current Source Density and Unit Studies.” Neuroscience, vol. 76, no. 4, Elsevier, 1997, pp. 1187–203, doi:10.1016/S0306-4522(96)00446-0.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3482
Götz, Thomas, et al. “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, 1997, pp. 204–15.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 3483
Ceranik, Katya, 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, 1997, pp. 5380–94.
View | Download (ext.)
 

1997 | Journal Article | IST-REx-ID: 3484
Geiger, Jörg, et al. “Submillisecond AMPA Receptor-Mediated Signaling at a Principal Neuron-Interneuron Synapse.” Neuron, vol. 18, no. 6, Elsevier, 1997, pp. 1009–23, doi:10.1016/S0896-6273(00)80339-6.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3485
Martina, Marco, and Peter 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, 1997, pp. 593–603, doi:10.1111/j.1469-7793.1997.593ba.x.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3486
Bischofberger, Joseph, and Peter M. Jonas. “Action Potential Propagation into the Presynaptic Dendrites of Rat Mitral Cells.” Journal of Physiology, vol. 504, no. Pt 2, Wiley-Blackwell, 1997, pp. 359–65, doi:10.1111/j.1469-7793.1997.359be.x.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4583
Alur, Rajeev, and Thomas A. Henzinger. Modularity for Timed and Hybrid Systems. Vol. 1243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997, pp. 74–88, doi:10.1007/3-540-63141-0_6.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4584
Alur, Rajeev, and Thomas A. Henzinger. “Real-Time System = Discrete System + Clock Variables.” Software Tools For Technology Transfer, vol. 1, no. 1–2, Springer, 1997, pp. 86–109, doi:10.1007/s100090050007.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4605
Alur, Rajeev, et al. Symbolic Analysis of Hybrid Systems. IEEE, 1997, pp. 702–07, doi:10.1109/CDC.1997.650717  .
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4607
Alur, Rajeev, et al. “Computing Accumulated Delays in Real-Time Systems.” Formal Methods in System Design, vol. 11, no. 2, Springer, 1997, pp. 137–56, doi:10.1023/A:1008626013578.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4608
Alur, Rajeev, et al. Partial-Order Reduction in Symbolic State-Space Exploration. Vol. 1254, Springer, 1997, pp. 340–51, doi:10.1007/3-540-63166-6_34.
View | DOI
 

1997 | Conference Paper | IST-REx-ID: 4609
Alur, Rajeev, et al. Alternating-Time Temporal Logic. IEEE, 1997, pp. 100–09, doi: 10.1109/SFCS.1997.646098 .
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3630
Whitlock, Michael, and Nicholas H. Barton. “The Effective Size of a Subdivided Population.” Genetics, vol. 146, no. 1, Genetics Society of America, 1997, pp. 427–41.
View
 

1997 | Journal Article | IST-REx-ID: 3631
Kawecki, Tadeusz, et al. “Mutational Collapse of Fitness in Marginal Habitats and the Evolution of Ecological Specialisation.” Journal of Evolutionary Biology, vol. 10, no. 3, Wiley-Blackwell, 1997, pp. 407–30, doi:10.1046/j.1420-9101.1997.10030407.x.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3632
Kirkpatrick, Mark, and Nicholas H. Barton. “The Strength of Indirect Selection on Female Mating Preferences.” PNAS, vol. 94, no. 4, National Academy of Sciences, 1997, pp. 1282–86, doi:10.1073/pnas.94.4.1282.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 3633
Kirkpatrick, Mark, and Nicholas H. Barton. “Evolution of a Species’ Range.” American Naturalist, vol. 150, no. 1, University of Chicago Press, 1997, pp. 1–23, doi:10.1086/286054.
View | DOI
 

1997 | Journal Article | IST-REx-ID: 4018
Edelsbrunner, Herbert, and Nimish Shah. “Triangulating Topological Spaces.” International Journal of Computational Geometry and Applications, vol. 7, no. 4, World Scientific Publishing, 1997, pp. 365–78, doi:10.1142/S0218195997000223.
View | DOI
 

Search

Filter Publications